On the existence of solutions for fractional boundary value problems on the ethane graph

Abstract

A few researchers have studied fractional differential equations on star graphs. They use star graphs because their method needs a common point which has edges with other nodes while other nodes have no edges between themselves. It is natural that we feel that this method is incomplete. Our aim is extending the method on more generalized graphs. In this work, we investigate the existence of solutions for some fractional boundary value problems on the ethane graph. In this way, we consider a graph with labeled vertices by 0 or 1, inspired by a graph representation of the chemical compound of ethane, and define fractional differential equations on each edge of this graph. Also, we provide an example to illustrate our last main result.

1 Introduction

During the recent decades, initial and boundary value problems have been used in investigating natural processes in the world around us. The wide variety of such boundary value problems has attracted the attention of many researchers to study various phenomena using mathematical tools and computer simulation software. In other words, some recent publications show the importance of fractional differential equations in modeling of a variety of applied sciences (see, for example, [1–9]) and numerical computations (see, for example, [10–15]). One of our aims in this work is extending theoretical field in order to increase our abilities in finding more effective applications on chemical reactions. If we can do so, computer software engineers will be able to produce some software in the future using which everybody could do chemical experiments without the use of minerals, and this will help the environment.

The fractional calculus plays an important role in this regard. By using some techniques, we can solve the mathematical modelings described by the fractional differential equations and obtain the corresponding solutions and then analyze the qualitative behaviors of a solution function under given boundary conditions. Existing works for such problems in general setting can be seen in the numerous published papers (see, for example, [16–51]).

The graph theory is a relatively new area of mathematics in which we are concerned with networks of points connected by lines. This structure can be found in many real constructions in the world around us. In other words, by development and expansion of some dynamical and industrial systems such as gas transmission lines, water pipelines, the expansive growth of computer networks, structure of molecules in medicine and biology, etc., new descriptive models have emerged for studying the related processes designed by specialists of these fields. Due to the graph structure of these networks, the study of mathematical models described by ordinary or fractional differential equations on graphs was considered. In fact, boundary value problems on a graph are defined as a problem consisting of a system of differential equations on the given graph with certain boundary conditions on nodes.

The starting point for the theory of differential equations on graphs is related to a work of Lumer in 1980 [52]. He investigated general evolution equations on ramification spaces by using local operators defined on such spaces. With a similar structure, Nicaise studied the propagation of nerve impulses [53]. In 1989, Zavgorodnij considered boundary value problems for linear differential equations on a geometric graph where solutions of the problem were coordinated at the interior vertices [54]. He constructed an adjoint boundary value problem and obtained a self-adjointness criterion [54]. In 2008, Gordeziani et al. discussed the existence and uniqueness of solutions for ordinary differential equations on graphs [55]. They used the double-sweep method for solving the boundary value problem and presented a numerical approach.

In most of the mentioned works, differential equations are considered on a graph, and solutions of them are obtained by computational and numerical approaches. But there are limited works in fractional boundary value problems on graphs in which the existence of solutions is proved by some techniques in fixed point theory [56, 57]. The first work in this regard is related to a paper of Graef et al. [56]. The authors introduced a star graph $G = V(G) \cup E(G)$ consisting of three vertices and two edges with $V(G) = \{ v_{0} , v_{1} , v_{2} \}$ and $E(G) = \{ e_{1} = \overrightarrow{v_{1}v_{0}} , e_{2} = \overrightarrow{v_{2}v_{0}} \}$, where $v_{0}$ is the junction node and $e_{i} = \overrightarrow{v_{i}v_{0}}$ is the edge connecting nodes $v_{i}$ to $v_{0}$ with length $l_{i} = \vert \overrightarrow{v_{i}v_{0}} \vert$ for $i=1,2$. On each edge $e_{i} = \overrightarrow{v_{i}v_{0}}$, a local coordinate system with origin at vertices $v_{1}$ and $v_{2}$ and the coordinate $t\in (0, l_{i})$ is considered. Graef et al. defined a system of nonlinear fractional differential equations on each $e_{i} = \overrightarrow{v_{i}v_{0}}$ by

$$ - \mathcal{D}_{0}^{\alpha }u_{i}(t) = g_{i}(t) h_{i} \bigl(t , u_{i}(t) \bigr) \quad \bigl(i=1,2, t\in (0, l_{i}) \bigr) $$

with boundary value conditions

$$ u_{1}(0) = u_{2}(0) = 0, \quad\quad u_{1}(l_{1}) = u_{2}(l_{2}), \quad\quad \mathcal{D}_{0}^{\beta }u_{1}( l_{1}) + \mathcal{D}_{0}^{\beta }u_{2}(l_{2}) = 0, $$

where $\alpha \in (1,2]$, $\beta \in (0, \alpha )$, $g_{i} : [0, l_{i}] \to \mathbb{R}$ are continuous functions with $g_{i}(t) \neq 0$ on $[0, l_{i}]$ and also $h_{i} : [0, l_{i}] \times \mathbb{R} \to \mathbb{R}$ are continuous functions. Two fractional operators $\mathcal{D}_{0}^{\alpha }$ and $\mathcal{D}_{0}^{\beta }$ denote Riemann–Liouville fractional derivatives. The Banach contraction principle and the Schauder fixed point theorem are applied to establish the existence results by authors.

In 2019, Mehandiratta et al. generalized the work of Graef to the case of a star graph consisting of $n+1$ vertices and n edges [57]. Indeed, the authors considered a general star graph G with $V(G) = \{ v_{0} , v_{1} ,\ldots, v_{n} \}$ and $E(G) = \{ e_{1} = \overrightarrow{v_{1}v_{0}} , e_{2} = \overrightarrow{v_{2}v_{0}} ,\ldots, e_{n} = \overrightarrow{v_{n}v_{0}} \}$, where $l_{i} = \vert \overrightarrow{v_{i}v_{0}} \vert$ is the length of each edge $e_{i}$ connecting vertices $v_{i}$ to $v_{0}$ ($i=1,2,\ldots, n$). The authors investigated the following boundary value problems on each edge of the star graph G given by

$$ \textstyle\begin{cases} {}^{c}\mathcal{D}_{0}^{\alpha }u_{i}(t) = f_{i} (t , u_{i}(t), {}^{c} \mathcal{D}_{0}^{\beta }u_{i}(t)) \quad (i=1,2,\ldots, n, t\in (0, l_{i})), \\ u_{i}(0) = 0, \quad\quad u_{i}(l_{i}) = u_{j}(l_{j}) \quad (i \neq j), \\ \sum_{i=1}^{n} u'_{i}(l_{i}) = 0, \end{cases} $$

(1)

where $\alpha \in (1,2]$, $\beta \in (0, \alpha -1]$, $f_{i} : [0, l_{i}] \times \mathbb{R} \times \mathbb{R} \to \mathbb{R}$ are continuous functions and ${}^{c}\mathcal{D}_{0}^{\gamma }$ denotes the Caputo fractional derivative of order $\gamma \in \{ \alpha , \beta \}$. They used transformations $x = \frac{t}{l_{i}} \in [0,1]$ and $z(x) = u(t)= u(l_{i}x)$ for $t \in [0, l_{i}]$ and proved the relation ${}^{c}\mathcal{D}_{0}^{\alpha }u(t) = l_{i}^{- \alpha } ( {}^{c} \mathcal{D}_{0}^{\alpha }z(x))$. Then, by applying these transformations, the system of fractional boundary value problems on graph (1) converts into the following system of fractional boundary value problems on the unit interval $[0,1]$ given by

$$ {}^{c}\mathcal{D}_{0}^{\alpha }z_{i}(x) = l_{i}^{\alpha }h_{i} \bigl(x , z_{i}(x), l_{i}^{- \beta } {}^{c}\mathcal{D}_{0}^{\beta }z_{i}(x) \bigr) \quad \bigl(x\in [0, 1] \bigr) $$

with boundary conditions $z_{i}(0) = 0$, $z_{i}(1) = z_{j}(1)$ for $i \neq j$ and $\sum_{i=1}^{n} l_{i}^{-1} z'_{i}(1) = 0$, where $z_{i}(x) = u_{i} (l_{i}x)$ and $h_{i} (x,u,w) = f_{i} (l_{i}x , u, w)$ for $i= 1,2,\ldots, n$.

Motivated by the aforementioned works, our aim is to generalize the above boundary value problems to a new problem on the ethane graph which is a general graph with respect to star graphs. More precisely, by considering the ethane graph with labeled vertices by 0 or 1 (see Fig. 6), we investigate the existence of solutions for the nonlinear fractional boundary value problem

