Skip to main content

On the novel existence results of solutions for a class of fractional boundary value problems on the cyclohexane graph

Abstract

A branch of mathematical science known as chemical graph theory investigates the implications of connectedness in chemical networks. A few researchers have looked at the solutions of fractional differential equations using the concept of star graphs. Their decision to use star graphs was based on the assumption that their method requires a common point linked to other nodes but not to each other. Our goal is to broaden the scope of the method by defining the idea of a cyclohexane graph, which is a cycloalkane with the molecular formula \(C_{6}H_{12}\) and CAS number 110-82-7. It consists of a ring of six carbon atoms, each bonded with two hydrogen atoms above and below the plane with multiple junction nodes. This article examines the existence of fractional boundary value problem’ solutions on such graphs in the sense of the Caputo fractional derivative by using the well-known fixed point theorems. In addition, an example is given to support our key findings.

1 Introduction

In fractional differential equations, there has been a lot of theoretical and practical development in recent years (for detail, see [14]). Most articles and books on fractional calculus in the setting of special functions concentrate on the solvability of linear fractional differential equations [513]. Several new papers dealing with nonlinear fractional differential equations and their solutions using methods such as the stability analysis, Leray–Schauder theorem, and fixed point analysis have recently been published [1419].

Chemical graph theory is one of the fields of mathematics that examines the consequences of a chemical network’s connectivity. A chemical graph may represent any actual or abstract chemical system (i.e., molecular transformations in a chemical reaction). Chemical graph theory, in other words, is focused on every element of graph theory’s application to chemistry. Furthermore, in chemical graph theory, the word “chemical” is used to highlight that, unlike graph theory, one may depend on scientific observation of many ideas and theorems rather than rigorous mathematical proofs, which is a crucial difference.

Lumer’s research [20] was the first to look at differential equation theory applied to graphs. By altering specified local operators, he investigated extended equations of evolution on ramification spaces. In 1989, using a geometric network, Zavgorodnij [21] studied linear differential equations, with the existence of suggested boundary value problem solutions arranged at the interior vertices of the network. Gordeziani et al., on the other hand, used the double-sweep technique to find the numerical solutions for ordinary differential equations on graphs, which they found to be more efficient (see [22]).

However, just a few studies on fractional boundary value problems with graphs have shown the existence of solutions using specific fixed point techniques (see [23, 24]). The concept of a star graph was used by the authors of these works, namely \(\mathcal{E^{\star }}=\mathcal{X^{\star }}(\mathcal{E^{\star }}) \cup \mathcal{Y^{\star }}(\mathcal{E^{\star }})\), where \(\mathcal{X^{\star }}(\mathcal{E^{\star }})=\{\tilde{p}_{0},\tilde{p}_{1}, \tilde{p}_{2}\}\) and \(\mathcal{Y^{\star }}(\mathcal{E^{\star }})= \{ \tilde{r}_{1}= \overrightarrow{\tilde{p}_{1}\tilde{p}_{0}},\tilde{r}_{2}=\overrightarrow{\tilde{p}_{2}\tilde{p}_{0}} \} \) are sets of vertices and edges, respectively, such that \(\tilde{p}_{0}\) is the junction node and \(\tilde{r}_{\ell }=\overrightarrow{\tilde{p}_{\ell }\tilde{p}_{0}}\) is the edge connecting nodes \(\tilde{p}_{\ell }\) to \(\tilde{p}_{0}\) having length \(\tilde{\varrho }_{\ell }= \vert \overrightarrow{\tilde{p}_{\ell }\tilde{p}_{0}} \vert \) for \(\ell =1,2\) (see Fig. 1).

Figure 1
figure 1

A picture of a star graph G

After establishing a local coordinate system with the origin at the vertices \(\tilde{r}_{1}\) and \(\tilde{r}_{2}\), the coordinate \(s \in ( 0,\tilde{\varrho }_{\ell } ) \) is investigated on each edge \(\tilde{r}_{\ell }=\overrightarrow{\tilde{p}_{\ell }\tilde{p}_{0}}\) (as seen in Fig. 1). Graef et al. [23] suggested the subsequent system of nonlinear fractional differential equations defined on each edge \(\tilde{r}_{\ell }=\overrightarrow{\tilde{p}_{\ell }\tilde{p}_{0}}\) and applied the notable fixed point theorems to prove the existence of solutions of the following problem:

$$\begin{aligned} \textstyle\begin{cases}-{}^{\mathrm{RL}}\mathfrak{D}^{j}w_{\ell }(s )=h_{\ell }(s )L_{\ell } (s ,y(s ) ) \quad (s \in (0, \tilde{\varrho }_{\ell }), \ell =1,2 ), \\ w_{1}(0)=w_{2}(0)=0,\qquad w_{1}(\tilde{ \varrho }_{1})=w_{2}( \tilde{\varrho }_{2}), \quad {}^{\mathrm{RL}}\mathfrak{D}^{k}w_{1}( \tilde{\varrho }_{1})+{}^{\mathrm{RL}}\mathfrak{D}^{k}w_{2}( \tilde{\varrho }_{2})=0,\end{cases}\displaystyle \end{aligned}$$
(1.1)

where \(j \in (1,2]\), \(k \in (0,j )\), h :[0, ϱ ˜ ]R are continuous functions with \(h_{\ell }(s )\neq 0\) on \([0,\tilde{\varrho }_{k}]\) and also L :[0, ϱ ˜ ]×RR are continuous functions. Also, \({}^{\mathrm{RL}}\mathfrak{D}^{j}\) and \({}^{\mathrm{RL}}\mathfrak{D}^{k}\) represent Riemann–Liouville fractional derivatives of orders j and k, respectively.

In [24], Mehandiratta et al. broaden the above work to \((u+1)\) vertices with

$$ \mathcal{X^{\star }} \bigl(\mathcal{E^{\star }} \bigr)=\{ \tilde{p}_{0},\tilde{p}_{1}, \dots ,\tilde{p}_{u} \} \quad \text{and}\quad \mathcal{Y^{\star }} \bigl( \mathcal{E^{\star }} \bigr)= \{ \tilde{r}_{1}= \overrightarrow{\tilde{p}_{1} \tilde{p}_{0}},\tilde{r}_{2}= \overrightarrow{ \tilde{p}_{2}\tilde{p}_{0}},\dots ,\tilde{r}_{u}= \overrightarrow{\tilde{p}_{u}\tilde{p}_{0}} \} , $$

where the length of each \(\tilde{r}_{\ell }\) joining vertices \(\tilde{p}_{\ell }\) to \(\tilde{p}_{0}\) (\(\ell =1,2,\dots ,u\)) is \(\tilde{\varrho }_{\ell }= \vert \overrightarrow{\tilde{p}_{\ell }\tilde{p}_{0}} \vert \). They investigated the solutions of the following problem:

$$\begin{aligned} \textstyle\begin{cases} \mathfrak{D}^{j}w_{\ell }(s )= \mathcal{H} _{\ell } (s ,w_{\ell }(s ), \mathfrak{D}^{k}w_{\ell }(s ) ) \quad (s \in (0,\tilde{\varrho }_{\ell }), \ell =1,2,\dots , u ), \\ w_{\ell }(0)=0,\qquad w_{\ell }(\tilde{\varrho }_{\ell }) \neq w_{m}( \tilde{\varrho }_{m})\quad (\ell \neq m), \sum_{\ell =1}^{u}w_{\ell }^{\prime }( \tilde{\varrho }_{\ell })=0, \end{cases}\displaystyle \end{aligned}$$
(1.2)

where \(j \in (1,2]\), \(k\in (0,j -1]\), H :[0, ϱ ˜ ]×R×RR are continuous functions and \(\mathfrak{D}^{\chi }\) denotes the Caputo fractional derivative of order \(\chi \in \{j ,k\}\), and used transformations \(\tilde{\theta }=\frac{s }{\tilde{\varrho }_{\ell }}\in {}[ 0,1]\) and \(\sigma (\tilde{\theta })=w(s )=w ( \tilde{\varrho }_{\ell }\tilde{\theta } ) \) for \(s \in {}[ 0,\tilde{\varrho }_{\ell }]\) to prove the following relation:

$$ \mathfrak{D}^{j}w(s )=\tilde{\varrho }_{\ell }^{-j } \bigl(\mathfrak{D}^{j} \sigma (\tilde{\theta }) \bigr). $$
(1.3)

By using (1.3) on the interval \([0,1]\), we can write (1.1) as

$$\begin{aligned} \textstyle\begin{cases} \mathfrak{D}^{j}\sigma (\tilde{\theta })=\tilde{\varrho }_{\ell }^{j } \mathcal{H} _{\ell } (s ,\sigma _{\ell }(\tilde{\theta }),\tilde{\varrho }_{ \ell }^{-k}\mathfrak{D}^{k}\sigma _{k}( \tilde{\theta }) ) \quad ( \tilde{\theta }\in {}[ 0,1] ), \\ \sigma _{\ell }(0)=0,\qquad \sigma _{\ell }(1)=\sigma _{m}(1)\quad (\ell \neq m), \sum_{\ell =1}^{u} \tilde{\varrho }_{\ell }^{-1}\sigma _{\ell }^{ \prime }(1)=0,\end{cases}\displaystyle \end{aligned}$$
(1.4)

where \(\sigma _{\ell }(\tilde{\theta })=w_{\ell }(\tilde{\varrho }_{\ell } \tilde{\theta })\) and \(\mathcal{H} _{k}(\tilde{\theta },z,w)=\mathcal{H} _{\ell }( \tilde{\varrho }_{\ell }\tilde{\theta },z,w)\) for \(\ell =1,2,\dots ,u\).

Recently, Mophou et al. [25] investigated the solution of the following fractional Sturm–Liouville boundary value problems on a star graph:

