 Research
 Open Access
 Published:
Common fixed point theorems for auxiliary functions with applications in fractional differential equation
Advances in Difference Equations volume 2021, Article number: 503 (2021)
Abstract
In this work, we investigate hϕ contraction mappings with two metrics endowed with a directed graph which involve auxiliary functions. The achievement allows us to obtain applications for the existence of the solutions for Caputo fractional boundary value problems with the integral boundary condition type. In addition, we also give examples and numerical experiments supporting our main results.
Introduction and preliminaries
The topic of fractional differential equations has been of great interest among mathematicians during the past few decades due to its various applications in science. It is evidenced that fixed point theory has played an important role in improving the understanding of fractional differential equations as this can be seen, for instance, in [1–12].
As being investigated in [11], E. Karapınar considered fixed point theorem using auxiliary functions, and this shed the light on application for fractional differential equations, which has motivated this recent work.
Additionally, in 2008, the notion of fixed point theorem for metric spaces endowed with graphs was introduced by J. Jachymski in [13]. Thenceforth, many researchers have paid their attention to the study of fixed points for mappings on various spaces endowed with graphs, for example, see [14–19]. One of the most important consequences of this generalization is that the famous Banach contraction principle can also be extended into the case of metric spaces endowed with graphs, see [14, 18].
In literature, there are several directions that mathematicians could be exploring fixed point theory. As an illustration, one could consider contractions with Geraghty functions, which are one of the most prominent topics in this field, for example, see [20–29].
Before we move to the next part, there are important definitions and concepts delivered in [13] that should be recalled here, which will be as follows.
Definition 1
([13])
Let \((X,d)\) be a metric space, and let Δ denote the diagonal of \(X\times X\). The metric space \((X,d)\) is said to be endowed with a directed graph \(G= (V(G),E(G) )\) if G is a directed graph such that the vertex set \(V(G)\) contains all the elements of X, and the edge set \(E(G)\) contains Δ while excluding parallel edges.
Definition 2
([28])
Suppose that \((X, d)\) is a metric space endowed with a directed graph \(G= (V(G),E(G) )\), and \(f,g:X\to X\) are functions. Let us define the following sets:
i.e., \(C(f,g)\) is the set of all coincidence points of f and g, and
i.e., \(Cm(f,g)\) is the set of all common fixed points of f and g.
Lemma 3
([28])
Let \((X, d)\) be a metric space endowed with a directed graph \(G= (V(G), E(G) )\), and let \(f,g:X\to X\) be functions. If \(C(f,g) \neq \varnothing \), then \(X(f,g) \neq \varnothing \).
Definition 4
([13])
Suppose that \((X,d)\) is a metric space endowed with a directed graph \(G= (V(G),E(G) )\).

(1)
A mapping \(f: X\to X\) is said to be Gcontinuous at \(x\in X\) whenever, for any sequence \(\{x_{n}\}\) in X such that \((x_{n}, x_{n+1})\in E(G)\) for each \(n\in \mathbb{N}\), we have that
$$\begin{aligned} \text{if}\quad x_{n}\to x \in X,\quad \text{then}\quad fx_{n} \to fx. \end{aligned}$$Moreover, f is called Gcontinuous whenever it is Gcontinuous at every element x of X.

(2)
The set \(E(G)\) is said to have the transitivity property whenever, for all \(x,y,z \in X\),
$$\begin{aligned} \text{if}\quad (x,z),(z,y)\in E(G),\quad \text{then}\quad (x,y)\in E(G). \end{aligned}$$ 
(3)
The triple \((X, d, G)\) is said to have the property A whenever, for any sequence \(\{x_{n}\}\) in X such that \(x_{n}\to x \in X\) and \((x_{n}, x_{n+1})\in E(G)\) for all \(n\in \mathbb{N}\), it is true that \((x_{n}, x)\in E(G)\) for all \(n\in \mathbb{N}\).
On the other hand, interesting results regarding common fixed point theorems for Geraghty type contraction mappings employing the monotone property with two metrics were proved by MartínezMoreno et al. in 2015 using dcompatibility and guniform continuity, see [29]. This also inspires us to examine metric spaces equipped with two metrics in this work. Before we prove our main results in the next section, let us recall other important definitions as follows.
Definition 5
([30])
Let \((X,d)\) be a metric space, and let \(f,g:X\to X\) be functions. Then f and g are said to be dcompatible whenever
for all sequence \(\{x_{n}\}\) in X with \(\lim_{n\to \infty } fx_{n} = \lim_{n\to \infty } gx_{n}\).
Definition 6
([28])
Let \(G= (V(G),E(G) )\) be a directed graph, and let \(f,g:X\to X\) be functions. We say that f is gedge preserving with respect to G whenever, for each \(x \in X\),
Definition 7
([28])
Let \((X,d)\) and \((Y,d')\) be metric spaces, and let \(f:X \rightarrow Y\) and \(g:X\rightarrow X\) be functions. We say that f is gCauchy on X whenever, for any sequence \(\{x_{n}\}\) in X with \(\{gx_{n}\}\) being Cauchy in \((X, d)\), the sequence \(\{fx_{n}\}\) is Cauchy in \((Y, d')\).
In the next section, we enhance the results in [28] by replacing θϕ contraction mappings with auxiliary functions. This allows us to obtain existence criteria of common fixed points for auxiliary functions with two metrics endowed with a directed graph. Finally, application for nonlinear differential equations and numerical experiments will be provided in the next two parts of this work.
Main results
In this section, we present new results on existence of common fixed points for auxiliary functions with two metrics endowed with a directed graph. To begin with, let us establish classes of functions which will be considered throughout this work.
Suppose that \(\phi:[0,\infty )\rightarrow [0,\infty )\) is a function which has the following properties:

ϕ is an increasing function;

ϕ is a continuous function;

\(\phi (r)=0\) if and only if \(r=0\).
From now on, we will denote the set of all such functions ϕ satisfying all the above conditions by Φ.
Inspired by [11], the next important class of functions that we shall consider is the class \(\mathcal{A}(X)\), where \((X,d)\) is a metric space. This is the class of all auxiliary functions \(h: X\times X \to [0,1]\) such that
for all sequences \(\{x_{n}\}\) and \(\{y_{n}\}\) in X.
As a result, we are now in a position to consider a new type of contractions, which is defined as follows.
Definition 8
Let \((X, d)\) be a metric space endowed with a directed graph \(G= (V(G),E(G) )\), and let \(f,g:X\to X\) be functions. The pair \((f,g)\) will be called an hϕcontraction with respect to d whenever the following conditions hold:

(1)
f is gedge preserving with respect to G;

(2)
There exist two functions \(h \in \mathcal{A}(X) \) and \(\phi \in \Phi \) such that, for all \(x,y\in X\) with \((gx, gy)\in E(G)\), we have
$$\begin{aligned} \phi \bigl(d(fx,fy)\bigr)\leq h(gx,gy)\phi \bigl(R(gx,gy)\bigr), \end{aligned}$$where \(R: X\times X \to [0,\infty )\) is a function such that, for any \(x,y \in X\),
$$\begin{aligned} R(gx,gy)={}&\max \biggl\{ \frac{d(gx,fx)d(fy,gy)}{d(gx,gy)},d(gx,gy), d(gx,fx), d(gy,fy),\\ &\frac{d(gx,fy)+d(gy,fx)}{2} \biggr\} . \end{aligned}$$
The above definition allows us to generalize the result in [28] to the case of auxiliary functions. In fact, we are now ready to present and prove our main results. The following theorem involves two metrics as being motivated by [31].
Theorem 9
Let \((X,d' )\) be a complete metric space endowed with a directed graph \(G= (V(G),E(G) )\), let d be another metric on X, and let \(f,g:X\to X\) be functions. Suppose that \((f,g)\) is an hϕcontraction with respect to d, and assume further that the following conditions hold:

(1)
\(g:(X,d')\to (X,d')\) is a continuous function such that \(g(X)\) is \(d'\)closed;

(2)
\(f(X)\subseteq g(X)\);

(3)
\(E(G)\) satisfies the transitivity property;

(4)
If \(d\ngeq d'\), assume that \(f:(X,d)\to (X,d')\) is gCauchy on X;

(5)
\(f:(X,d')\to (X,d')\) is Gcontinuous, and f and g are \(d'\)compatible.
As a consequence, we get that
Proof
\((\Leftarrow ) \) This follows from Lemma 3.
\((\Rightarrow ) \) Suppose that \(X(f,g)\neq \varnothing \) and \(x_{0}\in X\) with \((gx_{0}, fx_{0})\in E(G)\). By the assumption that \(f(X)\subseteq g(X)\) and \(f(x_{0})\in X\), we may construct a sequence \(\{x_{n}\}\) in X such that \(gx_{n}=fx_{n1}\) for each number \(n\in \mathbb{N}\). If it is the case that \(gx_{n_{0}}=gx_{n_{0}1}\) for some \(n_{0}\in \mathbb{N}\), then \(x_{n_{0}1}\) must be a coincidence point of f and g. As a result, we may assume now that, for every \(n\in \mathbb{N}\), \(gx_{n}\ne gx_{n1}\).
Because \((gx_{0},fx_{0})=(gx_{0},gx_{1})\in E(G)\) and the function f is gedge preserving with respect to G, it is true that \((fx_{0},fx_{1})=(gx_{1},gx_{2})\in E(G)\). By mathematical induction, we receive \((gx_{n1},gx_{n})\in E(G)\) for any \(n\in \mathbb{N}\). Since \((f,g)\) is an hϕcontraction with respect to d, for each \(n \geq 0\),
Also, a direct calculation shows that
Then \(R(gx_{n},gx_{n+1}) = d(gx_{n},gx_{n+1})\) or \(R(gx_{n},gx_{n+1}) = d(gx_{n+1},gx_{n+2})\). In both cases, we will show that \(\lim_{n \to \infty } d(gx_{n},gx_{n+1})=0\).
If \(R(gx_{n},gx_{n+1}) = d(gx_{n+1},gx_{n+2})\), then by inequality (1) we have
for each \(n \geq 0\). By our assumption, \(gx_{n+1} \neq gx_{n+2}\) so \(d(gx_{n+1},gx_{n+2}) > 0\). As a consequence, \(\phi (d(gx_{n+1},gx_{n+2}))>0\). Hence, \(\lim_{n \to \infty } h(gx_{n},gx_{n+1})=1\). Thus, we get \(\lim_{n \to \infty } d(gx_{n},gx_{n+1})=0\).
If \(R(gx_{n},gx_{n+1}) = d(gx_{n},gx_{n+1})\), then by similar argument as in the previous case we receive
So, we get that \(\{\phi (d(gx_{n},gx_{n+1}))\}\) is a nonincreasing sequence, which implies that the sequence \(\{d(gx_{n},gx_{n+1})\}\) must be nonincreasing by the definition of ϕ. Since the later sequence is bounded below, it becomes a convergent sequence. Suppose on the contrary that \(\lim_{n \to \infty } d(gx_{n},gx_{n+1})>0\). Thus, \(\lim_{n \to \infty } \phi (d(gx_{n},gx_{n+1}))>0\) by the property of ϕ. By (2), it is true that
Therefore, \(\lim_{n \to \infty } h(gx_{n},gx_{n+1}) = 1\). By the definition of auxiliary functions, \(\lim_{n \to \infty } d(gx_{n},gx_{n+1}) = 0\), which contradicts the assumption. So, the equation \(\lim_{n \to \infty } h(gx_{n},gx_{n+1}) = 0\) must be true.
Next, we will show that the sequence \(\{gx_{n}\}\) must be Cauchy. Suppose on the contrary that \(\{gx_{n}\}\) is not Cauchy. Therefore, there is \(\epsilon > 0\) such that, for all \(k \in \mathbb{N}\), there are \(n(k), m(k) \in \mathbb{N}\) such that \(n(k) > m(k) \geq k\) with the property that \(n(k)\) being the smallest number satisfies the properties as follows:
This implies
Taking \(k \to \infty \) in the above conclusion and using \(\lim_{n \to \infty } d(gx_{n},gx_{n+1}) = 0\), we receive
Because \(E(G)\) has the transitivity property, we obtain that \((gx_{m(k)},gx_{n(k)})\in E(G)\) for every \(k \in \mathbb{N}\). As a consequence,
where
Since \(\lim_{n \to \infty } d(gx_{n},gx_{n+1}) = 0\), letting \(k \to \infty \) in the above inequality implies that
By inequality (4) and the above fact, we get
As a result, \(\lim_{k \to \infty }h(gx_{m(k)},gx_{n(k)}) = 1\). Thus, \(\lim_{k \to \infty }d(gx_{m(k)},gx_{n(k)}) = 0\), which contradicts (3). So, it must be true that \(\{gx_{n}\}\) is Cauchy in the metric space \((X,d)\).
In the next part, we prove that \(\{gx_{n}\}\) is also Cauchy in the metric space \((X,d')\).
When \(d \geq d'\), the proof is trivial. Therefore, we consider the case \(d \ngeq d'\). Let \(\varepsilon > 0\). Because \(\{gx_{n}\}\) is Cauchy in \((X, d)\) and the function f is gCauchy on X, we obtain that \(\{fx_{n}\}\) is Cauchy in the metric space \((X, d')\). So, there is a number \(N_{0} \in \mathbb{N}\) such that
for all numbers \(n,m \geq N_{0}\). Hence, the sequence \(\{gx_{n}\}\) is Cauchy in \((X,d')\).
Next, the fact that \(g(X)\) is a \(d'\)closed subset of \((X,d')\), which is complete, implies the existence of \(u = gx \in g(X)\), which satisfies
In addition, using the fact that \(f:(X,d')\to (X,d')\) is a Gcontinuous function such that f and g are \(d'\)compatible, we arrive at the conclusion that
Finally, consider
Taking \(n \to \infty \), we obtain that \(d'(gu,fu) = 0\) because of (5), the continuity of g, and the fact that f is Gcontinuous. Therefore, \(gu = fu\), which implies that u is a coincidence point of f and g. □
In our next theorem, we consider the case when the two metrics d and \(d'\) coincide.
Theorem 10
Let \((X,d)\) be a complete metric space endowed with a directed graph \(G= (V(G),E(G) ) \), and let \(f,g:X\to X\) be functions such that \((f,g)\) is an hϕcontraction with respect to d. Assume further that the following conditions hold:

(1)
g is a continuous function such that \(g(X)\) is closed;

(2)
\(f(X)\subseteq g(X)\);

(3)
\(E(G)\) attains the transitivity property;

(4)
At least one of the following conditions is true:

(a)
f is Gcontinuous, and f and g are dcompatible;

(b)
\((X, d, G)\) has the property A.

(a)
As a consequence, we get that
Proof
From the proof of Theorem 9, it suffices to consider the only if case together with the assumption that (b) of condition \((4)\) above is true. We will adopt all the notations from the proof of Theorem 9. By the fact that the sequence \(\{gx_{n}\}\) is Cauchy and \(g(X)\) is a closed subset of X, there is an element \(u \in X\) with
We claim that u must be a coincidence point of f and g. Suppose on the contrary that u is not a coincidence point of f and g. Therefore, \(fu \neq gu\) and hence \(d(fu,gu) > 0\). Then \((gx_{n}, gu)\in E(G)\) for every \(n\in \mathbb{N}\) because the triple \((X, d, G)\) has the property A. Also,
As a result,
In fact, the definition of ϕ implies that
where
Letting \(k \to \infty \) in the above equation and using (6), we get
Then, taking \(k \to \infty \) in (7) gives us that \(\lim_{k \to \infty }h(gx_{n(k)},gu) = 1\). This implies \(d(gu,fu)=\lim_{k \to \infty }d(gx_{n(k)},gu) =0\), which is a contradiction. Hence, \(fu = gu\) and we can deduce that f and g have u as one of their coincidence points. □
We may obtain a stronger result about the existence of a common fixed point by assuming an extra condition as in the theorem below.
Theorem 11
Let us adopt all the notations and conditions that appeared in Theorem 9. Furthermore, assume in addition that

(6)
For any \(x,y\in C(f,g)\) with \(gx\neq gy\), it is true that \((gx, gy)\in E(G)\).
As a consequence, we get that
Proof
From the proof of Theorem 9, it suffices to consider the only if case together with the assumption that condition \((6)\) above is true. By Theorem 9, there is an element \(x\in X\) such that \(gx=fx\).
To begin with, suppose that \(y\in X\) is also a coincidence point, i.e., \(gy=fy\). We will show that \(gx = gy\). To see this, suppose on the contrary that \(gx\neq gy\). By condition (6) above, \((gx, gy)\in E(G)\), which implies
Thus, \(h(gx,gy)=1\) by the property of ϕ. As a result, \(gx=gy\).
Next, set \(x_{0}=x\) and use condition (2) in Theorem 9 to construct a sequence \(\{x_{n}\}\) such that \(gx_{n}=fx_{n1}\) for any \(n\in \mathbb{N}\). In particular, since x is a coincidence point, we may assume it is the case that \(x_{n}=x\) so \(gx_{n}=fx\) for every \(n\in \mathbb{N}\).
Then, let \(z=gx\) so that \(gz=ggx=gfx\). Note also that \(gx_{n}=fx=fx_{n1}\) for each \(n\in \mathbb{N}\). Therefore,
in \((X,d')\). Furthermore,
since f and g are \(d'\)compatible. This means \(gfx=fgx\). Hence, \(gz=gfx=fgx=fz\) so \(z \in C(f,g)\). By the above proof, \(fz=gz=gx=z\). Thus, \(z \in Cm(f,g)\). □
In the last part of this section, we give an example supporting our main results.
Example 1
Suppose that \(X=[0,\infty )\subseteq \mathbb{R}\), and \(d,d':X \times X \rightarrow [0,\infty )\) are such that
for all \(x,y \in X\), where \(L\in (1,\infty )\) is a constant. It can be easily checked that d and \(d'\) are metrics. Furthermore, by the way we define our metrics, we clearly get that \(d< d'\).
Next, suppose
In addition, let \(f:X\to X\) and \(g:X\to X\) be given by
for each \(x\in X\).
We will prove that requirements (1) and (2) for the pair \((f,g)\) to be an hϕcontraction with respect to d are true.
First, let \((gx, gy)\in E(G)\). Observe that if \(x=y\), then \((fx, fy)\in E(G)\). On the other hand, if \((gx,gy) \in E(G)\) and \(gx \leq gy\), then \(gx=x^{2}\), \(gy=y^{2} \in [0, 1]\) and \(x^{2} = gx \leq gy = y^{2}\). Therefore, \(fx=\ln (1+\frac{x^{2}}{4} ) \leq \ln (1+\frac{y^{2}}{4} )=fy\) and \(fx, fy\in [0, 1] \). Thus, \((fx, fy)\in E(G)\).
Second, set \(\phi (t)=\frac{t}{4}\), and define \(h: X\times X \to [0,1]\) by the following equation:
It is straightforward to prove that \(\phi \in \Phi \) and \(h \in \mathcal{A}(X)\). Next, let \(x,y \in X\) such that \((gx, gy)\in E(G)\). If \(gx=gy\), then \(x=y\) so that requirement (2) is satisfied. On the other hand, if \(gx=x^{2}\), \(gy=y^{2} \in [0,1] \) and \(x^{2} = gx < gy = y^{2}\), then it follows that
Therefore, condition (2) holds for the pair \((f,g)\).
In the last part of this example, we will prove that conditions (1)–(5) of Theorem 9 are satisfied.
(1) \(g:(X,d') \rightarrow (X,d')\) is clearly a continuous function such that \(g(X)=[0,\infty )\) is also \(d'\)closed;
(2) It is not hard to see that \(f(X) = g(X) = X\);
(3) \(E(G)\) has the transitivity property;
(4) From the fact that \(d< d'\), we will show that \(f:(X,d) \rightarrow (X,d')\) is gCauchy. Given \(\epsilon >0 \) and a sequence \(\{x_{n}\}\) in X with \(\{gx_{n}\}\) being Cauchy in \((X,d)\), there is \(N \in \mathbb{N}\) such that \(d(gx_{n},gx_{m}) < \frac{\epsilon }{L}\) for all \(n,m \geq N\). Therefore,
This amounts to saying that \(f:(X,d) \rightarrow (X,d')\) is gCauchy;
(5) \(f:(X,d') \rightarrow (X,d')\) is clearly Gcontinuous. Moreover, f and g are \(d'\)compatible since for any sequence \(\{x_{n}\}\) in X with
it results that \(\ln ( 1+\frac{x}{4} ) =x\). This implies \(x=0\). Also, as \(n\to \infty \),
Finally, observe that \((g0,f0)=(0,0)\in E(G)\) so \(X(f,g)\) is nonempty. By Theorem 9, \(C(f,g) \neq \varnothing \). In fact, it can be easily seen that \(0 \in C(f,g)\).
Application to nonlinear fractional differential equations with nonlocal boundary conditions
In this section, we discuss the application of our results to study the existence of the solutions for Caputo fractional boundary value problems of order \(\alpha \in (n1,n]\), where \(n \geq 2\) is an integer, with the integral boundary condition type. Before going through the existence results, we need to recall the definition of the Caputo fractional derivative and related concepts.
Let α be a positive real number. For a continuous function \(u(t)\), the Caputo derivative of fractional order α is defined as
where \(\lceil \alpha \rceil \) is the smallest integer which is greater than or equal to α, and \(I^{\alpha }\) is the Riemann–Liouville integral operator of order \(\alpha \ge 0\) defined by
Note that, in the case of \(\alpha =0\), the operator \(I^{0}\) is referred to as the identity operator. Moreover, the gamma function Γ is defined by \(\Gamma (\alpha )=\int _{0}^{\infty }t^{\alpha 1}e^{t}\,dt\).
Now, we are in a position to consider the nonlinear fractional differential equation in the following form:
with the boundary conditions
where \(\eta \in [0,1]\) and \(f:[0,1]\times \mathbb{R}\to \mathbb{R}\).
Next, we consider some auxiliary results that will be used to prove our main theorems. It is well known that the initial value problem (BVP) (8)–(9) is equivalent to the Volterra integral equation in specific type. In order to obtain the particular Volterra integral equation corresponding to BVP (8)–(9), we observe that the solution \(y\in C[0,1]\) of equation (8) is
where \(a_{0},a_{1},\dots,a_{n1}\in \mathbb{R}\). By using the boundary conditions \(y(0)=y'(0)=\cdots =y^{(n2)}(0)=0\), we have \(a_{0}=a_{1}=\cdots =a_{n2}=0\). Therefore, the solution is reduced to \(y(t)= a_{n1}t^{n1}+I^{\alpha }f(t,y(t))\). To possess the coefficient \(a_{n1}\), we apply the boundary condition \(y(1)=\int _{0}^{\eta }y(s)\,ds\). This yields
which is equivalent to
Hence,
Substituting \(a_{n1}\) in \(y(t)\), we obtain the solution of BVP (8)–(9) as the solution of the Volterra integral equation in the following form:
As a common technique, we introduce the integral operator in order to find a suitable fixed point problem with \(T:C[0,1]\to C[0,1]\) defined by
Here, we note that the solution of BVP (8)–(9) is given by \(Ty=y\). To achieve the existence of a solution, let the metric space \(( C[0,1], \Vert \cdot \Vert _{\infty } ) \) be endowed with a directed graph \(G= (V(G),E(G) )\). In addition, let us consider the following conditions, which will be assumed later.
(H_{1}) For all \(t\in [0,1]\) and for all \(u,v\in C[0,1]\) with \((u,v)\in E(G)\), there exists \(\phi \in \Phi \) with \(\phi (r)< r\) for all \(r\in (0,1]\) such that
where the constant \(K_{1}\) satisfies
(H_{2}) There exists \(u_{0}\in C[0,1]\) such that \((u_{0},Tu_{0})\in E(G)\);
(H_{3}) For all \(u,v\in C[0,1]\),
(H_{4}) For any sequence \(\{u_{n}\}\) in \(C[0,1]\) such that \(u_{n} \rightarrow u \in C[0,1]\) and \((u_{n}, u_{n+1}) \in E(G)\) for all \(n \in \mathbb{N}\), it is true that \((u_{n}, u) \in E(G)\) for all \(n \in \mathbb{N}\);
(H_{5}) For all \(u,v, w\in C[0,1]\),
It is worth mentioning that the term \(K_{1}\) in condition (H_{1}) is well defined due to the positivity of each term. Next, we prove the following result.
Theorem 12
Suppose that conditions (H_{1})–(H_{5}) hold. Then T has at least one fixed point \(u^{*}\in C[0,1]\), which means that BVP (8)–(9) has at least one solution \(u^{*}\in C[0,1]\).
Proof
It is not hard to see that (H_{3}) implies T is gedge preserving with respect to G, where \(g:C[0,1]\to C[0,1]\) is the identity map. Thenceforth, we will omit g in our proof. In addition, (H_{4}) implies that \(( C[0,1], \Vert \cdot \Vert _{\infty }, G )\) has the property A, and (H_{5}) implies that \(E(G)\) has the transitivity property. Now, we will focus on the actual contraction property of the operator T. To this end, observe that by (H_{1}), for all \(t\in [0,1]\) and for all \(u,v\in C[0,1]\) such that \((u,v)\in E(G)\), we have
That is,
where
Simple calculations give
By (H_{1}), we have \(K_{1}\le \frac{1}{c_{0}}\). We then arrive at
Using the fact that \(\phi (r)< r\) for all \(r\in (0,1]\), we may define \(h:C[0,1]\times C[0,1]\to [0,1]\) by
At this point, all the conditions of Theorem 10 are satisfied. Therefore, there exists \(u^{*}\in C[0,1]\) such that \(Tu^{*}=u^{*}\) as required. □
Note that in the case \(n=2\), simple calculation gives
In fact, it is easy to see that \(\frac{\Gamma (\alpha +2)}{5+3\alpha }\le K_{1}\). Furthermore, by setting \(E(G) =\{ (u,v)\in C[0,1]\times C[0,1]: \xi (u(t),v(t))\ge 0, \forall t \in [0,1] \}\) and assuming its transitivity property, where ξ is as defined in the following corollary, we obtain that our result coincides with Theorem 4.1 in [11].
Corollary 13
Suppose that the following conditions hold.
(H_{1}) There exist \(\xi:\mathbb{R}^{2}\to \mathbb{R}\) and \(\phi \in \Phi \) with \(\phi (r)< r\) for each \(r\in (0,1]\) such that, for all \(t \in [0,1]\) and for all \(u, v \in C[0,1]\) with \(\xi (u(s),v(s))\ge 0\) for every \(s \in [0,1]\),
(H_{2}) There exists \(u_{0}\in C[0,1]\) such that \(\xi (u_{0}(t),Tu_{0}(t))\ge 0\) for all \(t\in [0,1]\);
(H_{3}) For all \(u,v\in C[0,1]\),
(H_{4}) Let \(\{u_{n}\}\) be a sequence in \(C[0,1]\) such that \(u_{n} \rightarrow u \in C[0,1]\). Let, for all \(t \in [0,1]\),
(H_{5}) For all \(u,v, w\in C[0,1]\),
Then, for \(1<\alpha \le 2\), the BVP
with the boundary conditions
where \(\eta \in [0,1]\), has at least one solution \(u^{*}\in C[0,1]\).
In addition, one can see that when \(E(G)=C[0,1]\times C[0,1]\), conditions (H_{1})–(H_{5}) can be reduced to the following condition.
(H\({}_{1}^{*}\)) For all \(t\in [0,1]\) and for all \(u,v\in C[0,1]\), there exists \(\phi \in \Phi \) with \(\phi (r)< r\) for all \(r\in (0,1]\) such that
where the constant \(K_{1}\) satisfies
In this case, Theorem 12 also gives the following corollary.
Corollary 14
Suppose that condition (H\({}_{1}^{*}\)) holds. Then BVP (8)–(9) has at least one solution \(u^{*}\in C[0,1]\).
We end this section with the following example.
Example 2
Let \(g\in C[0,1]\). Consider the fractional differential equation
with the boundary conditions
Observe that \(\eta =0\), and \(f(t,y(t))=L{\sqrt{t} } (y(t)+g(t) )\). In order to obtain the existence result, we compute
Moreover, note that
where \(\phi (t)=\frac{t}{2}\). By direct computations, we see that condition (H\({}_{1}^{*}\)) holds when \(2L <\frac{ \Gamma (\alpha +2) }{2(\alpha +1)} \). Therefore, the conclusion of Corollary 14 applies and, consequently, BVP (10) has at least one solution in \(C[0,1]\) for all \(L<\frac{ \Gamma (\alpha +2) }{4(\alpha +1)} \).
Numerical experiments
In the last part, we note that the iterative approach can be used to study numerical solutions for the fractional BVP. This is the wellknown Picard iterative method
which can be considered as \(f\equiv I\) and \(g\equiv T\) in our main results. Here, we apply the iterative method to solve and compare the approximate solutions with their exact solutions. In order to identify the method, we first establish the correctional function for BVP (8) as
Starting from the initial point \(y_{0}\), the successive approximate solutions can be obtained by calculating the integral appeared in equation (11). Occasionally, it might be difficult to calculate the integral directly due to the nonlinearity of \(f(t,\cdot )\).
According to [32], we shall present an explicit algorithm for solving an approximate solution of the integral via the operator T defined above. For the numerical computations, the interval \([0,1]\) is partitioned into N subintervals. Let \(Z_{0}\) be the uniform partition scale of the interval \([0,1]\) by the length \(\Delta t=\frac{1}{N}\) and \(t_{i}= (i1)\Delta t\). For convenience, we let \(t_{i}^{*}=\frac{t_{i+1}+t_{i}}{2} \), for \(i=0,1,2,\dots,N\). Then we obtain that
Moreover, for \(t_{j}\in Z_{0}\), we see that
For the first term in the righthand side of equation (11), we let \(\eta =t_{p}+\epsilon \), where \(0\le \epsilon < t_{p+1}\). Consider
where the term \(y_{k}(t_{i}^{**})\) can be estimated as
and \(t_{i}^{**}=\frac{t_{i}+t_{i}^{*}}{2}\). By using the values of \(y_{k}(t)\), for all \(t\in Z_{0}\), we can repeatedly calculate \(y_{k+1}(t)\) for \(k=0,1,2,\dots \).
Here, the steps for computing the numerical solution \(y_{k+1}\) with increasing k are briefly provided as follows.

Step 1. Input initial guess \(y_{0}(t)\), the uniform length \(\Delta t=\frac{1}{N}\), the accuracy goal δ, and the maximum number of iteration \(T_{\mathrm{max}}\).

Step 2. Let \(k=1\). Compute
$$\begin{aligned} I_{1}={}&\Delta t \sum_{i=1}^{N} \bigl(1x_{i}^{*}\bigr)^{\alpha 1}f\bigl(t_{i}^{*},y_{k} \bigl(t_{i}^{*}\bigr)\bigr), \\ I_{2}={}& (\Delta t) ^{2} \sum_{i=1}^{p} \Biggl[ \sum_{j=1}^{i1} \bigl( \bigl(t_{i}^{*}t_{j}^{*} \bigr)^{\alpha 1}f\bigl(t_{j}^{*},y_{k} \bigl(t_{j}^{*}\bigr)\bigr) \bigr)+ (\Delta t) ^{2} \bigl(t_{i}^{*}t_{i}^{**} \bigr)^{\alpha 1}f\bigl(t_{i}^{**},y_{k} \bigl(t_{i}^{**}\bigr)\bigr) \Biggr] \\ &{} + {\epsilon } \Delta t \sum_{i=1}^{p} \bigl[ \bigl(t_{p+1}t_{i}^{*} \bigr)^{ \alpha 1}f\bigl(t_{i}^{*},y_{k} \bigl(t_{i}^{*}\bigr)\bigr) \bigr]. \end{aligned}$$ 
Step 3. Update the numerical solution \(y_{k+1}(t)\) on \(Z_{0}\) as
for \(j=0,1,2,\dots,N\) do
$$\begin{aligned} y_{k+1}(t_{j})=\frac{nt_{j}^{n1}}{(n\eta ^{n})\Gamma (\alpha )}(I_{2}I_{1})+ \frac{\Delta t }{\Gamma (\alpha )} \sum_{i=1}^{j} \bigl({t_{j}}t_{i}^{*}\bigr)^{ \alpha 1}f \bigl(t_{i}^{*},y_{k}\bigl(t_{i}^{*} \bigr)\bigr). \end{aligned}$$end for

Step 4. If the maximum error \(\y_{k+1}y_{k}\_{\infty }<\delta \) (\(k\le T_{\mathrm{max}}\)), then \(y_{k+1}(t)\) is the approximate solution of BVP (8)– (9) on \([0,1]\). Otherwise, increase k by 1 and go to Step 2.
In the succeeding part, we present several numerical experiments to support the capability of the proposed algorithm. The computer programs are written in MATLAB. Through the simulations, the accuracy goal is set to be 10^{−16} and maximum iteration \(T_{\mathrm{max}}=100\). The purpose of the first example is to provide a numerical study of the solution in the special case \(\alpha =2.5\) of Example 2. Additionally, the numerical solutions are compared with an analytic solution in order to examine the efficiency of the present algorithm. We also estimate the rate of convergence by using two numerical solutions with different length of discretization \(N_{1}\) and \(N_{1}/2\), corresponding to the formula
which has been widely used (see, for example, [33–37]).
Example 3
Consider the fractional differential equation
with the boundary conditions
Here, we note that \(g(t)=t^{3}+t^{2}+48\) and
in Example 2. In this situation, we immediately obtain that the BVP has at least one solution in \(C[0,1]\). In fact, it is not difficult to see that \(y(t)=t^{3}t^{2}\) is a solution to the problem, which is helpful for checking the accuracy of the proposed numerical schemes. With \(u_{0}(t)=t\) and \(N=1250, 2500, 5000,10{,}000\), and \(20{,}000\), we apply the numerical schemes for solving this problem. Table 1 shows the errors in various values of iteration \(k=2,4,6,8\), and 10 with different N. The results suggest that the accuracy is slightly improved as N increases. The error obtained drops significantly after the tworound iteration; however, the iteration number does not significantly impact the accuracy of the schemes after the fourround iteration. The numerical solutions for \(k=1,2,5\), and 10 with \(N=2500\) are plotted in Fig. 1(a), and the maximum errors are presented in Fig. 1(b). Additionally, Table 2 presents the number of iteration which reaches the accuracy goal \(\epsilon =10^{16}\) and the rate of convergence. From the table it can be observed that the convergence rate of the numerical algorithm seems to be approximately 1.5, which is illustrated in Fig. 2.
Example 4
Consider the fractional differential equation
with the boundary conditions
Observe that \(\alpha =3.5\), \(\eta =1\), and \(f(t,y(t))=L (\arctan y(t)+\sin t )\). In order to obtain the existence result, we compute
and
where \(\phi (t)=\frac{t}{2}\). By direct computations, we see that condition (H\({}_{1}^{*}\)) holds when \(2L <4.4233 \). Therefore, the conclusion of Corollary 14 applies and, consequently, BVP (13) has at least one solution in \(C[0,1]\) for all \(L< 2.2117\). Here, we provide numerical simulations when \(L=1\) and 2. It is worth mentioning that our simulations are carried out under the setting \(N=5000\) with \(u_{0}(t)=t\). The numerical solutions for \(k=1,2,5\), and 10 are plotted in Fig. 3, where the cases \(L=1\) and \(L=2\) are given in (a) and (b), respectively.
Conclusions
In this paper, we have studied hϕ contraction mappings with two metrics endowed with a directed graph and proved some existence criteria of common fixed points. By applying our main results, the existence of the solution for Caputo fractional boundary value problems of order \(\alpha \in (n1,n]\) with the integral boundary condition type, where \(n \geq 2\) is an integer, is obtained. Besides, we have successfully constructed a Picardbased iterative strategy for solving certain types of Caputo fractional boundary value problems of order \(\alpha \in (n1,n]\). The present iterative algorithm is based on numerical integration, which produces a computationally costeffective solver. The numerical experiments confirm that the proposed algorithm is robust and reliable. Moreover, the results suggest that the order of convergence is approximately 1.5 in the case of \(\alpha =2.5\) as shown in Example 3. Based on these findings, there is still a lot of space for future works, especially the details of the error analysis, rate of convergence, theoretical investigation, and the limitations of the present algorithm. However, it is worth noting that numerical results give a new aspect to study the solution behavior for other types of Caputo fractional boundary value problems.
Availability of data and materials
Not applicable.
References
 1.
Abdeljawad, T., Agarwal, R.P., Karapınar, E., Kumari, P.S.: Solutions of the nonlinear integral equation and fractional differential equation using the technique of a fixed point with a numerical experiment in extended bmetric space. Symmetry (2019). https://doi.org/10.3390/sym11050686
 2.
Adiguzel, R.S., Aksoy, U., Karapınar, E., Erhan, I.M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.665
 3.
Adiguzel, R.S., Aksoy, U., Karapınar, E., Erhan, I.M.: On the solutions of fractional differential equations via Geraghty type hybrid contractions. Appl. Comput. Math. 20, 313–333 (2021)
 4.
Afshari, H., Atapour, M., Karapınar, E.: A discussion on a generalized Geraghty multivalued mappings and applications. Adv. Differ. Equ. (2020). https://doi.org/10.1186/s13662020028192
 5.
Afshari, H., Kalantari, S., Baleanu, D.: Solution of fractional differential equations via \(\alpha \phi \)Geraghty type mappings. Adv. Differ. Equ. (2018). https://doi.org/10.1186/s1366201818074
 6.
Afshari, H., Kalantari, S., Karapınar, E.: Solution of fractional differential equations via coupled fixed point. Electron. J. Differ. Equ. 286, 1 (2015)
 7.
Afshari, H., Karapınar, E.: A discussion on the existence of positive solutions of the boundary value problems via ψHilfer fractional derivative on bmetric spaces. Adv. Differ. Equ. (2020). https://doi.org/10.1186/s1366202003076z
 8.
Fu, X.: Existence results for fractional differential equations with threepoint boundary conditions. Adv. Differ. Equ. (2013). https://doi.org/10.1186/168718472013257
 9.
Lazreg, J.E., Abbas, S., Benchohra, M., Karapınar, E.: Impulsive Caputo–Fabrizio fractional differential equations in bmetric spaces. Open Math. (2021). https://doi.org/10.1515/math20210040
 10.
Adiguzel, R.S., Aksoy, U., Karapınar, E., Erhan, I.M.: Uniqueness of solution for higherorder nonlinear fractional differential equations with multipoint and integral boundary conditions. RACSAM (2021). https://doi.org/10.1007/s13398021010953
 11.
Karapınar, E., Abdeljawad, T., Jarad, F.: Applying new fixed point theorems on fractional and ordinary differential equations. Adv. Differ. Equ. (2019). https://doi.org/10.1186/s1366201923543
 12.
Marasi, H.R., Afshari, H., Daneshbastam, M., Zhai, C.B.: Fixed points of mixed monotone operators for existence and uniqueness of nonlinear fractional differential equations. J. Contemp. Math. Anal. (2017). https://doi.org/10.3103/S1068362317010022
 13.
Jachymski, J.: The contraction principle for mappings on a metric space with a graph. Proc. Am. Math. Soc. 136, 1359–1373 (2008)
 14.
Alfuraidan, M.R.: The contraction principle for multivalued mappings on a modular metric space with a graph. Can. Math. Bull. (2016). https://doi.org/10.4153/CMB2015029x
 15.
Alfuraidan, M.R.: Remarks on monotone multivalued mappings on a metric space with a graph. J. Inequal. Appl. (2015). https://doi.org/10.1186/s1366001507126
 16.
Alfuraidan, M.R., Khamsi, M.A.: Caristi fixed point theorem in metric spaces with a graph. Abstr. Appl. Anal. (2014). https://doi.org/10.1155/2014/303484
 17.
Alfuraidan, M.R.: Remarks on Caristi’s fixed point theorem in metric spaces with a graph. Fixed Point Theory Appl. (2014). https://doi.org/10.1186/168718122014240
 18.
Beg, I., Butt, A.R., Radojević, S.: The contraction principle for set valued mappings on a metric space with a graph. Comput. Math. Appl. 60, 1214–1219 (2010)
 19.
Bojor, F.: Fixed point theorems for Reich type contractions on metric spaces with a graph. Nonlinear Anal. 75, 3895–3901 (2012)
 20.
Afshari, H., Alsulami, H.H., Karapınar, E.: On the extended multivalued Geraghty type contractions. J. Nonlinear Sci. Appl. 9, 4695–4706 (2016)
 21.
Asadi, M., Karapınar, E., Kumar, A.: \(\alpha \psi \)Geraghty contractions on generalized metric spaces. J. Inequal. Appl. (2014). https://doi.org/10.1186/1029242X2014423
 22.
Cho, S.H., Bae, J.S., Karapınar, E.: Fixed point theorems for αGeraghty contraction type maps in metric spaces. Fixed Point Theory Appl. (2013). https://doi.org/10.1186/168718122013329
 23.
Karapınar, E., A discussion on “αψGeraghty contraction type mappings”. Filomat (2014). https://doi.org/10.2298/FIL1404761K
 24.
Karapınar, E., αψGeraghty contraction type mappings and some related fixed point results. Filomat (2014). https://doi.org/10.2298/FIL1401037K
 25.
Karapınar, E., Alsulami, H., Noorwali, M.: Some extensions for Geraghty type contractive mappings. J. Inequal. Appl. (2015). https://doi.org/10.1186/s1366001508301
 26.
Karapınar, E., Pitea, A.: On αψGeraghty contraction type mappings on quasiBranciari metric spaces. J. Nonlinear Convex Anal. 17, 1291–1301 (2014)
 27.
Karapınar, E., Samet, B.: A note on ‘ψGeraghty type contractions’. Fixed Point Theory Appl. (2014). https://doi.org/10.1186/16871812201426
 28.
Charoensawan, P., Atiponrat, W.: Common fixed point and coupled coincidence point theorems for Geraghty’s type contraction mapping with two metrics endowed with a directed graph. Hindawi J. Math. (2017). https://doi.org/10.1155/2017/5746704
 29.
MartínezMoreno, J., Sintunavarat, W., Cho, Y.J.: Common fixed point theorems for Geraghty’s type contraction mappings using the monotone property with two metrics. Fixed Point Theory Appl. (2015). https://doi.org/10.1186/s136630150426y
 30.
Jungck, G.: Compatible mappings and common fixed points. Int. J. Math. Math. Sci. 9, 771–779 (1986)
 31.
Agarwal, R.P., O’Regan, D.: Fixed point theory for generalized contractions on spaces with two metrics. J. Math. Anal. Appl. 248, 402–414 (2000)
 32.
Phothi, S., Suebcharoen, T., Wongsaijai, B.: On nonlocal boundary value problems of nonlinear nthorder qdifference equations. Adv. Differ. Equ. (2017). https://doi.org/10.1186/s1366201712035
 33.
Roache, P.J.: Verification and Validation in Computational Science and Engineering. Hermosa Publishers (1998)
 34.
Oberkampf, W.L., Trucano, T.G.: Verification and validation in computational fluid dynamic. Prog. Aerosp. Sci. 38, 209–273 (2002)
 35.
Sayevand, K., Jafari, H.: On systems of nonlinear equations: some modified iteration formulas by the homotopy perturbation method with accelerated fourth and fifthorder convergence. Appl. Math. Model. 40, 1467–1476 (2016)
 36.
Wongsaijai, B., Sukantamala, N., Poochinapan, K.: A massconservative higherorder ADI method for solving unsteady convection–diffusion equations. Adv. Differ. Equ. (2020). https://doi.org/10.1186/s13662020028856
 37.
Wongsaijai, B., Charoensawan, P., Chaobankoh, T., Poochinapan, K.: Advance in compact structurepreserving manner to the Rosenau–Kawahara model of shallowwater wave. Math. Methods Appl. Sci. 44, 7048–7064 (2021)
Acknowledgements
This research is supported by Chiang Mai University and Faculty of Science, Chiang Mai University, Chiang Mai, Thailand.
Funding
Not applicable.
Author information
Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
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/.
About this article
Cite this article
Wongsaijai, B., Charoensawan, P., Suebcharoen, T. et al. Common fixed point theorems for auxiliary functions with applications in fractional differential equation. Adv Differ Equ 2021, 503 (2021). https://doi.org/10.1186/s1366202103660x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366202103660x
Keywords
 Fixed point
 Common fixed point
 Fractional differential equation