$$ \textstyle\begin{cases} {}^{c}\mathcal{D}_{0}^{\vartheta }u_{i}(t)= h_{i} (t, u_{i}(t), u'_{i}(t)) \quad (t \in [0,1], i=1,2,\ldots, 7), \\ \lambda _{1} u_{i}(0) + \lambda _{2} u_{i}(1) = \lambda _{3} \int _{0}^{1} u_{i}(s)\,\mathrm{d}s, \quad\quad \lambda _{1} u'_{i}(0) + \lambda _{2} u'_{i}(1) = \lambda _{3} \int _{0}^{1} u_{i}(s)\,\mathrm{d}s, \end{cases} $$

(2)

where $\vartheta \in (1,2]$, $\lambda _{1}, \lambda _{2}, \lambda _{3} \in \mathbb{R}$, ${}^{c}\mathcal{D}_{0}^{\vartheta }$ denotes the Caputo fractional derivative and functions $h_{i} : [0,1] \times \mathbb{R} \times \mathbb{R} \to \mathbb{R}$ are continuous for $i=1,2,\ldots, 7$, where $n=7$ is the number of edges of the graph representation of ethane with $\vert e_{i} \vert = 1$.

The boundary conditions in this problem show that the linear combinations of values of the unknown functions and their derivatives at two ends of each edge are proportional to a multiple of the integral of the unknown functions. Also, it is notable that the obtained solutions for the fractional boundary value problem (2) can be interpreted in different practical meanings of the organic chemistry. In other words, every solution function $u_{i}(t)$ on an arbitrary edge $e_{i}$ may indicate an amount of the bond energy, the bond strength, the bond polarity, etc. This could lead to valuable applications in chemical reactions theory. Hence, we claim that this abstract idea could be useful for young researchers in their future work.

This paper is arranged as follows. In Sect. 2, some primitive notions for labeling the ethane graph by 0 or 1 are explained. Moreover, some necessary relations on the fractional calculus are recalled. In Sect. 3, the main existence results for the nonlinear fractional boundary value problem (2) are proved by known fixed point theorems. In the end of the paper, an example is provided to illustrate the validity of results.

2 Preliminaries

In this section, we provide some primitive concepts about the new class of fractional boundary value problems (2) on the ethane graph. For this, we first state two important points about the used methods in [56] and [57].

(1) In both articles, the authors assume the graph G as a star graph consisting of one junction node $v_{0}$ (Figs. 1 and 2), while in general cases, the graph G may not be in the form of a star graph and may have a general structure with more than one junction node. For example, see Fig. 3 where there exist five junction nodes.

Figure 1

A sketch of the star graph G with two edges

Figure 2

A sketch of the star graph G with n edges

Figure 3

A sketch of the non-star graph G with more than one junction node

(2) In both articles, the authors consider the length of each edge to be the variable values $\vert e_{i} \vert = l_{i}$ for $i= 1,2,\ldots, n$, where n denotes the number of edges for the graph G. Next, they convert $[0, l_{i}]$ into a unit interval $[0,1]$ by using a change of variable for the normalization of the length of all edges, while from the beginning, one can consider the length of all edges to be fixed value $\vert e_{i} \vert = 1$ without specifying boundary vertices of each edge as the origin. For this purpose, we propose a new method for labeling vertices. In this case, we can assign two labels 0 or 1 to each vertex of a graph. In other words, the label of each vertex depends on the direction of the corresponding edge. When we move along an arbitrary edge, the label of the starting vertex and the ending vertex are considered values 0 and 1 and vice versa. Hence, some vertices may have two labels 0 and 1 simultaneously, and the origin of each edge is not fixed, and it changes whenever the direction of the movement along the edge is changed. By this rule, we do not need to normalize the length of each edge by using the specific transformation, and also we are free to determine one of two vertices of the corresponding edge as the origin. For example, see Fig. 4 illustrating one of the possible cases for labeling. In this graph, we begin to move along edges from the blue vertex in the first step.

Figure 4

A sketch of the general graph G with labeled vertices

In this paper, we are going to study some existence results for a system of fractional differential equations on the ethane graph. We represent the ethane molecule as a graph with labeled vertices by 0 or 1. As you know, ethane is a chemical compound of hydrogen (H) and carbon (C) with chemical formula C₂H₆ (see Fig. 5). Ethane is the simplest hydrocarbon that contains a single carbon-carbon bond. We consider atoms of hydrogens and carbons as vertices of the graph and also the existing chemical bonds between atoms are considered as edges of the graph. This molecular graph is not a star graph, and so the method proposed in articles [56] and [57] for assigning the origin at boundary nodes except the junction node $v_{0}$ will not be useful because this graph has more than one junction node. Thus we have to use a different method. We can label vertices of the above graph in the form of labeled vertices by two values 0 or 1 and consider the length of each edge to be unit value $l_{i} =1$ (see Fig. 6). For more complicate graphs, one can use doubled indexing for nodes of graphs.

Figure 5

A sketch of the graph representation of ethane (C₂H₆)

Figure 6

A sketch of the graph representation of ethane with labeled vertices by 0 or 1

Hence, in view of the ethane graph with labeled vertices by 0 or 1 as above, we can perform our purposes on the existence of solutions for the nonlinear fractional boundary value problem (2).

Now, we recall some basic notions and properties about the fractional calculus. Let ${\vartheta >0}$. The Riemann–Liouville fractional integral of a function $u : [a,b] \to \mathbb{R}$ is defined by

$$ \mathcal{I}_{0}^{ \vartheta } u(t)= \int _{0}^{t} \frac{(t - s )^{ \vartheta -1 }}{\varGamma ( \vartheta )} u( s )\,\mathrm{d}s $$

provided that the right-hand side integral exists [58, 59]. Let $n-1\leq \vartheta < n$. Then $n = [ \vartheta ] +1$. The Caputo fractional derivative of a function $u\in C^{(n)}([a,b], \mathbb{R})$ is defined by ${}^{c}\mathcal{D}_{0}^{ \vartheta } u(t )=\int _{0}^{t} \frac{(t - s)^{n- \vartheta -1}}{\varGamma (n- \vartheta )} u^{(n)}(s )\,\mathrm{d}s$ provided that the integral exists [58, 59]. It has been proved that the general solution for the homogeneous fractional differential equation ${}^{c}\mathcal{D}_{0}^{ \vartheta } u(t )=0$ is in the form $u( t )= b_{0}^{*} + b_{1}^{*}t + b_{2}^{*} t^{2}+\cdots +b_{n-1}^{*} t^{n-1}$, and we have

$$ \mathcal{I}_{0}^{ \vartheta } \bigl( {}^{c} \mathcal{D}_{0}^{ \vartheta } u(t ) \bigr)= u(t ) + \sum _{j=0}^{n-1} b_{j}^{*} t^{j} = u(t )+ b_{0}^{*} + b_{1}^{*}t + b_{2}^{*} t^{2}+\cdots +b_{n-1}^{*} t^{n-1}, $$

where $b_{0}^{*},\ldots,b_{n-1}^{*}$ are some real constants [60]. We need the next results which are known as Schaefer and Krasnoselskii fixed point theorems, respectively.

Lemma 1

([61])

Let$\mathcal{X}$be a Banach space and$\varUpsilon : \mathcal{X} \to \mathcal{X}$be a completely continuous operator. Then either the set$\{ u\in \mathcal{X} : u = \mu \varUpsilon u , \mu \in (0,1) \}$is unbounded or the operatorϒhas at least one fixed point in$\mathcal{X}$.

Lemma 2

([61])

Let$\mathcal{E}$be a closed, bounded, convex, and nonempty subset of a Banach space$\mathcal{X}$. Let$\varUpsilon _{1}$and$\varUpsilon _{2}$be two operators such that$\varUpsilon _{1} u + \varUpsilon _{2} v \in \mathcal{E}$whenever$u,v\in \mathcal{E}$, $\varUpsilon _{1}$is compact and continuous and$\varUpsilon _{2}$is a contraction map. Then there exists$w\in \mathcal{E}$such that$w=\varUpsilon _{1} w+ \varUpsilon _{2} w$.

3 Main results

In this section, we prove our main results on the ethane graph (Fig. 6). In this way, we consider the Banach spaces $\mathcal{X}_{i} = \{ u_{i} : u_{i} , u'_{i} \in C[0,1]\}$ with the norm $\Vert u_{i} \Vert _{ \mathcal{X}_{i} } = \sup_{ t \in [0,1]} \vert u_{i} (t) \vert + \sup_{ t\in [0,1] } \vert u'_{i}(t) \vert$ for $i = 1,2,\ldots, 7$. Note that the product space $\mathcal{X} = ( \mathcal{X}_{1} , \mathcal{X}_{2} ,\ldots, \mathcal{X}_{7} )$ equipped with the norm $\Vert u = (u_{1} , u_{2} ,\ldots, u_{7} ) \Vert _{\mathcal{X}} = \sum_{i=1}^{7} \Vert u_{i} \Vert _{ \mathcal{X}_{i} }$ is a Banach space.

Lemma 3

Let$\varphi _{1},\ldots,\varphi _{7}\in C[0,1]$. Then$u_{i}^{*}$is a solution for the boundary value problem

$$ \textstyle\begin{cases} {}^{c}\mathcal{D}_{0}^{\vartheta }u_{i}(t)= \varphi _{i} (t) \quad (t\in [0,1]), \\ \lambda _{1} u_{i}(0) + \lambda _{2} u_{i}(1) = \lambda _{3} \int _{0}^{1} u_{i}(s)\,\mathrm{d}s, \quad\quad \lambda _{1} u'_{i}(0) + \lambda _{2} u'_{i}(1) = \lambda _{3} \int _{0}^{1} u_{i}(s)\,\mathrm{d}s, \end{cases} $$

(3)

if and only if$u_{i}^{*}$is a solution for the following fractional integral equation satisfying the boundary conditions:

$$\begin{aligned} u_{i}(t) &= \int _{0}^{t} \frac{(t-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \varphi _{i}(s)\,\mathrm{d}s \\ &\quad{} + \frac{\varLambda _{1} - \lambda _{2} \lambda _{3} ( \lambda _{1} + \lambda _{2} - \lambda _{3}) t }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \varphi _{i}(s)\,\mathrm{d}s \\ &\quad{} + \frac{\varLambda _{2} - \lambda _{2} ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} t }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \varphi _{i}(s)\,\mathrm{d}s \\ &\quad{} + \frac{\varLambda _{3} + (\lambda _{1} + \lambda _{2})\lambda _{3} ( \lambda _{1} + \lambda _{2} - \lambda _{3}) t }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \varphi _{i}( \tau )\,\mathrm{d}\tau \,\mathrm{d}s, \end{aligned}$$

(4)

where

$$\begin{aligned} &\varLambda = \lambda _{1}^{2} + \lambda _{2}^{2} + 2 \lambda _{1} \lambda _{2} - \frac{3}{2} \lambda _{1} \lambda _{3} - \frac{1}{2} \lambda _{2} \lambda _{3} \neq 0, \\ & \varLambda _{1} = \frac{3}{2} \lambda _{2}^{2} \lambda _{3} - \frac{1}{2} \lambda _{2} \lambda _{3}^{2} - \lambda _{1}^{2} \lambda _{2} - \lambda _{2}^{3} - 2 \lambda _{1} \lambda _{2}^{2} + \frac{3}{2} \lambda _{1} \lambda _{2} \lambda _{3}, \\ & \varLambda _{2} = \lambda _{1} \lambda _{2}^{2} + \lambda _{2}^{3} - \frac{3}{2} \lambda _{2}^{2} \lambda _{3} - \frac{1}{2} \lambda _{1} \lambda _{2} \lambda _{3} + \frac{1}{2} \lambda _{2} \lambda _{3}^{2}, \\ & \varLambda _{3} = \lambda _{1}^{2} \lambda _{3} + \lambda _{1} \lambda _{2} \lambda _{3} - \lambda _{1} \lambda _{3}^{2}. \end{aligned}$$

Proof

Let $u_{i}^{*}$ be a solution for the fractional problem (3) ($i= 1,2,\ldots, 7$). Then there exist constants $b_{0}^{(i)} , b_{1}^{(i)} \in \mathbb{R}$ such that $u_{i}^{*}(t) = \mathcal{I}_{0}^{\vartheta }\varphi _{i}(t) + b_{0}^{(i)} + b_{1}^{(i)} t$. In other words,

$$ u_{i}^{*}(t) = \int _{0}^{t} \frac{(t-s)^{ \vartheta -1}}{ \varGamma ( \vartheta )} \varphi _{i} (s)\,\mathrm{d}s + b_{0}^{(i)} + b_{1}^{(i)} t . $$

(5)

Thus, $u_{i}^{*'} (t) = \int _{0}^{t} \frac{(t-s)^{ \vartheta -2}}{ \varGamma ( \vartheta -1)} \varphi _{i} (s)\,\mathrm{d}s + b_{1}^{(i)}$ and so

$$ \int _{0}^{1} u_{i}^{*}(s) \,\mathrm{d}s = \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{ \vartheta -1}}{ \varGamma ( \vartheta )} \varphi _{i} ( \tau )\,\mathrm{d}\tau \,\mathrm{d}s + b_{0}^{(i)} + \frac{1}{2} b_{1}^{(i)}. $$

By using the boundary conditions, we obtain

$$\begin{aligned} b_{0}^{(i)} &= \frac{\varLambda _{1} }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \varphi _{i}(s)\,\mathrm{d}s \\ &\quad{} + \frac{\varLambda _{2} }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \varphi _{i}(s)\,\mathrm{d}s \\ &\quad{} + \frac{\varLambda _{3} }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \varphi _{i}( \tau )\,\mathrm{d}\tau \,\mathrm{d}s \end{aligned}$$

and

$$\begin{aligned} b_{1}^{(i)} &= - \frac{\lambda _{2} \lambda _{3} }{\varLambda } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \varphi _{i}(s)\,\mathrm{d}s - \frac{\lambda _{2} (\lambda _{1} + \lambda _{2} - \lambda _{3}) }{ \varLambda } \\ &\quad{} \times \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \varphi _{i}(s)\,\mathrm{d}s + \frac{ (\lambda _{1} + \lambda _{2})\lambda _{3} }{ \varLambda } \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \varphi _{i}(\tau )\,\mathrm{d}\tau \,\mathrm{d}s. \end{aligned}$$

Now, by substituting the values for $b_{0}^{(i)}$ and $b_{1}^{(i)}$ in equation (5), one can find that $u_{i}^{*}$ is a solution for integral equation (4). For the converse part, by using some direct calculations, one can see that $u_{i}^{*}$ is a solution for the fractional problem (3) whenever $u_{i}^{*}$ is a solution for integral equation (5). This completes the proof. □

Now, by considering Lemma 3, define the operator $\varUpsilon :\mathcal{X}\to \mathcal{X}$ by

$$ \varUpsilon (u_{1} , u_{2} ,\ldots, u_{7}) (t) := \bigl( \varUpsilon _{1} (u_{1} , u_{2} ,\ldots, u_{7}) (t) ,\ldots, \varUpsilon _{7} (u_{1} , u_{2} ,\ldots, u_{7}) (t) \bigr), $$

(6)

where

$$\begin{aligned} \varUpsilon _{i} (u_{1} , u_{2} ,\ldots, u_{7}) (t) &= \int _{0}^{t} \frac{(t-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr)\,\mathrm{d}s \\ &\quad{}+ \frac{\varLambda _{1} - \lambda _{2} \lambda _{3} ( \lambda _{1} + \lambda _{2} - \lambda _{3}) t }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr)\,\mathrm{d}s \\ &\quad{}+ \frac{\varLambda _{2} - \lambda _{2} ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} t }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr)\,\mathrm{d}s \\ &\quad{}+ \frac{\varLambda _{3} + (\lambda _{1} + \lambda _{2})\lambda _{3} ( \lambda _{1} + \lambda _{2} - \lambda _{3}) t }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \\ &\quad{}\times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } h_{i} \bigl(\tau , u_{i} (\tau ), u'_{i}(\tau ) \bigr)\,\mathrm{d}\tau \,\mathrm{d}s \end{aligned}$$

for all $t\in [0,1]$ and $u_{i} \in \mathcal{X}_{i}$. Put

$$\begin{aligned} \begin{gathered} \begin{aligned} \mathcal{K}_{0}^{*} :={}& \frac{1}{ \varGamma ( \vartheta +1 ) } + \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +1 )} \\ &{}+ \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta )} \\ &{}+ \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +2 )}, \end{aligned} \\ \begin{aligned} \mathcal{K}_{1}^{*} :={}& \frac{1}{ \varGamma ( \vartheta ) } + \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +1 )} + \frac{ \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta )} \\ &{} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +2 )}, \end{aligned} \\ \begin{aligned} \Delta _{1}^{*} :={}& \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +1 )} + \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta )} \\ &{}+ \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +2 )}, \end{aligned} \\ \begin{aligned} \Delta _{2}^{*} :={}& \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +1 )} + \frac{ \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta )} \\ &{}+ \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +2 )}. \end{aligned} \end{gathered} \end{aligned}$$