{ D b 1 j ( β D a + j w ) ( s ) + q ( s ) w ( s ) = H ( s ) , s ( a , b ) , = 1 , 2 , , n , I a + 1 j w ( a + ) = I a + 1 j w m ( a + ) , j m = 1 , 2 , , n , = 1 n β ( a ) D a + j w ( a + ) = 0 , I a + 1 j w 1 ( b 1 ) = 0 , I a + 1 j w ( b ) = v , = 2 , 3 , , p , β ( b ) D a + j w ( b ) = v , = p , p + 1 , , n ,
(1.5)

where D a + j and \(\mathfrak{D}^{j}_{b_{\ell }^{-1}}\), \(\ell = 1,2, \dots , n\) stand, respectively, for the left Riemann–Liouville and the right Caputo fractional derivative of order \(j \in (0, 1)\); \(I^{j}_{a^{+}}\) is the Riemann–Liouville fractional integral of order j. The real functions \(\beta ^{\ell }\) and \(q^{\ell }\) are defined on \([a, b_{\ell }]\) (\(\ell = 1,2,\dots , n\)). The function \(\mathcal{H} ^{\ell }\) belongs to \(L^{2}(a, b_{\ell })\), \(\ell = 1,2,\dots , n\), and the controls \(v_{\ell }\), \(\ell = 1,2,\dots , n\) are real variables.

For the recent research in this area, we refer to [2629] and the references therein.

In this work, we utilized the concept of the cyclohexane graph (see Fig. 2) to extend the idea of the above fractional boundary value problems to a new problem that is more generic than star graphs.

Figure 2
figure 2

Chemical bond of cyclohexane compound

The method used in [23] and [24] for identifying the origin at boundary nodes other than the junction node \(\tilde{p}_{0}\) would be insufficient since a cyclohexane graph has several junction points. As a result, we use another procedure in which we label the vertices of the preceding graph with 0 or 1 having edge length \(\tilde{\varrho }_{\ell }=1\) (see Fig. 3).

Figure 3
figure 3

Cyclohexane graph with vertices 0 or 1

Here, we examine the existence of solutions to the following problem:

$$\begin{aligned}& \textstyle\begin{cases} \mathfrak{D}^{j}w_{\ell }(s ) = \mathcal{H} _{\ell } (s ,w_{\ell }(s ), \mathfrak{D}^{k}w_{\ell }(s ),w_{\ell }^{\prime }(s ) )\quad (s \in {}[ 0,1] ), \\ \eta _{1} w_{\ell }(0) + \eta _{2} w_{\ell }(1) = \eta _{3} \int _{0}^{1} \mathfrak{D}^{j-1}w_{\ell }( \omega )\,d\omega , \\ \eta _{1} \mathcal{D}^{k} w_{\ell }(1) + \eta _{2} \mathcal{D}^{2k} w_{ \ell }(1) = \eta _{3} \int _{0}^{1} \mathfrak{D}^{j-1}w_{\ell }( \omega )\,d\omega , \end{cases}\displaystyle \end{aligned}$$
(1.6)

where \(\eta _{\kappa }\) (\(\kappa = 1,2,3\)) are real constants with \(\eta _{\kappa } \neq 0\), \(\mathfrak{D}^{j}\), \(\mathfrak{D}^{j-1}\), and \(\mathfrak{D}^{k}\) are the Caputo fractional derivative of orders \(j\in ( 1,2 ]\), \(j-1 \in (0,1]\), and \(k \in (0, 1)\), respectively. Also, H :[0,1]×R×R×RR is a given continuously differentiable function for \(\ell =18\), where is the number of edges of the graph representation of cyclohexane compound with \(\vert \tilde{r}_{k}\vert =1\). Also, \(\mathcal{D}^{2m}\) is the sequential fractional derivative discussed in [2]

$$\begin{aligned}& \textstyle\begin{cases} \mathcal{D}^{k }w =\mathfrak{D}^{k }w, \\ \mathcal{D}^{\tau k }w =\mathcal{D}^{k }\mathcal{D}^{(\tau -1)k }w\quad (\tau =2,3,\dots ).\end{cases}\displaystyle \end{aligned}$$
(1.7)

Our goal is to use the relevant fixed point theorems to prove the existence of solutions to the proposed problem (1.6). Finally, an example is given to highlight the significance of our results in the particular literature.

2 Preliminaries

In the next sections, the subsequent outcomes will be required.

Definition 2.1

([2])

The Caputo fractional derivative of order \(j >0\) for a function \(\mathcal{H} \in C^{\chi }[0,+\infty )\) is defined as

$$ \mathfrak{D}^{j}\mathcal{H} (s )=\frac{1}{\Gamma (\chi -j )}\int _{0}^{s }(s -\omega )^{\chi -j -1}\mathcal{H} ^{(\chi )}(\omega )\,d\omega \quad \bigl(\chi -1< j < \chi , \chi =[j ]+1 \bigr), $$

where \([j ]\) represents the integer part of j.

Lemma 2.2

For \(p >0\), the general solution of the fractional differential equation \(\mathfrak{D}^{j}w(s )=0\) is given by

$$ w(s )=z_{0}+z_{1}s +z_{2}s ^{2}+ \cdots +z_{n-1}s^{n-1}, $$

where z k R, \(k=0,1,\dots ,n-1\) (\(n-1< j < n\), \(n=[j ]+1\)).

Also,

I p D j w(s)=w(s)+ z 0 + z 1 s+ z 2 s 2 ++ z n 1 s n 1 ,

for some z k R, \(k=0,1,\dots ,n-1\) (\(n-1< j < n\), \(n=[j ]+1\)).

Lemma 2.3

Suppose that real-valued functions \(\Upsilon _{1},\Upsilon _{2}, \dots ,\Upsilon _{18}\) are continuous on the closed interval \([0,1]\). Then \(w_{\ell }^{\star }\) is a solution for boundary value problem satisfying the boundary conditions

$$\begin{aligned}& \textstyle\begin{cases} \mathfrak{D}^{j}w_{\ell }(s ) =\Upsilon _{\ell }(t) \quad (s \in {}[ 0,1], \ell = 1,2,\ldots , 18 ), \\ \eta _{1} w_{\ell }(0) + \eta _{2} w_{\ell }(1) = \eta _{3} \int _{0}^{1} \mathfrak{D}^{j-1}w_{\ell }( \omega )\,d\omega , \\ \eta _{1} \mathcal{D}^{k} w_{\ell }(1) + \eta _{2} \mathcal{D}^{2k} w_{ \ell }(1) = \eta _{3} \int _{0}^{1} \mathfrak{D}^{j-1}w_{\ell }( \omega )\,d\omega , \end{cases}\displaystyle \end{aligned}$$
(2.1)

if and only if \(w_{\ell }^{\star }\) is a solution for the following fractional integral equation:

$$ \begin{aligned} w_{\ell }(s ) ={}& \int _{0}^{s } \frac{(s -\omega )^{j -1}}{\Gamma (j )}\Upsilon _{\ell }(\omega )\,d\omega \\ &{} + \eta _{3} \biggl( \frac{1}{\eta _{1}+\eta _{2} } + \frac{A_{0}+ s }{A_{1} } \biggr) \int _{0}^{1} \int _{0}^{\omega } \Upsilon _{\ell }(\zeta )\,d\zeta \,d\omega \\ & {}- \frac{\eta _{2}}{\eta _{1}+\eta _{2} } \int _{0}^{1} \frac{(1-\omega )^{j-1}}{\Gamma (j)} \Upsilon _{\ell }(\omega )\,d\omega \\ & {}- \frac{A_{0} + s}{A_{1} } \biggl[ \frac{\eta _{2}}{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \Upsilon _{\ell }(\omega )\,d\omega \\ & {}+ \frac{\eta _{1}}{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k -1}\Upsilon _{\ell }(\omega )\,d\omega \biggr] , \end{aligned} $$
(2.2)

where

$$ A_{0} = \frac{\eta _{3} - \eta _{2} \Gamma (4-j)}{ ( \eta _{1} + \eta _{2} ) \Gamma (4-j)}, \qquad A_{1} = \frac{\eta _{1}}{\Gamma (2-k)} + \frac{\eta _{2}}{\Gamma (2-2k)} - \frac{\eta _{3}}{\Gamma (4-j)} . $$

Proof

Suppose that \(w^{\star }_{\ell }\) is a solution of (2.1), where \(\ell =1,2,\dots ,18\). Then there exist constants z 0 ( ) , z 1 ( ) R such that

$$ w^{\star }_{\ell }(s )= \int _{0}^{s } \frac{(s -\omega )^{j -1}}{\Gamma (j )}\Upsilon _{\ell }(\omega )\,d\omega +z_{0}^{(\ell )}+z_{1}^{(\ell )}s . $$
(2.3)

Using the boundary conditions for (2.1), we have

$$\begin{aligned}& z_{0}^{(\ell )} = \eta _{3} \biggl( \frac{1}{\eta _{1}+\eta _{2} } + \frac{A_{0} }{A_{1} } \biggr) \int _{0}^{1} \int _{0}^{\omega } \Upsilon _{\ell }(\zeta )\,d\zeta \,d\omega \\& \hphantom{z_{0}^{(\ell )} =}{} - \frac{\eta _{2}}{\eta _{1}+\eta _{2} } \int _{0}^{1} \frac{(1-\omega )^{j-1}}{\Gamma (j)} \Upsilon _{\ell }(\omega )\,d\omega \\& \hphantom{z_{0}^{(\ell )} =}{}- \frac{A_{0} }{A_{1} } \biggl[ \frac{\eta _{2}}{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \Upsilon _{\ell }(\omega )\,d\omega \\& \hphantom{z_{0}^{(\ell )} =}{} + \frac{\eta _{1}}{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k -1}\Upsilon _{\ell }(\omega )\,d\omega \biggr] , \\& z_{1}^{(\ell )} = \frac{ \eta _{3}}{A_{1} } \int _{0}^{1} \int _{0}^{ \omega } \Upsilon _{\ell }(\zeta )\,d\zeta \,d\omega - \frac{\eta _{2}}{A_{1}} \int _{0}^{1} \frac{(1-\omega )^{j-2k -1}}{\Gamma (j-2k)}\Upsilon _{\ell }(\omega )\,d\omega \\& \hphantom{z_{1}^{(\ell )} =}{} - \frac{\eta _{1}}{A_{1}} \int _{0}^{1} \frac{(1-\omega )^{j -k -1}}{\Gamma (j - k)} \Upsilon _{\ell }(\omega )\,d\omega . \end{aligned}$$

Substituting the values of \(z_{0}^{(\ell )}\) and \(z_{1}^{(\ell )}\) into (2.3), we obtain the solution (2.2). With regard to the converse statement, it is self-evident that \(w^{\star }_{\ell }\) is a solution for (2.1) when it is a solution for an integral equation (2.3). □

The fixed point theorems of Schaefer and Krasnoselskii are now presented.

Theorem 2.4

([30])

If \(\mathcal{T}\) is a completely continuous, that is, \(\mathcal{T}\) is continuous and totally bounded, self-operator on a Banach space \(\mathcal{C}\), then either \(\{ a \in \mathcal{C} : a = b \mathcal{T} a \textit{ for some } b \in (0,1) \} \) is unbounded or \(\mathcal{T} \) has a fixed point.

Theorem 2.5

([30])

Let \(\mathcal{O}\) be a closed convex and nonempty subset of a Banach space \(\mathcal{C}\) and \(\mathcal{T} _{1},\mathcal{T} _{2}:\mathcal{O} \rightarrow \mathcal{C}\) be two operators satisfying the following conditions:

  1. 1.

    \(\mathcal{T} _{1}k+\mathcal{T} _{2}k^{\prime }\in \mathcal{O}\) for all \(k,k^{\prime }\in \mathcal{O} \);

  2. 2.

    \(\mathcal{T} _{1}\) is compact and continuous on \(\mathcal{O}\);

  3. 3.

    \(\mathcal{T} _{2}\) is a Banach contraction mapping on \(\mathcal{O}\), that is, there is \(\delta \in [0,1)\) such that

    $$ \bigl\Vert \mathcal{T} _{2}k-\mathcal{T} _{2}k^{\prime } \bigr\Vert \leq \delta \bigl\Vert k-k^{ \prime } \bigr\Vert $$

for all \(k,k^{\prime }\in \mathcal{O}\). Then \(\mathcal{T} _{1}+\mathcal{T} _{2}\) has a fixed point.

3 Main results

We define the Banach space \(\mathcal{C}_{\ell }=\{w_{\ell }:w_{\ell },\mathfrak{D}^{k} w_{\ell },w_{ \ell }^{\prime } \in C[0,1]\}\) with the norm

$$ \Vert w_{\ell } \Vert _{\mathcal{C}_{\ell }}= \sup_{s \in {}[ 0,1]} \bigl\vert w_{\ell }(s ) \bigr\vert + \sup_{s \in {}[ 0,1]} \bigl\vert \mathfrak{D}^{k} w_{\ell }(s ) \bigr\vert + \sup _{s \in {}[ 0,1]} \bigl\vert w_{\ell }^{\prime }(s ) \bigr\vert $$

for \(\ell =1,2,\dots ,18\). It is obvious that the product space \(\mathcal{C}=\mathcal{C}_{1}\times \mathcal{C}_{2}\times \cdots \times \mathcal{C}_{18}\) is a Banach space, where the norm is defined by

$$ \big\Vert w=(w_{1},w_{2},\dots ,w_{18})\big\Vert _{\mathcal{C}}=\sum_{\ell =1}^{18} \Vert w_{\ell } \Vert _{ \mathcal{C}_{\ell }}. $$

In order to apply Lemma 2.3, we introduce the operator \(\mathcal{T} \): \(\mathcal{C}\rightarrow \mathcal{C}\) by

$$ \mathcal{T} (w_{1},w_{2},\dots ,w_{18}) (s ) := \bigl( \mathcal{T}_{1}(w_{1},w_{2}, \dots ,w_{18}), \dots , \mathcal{T}_{18}(w_{1},w_{2}, \dots , w_{18}) (s ) \bigr) , $$
(3.1)

where

$$ \begin{aligned} &\mathcal{T} _{\ell }(w_{1},w_{2}, \dots ,w_{18}) (s ) \\ &\quad = \int _{0}^{s }\frac{(s -\omega )^{j -1}}{\Gamma (j )} \mathcal{H} _{ \ell } \bigl( \omega , w_{\ell }(\omega ),\mathfrak{D}^{k}w_{\ell }( \omega ),w_{\ell }^{\prime }(\omega ) \bigr)\,d\omega \\ & \qquad {}+ \eta _{3} \biggl( \frac{1}{\eta _{1}+\eta _{2} } + \frac{A_{0}+ s }{A_{1} } \biggr) \int _{0}^{1} \int _{0}^{\omega } \mathcal{H} _{\ell } \bigl( \zeta , w_{\ell }(\zeta ),\mathfrak{D}^{k}w_{ \ell }(\zeta ),w_{\ell }^{\prime }(\zeta ) \bigr)\,d\zeta \,d\omega \\ &\qquad {}- \frac{\eta _{2}}{\eta _{1}+\eta _{2} } \int _{0}^{1} \frac{(1-\omega )^{j-1}}{\Gamma (j)} \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ),\mathfrak{D}^{k}w_{\ell }( \omega ),w_{\ell }^{ \prime }(\omega ) \bigr)\,d\omega \\ & \qquad {}- \frac{A_{0} + s}{A_{1} } \biggl[ \frac{\eta _{2}}{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ),\mathfrak{D}^{k}w_{ \ell }( \omega ),w_{\ell }^{\prime }(\omega ) \bigr)\,d\omega \\ & \qquad {}+ \frac{\eta _{1}}{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k -1} \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }( \omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr)\,d\omega \biggr] \end{aligned} $$
(3.2)