(7)

Theorem 4

Let$h_{1},\ldots, h_{7} :[0,1]\times \mathbb{R} \times \mathbb{R} \to \mathbb{R}$be continuous functions. Assume that there exist constants$L_{i}>0$such that$\vert h_{i} (t, u_{1} , u_{2} ) \vert \leq L_{i}$for all$u_{1} , u_{2} \in \mathbb{R}$and$t\in [0,1]$ ($i= 1,2,\ldots, 7$). Then the fractional boundary value problem (2) has a solution.

Proof

By considering definition of the operator ϒ, it is clear that the fractional boundary value problem (2) has a solution if and only if ϒ has a fixed point on the product space $\mathcal{X} = \mathcal{X}_{1} \times \cdots \times \mathcal{X}_{7}$. First, we show that the operator ϒ is complete continuous. Since the functions $h_{1},\ldots, h_{7}$ are continuous, the operator $\varUpsilon : \mathcal{X} \to \mathcal{X}$ is continuous. Let M be a bounded subset of $\mathcal{X}$ and $u= ( u_{1} , u_{2} ,\ldots, u_{7} ) \in \mathcal{X}$. Then we have

$$\begin{aligned} \bigl\vert \varUpsilon _{i} u(t) \bigr\vert &\leq \int _{0}^{t} \frac{(t-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad{} \times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl( \tau , u_{i} (\tau ), u'_{i}( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \,\mathrm{d}s \\ &\leq \int _{0}^{t} \frac{(t-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } L_{i} \,\mathrm{d}s + \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } L_{i} \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } L_{i} \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } L_{i} \,\mathrm{d}\tau \,\mathrm{d}s \\ &\leq L_{i} \biggl[ \frac{1}{ \varGamma ( \vartheta +1 ) } + \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +1 )} \\ &\quad{} + \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta )} + \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +2 )} \biggr] = L_{i} \mathcal{K}_{0}^{*} \end{aligned}$$

for each $t\in [0,1]$, where $\mathcal{K}_{0}^{*}$ is given in (7). Also, we have

$$\begin{aligned} \bigl\vert \varUpsilon '_{i} u(t) \bigr\vert &\leq \int _{0}^{t} \frac{(t-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl( \tau , u_{i} (\tau ), u'_{i}( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \,\mathrm{d}s \\ &\leq L_{i} \biggl[ \frac{1}{ \varGamma ( \vartheta ) } + \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +1 )} \\ &\quad{} + \frac{ \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta )} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +2 )} \biggr] = L_{i} \mathcal{K}_{1}^{*} \end{aligned}$$