for all \(s \in {}[ 0,1]\) and \(w_{\ell }\in \mathcal{C}_{\ell }\).

To simplify calculations, we shall use the following notation:

$$\begin{aligned}& A_{0} = \frac{\eta _{3} - \eta _{2} \Gamma (4-j)}{ ( \eta _{1} + \eta _{2} ) \Gamma (4-j)} , \end{aligned}$$
(3.3)
$$\begin{aligned}& A_{1} = \biggl[\frac{\eta _{1}}{\Gamma (2-k)} + \frac{\eta _{2}}{\Gamma (2-2k)} - \frac{\eta _{3}}{\Gamma (4-j)} \biggr] \neq 0 , \end{aligned}$$
(3.4)
$$\begin{aligned}& \mathcal{F}_{0}^{\ast } = \frac{1 }{\Gamma (j +1)} + \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert } \biggr) \frac{ \vert \eta _{1} \vert }{\Gamma (j-k+1)} + \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert } + \frac{1}{ \vert \eta _{1} + \eta _{2} \vert } \biggr) \frac{ \vert \eta _{3} \vert }{2} \\& \hphantom{\mathcal{F}_{0}^{\ast } =} {}+ \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert \Gamma (j-2k+1)} + \frac{1}{ \vert \eta _{1} + \eta _{2} \vert \Gamma (j+1)} \biggr) \vert \eta _{2} \vert , \end{aligned}$$
(3.5)
$$\begin{aligned}& \mathcal{F}_{1}^{\ast } = \frac{1}{\Gamma (j -k +1 )}+ \frac{1 }{\Gamma (2-k) \vert A_{1} \vert } \\& \hphantom{\mathcal{F}_{1}^{\ast } =}{}\times \biggl( \frac{ \vert \eta _{1} \vert }{\Gamma (j-k +1)} + \frac{ \vert \eta _{2} \vert }{\Gamma (j - 2k +1)} + \frac{ \vert \eta _{3} \vert }{2} \biggr), \end{aligned}$$
(3.6)
$$\begin{aligned}& \mathcal{F}_{2}^{\ast } = \frac{1}{\Gamma (j)}+ \frac{1 }{ \vert A_{1} \vert } \biggl( \frac{ \vert \eta _{1} \vert }{\Gamma (j-k +1)} + \frac{ \vert \eta _{2} \vert }{\Gamma (j - 2k +1)} + \frac{ \vert \eta _{3} \vert }{2} \biggr) , \end{aligned}$$
(3.7)
$$\begin{aligned}& \mathcal{V}_{0}^{\ast } = \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert } \biggr) \frac{ \vert \eta _{1} \vert }{\Gamma (j-k+1)} + \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert } + \frac{1}{ \vert \eta _{1} + \eta _{2} \vert } \biggr) \frac{ \vert \eta _{3} \vert }{2} \\& \hphantom{\mathcal{V}_{0}^{\ast } =} {}+ \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert \Gamma (j-2k+1)} + \frac{1}{ \vert \eta _{1} + \eta _{2} \vert \Gamma (j+1)} \biggr) \vert \eta _{2} \vert , \end{aligned}$$
(3.8)
$$\begin{aligned}& \mathcal{V} _{1}^{\ast } = \frac{1 }{\Gamma (2-k) \vert A_{1} \vert } \biggl( \frac{ \vert \eta _{1} \vert }{\Gamma (j-k +1)} + \frac{ \vert \eta _{2} \vert }{\Gamma (j - 2k +1)} + \frac{ \vert \eta _{3} \vert }{2} \biggr) , \end{aligned}$$
(3.9)
$$\begin{aligned}& \mathcal{V} _{2}^{\ast } = \frac{1 }{ \vert A_{1} \vert } \biggl( \frac{ \vert \eta _{1} \vert }{\Gamma (j-k +1)} + \frac{ \vert \eta _{2} \vert }{\Gamma (j - 2k +1)} + \frac{ \vert \eta _{3} \vert }{2} \biggr) . \end{aligned}$$
(3.10)

Theorem 3.1

Consider the fractional boundary value problem (1.6). Suppose that H 1 , H 2 ,, H 18 :[0,1]×R×R×RR are continuous functions and there exist constants \(\Xi _{\ell }>0\) for all \(\ell =1,2,\dots ,18\) such that \(\vert \mathcal{H} _{\ell }(s ,w, \tilde{w}, \tilde{\tilde{w}}) \vert \leq \Xi _{\ell } \) for all w, w ˜ , w ˜ ˜ R, \(s \in {}[ 0,1]\). Then problem (1.6) has a solution.

Proof

It is obvious from the implication of (3.2) that the fixed points of \(\mathcal{T} \) defined by (3.1) exist if and only if (1.6) has a solution. To prove this, we first show that \(\mathcal{T} \) is completely continuous.

As \(\mathcal{H} _{1},\mathcal{H} _{2},\dots ,\mathcal{H} _{18}\) are continuous, \(\mathcal{T} :\mathcal{C}\rightarrow \mathcal{C}\) is continuous, too. Let \(\mathcal{O} \in \mathcal{C}\) be a bounded set and \(w=(w_{1},w_{2},\dots ,w_{18})\in \mathcal{C}\), so that for each \(s \in {}[ 0,1]\) we have

$$ \begin{aligned} &\bigl\vert (\mathcal{T} _{\ell }w) (s ) \bigr\vert \\ &\quad \leq \int _{0}^{s }\frac{(s -\omega )^{j -1}}{\Gamma (j )} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ & \qquad {}+ \vert \eta _{3} \vert \biggl( \frac{1}{ \vert \eta _{1}+\eta _{2} \vert } + \frac{ \vert A_{0} \vert +s }{ \vert A_{1} \vert } \biggr) \int _{0}^{1} \int _{0}^{\omega } \bigl\vert \mathcal{H} _{\ell } \bigl( \zeta , w_{\ell }( \zeta ),\mathfrak{D}^{k}w_{\ell }( \zeta ),w_{\ell }^{\prime }(\zeta ) \bigr) \bigr\vert \,d\zeta \,d\omega \\ & \qquad {}+ \frac{ \vert \eta _{2} \vert }{ \vert \eta _{1}+\eta _{2} \vert } \int _{0}^{1} \frac{(1-\omega )^{j-1}}{\Gamma (j)} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{ \prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ & \qquad {}+ \frac{ \vert A_{0} \vert + s}{ \vert A_{1} \vert } \biggl[ \frac{ \vert \eta _{2} \vert }{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ &\qquad {}+ \frac{ \vert \eta _{1} \vert }{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k -1} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }( \omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \biggr] \\ &\quad \leq \Xi _{\ell } \biggl[ \frac{1 }{\Gamma (j +1)} + \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert } \biggr) \frac{ \vert \eta _{1} \vert }{\Gamma (j-k+1)} + \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert } + \frac{1}{ \vert \eta _{1} + \eta _{2} \vert } \biggr) \frac{ \vert \eta _{3} \vert }{2} \\ &\qquad {}+ \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert \Gamma (j-2k+1)} + \frac{1}{ \vert \eta _{1} + \eta _{2} \vert \Gamma (j+1)} \biggr) \vert \eta _{2} \vert \biggr] \\ &\quad =\Xi _{\ell }\mathcal{F}_{0}^{\ast }, \end{aligned} $$

where \(\mathcal{F}_{0}^{\ast }\) is given in (3.5). Also,

$$\begin{aligned}& \bigl\vert \bigl(\mathfrak{D}^{k} \mathcal{T} _{\ell }w \bigr) (s ) \bigr\vert \\& \quad \leq \int _{0}^{s }\frac{(s -\omega )^{j -k -1}}{\Gamma (j-k)} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\& \qquad {}+ \frac{ \vert \eta _{3} \vert s^{1-k} }{\Gamma (2-k) \vert A_{1} \vert } \int _{0}^{1} \int _{0}^{\omega } \bigl\vert \mathcal{H} _{\ell } \bigl( \zeta , w_{ \ell }(\zeta ),\mathfrak{D}^{k}w_{\ell }( \zeta ),w_{\ell }^{\prime }( \zeta ) \bigr) \bigr\vert \,d\zeta \, d \omega \\& \qquad {}+ \frac{s^{1-k} }{\Gamma (2-k) \vert A_{1} \vert } \biggl[ \frac{ \vert \eta _{2} \vert }{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\& \qquad {}+ \frac{ \vert \eta _{1} \vert }{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k-1} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d \omega \biggr] \\& \quad \leq \Xi _{\ell } \biggl[ \frac{1}{\Gamma (j -k +1 )}+ \frac{1 }{\Gamma (2-k) \vert A_{1} \vert } \biggl( \frac{ \vert \eta _{1} \vert }{\Gamma (j-k +1)} + \frac{ \vert \eta _{2} \vert }{\Gamma (j - 2k +1)} + \frac{ \vert \eta _{3} \vert }{2} \biggr) \biggr] \\& \quad =\Xi _{\ell }\mathcal{F}_{1}^{\ast }, \end{aligned}$$

and

$$ \begin{aligned} \bigl\vert \bigl(\mathcal{T} _{\ell }^{\prime }w \bigr) (s ) \bigr\vert \leq{}& \int _{0}^{s }\frac{(s -\omega )^{j -2}}{\Gamma (j-1)} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ & {}+ \frac{ \vert \eta _{3} \vert }{ \vert A_{1} \vert } \int _{0}^{1} \int _{0}^{\omega } \bigl\vert \mathcal{H} _{\ell } \bigl( \zeta , w_{\ell }( \zeta ),\mathfrak{D}^{k}w_{\ell }( \zeta ),w_{\ell }^{\prime }(\zeta ) \bigr) \bigr\vert \,d\zeta \,d\omega \\ & {}+ \frac{1 }{ \vert A_{1} \vert } \biggl[ \frac{ \vert \eta _{2} \vert }{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ & {}+ \frac{ \vert \eta _{1} \vert }{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k-1} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \, d \omega \biggr] \\ \leq{}& \Xi _{\ell } \biggl[ \frac{1}{\Gamma (j)}+ \frac{1 }{ \vert A_{1} \vert } \biggl( \frac{ \vert \eta _{1} \vert }{\Gamma (j-k +1)} + \frac{ \vert \eta _{2} \vert }{\Gamma (j - 2k +1)} + \frac{ \vert \eta _{3} \vert }{2} \biggr) \biggr] \\ &=\Xi _{\ell }\mathcal{F}_{2}^{\ast } \end{aligned} $$

for all \(s \in {}[ 0,1]\), where \(\mathcal{F}_{1}^{\ast }\), \(\mathcal{F}_{2}^{\ast }\) are defined in (3.6) and (3.7), respectively. Therefore

$$ \bigl\Vert (\mathcal{T} _{\ell }w) (s ) \bigr\Vert _{\mathcal{C}_{ \ell }} \leq \Xi _{\ell } \bigl( \mathcal{F}_{0}^{\ast }+ \mathcal{F}_{1}^{ \ast } + \mathcal{F}_{2}^{\ast } \bigr). $$

Hence,

$$ \bigl\Vert (\mathcal{T}w) (s ) \bigr\Vert _{\mathcal{C}} =\sum _{\ell =1}^{18} \bigl\Vert (\mathcal{T} _{\ell }w) (s ) \bigr\Vert _{\mathcal{C}_{\ell }} \leq \sum _{\ell =1}^{18}\Xi _{\ell } \bigl( \mathcal{F}_{0}^{\ast }+\mathcal{F}_{1}^{\ast } + \mathcal{F}_{2}^{\ast } \bigr) < \infty , $$

which shows that \(\mathcal{T} \) is uniformly bounded.

Now, we have to prove that \(\mathcal{T} \) is equicontinuous. As for this purpose, let \(w=(w_{1},w_{2},\dots , w_{18})\in \mathcal{O}\) and \(s _{1},s _{2}\in {}[ 0,1]\) with \(s _{1}< s _{2}\). Then, we have

$$\begin{aligned}& \bigl\vert (\mathcal{T} _{\ell }w) (s _{2})-(\mathcal{T} _{ \ell }w) (s _{1}) \bigr\vert \\& \quad = \int _{0}^{s _{1}} \frac{(s _{2}-\omega )^{j -1}-(s _{1}-\omega )^{j -1}}{\Gamma (j )} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\& \qquad {}+ \int _{s _{1}}^{s _{2}} \frac{(s _{2}-\omega )^{j -1}}{\Gamma (j )} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{ \prime }( \omega ) \bigr) \bigr\vert \,d\omega \\& \qquad {}+ \frac{ \vert \eta _{3} \vert (s_{2} -s_{1}) }{ \vert A_{1} \vert } \int _{0}^{1} \int _{0}^{\omega } \bigl\vert \mathcal{H} _{\ell } \bigl( \zeta , w_{\ell }(\zeta ), \mathfrak{D}^{k}w_{\ell }( \zeta ),w_{\ell }^{\prime }(\zeta ) \bigr) \bigr\vert \, d \zeta\, d \omega \\& \qquad {}+ \frac{(s_{2} -s_{1}) }{ \vert A_{1} \vert } \biggl[ \frac{ \vert \eta _{2} \vert }{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\& \qquad {}+ \frac{ \vert \eta _{1} \vert }{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k-1} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \, d \omega \biggr] . \end{aligned}$$

It is clear that if \(s _{1}\rightarrow s _{2}\) then, independently, the right-hand side of the above expression converges to zero. Also,

$$ \lim_{s_{1} \rightarrow s_{2}} \bigl\vert \bigl(\mathfrak{D}^{k} \mathcal{T} _{\ell }w \bigr) (s_{2} ) - \bigl( \mathfrak{D}^{k} \mathcal{T} _{\ell }w \bigr) (s_{1} ) \bigr\vert =0, \qquad \lim_{s_{1} \rightarrow s_{2}} \bigl\vert \bigl( \mathcal{T} _{\ell }^{\prime }w \bigr) (s_{2} ) - \bigl(\mathcal{T} _{\ell }^{\prime } w \bigr) (s_{1} ) \bigr\vert =0. $$

As a result \(\Vert (\mathcal{T} w)(s _{2})-(\mathcal{T} w)(s _{1}) \Vert _{\mathcal{C}}\rightarrow 0\) as \(s _{1}\rightarrow s _{2}\). This proves that \(\mathcal{T} \) is equicontinuous on \(\mathcal{C}=\mathcal{C}_{1}\times \mathcal{C}_{2}\times \cdots \times \mathcal{C}_{18}\). Now, the Arzela–Ascoli theorem implies the complete continuity of the operator.

Now, we define a subset Θ of \(\mathcal{C}\) by

$$ \Theta := \bigl\{ (w_{1},w_{2},\dots ,w_{18})\in \mathcal{C}:(w_{1},w_{2},\dots ,w_{18})=b \mathcal{T} (w_{1},w_{2},\dots ,w_{18}), b \in (0,1) \bigr\} . $$

Here, we shall show that Θ is bounded. For this, let \((w_{1},w_{2},\dots ,w_{18})\in \Theta \). Then, we can write \((w_{1},w_{2},\dots ,w_{18})=b \mathcal{T} (w_{1},w_{2},\dots ,w_{18}) \), and so \(w_{\ell }(s )=b \mathcal{T} _{\ell }(w_{1},w_{2},\dots ,w_{18}) \), for all \(s \in {}[ 0,1]\) and \(\ell =1,2,\dots ,18\). Thus,

$$ \begin{aligned} \bigl\vert w_{\ell }(s ) \bigr\vert \leq{}& b \bigg[ \int _{0}^{s }\frac{(s -\omega )^{j -1}}{\Gamma (j )} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ & {}+ \vert \eta _{3} \vert \biggl( \frac{1}{ \vert \eta _{1}+\eta _{2} \vert } + \frac{ \vert A_{0} \vert +s }{ \vert A_{1} \vert } \biggr) \int _{0}^{1} \int _{0}^{\omega } \bigl\vert \mathcal{H} _{\ell } \bigl( \zeta , w_{\ell }( \zeta ),\mathfrak{D}^{k}w_{\ell }( \zeta ),w_{\ell }^{\prime }(\zeta ) \bigr) \bigr\vert \,d\zeta \,d\omega \\ & {}+ \frac{ \vert \eta _{2} \vert }{ \vert \eta _{1}+\eta _{2} \vert } \int _{0}^{1} \frac{(1-\omega )^{j-1}}{\Gamma (j)} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{ \prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ & {}+ \frac{ \vert A_{0} \vert + s}{ \vert A_{1} \vert } \biggl[ \frac{ \vert \eta _{2} \vert }{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ & {}+ \frac{ \vert \eta _{1} \vert }{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k -1} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }( \omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \biggr] \\ \leq{}& b \Xi _{\ell }\mathcal{F}_{0}^{\ast }. \end{aligned} $$

By similar computations, we have \(\vert \mathfrak{D}^{k} w_{\ell }(s ) \vert \leq b \Xi _{ \ell }\mathcal{F}_{1}^{\ast }\), \(\vert w_{\ell }^{\prime }(s ) \vert \leq b \Xi _{\ell } \mathcal{F}_{2}^{\ast } \), where \(\mathcal{F}_{0}^{\ast },\dots ,\mathcal{F}_{2}^{\ast }\) are given in (3.5)–(3.7). Hence

$$ \Vert w \Vert _{\mathcal{C}} =\sum_{\ell =1}^{18} \Vert w_{\ell } \Vert _{\mathcal{C}_{\ell }}\leq b \sum _{\ell =1}^{18}\Xi _{\ell } \bigl( \mathcal{F}_{0}^{\ast }+\mathcal{F}_{1}^{\ast } + \mathcal{F}_{2}^{\ast } \bigr) < \infty , $$

which shows the boundedness of Θ. Now, using Theorem 2.4 and Lemma 2.3, we can claim that \(\mathcal{T} \) has a fixed point in \(\mathcal{C}\). This demonstrates that the fractional boundary value problem (1.6) does indeed have a solution. □

We shall now examine the solution of the fractional boundary value problem (1.6) by applying various conditions.

Theorem 3.2

Consider the fractional boundary value problem (1.6). Assume that H 1 , H 2 ,, H 18 :[0,1]×R×R×RR are continuous functions and there exist bounded continuous functions S 1 , S 2 ,, S 18 :[0,1]R, \(\mathcal{W} _{1},\mathcal{W} _{2},\dots , \mathcal{W} _{18}:[0,1]\rightarrow [0,\infty ) \) and nondecreasing continuous functions \(\mathcal{P} _{1},\mathcal{P} _{2},\dots ,\mathcal{P}_{18}:[0,1] \rightarrow [0,\infty ) \) such that

$$ \bigl\vert \mathcal{H} _{\ell }(s ,w, \tilde{w}, \tilde{\tilde{w}}) \bigr\vert \leq \mathcal{W}_{\ell }(s )\mathcal{P} _{\ell } \bigl( \vert w \vert + \vert \tilde{w} \vert + \vert \tilde{\tilde{w}} \vert \bigr) $$

and

$$ \bigl\vert \mathcal{H} _{\ell }(s ,w_{1},w_{2},w_{3})- \mathcal{H} _{ \ell }(s ,\tilde{w}_{1},\tilde{w}_{2}, \tilde{w}_{3}) \bigr\vert \leq \mathcal{S}_{\ell }(s ) \bigl( \vert w_{1}-\tilde{w}_{1} \vert + \vert w_{2}-\tilde{w}_{2} \vert + \vert w_{3}- \tilde{w}_{3} \vert \bigr) $$

for all \(s \in {}[ 0,1]\), w 1 , w 2 , w 3 , w ˜ 1 , w ˜ 2 , w ˜ 3 R and \(\ell =1,2,\dots ,18\). If

$$ \mathcal{F}:= \bigl(\mathcal{V} _{0}^{\ast }+\mathcal{V} _{1}^{\ast } + \mathcal{V}_{2}^{\ast } \bigr) \sum_{\ell =1}^{18} \Vert \mathcal{S} _{\ell } \Vert < 1, $$

then (1.6) has a solution, where \(\Vert \mathcal{S} _{ \ell } \Vert =\sup_{s \in {}[ 0,1]} \vert \mathcal{S} _{ \ell }(s ) \vert \) and the constants \(\mathcal{V} _{0}^{\ast },\dots ,\mathcal{V} _{2}^{\ast }\) are given in (3.8)(3.10), respectively.

Proof

First, we put \(\Vert \mathcal{W} _{\ell } \Vert =\sup_{s \in {}[ 0,1]} \vert \mathcal{W} _{\ell }(s ) \vert \) and choose a suitable real constant \(\kappa _{\ell }\) such that

$$ \kappa _{\ell }\geq \sum_{\ell =1}^{18} \mathcal{P} _{\ell } \bigl( \Vert w_{\ell } \Vert _{\mathcal{C}_{\ell }} \bigr) \Vert \mathcal{W} _{\ell } \Vert \bigl\{ \mathcal{F}_{0}^{ \ast }+\mathcal{F}_{1}^{\ast } +\mathcal{F}_{2}^{\ast } \bigr\} , $$
(3.11)

where \(\mathcal{F}_{0}^{\ast },\dots ,\mathcal{F}_{2}^{\ast }\) are given in (3.5)–(3.7). We define a set

$$ \mathcal{O}_{\kappa _{\ell }}:= \bigl\{ w=(w_{1},w_{2},\dots ,w_{18}) \in \mathcal{C}: \Vert w \Vert _{\mathcal{C}}\leq \kappa _{ \ell } \bigr\} , $$

where \(\kappa _{\ell }\) is defined in (3.11). It is obvious that \(\mathcal{O}_{\kappa _{\ell }}\) is a nonempty closed bounded and convex subset of \(\mathcal{C}=\mathcal{C} _{1}\times \mathcal{C}_{2}\times \cdots \times \mathcal{C}_{18}\). Now, we define \(\mathcal{T} _{1}\) and \(\mathcal{T} _{2}\) on \(\mathcal{O}_{\kappa _{\ell }}\) by

$$\begin{aligned}& \mathcal{T} _{1}(w_{1},w_{2}, \dots , w_{18}) (s ) := \bigl( \mathcal{T} _{1}^{(1)}(w_{1},w_{2}, \dots , w_{18}) (s ),\dots , \mathcal{T} _{1}^{(18)}(w_{1},w_{2}, \dots , w_{18}) (s ) \bigr) , \\& \mathcal{T} _{2}(w_{1},w_{2},\dots , w_{18}) (s ) := \bigl( \mathcal{T} _{2}^{(1)}(w_{1},w_{2}, \dots , w_{18}) (s ),\dots , \mathcal{T} _{2}^{(18)}(w_{1},w_{2}, \dots , w_{18}) (s ) \bigr) , \end{aligned}$$

where

$$ \bigl( \mathcal{T} _{1}^{(\ell )}w \bigr) (s )= \int _{0}^{s } \frac{(s -\omega )^{j -1}}{\Gamma (j )} \mathcal{H} _{\ell } \bigl(\omega , w_{ \ell }(\omega ),\mathfrak{D}^{k}w_{\ell }( \omega ),w_{\ell }^{\prime }( \omega ) \bigr)\,d\omega $$
(3.12)

and

$$\begin{aligned}& \bigl( \mathcal{T} _{2}^{(\ell )}w \bigr) (s ) \\& \quad =\eta _{3} \biggl( \frac{1}{\eta _{1}+\eta _{2} } + \frac{A_{0}+ s }{A_{1} } \biggr) \int _{0}^{1} \int _{0}^{\omega } \mathcal{H} _{\ell } \bigl( \zeta , w_{\ell }(\zeta ),\mathfrak{D}^{k}w_{ \ell }(\zeta ),w_{\ell }^{\prime }(\zeta ) \bigr)\,d\zeta \,d\omega \\& \qquad {}- \frac{\eta _{2}}{\eta _{1}+\eta _{2} } \int _{0}^{1} \frac{(1-\omega )^{j-1}}{\Gamma (j)} \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ),\mathfrak{D}^{k}w_{\ell }( \omega ),w_{\ell }^{ \prime }(\omega ) \bigr)\,d\omega \\& \qquad {}- \frac{A_{0} + s}{A_{1} } \biggl[ \frac{\eta _{2}}{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ),\mathfrak{D}^{k}w_{ \ell }( \omega ),w_{\ell }^{\prime }(\omega ) \bigr)\,d\omega \\& \qquad {}+ \frac{\eta _{1}}{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k -1} \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }( \omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr)\,d\omega \biggr] \end{aligned}$$

for all \(s \in {}[ 0,1]\) and \(w= (w_{1},w_{2},\dots ,w_{18}) \in \mathcal{O}_{\kappa _{\ell }}\). Let

$$ \tilde{\mathcal{P}}_{\ell }=\sup_{w_{\ell }\in \mathcal{C}_{\ell }} \mathcal{P} _{\ell } \bigl( \Vert w_{\ell } \Vert _{ \mathcal{C}_{\ell }} \bigr). $$

Now, for every \(\tilde{w}=(\tilde{w}_{1},\tilde{w}_{2},\dots ,\tilde{w}_{18})\), \(w=(w_{1},w_{2}, \dots ,w_{18})\in \mathcal{O}_{\kappa _{\ell }}\), we have

$$\begin{aligned}& \bigl\vert \bigl( \mathcal{T} _{1}^{(\ell )} \tilde{w} + \mathcal{T} _{2}^{(\ell )}w \bigr) (s) \bigr\vert \\& \quad \leq \int _{0}^{s }\frac{(s -\omega )^{j -1}}{\Gamma (j )} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , \tilde{w}_{\ell }(\omega ), \mathfrak{D}^{k} \tilde{w}_{\ell }(\omega ),\tilde{w}_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \, d \omega \\& \qquad {}+ \vert \eta _{3} \vert \biggl( \frac{1}{ \vert \eta _{1}+\eta _{2} \vert } + \frac{ \vert A_{0} \vert +s }{ \vert A_{1} \vert } \biggr) \int _{0}^{1} \int _{0}^{\omega } \bigl\vert \mathcal{H} _{\ell } \bigl( \zeta , w_{\ell }( \zeta ),\mathfrak{D}^{k}w_{\ell }( \zeta ),w_{\ell }^{\prime }(\zeta ) \bigr) \bigr\vert \,d\zeta \,d\omega \\& \qquad {}+ \frac{ \vert \eta _{2} \vert }{ \vert \eta _{1}+\eta _{2} \vert } \int _{0}^{1} \frac{(1-\omega )^{j-1}}{\Gamma (j)} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{ \prime }( \omega ) \bigr) \bigr\vert \,d\omega \\& \qquad {}+ \frac{ \vert A_{0} \vert + s}{ \vert A_{1} \vert } \biggl[ \frac{ \vert \eta _{2} \vert }{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\& \qquad {}+ \frac{ \vert \eta _{1} \vert }{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k -1} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }( \omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \biggr] \\& \quad \leq \int _{0}^{s }\frac{(s -\omega )^{j -1}}{\Gamma (j )} \mathcal{W} _{\ell }(\omega )\mathcal{P} _{\ell } \bigl( \bigl\vert \tilde{w}_{\ell }(\omega ) \bigr\vert + \bigl\vert \mathfrak{D}^{k} \tilde{w}_{\ell }(\omega ) \bigr\vert + \bigl\vert \tilde{w}_{\ell }^{ \prime }(\omega ) \bigr\vert \bigr)\,d\omega \\& \qquad {}+ \vert \eta _{3} \vert \biggl( \frac{1}{ \vert \eta _{1}+\eta _{2} \vert } + \frac{ \vert A_{0} \vert +s }{ \vert A_{1} \vert } \biggr) \\& \qquad {} \times \int _{0}^{1} \int _{0}^{\omega } \mathcal{W} _{\ell }( \zeta ) \mathcal{P} _{\ell } \bigl( \bigl\vert w_{\ell }(\zeta ) \bigr\vert + \bigl\vert \mathfrak{D}^{k} w_{\ell }(\zeta ) \bigr\vert + \bigl\vert w_{\ell }^{\prime }(\zeta ) \bigr\vert \bigr)\,d\zeta\, d \omega \\& \qquad {}+ \frac{ \vert \eta _{2} \vert }{ \vert \eta _{1}+\eta _{2} \vert } \int _{0}^{1} \frac{(1-\omega )^{j-1}}{\Gamma (j)} \mathcal{W} _{\ell }(\zeta ) \mathcal{P} _{\ell } \bigl( \bigl\vert w_{\ell }(\omega ) \bigr\vert + \bigl\vert \mathfrak{D}^{k} w_{\ell }(\omega ) \bigr\vert + \bigl\vert w_{\ell }^{\prime }( \omega ) \bigr\vert \bigr)\,d\omega \\& \qquad {}+ \frac{ \vert A_{0} \vert + s}{ \vert A_{1} \vert } \\& \qquad {} \times \biggl[ \frac{ \vert \eta _{2} \vert }{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \mathcal{W} _{\ell }(\zeta ) \mathcal{P} _{\ell } \bigl( \bigl\vert w_{\ell }(\omega ) \bigr\vert + \bigl\vert \mathfrak{D}^{k} w_{\ell }(\omega ) \bigr\vert + \bigl\vert w_{\ell }^{\prime }( \omega ) \bigr\vert \bigr)\,d\omega \\& \qquad {}+ \frac{ \vert \eta _{1} \vert }{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k -1} \mathcal{W} _{\ell }(\zeta )\mathcal{P} _{\ell } \bigl( \bigl\vert w_{\ell }(\omega ) \bigr\vert + \bigl\vert \mathfrak{D}^{k} w_{\ell }(\omega ) \bigr\vert + \bigl\vert w_{\ell }^{ \prime }( \omega ) \bigr\vert \bigr)\,d\omega \biggr] \\& \quad \leq \Vert \mathcal{W} _{\ell } \Vert \tilde{\mathcal{P}}_{ \ell } \biggl[ \frac{1 }{\Gamma (j +1)} + \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert } \biggr) \frac{ \vert \eta _{1} \vert }{\Gamma (j-k+1)} + \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert } + \frac{1}{ \vert \eta _{1} + \eta _{2} \vert } \biggr) \frac{ \vert \eta _{3} \vert }{2} \\& \qquad {}+ \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert \Gamma (j-2k+1)} + \frac{1}{ \vert \eta _{1} + \eta _{2} \vert \Gamma (j+1)} \biggr) \vert \eta _{2} \vert \biggr] \\& \quad = \Vert \mathcal{W} _{\ell } \Vert \tilde{\mathcal{P}}_{ \ell } \mathcal{F} _{0}^{\ast }, \end{aligned}$$