for all $t \in [0,1]$, where $\mathcal{K}_{1}^{*}$ is given in (7). This implies that $\Vert \varUpsilon _{i} u(t) \Vert _{ \mathcal{X}_{i} } \leq L_{i} ( \mathcal{K}_{0}^{*} + \mathcal{K}_{1}^{*})$. Hence, $\Vert \varUpsilon u(t) \Vert _{\mathcal{X}} = \sum_{i=1}^{7} \Vert \varUpsilon _{i} u(t) \Vert _{ \mathcal{X}_{i} } \leq \sum_{i=1}^{7} L_{i} (\mathcal{K}_{0}^{*} + \mathcal{K}_{1}^{*} ) < \infty$. This shows that the operator ϒ is uniformly bounded. Now, we prove that the operator ϒ is equicontinuous. Now, let $u= ( u_{1} , u_{2} ,\ldots, u_{7} ) \in M$ and $t_{1} , t_{2} \in [0,1]$ with $t_{1} < t_{2}$. Then we have

$$\begin{aligned} \bigl\vert \varUpsilon _{i} u(t_{2}) - \varUpsilon _{i} u(t_{1}) \bigr\vert &\leq \int _{0}^{t_{1}} \frac{ [ (t_{2}-s)^{\vartheta -1} - (t_{1}-s)^{\vartheta -1} ] }{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \int _{t_{1}}^{t_{2}} \frac{ (t_{2}-s)^{\vartheta -1} }{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert (t_{2}-t_{1}) }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} (t_{2}-t_{1}) }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert (t_{2}-t_{1}) }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad{} \times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl( \tau , u_{i} (\tau ), u'_{i}( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \,\mathrm{d}s . \end{aligned}$$

The right-hand side of the inequality converges to zero independently of $u \in M$ as $t_{1} \to t_{2}$. Similarly, we have

$$\begin{aligned} \bigl\vert \varUpsilon '_{i} u(t_{2}) - \varUpsilon '_{i} u(t_{1}) \bigr\vert &\leq \int _{0}^{t_{1}} \frac{ [ (t_{2}-s)^{\vartheta -2} - (t_{1}-s)^{\vartheta -2} ] }{ \varGamma ( \vartheta -1) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \int _{t_{1}}^{t_{2}} \frac{ (t_{2}-s)^{\vartheta -2} }{ \varGamma ( \vartheta -1) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s . \end{aligned}$$

Again, the right-hand side of the inequality converges to zero independently of $u \in M$ as $t_{1} \to t_{2}$. Hence, $\Vert \varUpsilon u(t_{2}) - \varUpsilon u(t_{1}) \Vert _{ \mathcal{X} } \to 0$ as $t_{1} \to t_{2}$. This shows that ϒ is an equicontinuous operator on the product space $\mathcal{X}$. Now by using the Arzela–Ascoli theorem, one can conclude that ϒ is a completely continuous operator. Here, consider the subset

$$ \varOmega := \bigl\{ ( u_{1}, u_{2} ,\ldots, u_{7} ) \in \mathcal{X} : ( u_{1}, u_{2} , \ldots, u_{7} ) = \mu \varUpsilon ( u_{1}, u_{2} ,\ldots, u_{7} ) , \mu \in (0,1) \bigr\} $$

of $\mathcal{X}$. We prove that Ω is a bounded set. Let $( u_{1}, u_{2} ,\ldots, u_{7} ) \in \varOmega$. Then

$$ ( u_{1}, u_{2} ,\ldots, u_{7} ) = \mu \varUpsilon ( u_{1}, u_{2} ,\ldots, u_{7} ), $$

and so $u_{i}(t) = \mu \varUpsilon _{i} ( u_{1}, u_{2} ,\ldots, u_{7} )$ for all $t\in [0,1]$ and $i= 1,2,\ldots,7$. Thus,

$$\begin{aligned} \bigl\vert u_{i} (t) \bigr\vert &\leq \mu \biggl[ \int _{0}^{t} \frac{(t-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{}+ \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad{}\times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl( \tau , u_{i} (\tau ), u'_{i}( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \,\mathrm{d}s \biggr] \\ &\leq \mu L_{i} \biggl[ \frac{1}{ \varGamma ( \vartheta +1 ) } + \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +1 )} \\ &\quad{}+ \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta )} + \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +2 )} \biggr]= \mu L_{i} \mathcal{K}_{0}^{*} \end{aligned}$$

and

$$\begin{aligned} \bigl\vert u'_{i}(t) \bigr\vert &\leq \mu \biggl[ \int _{0}^{t} \frac{(t-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad{} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl( \tau , u_{i} (\tau ), u'_{i}( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \,\mathrm{d}s \biggr] \\ &\leq \mu L_{i} \biggl[ \frac{1}{ \varGamma ( \vartheta ) } + \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +1 )} \\ &\quad{} + \frac{ \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta )} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +2 )} \biggr] = \mu L_{i} \mathcal{K}_{1}^{*}. \end{aligned}$$

This implies that $\Vert u \Vert _{\mathcal{X}} = \sum_{i=1}^{7} \Vert u_{i} \Vert _{ \mathcal{X}_{i} } \leq \mu \sum_{i=1}^{7} L_{i} ( \mathcal{K}_{0}^{*} + \mathcal{K}_{1}^{*} ) < \infty$ and so Ω is bounded. Now, by using Lemmas 1 and 3, the operator ϒ has a fixed point in $\mathcal{X}$ which is a solution for the fractional boundary value problem (2). □

Now, we review the fractional boundary value problem (2) under different conditions.

Theorem 5

Assume that$h_{1},\ldots,h_{7}:[0,1]\times \mathbb{R} \times \mathbb{R} \to \mathbb{R}$are continuous functions, there exist continuous functions$\sigma _{1},\ldots, \sigma _{7} : [0,1] \to \mathbb{R}$, $\delta _{1},\ldots,\delta _{7} : [0,1] \to \mathbb{R}^{+}$and nondecreasing continuous functions$\phi _{1},\ldots,\phi _{7} : [0,1] \to \mathbb{R}^{+}$such that$\vert h_{i}(t, u_{1}, u_{2}) \vert \leq \delta _{i} (t) \phi _{i} ( \vert u_{1} \vert + \vert u_{2} \vert )$and

$$ \bigl\vert h_{i}(t,u_{1},u_{2})- h_{i}(t,v_{1},v_{2}) \bigr\vert \leq \sigma _{i}(t) \bigl( \vert u_{1}-v_{1} \vert + \vert u_{2}-v_{2} \vert \bigr) $$

for all$t\in [0,1]$, $u_{1},u_{2},v_{1}.v_{2}\in \mathbb{R}$and$i=1,\ldots,7$. If$k:= (\Delta _{1}^{*} + \Delta _{2}^{*} )\sum_{i=1}^{7} \Vert \sigma _{i} \Vert <1$, then the fractional boundary value problem (2) has a solution, where$\Vert \sigma _{i} \Vert =\sup_{t\in [0,1]} \vert \sigma _{i} (t) \vert$and the constants$\Delta _{1}^{*}$and$\Delta _{2}^{*}$are given in (7).

Proof

Put $\Vert \delta _{i} \Vert =\sup_{t\in [0,1]} \vert \delta _{i} (t) \vert$ and choose suitable constants $\rho _{i}$ such that

$$ \rho _{i} \geq \sum_{i=1}^{7} \phi _{i} \bigl( \Vert u_{i} \Vert _{ \mathcal{X}_{i}} \bigr) \Vert \delta _{i} \Vert \bigl\{ \mathcal{K}_{0}^{*} + \mathcal{K}_{1}^{*} \bigr\} , $$

(8)

where $\mathcal{K}_{i}^{*}$s are given in (7). Consider the sets $\mathcal{B}_{\rho _{i}} :=\{ u = (u_{1} , u_{2} ,\ldots, u_{7} ) \in \mathcal{X}: \Vert u \Vert _{\mathcal{X}} \leq \rho _{i} \}$, where $\rho _{i}$ is given in (8). It is clear that $\mathcal{B}_{\rho _{i}}$ is a closed, bounded, convex, and nonempty subset of the product Banach space $\mathcal{X}$. Now, define the operators $\varUpsilon _{1}$ and $\varUpsilon _{2}$ on $\mathcal{B}_{\rho _{i}}$ by

$$\begin{aligned} &\varUpsilon _{1} (u_{1} , u_{2} ,\ldots, u_{7}) (t) := \bigl( \varUpsilon _{1}^{(1)} (u_{1} , u_{2} ,\ldots, u_{7}) (t) ,\ldots, \varUpsilon _{1}^{(7)} (u_{1} , u_{2} , \ldots, u_{7}) (t) \bigr), \\ &\varUpsilon _{2} (u_{1} , u_{2} ,\ldots, u_{7}) (t) := \bigl( \varUpsilon _{2}^{(1)} (u_{1} , u_{2} ,\ldots, u_{7}) (t) ,\ldots, \varUpsilon _{2}^{(7)} (u_{1} , u_{2} , \ldots, u_{7}) (t) \bigr), \end{aligned}$$

where $(\varUpsilon _{1}^{(i)}u)(t) = \int _{0}^{t} \frac{(t-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } h_{i}(s, u_{i}(s), u'_{i}(s))\,\mathrm{d}s$ and

$$\begin{aligned}& \bigl(\varUpsilon _{2}^{(i)}u \bigr) (t) \\& \quad = \frac{\varLambda _{1} - \lambda _{2} \lambda _{3} ( \lambda _{1} + \lambda _{2} - \lambda _{3}) t }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr)\,\mathrm{d}s \\& \quad \quad{} + \frac{\varLambda _{2} - \lambda _{2} ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} t }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr)\,\mathrm{d}s \\& \quad \quad{} + \frac{\varLambda _{3} + (\lambda _{1} + \lambda _{2})\lambda _{3} ( \lambda _{1} + \lambda _{2} - \lambda _{3}) t }{(\lambda _{1} + \lambda _{2} - \lambda _{3}) \varLambda } \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } h_{i} \bigl(\tau , u_{i} (\tau ), u'_{i}(\tau ) \bigr)\,\mathrm{d}\tau \,\mathrm{d}s \end{aligned}$$

for all $t\in [0,1]$ and $u = (u_{1} , u_{2} ,\ldots, u_{7} ) \in \mathcal{B}_{\rho _{i}}$. Let $\phi _{i}^{*}=\sup_{u_{i}\in \mathcal{X}_{i}} \phi _{i} ( \Vert u_{i} \Vert _{\mathcal{X}_{i}} )$. Now, for every $u = (u_{1} ,\ldots, u_{7}) ,v = (v_{1},\ldots, v_{7}) \in \mathcal{B}_{\rho _{i}}$, we have

$$\begin{aligned}& \bigl\vert \bigl(\varUpsilon _{1}^{(i)}u + \varUpsilon _{2}^{(i)}v \bigr) (t) \bigr\vert \\& \quad \leq \int _{0}^{t} \frac{(t-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\& \quad \quad{} + \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, v_{i}(s), v'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\& \quad \quad{} + \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \bigl\vert h_{i} \bigl(s, v_{i}(s), v'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\& \quad \quad{} + \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\& \quad \quad{} \times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl( \tau , v_{i} (\tau ), v'_{i}( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \,\mathrm{d}s \\& \quad \leq \int _{0}^{t} \frac{(t-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \delta _{i}(s) \phi _{i} \bigl( \bigl\vert u_{i}(s) \bigr\vert + \bigl\vert u'_{i}(s) \bigr\vert \bigr) \,\mathrm{d}s \\& \quad \quad{} + \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \delta _{i}(s) \phi _{i} \bigl( \bigl\vert v_{i}(s) \bigr\vert + \bigl\vert v'_{i}(s) \bigr\vert \bigr) \,\mathrm{d}s \\& \quad \quad{} + \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \delta _{i}(s) \phi _{i} \bigl( \bigl\vert v_{i}(s) \bigr\vert + \bigl\vert v'_{i}(s) \bigr\vert \bigr) \,\mathrm{d}s \\& \quad \quad{} + \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\& \quad \quad{} \times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \delta _{i}( \tau ) \phi _{i} \bigl( \bigl\vert v_{i}(\tau ) \bigr\vert + \bigl\vert v'_{i}( \tau ) \bigr\vert \bigr)\,\mathrm{d}\tau \,\mathrm{d}s \\& \quad \leq \Vert \delta _{i} \Vert \phi _{i}^{*} \biggl[ \frac{1}{ \varGamma ( \vartheta +1 ) } + \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +1 )} \\& \quad \quad{} + \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta )} + \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +2 )} \biggr]= \Vert \delta _{i} \Vert \phi _{i}^{*} \mathcal{K}_{0}^{*}, \end{aligned}$$

and

$$\begin{aligned}& \bigl\vert \bigl( \bigl(\varUpsilon _{1}^{(i)} \bigr)'u + \bigl(\varUpsilon _{2}^{(i)} \bigr)'v \bigr) (t) \bigr\vert \\& \quad \leq \int _{0}^{t} \frac{(t-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\& \quad \quad {} + \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, v_{i}(s), v'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\& \quad \quad {} + \frac{ \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \bigl\vert h_{i} \bigl(s, v_{i}(s), v'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\& \quad \quad {} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl( \tau , v_{i} (\tau ), v'_{i}( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \,\mathrm{d}s \\& \quad \leq {} \int _{0}^{t} \frac{(t-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \delta _{i}(s) \phi _{i} \bigl( \bigl\vert u_{i}(s) \bigr\vert + \bigl\vert u'_{i}(s) \bigr\vert \bigr) \,\mathrm{d}s \\& \quad \quad {} + \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \delta _{i}(s) \phi _{i} \bigl( \bigl\vert v_{i}(s) \bigr\vert + \bigl\vert v'_{i}(s) \bigr\vert \bigr) \,\mathrm{d}s \\& \quad \quad {} + \frac{ \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \delta _{i}(s) \phi _{i} \bigl( \bigl\vert v_{i}(s) \bigr\vert + \bigl\vert v'_{i}(s) \bigr\vert \bigr) \,\mathrm{d}s \\& \quad \quad {} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\& \quad \quad {} \times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \delta _{i}( \tau ) \phi _{i} \bigl( \bigl\vert v_{i}(\tau ) \bigr\vert + \bigl\vert v'_{i}( \tau ) \bigr\vert \bigr)\,\mathrm{d}\tau \,\mathrm{d}s \\& \quad \leq \Vert \delta _{i} \Vert \phi _{i}^{*} \biggl[ \frac{1}{ \varGamma ( \vartheta ) } + \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +1 )} + \frac{ \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta )} \\& \quad \quad {} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert \varGamma ( \vartheta +2 )} \biggr] = \Vert \delta _{i} \Vert \phi _{i}^{*} \mathcal{K}_{1}^{*} . \end{aligned}$$

This yields $\Vert \varUpsilon _{1} u + \varUpsilon _{2} v \Vert _{\mathcal{X}} = \sum_{i=1}^{7} \Vert \varUpsilon _{1}^{(i)} u + \varUpsilon _{2}^{(i)} v \Vert _{ \mathcal{X}_{i} } \leq \sum_{i=1}^{7} \Vert \delta _{i} \Vert \phi _{i}^{*} (\mathcal{K}_{0}^{*} + \mathcal{K}_{1}^{*} ) \leq \rho _{i}$, and so $\Vert \varUpsilon _{1} u + \varUpsilon _{2} v \Vert _{\mathcal{X}} \leq \rho _{i}$ and $\varUpsilon _{1} u + \varUpsilon _{2} v \in \mathcal{B}_{\rho _{i} }$. On the other hand, it is clear that the continuity of $\varUpsilon _{1}$ follows from the continuity of functions $h_{i}$. Now, we show that the operator $\varUpsilon _{1}$ is uniformly bounded. For this, note that

$$\begin{aligned} \bigl\vert \bigl(\varUpsilon _{1}^{(i)}u \bigr) (t) \bigr\vert &\leq \int _{0}^{t} \frac{(t-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\leq \frac{1}{\varGamma (\vartheta +1)} \Vert \delta _{i} \Vert \phi _{i} \bigl( \bigl\vert u_{i}(t) \bigr\vert + \bigl\vert u'_{i}(t) \bigr\vert \bigr), \end{aligned}$$

and $\vert ((\varUpsilon _{1}^{(i)})'u)(t) \vert \leq \int _{0}^{t} \frac{(t-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \vert h_{i}(s, u_{i}(s), u'_{i}(s)) \vert \,\mathrm{d}s \leq \frac{1}{\varGamma (\vartheta )} \Vert \delta _{i} \Vert \phi _{i}( \vert u_{i}(t) \vert + \vert u'_{i}(t) \vert )$ for all u in $\mathcal{B}_{\rho _{i} }$. Thus, $\Vert \varUpsilon _{1} u \Vert _{ \mathcal{X} } = \sum_{i=1}^{7} \Vert \varUpsilon _{1}^{(i)} u \Vert _{ \mathcal{X}_{i} } \leq \{ \frac{1}{\varGamma (\vartheta +1)} + \frac{1}{\varGamma (\vartheta )} \} \sum_{i=1}^{7} \Vert \delta _{i} \Vert \phi _{i}( \Vert u_{i} \Vert _{\mathcal{X}_{i}} )$. This shows that the operator $\varUpsilon _{1}$ is uniformly bounded on $\mathcal{B}_{\rho _{i} }$. Now, we show that the operator $\varUpsilon _{1}$ is compact on $\mathcal{B}_{\rho _{i} }$. Let $t_{1} ,t_{2} \in [0,1]$ with $t_{1} < t_{2}$. Then we have

$$\begin{aligned} & \bigl\vert \bigl(\varUpsilon _{1}^{(i)}u \bigr) (t_{2}) - \bigl(\varUpsilon _{1}^{(i)}u \bigr) (t_{1}) \bigr\vert \\ &\quad = \biggl\vert \int _{0}^{t_{2}} \frac{(t_{2}-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr)\,\mathrm{d}s \\ &\quad\quad{} - \int _{0}^{t_{1}} \frac{(t_{1}-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr)\,\mathrm{d}s \biggr\vert \\ &\quad \leq \biggl\vert \int _{0}^{t_{1}} \frac{ [ (t_{2}-s)^{(\vartheta -1)} - (t_{1} -s)^{(\vartheta -1)} ] }{\varGamma (\vartheta )} h_{i} \bigl(s,u_{i}(s),u'_{i}(s) \bigr)\,\mathrm{d}s \biggr\vert \\ &\quad\quad{} + \biggl\vert \int _{t_{1}}^{t_{2}} \frac{(t_{2}-s)^{(\vartheta -1)}}{\varGamma (\vartheta )} h_{i} \bigl(s,u_{i}(s),u'_{i}(s) \bigr)\,\mathrm{d}s \biggr\vert \\ &\quad \leq \int _{0}^{t_{1}} \frac{ [ (t_{2}-s)^{(\vartheta -1)} - (t_{1} -s)^{(\vartheta -1)} ] }{\varGamma (\vartheta )} \bigl\vert h_{i} \bigl(s,u_{i}(s),u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad\quad{} + \int _{t_{1}}^{t_{2}} \frac{(t_{2}-s)^{(\vartheta -1)}}{\varGamma (\vartheta )} \bigl\vert h_{i} \bigl(s,u_{i}(s),u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad \leq \biggl\{ \frac{t_{2}^{\vartheta }-t_{1}^{\vartheta }- (t_{2}-t_{1})^{\vartheta }}{\varGamma (\vartheta + 1)} + \frac{(t_{2}-t_{1})^{\vartheta }}{\varGamma (\vartheta +1)} \biggr\} \Vert \delta _{i} \Vert \phi _{i} \bigl( \Vert u_{i} \Vert _{\mathcal{X}_{i}} \bigr) . \end{aligned}$$

Hence, $\vert (\varUpsilon _{1}^{(i)}u)(t_{2})-(\varUpsilon _{1}^{(i)}u)(t_{1}) \vert \to 0$ as $t_{1} \to t_{2}$. Also, we have

$$\begin{aligned} & \bigl\vert \bigl( \bigl(\varUpsilon _{1}^{(i)} \bigr)'u \bigr) (t_{2}) - \bigl( \bigl(\varUpsilon _{1}^{(i)} \bigr)'u \bigr) (t_{1}) \bigr\vert \\ &\quad = \biggl\vert \int _{0}^{t_{2}} \frac{(t_{2}-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1) } h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr)\,\mathrm{d}s \\ &\quad\quad{} - \int _{0}^{t_{1}} \frac{(t_{1}-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr)\,\mathrm{d}s \biggr\vert \\ &\quad \leq \biggl\vert \int _{0}^{t_{1}} \frac{ [ (t_{2}-s)^{(\vartheta -2)} - (t_{1} -s)^{(\vartheta -2)} ] }{\varGamma (\vartheta -1 )} h_{i} \bigl(s,u_{i}(s),u'_{i}(s) \bigr)\,\mathrm{d}s \biggr\vert \\ &\quad\quad{} + \biggl\vert \int _{t_{1}}^{t_{2}} \frac{(t_{2}-s)^{(\vartheta -2)}}{\varGamma (\vartheta -1)} h_{i} \bigl(s,u_{i}(s),u'_{i}(s) \bigr)\,\mathrm{d}s \biggr\vert \\ &\quad \leq \int _{0}^{t_{1}} \frac{ [ (t_{2}-s)^{(\vartheta -2)} - (t_{1} -s)^{(\vartheta -2)} ] }{\varGamma (\vartheta -1 )} \bigl\vert h_{i} \bigl(s,u_{i}(s),u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad\quad{} + \int _{t_{1}}^{t_{2}} \frac{(t_{2}-s)^{(\vartheta -2)}}{\varGamma (\vartheta -1)} \bigl\vert h_{i} \bigl(s,u_{i}(s),u'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad \leq \biggl\{ \frac{t_{2}^{\vartheta -1} -t_{1}^{\vartheta -1} - (t_{2}-t_{1})^{\vartheta -1} }{\varGamma (\vartheta )} + \frac{(t_{2}-t_{1})^{\vartheta -1} }{\varGamma (\vartheta )} \biggr\} \Vert \delta _{i} \Vert \phi _{i} \bigl( \Vert u_{i} \Vert _{\mathcal{X}_{i}} \bigr), \end{aligned}$$

and so $\vert ((\varUpsilon _{1}^{(i)})'u)(t_{2})-((\varUpsilon _{1}^{(i)})'u)(t_{1}) \vert \to 0$ as $t_{1} \to t_{2}$. Hence, $\Vert (\varUpsilon _{1}u)(t_{2})-(\varUpsilon _{1}u)(t_{1}) \Vert _{ \mathcal{X}}$ tends to zero as $t_{1} \to t_{2}$. Thus, $\varUpsilon _{1}$ is equicontinuous, and so $\varUpsilon _{1}$ is a relatively compact operator on $\mathcal{B}_{\rho _{i}}$. Now, by using the Arzela–Ascoli theorem, we conclude that the operator $\varUpsilon _{1}$ is compact on $\mathcal{B}_{\rho _{i}}$. Here, we prove that the operator $\varUpsilon _{2}$ is a contraction. Let $u,v\in \mathcal{B}_{\rho _{i}}$. Then we have

$$\begin{aligned} & \bigl\vert \bigl(\varUpsilon _{2}^{(i)}u \bigr) (t) - \bigl( \varUpsilon _{2}^{(i)}v \bigr) (t) \bigr\vert \\ &\quad \leq \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{} \times \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) - h_{i} \bigl(s, v_{i}(s), v'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad\quad{} + \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{} \times \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) - h_{i} \bigl(s, v_{i}(s), v'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad\quad{} + \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{} \times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl( \tau , u_{i} (\tau ), u'_{i}( \tau ) \bigr) - h_{i} \bigl(\tau , v_{i} (\tau ), v'_{i}( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \, \mathrm{d}s \\ &\quad \leq \frac{ \vert \varLambda _{1} \vert + \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{}\times \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \sigma _{i}(s) \bigl( \bigl\vert u_{i}(s) - v_{i}(s) \bigr\vert + \bigl\vert u'_{i}(s) - v'_{i}(s) \bigr\vert \bigr)\,\mathrm{d}s \\ &\quad\quad{}+ \frac{ \vert \varLambda _{2} \vert + \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{}\times \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \sigma _{i}(s) \bigl( \bigl\vert u_{i}(s) - v_{i}(s) \bigr\vert + \bigl\vert u'_{i}(s) - v'_{i}(s) \bigr\vert \bigr)\,\mathrm{d}s \\ &\quad\quad{}+ \frac{ \vert \varLambda _{3} \vert + \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert t }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{}\times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \sigma _{i}( \tau ) \bigl( \bigl\vert u_{i}(\tau ) - v_{i}(\tau ) \bigr\vert + \bigl\vert u'_{i}( \tau ) - v'_{i}(\tau ) \bigr\vert \bigr)\,\mathrm{d}\tau \,\mathrm{d}s \end{aligned}$$

and

$$\begin{aligned} & \bigl\vert \bigl( \bigl(\varUpsilon _{2}^{(i)} \bigr)'u \bigr) (t) - \bigl( \bigl(\varUpsilon _{2}^{(i)} \bigr)'v \bigr) (t) \bigr\vert \\ &\quad \leq \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{} \times \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) - h_{i} \bigl(s, v_{i}(s), v'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad\quad{} + \frac{ \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{} \times \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \bigl\vert h_{i} \bigl(s, u_{i}(s), u'_{i}(s) \bigr) - h_{i} \bigl(s, v_{i}(s), v'_{i}(s) \bigr) \bigr\vert \,\mathrm{d}s \\ &\quad\quad{} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{} \times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \bigl\vert h_{i} \bigl( \tau , u_{i} (\tau ), u'_{i}( \tau ) \bigr) - h_{i} \bigl(\tau , v_{i} (\tau ), v'_{i}( \tau ) \bigr) \bigr\vert \,\mathrm{d}\tau \, \mathrm{d}s \\ &\quad \leq \frac{ \vert \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{} \times \int _{0}^{1} \frac{(1-s)^{\vartheta -1}}{ \varGamma ( \vartheta ) } \sigma _{i}(s) \bigl( \bigl\vert u_{i}(s) - v_{i}(s) \bigr\vert + \bigl\vert u'_{i}(s) - v'_{i}(s) \bigr\vert \bigr)\,\mathrm{d}s \\ &\quad\quad{} + \frac{ \vert \lambda _{2} \vert ( \lambda _{1} + \lambda _{2} - \lambda _{3})^{2} }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{} \times \int _{0}^{1} \frac{(1-s)^{\vartheta -2}}{ \varGamma ( \vartheta -1 ) } \sigma _{i}(s) \bigl( \bigl\vert u_{i}(s) - v_{i}(s) \bigr\vert + \bigl\vert u'_{i}(s) - v'_{i}(s) \bigr\vert \bigr)\,\mathrm{d}s \\ &\quad\quad{} + \frac{ \vert \lambda _{1} + \lambda _{2} \vert \vert \lambda _{3} \vert \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert }{ \vert \lambda _{1} + \lambda _{2} - \lambda _{3} \vert \vert \varLambda \vert } \\ &\quad\quad{} \times \int _{0}^{1} \int _{0}^{s} \frac{(s-\tau )^{\vartheta -1}}{ \varGamma ( \vartheta ) } \sigma _{i}( \tau ) \bigl( \bigl\vert u_{i}(\tau ) - v_{i}(\tau ) \bigr\vert + \bigl\vert u'_{i}( \tau ) - v'_{i}(\tau ) \bigr\vert \bigr)\,\mathrm{d}\tau \,\mathrm{d}s . \end{aligned}$$

Hence, we obtain

$$\begin{aligned}& \sup_{t\in [0,1]} \bigl\vert \bigl(\varUpsilon _{2}^{(i)}u \bigr) (t)- \bigl(\varUpsilon _{2}^{(i)}v \bigr) (t) \bigr\vert \leq \Vert \sigma _{i} \Vert \Delta _{1}^{*} \Vert u_{i}-v_{i} \Vert _{\mathcal{X}_{i}}, \\& \sup_{t\in [0,1]} \bigl\vert \bigl( \bigl(\varUpsilon _{2}^{(i)} \bigr)'u \bigr) (t)- \bigl( \bigl( \varUpsilon _{2}^{(i)} \bigr)'v \bigr) (t) \bigr\vert \leq \Vert \sigma _{i} \Vert \Delta _{2}^{*} \Vert u_{i}-v_{i} \Vert _{\mathcal{X}_{i}}. \end{aligned}$$

Thus, we get

$$ \Vert \varUpsilon _{2}u-\varUpsilon _{2}v \Vert _{\mathcal{X}} = \sum_{i=1}^{7} \bigl\Vert \varUpsilon _{2}^{(i)}u-\varUpsilon _{2}^{(i)}v \bigr\Vert _{\mathcal{X}_{i}} \leq \bigl(\Delta _{1}^{*} + \Delta _{2}^{*} \bigr) \sum_{i=1}^{7} \Vert \sigma _{i} \Vert \Vert u_{i}-v_{i} \Vert _{\mathcal{X}_{i}}, $$

and so $\Vert \varUpsilon _{2}u-\varUpsilon _{2}v \Vert _{\mathcal{X}} \leq k \Vert u-v \Vert _{\mathcal{X}}$. Since $k< 1$, $\varUpsilon _{2}$ is a contraction on $\mathcal{B}_{\rho _{i}}$. Now, by using Lemma 2, we conclude that the operator ϒ has a fixed point which is a solution for the fractional boundary value problem (2). □

Finally, one can easily prove the uniqueness of solutions for the fractional problem (2).

Theorem 6

Let$h_{1},\ldots, h_{7} :[0,1]\times \mathbb{R} \times \mathbb{R} \to \mathbb{R}$be continuous functions. Assume that there exist constants$L_{i}>0$such that$\vert h_{i} (t, u_{1} , u_{2} ) - h_{i} (t, u'_{1} , u'_{2} ) \vert \leq L_{i} ( \vert u_{1} - u'_{1} \vert + \vert u_{2} - u'_{2} \vert )$for all$u_{1} , u_{2} , u'_{1} , u'_{2} \in \mathbb{R}$and$t\in [0,1]$ ($i= 1,2,\ldots, 7$). Then the fractional boundary value problem (2) has a unique solution if$\sum_{i=1}^{7} L_{i} (\mathcal{K}_{0}^{*} + \mathcal{K}_{1}^{*} ) <1$.

Now, we present an example to illustrate our last main result.

Example 1

Consider the system of fractional differential equations

$$ \textstyle\begin{cases} {}^{c}\mathcal{D}_{0}^{1.08} u_{1}(t) = \frac{t \vert u_{1}(t) \vert }{10 (1+ \vert u_{1}(t) \vert )} + 0.1t \vert \arcsin u'_{1}(t) \vert , \\ {}^{c}\mathcal{D}_{0}^{1.08} u_{2}(t) = \frac{t}{2000} \vert \arctan u_{2}(t) \vert + \frac{t \vert \arcsin u'_{2}(t) \vert }{2000 + 2000 \vert \arcsin u'_{2}(t) \vert }, \\ {}^{c}\mathcal{D}_{0}^{1.08} u_{3}(t) = 0.01t \vert \sin u_{3}(t) \vert + 0.01t \frac{ \vert u'_{3}(t) \vert ^{3}}{2 + \vert u'_{3}(t) \vert ^{3} } \end{cases} $$

(9)

with integral boundary value conditions

$$ \textstyle\begin{cases} 0.7 u_{1}(0) + 0.12 u_{1}(1) = 0.1 \int _{0}^{1} u_{1}(s)\,\mathrm{d}s, \\ 0.7 u'_{1}(0) + 0.12 u'_{1}(1) = 0.1 \int _{0}^{1} u_{1}(s)\,\mathrm{d}s, \\ 0.7 u_{2}(0) + 0.12 u_{2}(1) = 0.1 \int _{0}^{1} u_{2}(s)\,\mathrm{d}s, \\ 0.7 u'_{2}(0) + 0.12 u'_{2}(1) = 0.1 \int _{0}^{1} u_{2}(s)\,\mathrm{d}s, \\ 0.7 u_{3}(0) + 0.12 u_{3}(1) = 0.1 \int _{0}^{1} u_{3}(s)\,\mathrm{d}s, \\ 0.7 u'_{3}(0) + 0.12 u'_{3}(1) = 0.1 \int _{0}^{1} u_{3}(s)\,\mathrm{d}s, \end{cases} $$

(10)

where $\vartheta = 1.08$, $\lambda _{1} = 0.7$, $\lambda _{2} = 0.12$, $\lambda _{3} = 0.1$, $n=3$ and ${}^{c}\mathcal{D}_{0}^{1.08}$ denotes the Caputo fractional derivative of order $\vartheta = 1.08$. Define continuous functions $h_{1},h_{2},h_{3} : [0,1] \times \mathbb{R} \times \mathbb{R} \to \mathbb{R}$ by

$$ \textstyle\begin{cases} h_{1} (t , u(t), v(t) ) = \frac{t \vert u(t) \vert }{10 (1+ \vert u(t) \vert )} + 0.1t \vert \arcsin v(t) \vert , \\ h_{2} (t , u(t), v(t) ) = \frac{t}{2000} \vert \arctan u(t) \vert + \frac{t \vert \arcsin v(t) \vert }{2000 + 2000 \vert \arcsin v(t) \vert }, \\ h_{3} (t , u(t), v(t) ) = 0.01t \vert \sin u(t) \vert + 0.01t \frac{ \vert v(t) \vert ^{3}}{2 + \vert v(t) \vert ^{3} } . \end{cases} $$

Let $u_{1}, u_{2}, v_{1}, v_{2} \in \mathbb{R}$. Then we have

$$\begin{aligned}& \bigl\vert h_{1} \bigl(t , u_{1}(t), v_{1}(t) \bigr) - h_{1} \bigl(t , u_{2}(t), v_{2}(t) \bigr) \bigr\vert \\& \quad \leq \frac{t}{10} \bigl( \bigl\vert u_{1}(t) - u_{2}(t) \bigr\vert + \bigl\vert \arcsin v_{1}(t) - \arcsin v_{2}(t) \bigr\vert \bigr) \\& \quad \leq \frac{t}{10} \bigl( \bigl\vert u_{1}(t) - u_{2}(t) \bigr\vert + \bigl\vert v_{1}(t) - v_{2}(t) \bigr\vert \bigr), \\& \bigl\vert h_{2} \bigl(t , u_{1}(t), v_{1}(t) \bigr) - h_{2} \bigl(t , u_{2}(t), v_{2}(t) \bigr) \bigr\vert \\& \quad \leq \frac{t}{2000} \bigl( \bigl\vert \arctan u_{1}(t) - \arctan u_{2}(t) \bigr\vert + \bigl\vert \arcsin v_{1}(t) - \arcsin v_{2}(t) \bigr\vert \bigr) \\& \quad \leq \frac{t}{2000} \bigl( \bigl\vert u_{1}(t) - u_{2}(t) \bigr\vert + \bigl\vert v_{1}(t) - v_{2}(t) \bigr\vert \bigr), \end{aligned}$$

and

$$\begin{aligned} & \bigl\vert h_{3} \bigl(t , u_{1}(t), v_{1}(t) \bigr) - h_{3} \bigl(t , u_{2}(t), v_{2}(t) \bigr) \bigr\vert \\ &\quad \leq \frac{t}{100} \bigl( \bigl\vert \sin u_{1}(t) - \sin u_{2}(t) \bigr\vert + \bigl\vert v_{1}(t) - v_{2}(t) \bigr\vert \bigr) \\ &\quad \leq \frac{t}{100} \bigl( \bigl\vert u_{1}(t) - u_{2}(t) \bigr\vert + \bigl\vert v_{1}(t) - v_{2}(t) \bigr\vert \bigr). \end{aligned}$$

Hence, $\sigma _{1}(t) = \frac{t}{10}$, $\sigma _{2}(t) = \frac{t}{2000}$, and $\sigma _{3}(t) = \frac{t}{100}$ where $\Vert \sigma _{1} \Vert = \frac{1}{10}$, $\Vert \sigma _{2} \Vert = \frac{1}{2000}$, and $\Vert \sigma _{3} \Vert = \frac{1}{100}$. Define the continuous and nondecreasing functions $\phi _{i}: \mathbb{R}^{+} \to \mathbb{R}$ by $\phi _{1}(u) = \phi _{2}(u) = \phi _{3}(u) = u$ for all $u \in \mathbb{R}^{+}$. Then we get

$$\begin{aligned}& \begin{aligned} \bigl\vert h_{1} \bigl(t, u(t) , u'(t) \bigr) \bigr\vert &\leq \frac{t}{10} \bigl( \vert u \vert + \bigl\vert \arcsin u' \bigr\vert \bigr) \\ &\leq \frac{t}{10} \bigl( \vert u \vert + \bigl\vert u' \bigr\vert \bigr) = \frac{t}{10} \phi _{1} \bigl( \vert u \vert + \bigl\vert u' \bigr\vert \bigr), \end{aligned} \\& \begin{aligned} \bigl\vert h_{2} \bigl(t, u(t) , u'(t) \bigr) \bigr\vert &\leq \frac{t}{2000} \bigl( \vert \arctan u \vert + \bigl\vert \arcsin u' \bigr\vert \bigr) \\ &\leq \frac{t}{2000} \bigl( \vert u \vert + \bigl\vert u' \bigr\vert \bigr) = \frac{t}{2000} \phi _{2} \bigl( \vert u \vert + \bigl\vert u' \bigr\vert \bigr), \end{aligned} \\& \begin{aligned} \bigl\vert h_{3} \bigl(t, u(t) , u'(t) \bigr) \bigr\vert &\leq \frac{t}{100} \bigl( \vert \sin u \vert + \bigl\vert u' \bigr\vert \bigr) \\ &\leq \frac{t}{100} \bigl( \vert u \vert + \bigl\vert u' \bigr\vert \bigr) = \frac{t}{100} \phi _{3} \bigl( \vert u \vert + \bigl\vert u' \bigr\vert \bigr), \end{aligned} \end{aligned}$$

where continuous functions $\delta _{i} : [0,1] \to \mathbb{R}$ are defined by $\delta _{1} (t) = \frac{t}{10}$, $\delta _{2} (t) = \frac{t}{2000}$, and $\delta _{3} (t) = \frac{t}{100}$. According to the obtained values, we get $\Delta _{1}^{*} \simeq 0.4808$, $\Delta _{2}^{*} \simeq 0.2486$, and so $\Delta _{1}^{*} + \Delta _{1}^{*} \simeq 0.7294$. Hence, $k := (\Delta _{1}^{*} + \Delta _{2}^{*} )\sum_{i=1}^{3} \Vert \sigma _{i} \Vert = (\Delta _{1}^{*} + \Delta _{2}^{*} ) ( \Vert \sigma _{1} \Vert + \Vert \sigma _{2} \Vert + \Vert \sigma _{3} \Vert ) \simeq 0.08059 <1$. Now, by using Theorem 5, we conclude that the fractional boundary value problems (9)–(10) have a solution.

4 Conclusion

With the development and expansion of some dynamical and industrial systems such as gas transmission lines, water pipelines, the expansive growth of computer networks, structure of molecules in medicine and biology, etc., new descriptive models have emerged for studying the related processes designed by specialists of these fields. Due to the graph representation of these networks, the study of mathematical models described by ordinary or fractional differential equations on special graphs was considered. In this paper, our aim was to extend the idea on more generalized graphs. In this way, we investigated the existence of solutions for some fractional boundary value problems on the ethane graph. We presented two distinct results by considering different conditions on the problems. Also, we provided an example to illustrate our last main result.