and

$$\begin{aligned}& \bigl\vert \mathfrak{D}^{k} \mathcal{T} _{1}^{(\ell )} \tilde{w}(s ) + \mathfrak{D}^{k} \mathcal{T} _{2}^{(\ell )} w(s ) \bigr\vert \\& \quad \leq \int _{0}^{s }\frac{(s -\omega )^{j -k-1}}{\Gamma (j-k)} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , \tilde{w}_{\ell }(\omega ), \mathfrak{D}^{k} \tilde{w}_{\ell }(\omega ),\tilde{w}_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \, d \omega \\& \qquad {}+ \frac{ \vert \eta _{3} \vert s^{1-k} }{\Gamma (2-k) \vert A_{1} \vert } \int _{0}^{1} \int _{0}^{\omega } \bigl\vert \mathcal{H} _{\ell } \bigl( \zeta , w_{\ell }(\zeta ),\mathfrak{D}^{k}w_{\ell }( \zeta ),w_{\ell }^{\prime }( \zeta ) \bigr) \bigr\vert \,d\zeta \,d \omega \\& \qquad {}+ \frac{s^{1-k} }{\Gamma (2-k) \vert A_{1} \vert } \biggl[ \frac{ \vert \eta _{2} \vert }{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\& \qquad {}+ \frac{ \vert \eta _{1} \vert }{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k-1} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d \omega \biggr] \\& \quad \leq \Vert \mathcal{W} _{\ell } \Vert \tilde{\mathcal{P}}_{ \ell } \biggl[ \frac{1}{\Gamma (j -k +1 )}+ \frac{1 }{\Gamma (2-k) \vert A_{1} \vert } \biggl( \frac{ \vert \eta _{1} \vert }{\Gamma (j-k +1)} + \frac{ \vert \eta _{2} \vert }{\Gamma (j - 2k +1)} + \frac{ \vert \eta _{3} \vert }{2} \biggr) \biggr] \\& \quad = \Vert \mathcal{W} _{\ell } \Vert \tilde{\mathcal{P}}_{ \ell } \mathcal{F}_{1}^{\ast }. \end{aligned}$$

By using similar computations, we have

$$ \begin{aligned} & \bigl\vert \bigl( \mathcal{T} _{1}^{(\ell )} \tilde{w} \bigr)^{\prime } (s ) + \bigl( \mathcal{T} _{2}^{(\ell )} w \bigr)^{\prime } (s ) \bigr\vert \\ &\quad \leq \int _{0}^{s }\frac{(s -\omega )^{j -2}}{\Gamma (j-1)} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , \tilde{w}_{\ell }(\omega ), \mathfrak{D}^{k} \tilde{w}_{\ell }(\omega ),\tilde{w}_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \, d \omega \\ &\qquad {}+ \frac{ \vert \eta _{3} \vert }{ \vert A_{1} \vert } \int _{0}^{1} \int _{0}^{\omega } \bigl\vert \mathcal{H} _{\ell } \bigl( \zeta , w_{\ell }(\zeta ), \mathfrak{D}^{k}w_{\ell }( \zeta ),w_{\ell }^{\prime }(\zeta ) \bigr) \bigr\vert \,d \zeta \,d \omega \\ &\qquad {}+ \frac{1 }{ \vert A_{1} \vert } \biggl[ \frac{ \vert \eta _{2} \vert }{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ &\qquad {}+ \frac{ \vert \eta _{1} \vert }{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k-1} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d \omega \biggr] \\ &\quad \leq \Vert \mathcal{W} _{\ell } \Vert \tilde{\mathcal{P}}_{ \ell } \biggl[ \frac{1}{\Gamma (j)}+ \frac{1 }{ \vert A_{1} \vert } \biggl( \frac{ \vert \eta _{1} \vert }{\Gamma (j-k +1)} + \frac{ \vert \eta _{2} \vert }{\Gamma (j - 2k +1)} + \frac{ \vert \eta _{3} \vert }{2} \biggr) \biggr] \\ &\quad = \Vert \mathcal{W} _{\ell } \Vert \tilde{\mathcal{P}}_{ \ell } \mathcal{F}_{2}^{\ast }. \end{aligned} $$

This yields

$$ \Vert \mathcal{T} _{1} \tilde{w} +\mathcal{T} _{2} w \Vert _{\mathcal{C}} =\sum_{\ell =1}^{18} \bigl\Vert \mathcal{T} _{1}^{(\ell )} \tilde{w} + \mathcal{T}_{2}^{(k)}w \bigr\Vert _{\mathcal{C}_{\ell }} \leq \Vert \mathcal{W} _{\ell } \Vert \tilde{\mathcal{P}}_{\ell } \bigl( \mathcal{F}_{0}^{\ast }+\mathcal{F}_{1}^{\ast } +\mathcal{F}_{2}^{\ast } \bigr) \leq \kappa _{\ell }, $$

and so \(\mathcal{T} _{1} \tilde{w} +\mathcal{T} _{2} w\in \mathcal{O}_{ \kappa _{\ell }}\). Also, the continuity of \(\mathcal{H} _{\ell }\) follows from the continuity of the operator \(\mathcal{T} _{1}\).

Now, we shall show that \(\mathcal{T} _{1}\) is uniformly bounded. As for this purpose, we have

$$ \begin{aligned} \bigl\vert \bigl( \mathcal{T} _{1}^{(\ell )} w \bigr) (s ) \bigr\vert &\leq \int _{0}^{s } \frac{(s -\omega )^{j -1}}{\Gamma (j )} \bigl\vert \mathcal{H} _{\ell } \bigl(\omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{ \ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ &\leq \frac{1}{\Gamma (j +1)} \Vert \mathcal{W} _{\ell } \Vert \mathcal{P} _{\ell } \bigl( \bigl\vert w_{\ell }(\omega ) \bigr\vert + \bigl\vert \mathfrak{D}^{k}w_{\ell }(\omega ) \bigr\vert + \bigl\vert w_{\ell }^{\prime }(\omega ) \bigr\vert \bigr) \end{aligned} $$

for all \(w\in \mathcal{O}_{\kappa _{\ell }}\). Also,

$$ \begin{aligned} \bigl\vert \bigl( \mathfrak{D}^{k} \mathcal{T} _{1}^{( \ell )} w \bigr) (s ) \bigr\vert &\leq \int _{0}^{s } \frac{(s -\omega )^{j -k-1}}{\Gamma (j-k)} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{ \prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ &\leq \frac{1}{\Gamma (j -k+1 )} \Vert \mathcal{W} _{\ell } \Vert \mathcal{P} _{\ell } \bigl( \bigl\vert w_{\ell }(\omega ) \bigr\vert + \bigl\vert \mathfrak{D}^{k}w_{\ell }(\omega ) \bigr\vert + \bigl\vert w_{\ell }^{\prime }(\omega ) \bigr\vert \bigr) , \end{aligned} $$

and

$$ \bigl\vert \bigl( \mathcal{T} _{1}^{(\ell )}w \bigr)^{\prime } (s ) \bigr\vert \leq \frac{1}{\Gamma (j )} \Vert \mathcal{W} _{ \ell } \Vert \mathcal{P} _{\ell } \bigl( \bigl\vert w_{\ell }( \omega ) \bigr\vert + \bigl\vert \mathfrak{D}^{k}w_{\ell }( \omega ) \bigr\vert + \bigl\vert w_{\ell }^{\prime }(\omega ) \bigr\vert \bigr) , $$

for all \(w \in \mathcal{O}_{\kappa _{\ell }}\). Thus,

$$ \Vert \mathcal{T} _{1} w \Vert _{\mathcal{C}} =\sum _{\ell =1}^{18} \bigl\Vert \mathcal{T} _{1}^{(\ell )} w \bigr\Vert _{\mathcal{C}_{\ell }} \leq \biggl\{ \frac{j +1}{\Gamma (j +1)}+\frac{1}{\Gamma (j -k + 1)} \biggr\} \sum_{\ell =1}^{18} \Vert \mathcal{W} _{\ell } \Vert \mathcal{P} _{\ell } \bigl( \Vert w_{\ell } \Vert _{ \mathcal{C}_{\ell }} \bigr) , $$

which shows that \(\mathcal{T} _{1}\) is uniformly bounded on \(\mathcal{O}_{\kappa _{\ell }}\).

Now, we shall prove that \(\mathcal{T} _{1}\) is compact on \(\mathcal{O}_{\kappa _{\ell }}\). For this, let \(s _{1},s _{2}\in {}[ 0,1]\) with \(s _{1}< s _{2}\). Then, we have

$$ \begin{aligned} & \bigl\vert \bigl( \mathcal{T} _{1}^{(\ell )}w \bigr) (s _{2})- \bigl( \mathcal{T} _{1}^{(k)}w \bigr) (s _{1}) \bigr\vert \\ &\quad \leq \biggl\vert \int _{0}^{s _{2}} \frac{(s _{2}-\omega )^{j -1}}{\Gamma (j )} \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ),\mathfrak{D}^{k}w_{\ell }( \omega ),w_{ \ell }^{\prime }(\omega ) \bigr)\,d\omega \\ &\qquad {}- \int _{0}^{s _{1}} \frac{(s _{1}-\omega )^{j-1}}{\Gamma (j )} \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ),\mathfrak{D}^{k}w_{\ell }( \omega ),w_{\ell }^{ \prime }(\omega ) \bigr)\,d\omega \biggr\vert \\ &\quad \leq \biggl\vert \int _{0}^{s _{1}} \frac{(s _{2}-\omega )^{j -1}-(s _{1}-\omega )^{j -1}}{\Gamma (j )} \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ),\mathfrak{D}^{k}w_{ \ell }( \omega ),w_{\ell }^{\prime }(\omega ) \bigr)\,d\omega \biggr\vert \\ &\qquad {}+ \biggl\vert \int _{s _{1}}^{s _{2}} \frac{(s_{2}-\omega )^{j -1}}{\Gamma (j )} \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ),\mathfrak{D}^{k}w_{\ell }( \omega ),w_{\ell }^{ \prime }(\omega ) \bigr)\,d\omega \biggr\vert \\ &\quad \leq \int _{0}^{s _{1}} \frac{(s _{2}-\omega )^{j-1}-(s _{1}-\omega )^{j -1}}{\Gamma (j )} \bigl\vert \mathcal{H} _{\ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }(\omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ &\qquad {}+ \int _{s _{1}}^{s _{2}} \frac{(s _{2}-\omega )^{j -1}}{\Gamma (j )} \bigl\vert \mathcal{H} _{ \ell } \bigl( \omega , w_{\ell }(\omega ), \mathfrak{D}^{k}w_{\ell }( \omega ),w_{\ell }^{\prime }( \omega ) \bigr) \bigr\vert \,d\omega \\ &\quad \leq \biggl\{ \frac{s _{2}^{j }-s _{1}^{j }- ( s _{2}-s _{1} ) ^{j }}{\Gamma (j +1)}+ \frac{ ( s _{2}-s _{1} ) ^{j }}{\Gamma (j +1)} \biggr\} \Vert \mathcal{W} _{\ell } \Vert \mathcal{P} _{ \ell } \bigl( \Vert w_{\ell } \Vert _{\mathcal{C}_{\ell }} \bigr) . \end{aligned} $$

Moreover, \(\vert ( \mathcal{T} _{1}^{(\ell )}w ) (s _{2})- ( \mathcal{T} _{1}^{(\ell )} w ) (s _{1}) \vert \rightarrow 0\) as \(s _{1}\rightarrow s _{2}\). Also, we have

$$\begin{aligned}& \lim_{s_{1} \rightarrow s_{2}} \bigl\vert \bigl( \mathfrak{D}^{k} \mathcal{T} _{1}^{(\ell )} w \bigr) (s_{2} ) - \bigl( \mathfrak{D}^{k} \mathcal{T} _{1}^{(\ell )} w \bigr) (s_{1} ) \bigr\vert =0, \\& \lim_{s_{1} \rightarrow s_{2}} \bigl\vert \bigl( \mathcal{T} _{1}^{( \ell )}w \bigr)^{\prime } (s_{2} ) - \bigl( \mathcal{T} _{1}^{(\ell )} w \bigr) ^{\prime } (s_{1} ) \bigr\vert =0. \end{aligned}$$

Hence, \(\Vert (\mathcal{T} _{1}w)(s_{2})- (\mathcal{T} _{1}w)(s _{1}) \Vert _{\mathcal{C}}\) converges to zero as \(s _{1}\rightarrow s _{2}\). Thus, \(\mathcal{T} _{1}\) is equicontinuous and so \(\mathcal{T} _{1}\) is relatively compact operator on \(\mathcal{O}_{\kappa _{\ell }}\). Now, by Arzela–Ascoli theorem, we obtain that \(\mathcal{T} _{1}\) is compact on \(\mathcal{O}_{\kappa _{\ell }}\).

Lastly, we need to prove that \(\mathcal{T} _{2}\) is a contraction. For this, let \(\tilde{w},w\in \mathcal{O}_{\kappa _{\ell }}\). Thus, we have

$$\begin{aligned}& \bigl\vert \bigl( \mathcal{T} _{2}^{(\ell )} \tilde{w} \bigr) (s )- \bigl( \mathcal{T} _{2}^{(k)} w \bigr) (s ) \bigr\vert \\& \quad \leq \vert \eta _{3} \vert \biggl( \frac{1}{ \vert \eta _{1}+\eta _{2} \vert } + \frac{ \vert A_{0} \vert +s }{ \vert A_{1} \vert } \biggr) \int _{0}^{1} \int _{0}^{\omega } \mathcal{S}_{\ell }(\omega ) \bigl( \bigl\vert \tilde{w}_{\ell }(\zeta )- w_{\ell }(\zeta ) \bigr\vert \\& \qquad {}+ \bigl\vert \mathfrak{D}^{k} \tilde{w}_{\ell }(\zeta )- \mathfrak{D}^{k} w_{\ell }( \zeta ) \bigr\vert + \bigl\vert \tilde{w}_{\ell }^{\prime }(\zeta )-w_{ \ell }^{\prime }( \zeta ) \bigr\vert \bigr)\,d\zeta \,d\omega \\& \qquad {}+ \frac{ \vert \eta _{2} \vert }{ \vert \eta _{1}+\eta _{2} \vert } \int _{0}^{1} \frac{(1-\omega )^{j-1}}{\Gamma (j)} \mathcal{S}_{\ell }(\omega ) \bigl( \bigl\vert \tilde{w}_{\ell }( \omega )- w_{\ell }(\omega ) \bigr\vert + \bigl\vert \mathfrak{D}^{k} \tilde{w}_{\ell }(\omega )- \mathfrak{D}^{k} w_{\ell }(\omega ) \bigr\vert \\& \qquad {}+ \bigl\vert \tilde{w}_{\ell }^{\prime }(\omega )-w_{\ell }^{ \prime }(\omega ) \bigr\vert \bigr)\,d\omega \\& \qquad {}+ \frac{ \vert A_{0} \vert + s}{ \vert A_{1} \vert } \biggl[ \frac{ \vert \eta _{2} \vert }{\Gamma (j-2k)} \int _{0}^{1}(1-\omega )^{j-2k -1} \mathcal{S}_{\ell }(\omega ) \bigl( \bigl\vert \tilde{w}_{\ell }( \omega )- w_{\ell }(\omega ) \bigr\vert \\& \qquad {}+ \bigl\vert \mathfrak{D}^{k} \tilde{w}_{\ell }(\omega )- \mathfrak{D}^{k} w_{\ell }( \omega ) \bigr\vert + \bigl\vert \tilde{w}_{\ell }^{\prime }(\omega )-w_{ \ell }^{\prime }( \omega ) \bigr\vert \bigr)\,d\omega \\& \qquad {}+ \frac{ \vert \eta _{1} \vert }{\Gamma (j - k)} \int _{0}^{1}(1- \omega )^{j -k -1} \mathcal{S}_{\ell }(\omega ) \bigl( \bigl\vert \tilde{w}_{\ell }( \omega )- w_{\ell }(\omega ) \bigr\vert \\& \qquad {}+ \bigl\vert \mathfrak{D}^{k} \tilde{w}_{\ell }( \omega )- \mathfrak{D}^{k} w_{ \ell }(\omega ) \bigr\vert + \bigl\vert \tilde{w}_{\ell }^{\prime }( \omega )-w_{\ell }^{\prime }( \omega ) \bigr\vert \bigr)\,d\omega \biggr] \\& \quad \leq \Vert \mathcal{S}_{\ell } \Vert \biggl[ \frac{1 }{\Gamma (j +1)} + \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert } \biggr) \frac{ \vert \eta _{1} \vert }{\Gamma (j-k+1)} \\& \qquad {}+ \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert \Gamma (j-2k+1)} + \frac{1}{ \vert \eta _{1} + \eta _{2} \vert \Gamma (j+1)} \biggr) \vert \eta _{2} \vert \\& \qquad {}+ \biggl( \frac{1 + \vert A_{0} \vert }{ \vert A_{1} \vert } + \frac{1}{ \vert \eta _{1} + \eta _{2} \vert } \biggr) \frac{ \vert \eta _{3} \vert }{2} \biggr] \Vert \tilde{w}_{\ell }-w_{ \ell } \Vert _{\mathcal{C}_{\ell }} \\& \quad = \Vert \mathcal{S}_{\ell } \Vert \mathcal{V} _{0}^{\ast } \Vert \tilde{w}_{\ell }-w_{\ell } \Vert _{\mathcal{C}_{\ell }} \end{aligned}$$

for each \(\ell = 1, 2, \dots , 18 \), where \(\mathcal{V} _{0}^{\ast }\) is given in (3.8). Also, by similar computations, we have

$$\begin{aligned}& \sup_{s \in {}[ 0,1]} \bigl\vert \bigl( \mathfrak{D}^{k} \mathcal{T} _{2}^{(\ell )}\tilde{w} \bigr) (s )- \bigl( \mathfrak{D}^{k}\mathcal{T} _{2}^{(\ell )} w \bigr) (s) \bigr\vert \leq \Vert \mathcal{S}_{\ell } \Vert \mathcal{V} _{1}^{ \ast } \Vert \tilde{w}_{\ell }-w_{\ell } \Vert _{\mathcal{C}_{ \ell }}, \\& \sup_{s \in {}[ 0,1]} \bigl\vert \bigl( \mathcal{T} _{2}^{( \ell )}z \bigr) ^{\prime }(s )- \bigl( \mathcal{T} _{2}^{(\ell )}y \bigr) ^{\prime }(s ) \bigr\vert \leq \Vert \mathcal{S}_{ \ell } \Vert \mathcal{V} _{2}^{\ast } \Vert z_{k}-w_{\ell } \Vert _{\mathcal{C}_{\ell }}, \end{aligned}$$

where \(\mathcal{V} _{1}^{\ast }\) and \(\mathcal{V} _{2}^{\ast }\) are given in (3.9) and (3.10), respectively. Thus, we have

$$ \Vert \mathcal{T} _{2} \tilde{w} -\mathcal{T} _{2}w \Vert _{\mathcal{C}} =\sum_{\ell =1}^{18} \bigl\Vert \mathcal{T} _{2}^{(\ell )}\tilde{w}- \mathcal{T}_{2}^{(k)}w \bigr\Vert _{\mathcal{C}_{\ell }} \leq \bigl( \mathcal{V}_{0}^{\ast }+ \mathcal{V}_{1}^{\ast } + \mathcal{V}_{2}^{\ast } \bigr) \sum _{\ell =1}^{18} \Vert \mathcal{S}_{\ell } \Vert \Vert \tilde{w}_{k}-w_{\ell } \Vert _{\mathcal{C}_{\ell }}, $$

and so \(\Vert \mathcal{T} _{2} \tilde{w}-\mathcal{T} _{2}w \Vert _{\mathcal{C}}\leq \mathcal{F} \Vert \tilde{w}-w \Vert _{\mathcal{C}} \). As \(\mathcal{F}<1 \), which means that \(\mathcal{T} _{2}\) is a contraction on \(\mathcal{O}_{\kappa _{\ell }}\). As a result of Theorem 2.5, we infer that \(\mathcal{T} \) contains a fixed point that is a solution to the fractional boundary value problem (1.6). □

To show the significance of our results, we present the following example.

Example 3.3

Consider the following system of fractional differential equations:

$$\begin{aligned}& \textstyle\begin{cases} \mathfrak{D}^{1.7}w_{1}(s ) = \frac{8e^{s} \vert w_{1}(s ) \vert }{20{,}000(1 + \vert w_{1}(s) \vert )} +0.0004 e^{s} \vert \mathfrak{D}^{0.04} w_{1}(s) \vert + \frac{2 e^{s} \vert \arcsin w_{1}^{\prime }(s ) \vert }{5000 }, \\ \mathfrak{D}^{1.7}w_{2}(s ) = \frac{e^{s} \vert \arctan w_{2}(s ) \vert }{5000}+0.0002 e^{s} \vert \sin ( \mathfrak{D}^{0.04} w_{2}(s) ) \vert + \frac{30 e^{s} \vert w_{2}^{\prime }(s ) \vert }{150{,}000 ( 1+ \vert w_{2}^{\prime }(s) \vert ) }, \\ \mathfrak{D}^{1.7}w_{3}(s ) = \frac{s \vert w_{3}(s ) \vert }{6000(1 + \vert w_{3}(s) \vert )} + \frac{4 s \vert \mathfrak{D}^{0.04} w_{3}(s ) \vert }{24{,}000 } + \frac{12 s \vert \arcsin w_{3}^{\prime }(s ) \vert }{72{,}000 }, \\ \mathfrak{D}^{1.7}w_{4}(s ) = 0.0009s \vert \sin w_{4}(s ) \vert + \frac{180s \vert \mathfrak{D}^{0.04} w_{4}(s) \vert }{200{,}000 + 200{,}000 \vert \mathfrak{D}^{0.04} w_{4}(s) \vert } + \frac{36s \vert \arcsin w_{4}^{\prime }(s ) \vert }{40{,}000 }, \end{cases}\displaystyle \end{aligned}$$
(3.13)

with boundary conditions

$$\begin{aligned}& \textstyle\begin{cases} \frac{3}{2} w_{1} (0) + \frac{7}{4} w_{1}(1) = \frac{17}{6} \int _{0}^{1} \mathfrak{D}^{0.7} w_{1} (\omega )\,d\omega , \\ \frac{3}{2} \mathcal{D}^{0.04} w_{1} (1) + \frac{7}{4} \mathcal{D}^{0.08}w_{1}(1) = \frac{17}{6} \int _{0}^{1} \mathfrak{D}^{0.7} w_{1} (\omega )\,d\omega , \\ \frac{3}{2} w_{2} (0) + \frac{7}{4} w_{2}(1) = \frac{17}{6} \int _{0}^{1} \mathfrak{D}^{0.7} w_{2} (\omega )\,d\omega , \\ \frac{3}{2} \mathcal{D}^{0.04} w_{2} (1) + \frac{7}{4} \mathcal{D}^{0.08}w_{2}(1) = \frac{17}{6} \int _{0}^{1} \mathfrak{D}^{0.7} w_{2} (\omega )\,d\omega , \\ \frac{3}{2} w_{3} (0) + \frac{7}{4} w_{3}(1) = \frac{17}{6} \int _{0}^{1} \mathfrak{D}^{0.7} w_{3} (\omega )\,d\omega , \\ \frac{3}{2} \mathcal{D}^{0.04} w_{3} (1) + \frac{7}{4} \mathcal{D}^{0.08}w_{3}(1) = \frac{17}{6} \int _{0}^{1} \mathfrak{D}^{0.7} w_{3} (\omega )\,d\omega , \\ \frac{3}{2} w_{4} (0) + \frac{7}{4} w_{4}(1) = \frac{17}{6} \int _{0}^{1} \mathfrak{D}^{0.7} w_{4} (\omega )\,d\omega , \\ \frac{3}{2} \mathcal{D}^{0.04} w_{4} (1) + \frac{7}{4} \mathcal{D}^{0.08}w_{4}(1) = \frac{17}{6} \int _{0}^{1} \mathfrak{D}^{0.7} w_{4} (\omega )\,d\omega , \end{cases}\displaystyle \end{aligned}$$
(3.14)

where \(j =1.7\), \(k=0.04\), \(\eta _{1}=\frac{3}{2}\), \(\eta _{2}=\frac{7}{4}\), \(\eta _{3}= \frac{17}{6}\), and \(\mathfrak{D}^{j}\), \(\mathfrak{D}^{k}\) serve as the Caputo fractional derivative of orders j and k, respectively.

Let H 1 , H 2 , H 3 , H 4 :[0,1]×R×R×RR are continuous functions defined by

$$\begin{aligned}& \textstyle\begin{cases} \mathcal{H} _{1} ( s ,w(s ), \tilde{w}(s ), \tilde{\tilde{w}}(s ) ) = \frac{8e^{s} \vert w(s) \vert }{20{,}000(1 + \vert w(s) \vert )} +0.0004 e^{s} \vert \mathfrak{D}^{0.04} \tilde{w}(s) \vert \\ \hphantom{\mathcal{H} _{1} ( s ,w(s ), \tilde{w}(s ), \tilde{\tilde{w}}(s ) ) = }{}+ \frac{2 e^{s} \vert \arcsin \tilde{\tilde{w}} (s ) \vert }{5000 }, \\ \mathcal{H} _{2} ( s ,w(s ),\tilde{w}(s ), \tilde{\tilde{w}}(s ) ) = \frac{e^{s} \vert \arctan w(s) \vert }{5000}+0.0002 e^{s} \vert \sin ( \mathfrak{D}^{0.04} \tilde{w}(s) ) \vert \\ \hphantom{\mathcal{H} _{2} ( s ,w(s ),\tilde{w}(s ), \tilde{\tilde{w}}(s ) ) =} {}+ \frac{30 e^{s} \vert \tilde{\tilde{w}}(s ) \vert }{150{,}000 ( 1+ \vert \tilde{\tilde{w}}(s) \vert ) }, \\ \mathcal{H} _{3} ( s ,w(s ),\tilde{w}(s ), \tilde{\tilde{w}}(s ) ) = \frac{s \vert w_{3}(s) \vert }{6000(1 + \vert w_{3}(s) \vert )} + \frac{4 s \vert \mathfrak{D}^{0.04} w_{3}(s ) \vert }{24{,}000 } \\ \hphantom{\mathcal{H} _{3} ( s ,w(s ),\tilde{w}(s ), \tilde{\tilde{w}}(s ) ) = } {}+ \frac{12 s \vert \arcsin w_{3}^{\prime }(s ) \vert }{72{,}000 }, \\ \mathcal{H} _{4} ( s ,w(s ),\tilde{w}(s ), \tilde{\tilde{w}}(s ) ) = 0.0009s \vert \sin w(s) \vert + \frac{180s \vert \mathfrak{D}^{0.04} \tilde{w}(s) \vert }{200{,}000 + 200{,}000 \vert \mathfrak{D}^{0.04} \tilde{w}(s) \vert } \\ \hphantom{\mathcal{H} _{4} ( s ,w(s ),\tilde{w}(s ), \tilde{\tilde{w}}(s ) ) =} {}+ \frac{36s \vert \arcsin \tilde{\tilde{w}}(s ) \vert }{40{,}000 } . \end{cases}\displaystyle \end{aligned}$$

Let w 1 , w 2 , w ˜ 1 , w ˜ 2 , w ˜ ˜ 1 , w ˜ ˜ 2 R. Then, we have

$$\begin{aligned}& \bigl\vert \mathcal{H} _{1} \bigl( s ,w_{1}(s ), \tilde{w}_{1}(s ), \tilde{\tilde{w}}_{1}(s ) \bigr) - \mathcal{H} _{1} \bigl( s ,w_{2}(s ), \tilde{w}_{2}(s ), \tilde{\tilde{w}}_{2}(s ) \bigr) \bigr\vert \\& \quad \leq \frac{e^{s} }{2500} \bigl( \bigl\vert w_{1}(s )- w_{2}(s ) \bigr\vert + \bigl\vert \tilde{w}_{1}(s )- \tilde{w}_{2}(s) \bigr\vert + \bigl\vert \arcsin \tilde{ \tilde{w}}_{1}(s )- \arcsin \tilde{\tilde{w}}_{2}(s) \bigr\vert \bigr), \\& \bigl\vert \mathcal{H} _{2} \bigl( s ,w_{1}(s ), \tilde{w}_{1}(s ), \tilde{\tilde{w}}_{1}(s ) \bigr) - \mathcal{H} _{2} \bigl( s ,w_{2}(s ),\tilde{w}_{2}(s ), \tilde{\tilde{w}}_{2}(s ) \bigr) \bigr\vert \\& \quad \leq \frac{e^{s} }{5000} \bigl( \bigl\vert \arctan w_{1}(s )- \arctan w_{2}(s ) \bigr\vert + \bigl\vert \sin \tilde{w}_{1}(s )- \sin \tilde{w}_{2}(s) \bigr\vert + \bigl\vert \tilde{\tilde{w}}_{1}(s )- \tilde{\tilde{w}}_{2}(s) \bigr\vert \bigr), \\& \bigl\vert \mathcal{H} _{3} \bigl( s ,w_{1}(s ), \tilde{w}_{1}(s ), \tilde{\tilde{w}}_{1}(s ) \bigr) - \mathcal{H} _{3} \bigl( s ,w_{2}(s ),\tilde{w}_{2}(s ), \tilde{\tilde{w}}_{2}(s ) \bigr) \bigr\vert \\& \quad \leq \frac{s }{6000} \bigl( \bigl\vert w_{1}(s )- w_{2}(s ) \bigr\vert + \bigl\vert \tilde{w}_{1}(s )- \tilde{w}_{2}(s) \bigr\vert + \bigl\vert \arcsin \tilde{ \tilde{w}}_{1}(s )- \arcsin \tilde{\tilde{w}}_{2}(s) \bigr\vert \bigr), \\& \bigl\vert \mathcal{H} _{4} \bigl( s ,w_{1}(s ), \tilde{w}_{1}(s ), \tilde{\tilde{w}}_{1}(s ) \bigr) - \mathcal{H} _{4} \bigl( s ,w_{2}(s ),\tilde{w}_{2}(s ), \tilde{\tilde{w}}_{2}(s ) \bigr) \bigr\vert \\& \quad \leq \frac{9s }{10{,}000} \bigl( \bigl\vert \sin w_{1}(s )- \sin w_{2}(s ) \bigr\vert + \bigl\vert \tilde{w}_{1}(s )- \tilde{w}_{2}(s) \bigr\vert + \bigl\vert \arcsin \tilde{ \tilde{w}}_{1}(s )- \arcsin \tilde{\tilde{w}}_{2}(s) \bigr\vert \bigr). \end{aligned}$$

Here,

$$\begin{aligned}& \mathcal{S} _{1}(s ) =\frac{e^{s} }{2500},\qquad \mathcal{S} _{2}(s ) = \frac{e^{s} }{5000}, \qquad \mathcal{S} _{3}(s) = \frac{s}{6000}, \qquad \mathcal{S} _{4}(s) =\frac{9s}{10{,}000}, \\& \Vert \mathcal{S} _{1} \Vert =\frac{1}{2500}, \qquad \Vert \mathcal{S} _{2} \Vert =\frac{1}{5000}, \qquad \Vert \mathcal{S} _{3} \Vert =\frac{1}{6000}, \qquad \Vert \mathcal{S} _{4} \Vert =\frac{9}{10{,}000}. \end{aligned}$$

Let P 1 , P 2 , P 3 , P 4 :[0,)R be identity functions. Then, we obtain

$$\begin{aligned} &\bigl\vert \mathcal{H} _{1} \bigl(s, w(s),\mathfrak{D}^{0.04 }w(s ),w^{ \prime }(s) \bigr) \bigr\vert \leq \frac{e^{s} }{2500} \bigl( \vert w \vert + \vert \mathfrak{D}w \vert + \bigl\vert \arcsin w^{\prime } \bigr\vert \bigr) \\ &\hphantom{bigl\vert \mathcal{H} _{1} \bigl(s, w(s),\mathfrak{D}^{0.04 }w(s ),w^{ \prime }(s) \bigr) \bigr\vert }\leq \frac{e^{s} }{2500} \bigl( \vert w \vert + \vert \mathfrak{D}w \vert + \bigl\vert w^{\prime } \bigr\vert \bigr), \\ &\bigl\vert \mathcal{H} _{2} \bigl(s, w(s),\mathfrak{D}^{0.04 }w(s ),w^{ \prime }(s) \bigr) \bigr\vert \leq \frac{e^{s} }{5000} \bigl( \vert \arctan w \vert + \bigl\vert \sin (\mathfrak{D}w) \bigr\vert + \bigl\vert w^{\prime } \bigr\vert \bigr) \\ &\hphantom{\bigl\vert \mathcal{H} _{2} \bigl(s, w(s),\mathfrak{D}^{0.04 }w(s ),w^{ \prime }(s) \bigr) \bigr\vert }\leq \frac{e^{s} }{5000} \bigl( \vert w \vert + \vert \mathfrak{D}w \vert + \bigl\vert w^{\prime } \bigr\vert \bigr), \\ &\bigl\vert \mathcal{H} _{3} \bigl(s, w(s),\mathfrak{D}^{0.04 }w(s ),w^{ \prime }(s) \bigr) \bigr\vert \leq \frac{s }{6000} \bigl( \vert w \vert + \vert \mathfrak{D}w \vert + \bigl\vert \arcsin w^{\prime } \bigr\vert \bigr) \\ &\hphantom{\bigl\vert \mathcal{H} _{3} \bigl(s, w(s),\mathfrak{D}^{0.04 }w(s ),w^{ \prime }(s) \bigr) \bigr\vert }\leq \frac{s }{6000} \bigl( \vert w \vert + \vert \mathfrak{D}w \vert + \bigl\vert w^{\prime } \bigr\vert \bigr), \\ &\bigl\vert \mathcal{H} _{4} \bigl(s, w(s),\mathfrak{D}^{0.04 }w(s ),w^{ \prime }(s) \bigr) \bigr\vert \leq \frac{9s }{10{,}000} \bigl( \vert \sin w \vert + \vert \mathfrak{D}w \vert + \bigl\vert \arcsin w^{\prime } \bigr\vert \bigr) \\ &\hphantom{\bigl\vert \mathcal{H} _{4} \bigl(s, w(s),\mathfrak{D}^{0.04 }w(s ),w^{ \prime }(s) \bigr) \bigr\vert }\leq \frac{9s }{10{,}000} \bigl( \vert w \vert + \vert \mathfrak{D}w \vert + \bigl\vert w^{\prime } \bigr\vert \bigr), \end{aligned}$$

where the continuous function W 1 , W 2 , W 3 , W 4 :[0,1]R are defined by

$$ \mathcal{W} _{1}(s )=\frac{e^{s} }{2500},\qquad \mathcal{W} _{2}(s )=\frac{e^{s} }{5000},\qquad \mathcal{W} _{3}(s )=\frac{s }{6000}, \qquad \mathcal{W} _{4}(s )=\frac{9s }{10{,}000} . $$

Furthermore, \(\mathcal{V} _{0}^{\ast }\simeq 5.642\), \(\mathcal{V} _{1}^{\ast } \simeq 4.084\), and \(\mathcal{V} _{2}^{\ast }\simeq 4.019\), thus

$$ \mathcal{F}:= \bigl( \mathcal{V} _{0}^{\ast } + \mathcal{V} _{1}^{ \ast }+\mathcal{V}_{2}^{\ast } \bigr) \bigl( \Vert \mathcal{S} _{1} \Vert + \Vert \mathcal{S} _{2} \Vert + \Vert \mathcal{S} _{3} \Vert + \Vert \mathcal{S} _{4} \Vert \bigr) \simeq 0.023< 1. $$

Hence by Theorem 3.2, the proposed problem (3.13)–(3.14) has a solution.

4 Conclusion

The chemical graph theory is a versatile subject that uses practical and theoretical methods to study the molecular structure of a chemical substance as a graph, with specific mathematical challenges in consideration. In recent decades, the rapid development of this field has given us numerous groundbreaking and distinctive ideas and methods for such research. In this article, we used the framework of a cyclohexane graph to illustrate the fractional boundary value problem in the sense of the Caputo fractional derivative. The Schaefer and Krasnoselskii fixed point theorems were used to examine the existence of solutions to the suggested problem. Our method is easy to implement and may be used on a wide range of graphs, including chordal bipartite graphs, which have many applications in computer networking and biology.

Availability of data and materials

Not applicable.

References

  1. Lakshmikantham, V., Leela, S., Devi, S.V.: Theory of Fractional Dynamic Systems. Cambridge Academic, Cambridge (2009)

    MATH  Google Scholar 

  2. Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equation. Wiley, New York (1993)

    MATH  Google Scholar 

  3. Oldham, K.B., Spanier, J.: The Fractional Calculus. Academic Press, New York (1974)

    MATH  Google Scholar 

  4. Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)

    MATH  Google Scholar 

  5. Machado, J.A.T., Kiryakova, V., Mainardi, F.: Recent history of fractional calculus. Commun. Nonlinear Sci. Numer. Simul. 16, 1140–1153 (2011). https://doi.org/10.1016/j.cnsns.2010.05.027

    Article  MathSciNet  MATH  Google Scholar 

  6. Baleanu, D., Diethelm, K., Scalas, E., Trujillo, J.J.: Fractional Calculus Models and Numerical Methods. Series on Complexity, Nonlinearity and Chaos. World Scientific, London (2012)

    Book  Google Scholar 

  7. Qiu, T., Bai, Z.: Existence of positive solution for singular fractional equations. Electron. J. Differ. Equ. 2008, 146 (2008)

    MathSciNet  MATH  Google Scholar 

  8. Sabatier, J., Agarwal, O.P., Machado, J.A.T.: Advances in Fractional Calculus, Theoretical Developments and Applications in Physics and Engineering. Springer, Berlin (2007)

    Google Scholar 

  9. Agarwal, R.P., Lakshmikantham, V., Nieto, J.J.: On the concept of solution for fractional differential equations with uncertainty. Nonlinear Anal., Theory Methods Appl. 72, 2859–2862 (2010). https://doi.org/10.1016/j.na.2009.11.029

    Article  MathSciNet  MATH  Google Scholar 

  10. Oz, D., Karaca, I.: Positive solutions of m-point fractional boundary value problem on the half line. Fract. Differ. Calc. 9(2), 209–226 (2019). https://doi.org/10.7153/fdc-2019-09-14

    Article  MathSciNet  MATH  Google Scholar 

  11. Wang, F., Liu, L., Wu, Y.: Existence and uniqueness of solutions for a class of higher-order fractional boundary value problems with the nonlinear term satisfying some inequalities. J. Inequal. Appl. 196 (2020). https://doi.org/10.1186/s13660-020-02463-0

  12. Karaca, I.Y., Oz, D.: Existence of solutions for a fractional-order boundary-value problem. Ukr. Math. J. 72, 1907–1920 (2021). https://doi.org/10.1007/s11253-021-01897-z

    Article  MathSciNet  MATH  Google Scholar 

  13. Karaca, I.Y., Oz, D.: Positive solutions for fractional-order nonlinear boundary value problems on infinite interval. Int. J. Nonlinear Anal. Appl. 12(1), 317–335 (2021). https://doi.org/10.22075/IJNAA.2021.4800

    Article  Google Scholar 

  14. Turab, A., Sintunavarat, W.: A unique solution of the iterative boundary value problem for a second-order differential equation approached by fixed point results. Alex. Eng. J. 60(6), 5797–5802 (2021). https://doi.org/10.1016/j.aej.2021.04.031

    Article  Google Scholar 

  15. Zhang, S.: The existence of a positive solution for nonlinear fractional differential equation. J. Math. Anal. Appl. 252, 804–812 (2000). https://doi.org/10.1006/jmaa.2000.7123

    Article  MathSciNet  MATH  Google Scholar 

  16. Zhang, S.: Existence of positive solutions for some class of nonlinear fractional equation. J. Math. Anal. Appl. 278, 136–148 (2003). https://doi.org/10.1016/S0022-247X(02)00583-8

    Article  MathSciNet  Google Scholar 

  17. Hashim, I., Abdulaziz, O., Momani, S.: Homotopy analysis method for fractional IVPs. Commun. Nonlinear Sci. Numer. Simul. 14, 674–684 (2009). https://doi.org/10.1016/j.cnsns.2007.09.014

    Article  MathSciNet  MATH  Google Scholar 

  18. Al-Mdallal, M., Syam, M.I., Anwar, M.N.: A collocation-shooting method for solving fractional boundary value problems. Commun. Nonlinear Sci. Numer. Simul. 15, 3814–3822 (2010). https://doi.org/10.1016/j.cnsns.2010.01.020

    Article  MathSciNet  MATH  Google Scholar 

  19. Oz, D., Karaca, I.Y.: Positive solutions for m-point p-Laplacian fractional boundary value problem involving Riemann–Liouville fractional integral boundary conditions on the half line. Filomat 34(9), 3161–3173 (2020). https://doi.org/10.2298/FIL2009161O

    Article  MathSciNet  Google Scholar 

  20. Lumer, G.: Connecting of local operators and evolution equations on a network. Lect. Notes Math. 787, 219–234 (1985). https://doi.org/10.1007/BFb0086338

    Article  MathSciNet  Google Scholar 

  21. Zavgorodnii, M.G., Pokornyi, Y.V.: On the spectrum of second-order boundary value problems on spatial networks. Usp. Mat. Nauk 44, 220–221 (1989)

    Google Scholar 

  22. Gordeziani, D.G., Kupreishvli, M., Meladze, H.V., Davitashvili, T.D.: On the solution of boundary value problem for differential equations given in graphs. Appl. Math. Lett. 13, 80–91 (2008)

    MathSciNet  MATH  Google Scholar 

  23. Graef, J.R., Kong, L.J., Wang, M.: Existence and uniqueness of solutions for a fractional boundary value problem on a graph. Fract. Calc. Appl. Anal. 17, 499–510 (2014). https://doi.org/10.2478/s13540-014-0182-4

    Article  MathSciNet  MATH  Google Scholar 

  24. Mehandiratta, V., Mehra, M., Leugering, G.: Existence and uniqueness results for a nonlinear Caputo fractional boundary value problem on a star graph. J. Math. Anal. Appl. 477(2), 1243–1264 (2019). https://doi.org/10.1016/j.jmaa.2019.05.011

    Article  MathSciNet  MATH  Google Scholar 

  25. Mophou, G., Leugering, G., Fotsing, P.S.: Optimal control of a fractional Sturm–Liouville problem on a star graph. Optimization 70(3), 659–687 (2021). https://doi.org/10.1080/02331934.2020.1730371

    Article  MathSciNet  MATH  Google Scholar 

  26. Etemad, S., Rezapour, S.: On the existence of solutions for fractional boundary value problems on the ethane graph. Adv. Differ. Equ. 2020, 276 (2020). https://doi.org/10.1186/s13662-020-02736-4

    Article  MathSciNet  Google Scholar 

  27. Baleanu, D., Etemad, S., Mohammadi, H., Rezapour, S.: A novel modeling of boundary value problems on the glucose graph. Commun. Nonlinear Sci. Numer. Simul. 100 (2021). https://doi.org/10.1016/j.cnsns.2021.105844

  28. Turab, A., Sintunavarat, W.: The novel existence results of solutions for a nonlinear fractional boundary value problem on the ethane graph. Alex. Eng. J. 60(6), 5365–5374 (2021). https://doi.org/10.1016/j.aej.2021.04.020

    Article  Google Scholar 

  29. Zhang, W., Liu, W.: Existence and Ulam’s type stability results for a class of fractional boundary value problems on a star graph. Math. Methods Appl. Sci. 43(15), 8568–8594 (2020). https://doi.org/10.1002/mma.6516

    Article  MathSciNet  MATH  Google Scholar 

  30. Smart, D.R.: Fixed Point Theorems. Cambridge University Press, Cambridge (1990)

    Google Scholar 

Download references

Acknowledgements

The authors would like to thank the anonymous referees for their valuable comments and suggestions, which helped to improve the paper.

Funding

The research of JJN has been partially supported by the Agencia Estatal de Investigacion (AEI) of Spain, co-financed by the European Fund for Regional Development (FEDER), project MTM2016-75140-P; and by Xunta de Galicia under grant ED431C 2019/02.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.

Corresponding authors

Correspondence to Ali Turab or Juan J. Nieto.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ali, W., Turab, A. & Nieto, J.J. On the novel existence results of solutions for a class of fractional boundary value problems on the cyclohexane graph. J Inequal Appl 2022, 5 (2022). https://doi.org/10.1186/s13660-021-02742-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-021-02742-4

Keywords