 Research
 Open Access
 Published:
On interpolative Fcontractions with shrink map
Advances in Difference Equations volumeÂ 2021, ArticleÂ number:Â 282 (2021)
Abstract
In this article, we introduce two notions of interpolative Fcontractions with shrink map and Fcontractions with shrink map. We also study the existence of Efixed points by using these notations on a metric space endowed with a binary relation. As an application and consequence of the main results, we also get some other interesting results like a common fixed point result, an Efixed point result on a metric space equipped with graph, and an existence theorem for a solution of integral equations.
1 Introduction and preliminaries
The concept of interpolative Kannan contraction mapping was derived by KarapÄ±nar [1] to redefine the famous Kannan contraction mapping in the following way: A mapping \(V:(K,d_{K})\to (K,d_{K})\) is an interpolative Kannan contraction [1] if
for all \(k,l\in K\) with \(k \neq Vk\), where \(\gamma \in [0,1)\) and \(\tau _{1}\in (0,1)\).
After that, KarapÄ±nar, Agarwal, and Aydi [2] refined the above inequality as
for all \(k,l\in K{ \setminus }\operatorname{Fix}(V)\), where \(\gamma \in [0,1)\), \(\tau _{1}\in (0,1)\) and \(\operatorname{Fix}(V)=\{k\in K: Vk=k\}\).
This concept of interpolative contraction provides a new dimension of study whether existing contraction inequalities can be redefined in this way or not. This concept of KarapÄ±nar [1] provoked research in this field, and within a short duration we have seen many new studies related to this topic. For example, Gaba and KarapÄ±nar [3] modified the interpolative Kannan contraction by using different exponential values instead of \(1\tau _{1}\), which were independent of \(\tau _{1}\). KarapÄ±nar et al. [4] redefined the Hardyâ€“Rogers type contraction by the interpolative Hardyâ€“Rogers type contraction. Reichâ€“Rusâ€“Ä†iriÄ‡ type contractions were extended to interpolative Reichâ€“Rusâ€“Ä†iriÄ‡ type contractions by KarapÄ±nar et al. [2] and Aydi et al. [5]. KarapÄ±nar [6] also studied interpolative contractions based on simulation functions. Mohammadi et al. [7] studied interpolative Ä†iriÄ‡â€“Reichâ€“Rus type contractions in the sense of Wardowski [8]. Altun and Tasdemir [9] presented the study of best proximity points using interpolative proximal contraction inequalities. Along with the aforementioned studies, many other interesting studies on fixed point theory are available in [10â€“23]; they help readers to verify the existence of fixed points for selfmappings and best proximity points for nonself mappings.
Jleli et al. [23] introduced the concept of Efixed point (also called Ï•fixed point), which states that, for maps \(V:K\to K\) and \(E:K\to [0,\infty )\), a point \(k \in K\) is called Efixed point of \(V:K\to K\) if \(V(k)=k\) and \(E(k)=0\), and proved the existence of such points by using a single inequality involving both maps V and E. It is important to note that Jleli et al. [23] used the lower semicontinuity of E. This use of the lower semicontinuity of E by Jleli et al. [23] arises the question whether the condition of lower semicontinuity of E can be left and some other technique be adopted. In this research article, we try to investigate the results by applying the following conditions to the aforementioned study by Jleli et al. [23].

(I)
If the condition of lower semicontinuity is not applied to E.

(II)
And if two different inequalities are used for V and E instead of a single inequality as used by Jleli et al. [23].
As an application and consequence of the main results, we get some other interesting results like a common fixed point result, an Efixed point result on a metric space equipped with graph, and an existence theorem for a solution of integral equations.
In the next section, we use the family of functions given by Wardowski [8]. Î© is a set of functions \(F:(0,\infty )\to \mathbb{R}\) with the following properties:

(F1)
\(k_{1}< k_{2} \Leftrightarrow F(k_{1})< F(k_{2})\) \(\forall k_{1}, k_{2} \in (0,\infty )\);

(F2)
for each \(\{k_{n}: k_{n}>0\}\), we get \(\lim_{n\to \infty }{k_{n}}=0\) if and only if \(\lim_{n\to \infty }F(k_{n})=\infty \);

(F3)
there exists \(t\in (0,1)\) with \(\lim_{{k}\to 0^{+}}{(k)}^{t}F({k})=0\).
2 Main results
In this section we assume that \((K,d_{K})\) is a metric space equipped with a binary relation \(R_{B}\) and \(V:K\to K\), \(E:K\to [0,\infty )\) are two maps. The set of all natural numbers is represented by \(\mathbb{N}\), and the set of all whole numbers is represented by \(\mathbb{W}\).
Definition 2.1
A map V is called interpolative Fcontraction with E shrink if the following inequalities exist:
for each \(k,z\in K\) with \(k R_{B} z\) and
where \(F\in \Omega \), \(\Lambda >0\) and \(\tau _{1}, \tau _{2}, \tau _{3}\in (0,1)\) with \(\tau _{1} + \tau _{2}+\tau _{3} = 1\);
for each \(k\in K\), we have
where \(\lambda \in [0,1)\).
Note that \((K,d_{K})\) equipped with a binary relation \(R_{B}\) is called complete in the sense of \(R_{B}\) if, for each sequence \(\{k_{n}\}\) in K with \(\lim_{n,m\to \infty }d_{K}(k_{n},k_{m})=0\) and \(k_{n} R_{B} k_{n+1}\) \(\forall n\in \mathbb{N}\), we have \(k_{b}\in K\) with \(\lim_{n\to \infty }d_{K}(k_{n},k_{b})=0\) and \(k_{n} R_{B} k_{b}\) \(\forall n\geq n_{0}\) (for some \(n_{0}\in \mathbb{N}\)).
Now we are in a position to state and prove the first result.
Theorem 2.2
Consider V to be an interpolative Fcontraction with E shrink on a metric space \((K,d_{K})\) equipped with a binary relation \(R_{B}\). Also, consider that

(a)
there exist \(k_{0}\in K\) and \(k_{1} = Vk_{0}\) such that \(k_{0} R_{B} k_{1}\);

(b)
if \(k,l\in K\) with \(k R_{B} l\), then \(Vk R_{B} Vl\), that is, V is \(R_{B}\)preserving;

(c)
\((K,d_{K})\) is complete in the sense of \(R_{B}\);

(d)
either V is continuous or F is continuous.
Then there exists a point \(b\in K\) with \(Vb=b\) and \(Eb=0\).
Proof
The existence of axiom (a) implies \(k_{0}\in K\) and \(k_{1}= Vk_{0}\) such that \(k_{0} R_{B} k_{1}\). Then, by repeated application of axiom (b), we say that \(V^{n}k_{0} R_{B} V^{n+1}k_{0}\) \(\forall n\in \mathbb{N}\). Consider \(k_{n}=V^{n}k_{0}\) \(\forall n\in \mathbb{W}\), then \(k_{n} R_{B} k_{n+1}\) \(\forall n\in \mathbb{W}\). Suppose that
then either \(k_{n_{0}}\) or \(k_{{n_{0}}+1}\) is a fixed point of V. Say, it is \(k_{n_{0}}\); by (2.2), we obtain \(E(k_{n_{0}})=E(Vk_{n_{0}})\leq \lambda E(k_{n_{0}})\), that is, \(E(k_{n_{0}})=0\). Hence, the conclusion is proved. Now assume that
then (2.1) implies
That is,
Here, we claim \(d_{K}(k_{n+1},k_{n+2})< d_{K}(k_{n},k_{n+1})\) for all \(n\in \mathbb{W}\). Assume in contrast that there is \(n_{\ast }\in W\) with \(d_{K}(k_{n_{\ast }+1},k_{n_{\ast }+2})\geq d_{K}(k_{n_{\ast }},k_{n_{\ast }+1})\). By keeping this fact and increasing natural of F, (2.4) becomes
which is not possible. Hence, the claim is true, that is, \(d_{K}(k_{n+1},k_{n+2})< d_{K}(k_{n},k_{n+1})\) for all \(n\in \mathbb{W}\). Hence, by (2.4), we obtain
This gives
From (2.7), we get \(\lim_{n\to \infty }F(d_{K}(k_{n+1},k_{n+2}))=\infty \). This implies \(\lim_{n\to \infty }d_{K}(k_{n+1},k_{n+2})=0\) due to (F2). Setting \(d_{K}(k_{n+1},k_{n+2})=\xi _{n+1}\), thus, \(\lim_{n\to \infty }\xi _{n+1}=0\). Condition (F3) ensures that there is \(t\in (0,1)\) such that \(\lim_{n\to \infty }\xi ^{t}_{n+1}F(\xi _{n+1})=0\). From (2.7), we obtain
Then \(\lim_{n\to \infty } \xi ^{t}_{n+1}(n+1)= 0\). Thus, there exists \(N_{\ast }\in \mathbb{N}\) with \(\xi _{n+1}\leq \frac{1}{(n+1)^{\frac{1}{t}}}\) \(\forall n\geq N_{\ast }\). For every \(m,n\in \mathbb{N}\) with \(m>n\), we obtain
Thus, \(\lim_{n,m\to \infty }d_{K}(k_{n},k_{m})=0\), since \(\sum_{j=1}^{\infty }\frac{1}{j^{\frac{1}{t}}}\) is convergent. Hence, we get a Cauchy \(\{k_{n}\}\) with \(k_{n} R_{B} k_{n+1} \forall n\in \mathbb{W}\). As we have already assumed in the statement of the theorem that \((K,d_{K})\) is complete in the sense of \(R_{B}\), thus, there is \(k_{\ast }\in K\) with \(k_{n}\to k_{\ast }\) and \(k_{n} R_{B} k_{\ast }\) for each \(n>m_{0}\) (for some \(m_{0}\)).
Suppose that V is continuous with respect to \(d_{K}\), and we know \(\lim_{n\to \infty }d_{K}(k_{n}, k_{\ast })=0\), thus, \(0=\lim_{n\to \infty }d_{K}(Vk_{n}, Vk_{\ast }) =\lim_{n\to \infty }d_{K}(k_{n+1}, Vk_{\ast })=d_{K}(k_{\ast }, Vk_{\ast })\). Hence, we conclude that \(Vk_{\ast }=k_{\ast }\).
Suppose that F is continuous. Here, we claim \(Vk_{\ast }=k_{\ast }\). Suppose, in contrast, that it is wrong. Then we conclude that
As \(k_{n} R_{B} k_{\ast }\) for each \(n>m_{0}\), by (2.1), we get
As \(\lim_{n\to \infty }d_{K}(k_{n},k_{\ast })=0\), \(\lim_{n\to \infty }d_{K}(k_{n},k_{n+1})=0\), and \(d_{K}(k_{\ast },Vk_{\ast })\neq 0\), thus, there is \(N_{0}\in \mathbb{N}\) with
Using it in (2.9), we obtain
Assuming that \(n\to \infty \) and using the continuity of F in (2.10), we obtain
which is not possible for \(d_{K}(k_{\ast },Vk_{\ast })\neq 0\), that is, a contradiction to our assumption. Hence, the claim is true, that is, \(k_{\ast }=Vk_{\ast }\). Consider \(k=k_{\ast }\) in (2.2), we get \(E(Vk_{\ast })\leq \lambda E(k_{\ast })\), that is, \((1\lambda )E(k_{\ast })\leq 0\). Hence, \(E(k_{\ast })=0\).â€ƒâ–¡
Now we present the notion of Fcontraction with shrink map in the following way.
Definition 2.3
A map V is called Fcontraction with E shrink if the following inequalities exist:
for each \(k,z\in K\) with \(k R_{B} z\) and \(Vk\neq Vz\), where \(F\in \Omega \), \(\Lambda >0\) and \(\tau _{1}, \tau _{2}, \tau _{3}\in [0,1]\) with \(\tau _{1} + \tau _{2}+\tau _{3} = 1\);
for each \(k\in K\), we have
where \(\lambda \in [0,1)\).
Now we shall discuss the second result of this section.
Theorem 2.4
Consider V to be an Fcontraction with E shrink on a metric space \((K,d_{K})\) with a binary relation \(R_{B}\). Also, consider that

(a)
there exist \(k_{0}\in K\) and \(k_{1} = Vk_{0}\) such that \(k_{0} R_{B} k_{1}\);

(b)
if \(k,l\in K\) with \(k R_{B} l\), then \(Vk R_{B} Vl\), that is, V is \(R_{B}\)preserving;

(c)
\((K,d_{K})\) is complete in the sense of \(R_{B}\);

(d)
either V is continuous or F is continuous.
Then there exists a point \(b\in K\) with \(Vb=b\) and \(Eb=0\).
Proof
Axiom (a) says that \(k_{0}\in K\) and \(k_{1}= Vk_{0}\) satisfy \(k_{0} R_{B} k_{1}\). From axiom (b), we conclude that \(V^{n}k_{0} R_{B} V^{n+1}k_{0}\) \(\forall n\in \mathbb{N}\). Letting \(k_{n}=V^{n}k_{0}\) \(\forall n\in \mathbb{W}\), we get \(k_{n} R_{B} k_{n+1}\) \(\forall n\in \mathbb{W}\). Suppose that there is some \(n_{0}\in \mathbb{W}\) with \(k_{n_{0}}=k_{n_{0}+1}=Vk_{n_{0}}\), then \(k_{n_{0}}\) is a fixed point of V. From (2.12), we obtain \(E(k_{n_{0}})=E(Vk_{n_{0}})\leq \lambda E(k_{n_{0}})\), that is, \(E(k_{n_{0}})=0\). Hence, the conclusion is proved. Now assume that \(d_{K}(Vk_{n},Vk_{n+1})>0\) \(\forall n\in \mathbb{W}\), then (2.11) implies
That is,
Here, we claim \(d_{K}(k_{n+1},k_{n+2})< d_{K}(k_{n},k_{n+1})\) \(\forall n\in \mathbb{W}\). Suppose, in contrast, that there is \(n_{\ast }\in W\) with \(d_{K}(k_{n_{\ast }+1},k_{n_{\ast }+2})\geq d_{K}(k_{n_{\ast }},k_{n_{\ast }+1})\). By this fact and increasing natural of F, (2.14) becomes
which is not possible. Hence, the claim is valid, that is, \(d_{K}(k_{n+1},k_{n+2})< d_{K}(k_{n},k_{n+1})\) \(\forall n\in \mathbb{W}\). Hence, by (2.14), we obtain
This implies
By (2.17), we get \(\lim_{n\to \infty }F(d_{K}(k_{n+1},k_{n+2}))=\infty \). This implies \(\lim_{n\to \infty }d_{K}(k_{n+1},k_{n+2})=0\) from (F2). Let \(d_{K}(k_{n+1},k_{n+2})=\xi _{n+1}\), thus, \(\lim_{n\to \infty }\xi _{n+1}=0\). (F3) ensures that there is \(t\in (0,1)\) with \(\lim_{n\to \infty }\xi ^{t}_{n+1}F(\xi _{n+1})=0\). By (2.17), we get
Thus, \(\lim_{n\to \infty } \xi ^{t}_{n+1}(n+1)= 0\). Then there exists \(N_{\ast }\in \mathbb{N}\) with \(\xi _{n+1}\leq \frac{1}{(n+1)^{\frac{1}{t}}}\) \(\forall n\geq N_{\ast }\). By the triangle inequality, for each \(m,n\in \mathbb{N}\) with \(m>n\), we get
Thus, \(\lim_{n,m\to \infty }d_{K}(k_{n},k_{m})=0\), since \(\sum_{j=1}^{\infty }\frac{1}{j^{\frac{1}{t}}}\) is convergent. Hence, we obtain a Cauchy sequence \(\{k_{n}\}\) with \(k_{n} R_{B} k_{n+1}\) \(\forall n\in \mathbb{W}\). As \((K,d_{K})\) is complete in the sense of \(R_{B}\), there is \(k_{\ast }\in K\) with \(k_{n}\to k_{\ast }\) and \(k_{n} R_{B} k_{\ast }\) for each \(n>m_{0}\) (for some \(m_{0}\)).
Suppose that V is continuous with respect to \(d_{K}\), then it is trivial that \(Vk_{\ast }=k_{\ast }\).
Suppose that F is continuous. Here, we claim \(Vk_{\ast }=k_{\ast }\). Assume in contrast that it is wrong. Then we have \(d_{K}(Vk_{n},Vk_{\ast })>0\) \(\forall n \geq m_{a}\). As \(k_{n} R_{B} k_{\ast }\) for each \(n>m_{b}=\max \{m_{a},m_{0}\}\), by (2.11), we obtain
As \(\lim_{n\to \infty }d_{K}(k_{n},k_{\ast })=0\), \(\lim_{n\to \infty }d_{K}(k_{n},k_{n+1})=0\), and \(d_{K}(k_{\ast },Vk_{\ast })\neq 0\), thus, there is \(N_{0}\in \mathbb{N}\) with
By this fact and (2.19), we get
Let \(n\to \infty \) in (2.20), by the continuity of F, we get
which is not possible if \(d_{K}(k_{\ast },Vk_{\ast })\neq 0\), that is, a contradiction to our assumption. Hence, the claim is true, that is, \(k_{\ast }=Vk_{\ast }\). Consider \(k=k_{\ast }\) in (2.12), we get \(E(Vk_{\ast })\leq \lambda E(k_{\ast })\), that is, \((1\lambda )E(k_{\ast })\leq 0\). Hence, \(E(k_{\ast })=0\).â€ƒâ–¡
3 Consequences
In this section, we list some results that are the consequences of the main results.
3.1 Common fixed point result
As a consequence of the above results, we get the following common fixed point result by defining \(E(k)=d_{K}(k, Sk)\) \(\forall k\in K\), where \(S:K \to K\) is any map.
Corollary 3.1
Consider a metric space \((K,d_{K})\) equipped with a binary relation \(R_{B}\), and consider two maps \(V,S:K\to K\) that satisfy the following two inequalities:

(1)
either
$$ \Lambda +F\bigl(d_{K}(Vk,Vz)\bigr) \leq \tau _{1}F\bigl(d_{K}(k,z)\bigr)+\tau _{2}F\bigl(d_{K}(k,Vk)\bigr)+ \tau _{3}F \bigl(d_{K}(z,Vz)\bigr) $$(3.1)for each \(k,z\in K\) with \(k R_{B} z\) and
$$ \min \bigl\{ d_{K}(Vk,Vz),d_{K}(k,Vk),d_{K}(z,Vz) \bigr\} >0, $$where \(F\in \Omega \), \(\Lambda >0\) and \(\tau _{1}, \tau _{2}, \tau _{3}\in (0,1)\) with \(\tau _{1} + \tau _{2}+\tau _{3} = 1\),
or
$$ \Lambda +F\bigl(d_{K}(Vk,Vz)\bigr) \leq F\bigl(\tau _{1}d_{K}(k,z)+\tau _{2}d_{K}(k,Vk)+ \tau _{3} d_{K}(z,Vz)\bigr) $$(3.2)for each \(k,z\in K\) with \(k R_{B} z\) and \(Vk\neq Vz\), where \(F\in \Omega \), \(\Lambda >0\) and \(\tau _{1}, \tau _{2}, \tau _{3}\in [0,1]\) with \(\tau _{1} + \tau _{2}+\tau _{3} = 1\).

(2)
$$ d_{K}(Vk,SVk)\leq \lambda d_{K}(k,Sk)\quad \forall k\in K, $$(3.3)
where \(\lambda \in [0,1)\). Also, consider that

(a)
there exist \(k_{0}\in K\) and \(k_{1} = Vk_{0}\) such that \(k_{0} R_{B} k_{1}\);

(b)
if \(k,l\in K\) with \(k R_{B} l\), then \(Vk R_{B} Vl\), that is, V is \(R_{B}\)preserving;

(c)
\((K,d_{K})\) is complete in the sense of \(R_{B}\);

(d)
either V is continuous or F is continuous.

(a)
Then there exists a point \(b\in K\) with \(Vb=b\) and \(Sb=b\).
3.2 Result on a metric space equipped with graph
Suppose that \(G=(V_{E},E_{D})\) denotes a directed graph with a vertex set \(V_{E}=K\) and an edge set \(E_{D} \subset K\times K\) such that \(E_{D}\) does not contain parallel edges but contains each loop, that is, \((k,k)\in E_{D}\) \(\forall k\in K\).
The following stated result is an explicit consequence of TheoremÂ 2.2 and TheoremÂ 2.4 by defining a binary relation \(R_{B}\) on K as \(k R_{B} l\) if \((k,l)\in E_{D}\).
Corollary 3.2
Consider a metric space \((K,d_{K})\) equipped with the graph G. Also, consider maps \(V:K\to K\) and \(E:K\to [0,\infty )\) that satisfy the following two inequalities:

(1)
either
$$ \Lambda +F\bigl(d_{K}(Vk,Vz)\bigr) \leq \tau _{1}F\bigl(d_{K}(k,z)\bigr)+\tau _{2}F\bigl(d_{K}(k,Vk)\bigr)+ \tau _{3}F \bigl(d_{K}(z,Vz)\bigr) $$(3.4)for each \(k,z\in K\) with \((k,z)\in E_{D}\) and
$$ \min \bigl\{ d_{K}(Vk,Vz),d_{K}(k,Vk),d_{K}(z,Vz) \bigr\} >0, $$where \(F\in \Omega \), \(\Lambda >0\) and \(\tau _{1}, \tau _{2}, \tau _{3}\in (0,1)\) with \(\tau _{1} + \tau _{2}+\tau _{3} = 1\),
or
$$ \Lambda +F\bigl(d_{K}(Vk,Vz)\bigr) \leq F\bigl(\tau _{1}d_{K}(k,z)+\tau _{2}d_{K}(k,Vk)+ \tau _{3} d_{K}(z,Vz)\bigr) $$(3.5)for each \(k,z\in K\) with \((k,z)\in E_{D}\) and \(Vk\neq Vz\), where \(F\in \Omega \), \(\Lambda >0\) and \(\tau _{1}, \tau _{2}, \tau _{3}\in [0,1]\) with \(\tau _{1} + \tau _{2}+\tau _{3} = 1\).

(2)
$$ E(Vk)\leq \lambda E(k)\quad \forall k\in K, $$(3.6)
where \(\lambda \in [0,1)\). Also, consider that

(a)
there exist \(k_{0}\in K\) and \(k_{1} = Vk_{0}\) such that \((k_{0}, k_{1})\in E_{D}\);

(b)
if \(k,l\in K\) with \((k,l)\in E_{D}\), then \((Vk,Vl)\in E_{D}\), that is, V is \(E_{D}\)preserving;

(c)
\((K,d_{K})\) is complete in the sense of G, that is, for each sequence \(\{k_{n}\}\) with \(\lim_{n,m\to \infty }d_{K}(k_{n},k_{m})=0\) and \((k_{n},k_{n+1})\in E_{D}\) \(\forall n\in \mathbb{N}\), we have \(k_{b}\in K\) with \(\lim_{n\to \infty }d_{K}(k_{n},k_{b})=0\) and \((k_{n},k_{b})\in E_{D}\) \(\forall n\geq n_{0}\) (for some \(n_{0}\in \mathbb{N}\));

(d)
either V is continuous or F is continuous.

(a)
Then there exists a point \(b\in K\) with \(Vb=b\) and \(Eb=0\).
3.3 Result on a metric space with a function Î±
The result stated below has been obtained from Theorems 2.2 and 2.4 by taking a binary relation \(R_{B}\) on K as \(k R_{B} l\) if \(\alpha (k,l)\geq 1\), where \(\alpha :K\times K\to [0,\infty )\) is a function.
Corollary 3.3
Consider a metric space \((K,d_{K})\) and a function \(\alpha :K\times K\to [0,\infty )\). Also, consider the maps \(V:K\to K\) and \(E:K\to [0,\infty )\) that satisfy the following two inequalities:

(1)
either
$$ \Lambda +F\bigl(d_{K}(Vk,Vz)\bigr) \leq \tau _{1}F\bigl(d_{K}(k,z)\bigr)+\tau _{2}F\bigl(d_{K}(k,Vk)\bigr)+ \tau _{3}F \bigl(d_{K}(z,Vz)\bigr) $$(3.7)for each \(k,z\in K\) with \(\alpha (k,z)\geq 1\) and
$$ \min \bigl\{ d_{K}(Vk,Vz),d_{K}(k,Vk),d_{K}(z,Vz) \bigr\} >0 $$where \(F\in \Omega \), \(\Lambda >0\) and \(\tau _{1}, \tau _{2}, \tau _{3}\in (0,1)\) with \(\tau _{1} + \tau _{2}+\tau _{3} = 1\),
or
$$ \Lambda +F\bigl(d_{K}(Vk,Vz)\bigr) \leq F\bigl(\tau _{1}d_{K}(k,z)+\tau _{2}d_{K}(k,Vk)+ \tau _{3} d_{K}(z,Vz)\bigr) $$(3.8)for each \(k,z\in K\) with \(\alpha (k,z)\geq 1\) and \(Vk\neq Vz\), where \(F\in \Omega \), \(\Lambda >0\) and \(\tau _{1}, \tau _{2}, \tau _{3}\in [0,1]\) with \(\tau _{1} + \tau _{2}+\tau _{3} = 1\).

(2)
$$ E(Vk)\leq \lambda E(k)\quad \forall k\in K, $$(3.9)
where \(\lambda \in [0,1)\). Also, consider that

(a)
there exist \(k_{0}\in K\) and \(k_{1} = Vk_{0}\) such that \(\alpha (k_{0}, k_{1})\geq 1\);

(b)
if \(k,l\in K\) with \(\alpha (k,l)\geq 1\), then \(\alpha (Vk,Vl)\geq 1\), that is, V is Î±preserving/admissible;

(c)
\((K,d_{K})\) is complete in the sense of Î±, that is, for each sequence \(\{k_{n}\}\) with \(\lim_{n,m\to \infty }d_{K}(k_{n},k_{m})=0\) and \(\alpha (k_{n},k_{n+1})\geq 1\) \(\forall n\in \mathbb{N}\), we have \(k_{b}\in K\) with \(\lim_{n\to \infty }d_{K}(k_{n},k_{b})=0\) and \(\alpha (k_{n},k_{b})\geq 1\) \(\forall n\geq n_{0}\) (for some \(n_{0}\in \mathbb{N}\));

(d)
either V is continuous, or F is continuous.

(a)
Then there exists a point \(b\in K\) with \(Vb=b\) and \(Eb=0\).
4 Application and examples
Consider an integral equation
where Î¼ is constant, \(h: I_{N} \to \mathbb{R}\), \(f: I_{N} \to \mathbb{R^{+}}=[0,\infty )\), and \(M: I_{N}\times I_{N} \times \mathbb{R} \to \mathbb{R}\) are continuous functions.
Also, consider \(K = C(I_{N}, \mathbb{R})\) to be the set that contains all realvalued continuous functions with the domain set \(I_{N}\) and \(d_{K}(k,l)=\max_{w\in I_{N}}k(w)l(w)=\kl\\).
Theorem 4.1
Consider \(K = C(I_{N}, \mathbb{R})\) and consider an operator \(V:K\to K\) defined by
where Î¼ is constant, \(h: I_{N} \to \mathbb{R}\), \(f: I_{N} \to \mathbb{R^{+}}=[0,\infty )\), and \(M: I_{N}\times I_{N} \times \mathbb{R} \to \mathbb{R}\) are continuous functions. Also, assume that there are \(\Lambda >0\) and \(\tau _{1},\tau _{2},\tau _{3}\in (0,1)\) with \(\tau _{1}+\tau _{2}+\tau _{3}=1\) satisfying
for all \(w,q\in I_{N}\) and for each \(k,l\in K\) with \(\min \{\VkVl\, \kVk\,\lVl\\}>0\); moreover,
Then (4.1) possesses a solution.
Proof
By (4.2) and (4.3), for each \(k,l\in K\) with \(\min \{\VkVl\, \kVk\,\lVl\\}>0\), we reach
This gives
This implies
So, we get
Hence,
for each \(k,l\in K\) with \(\min \{d_{K}(Vk,Vl), d_{K}(k,Vk),d_{K}(l,Vl)\}>0\), where \(F(w)=\frac{1}{\sqrt{w}}\). By defining a binary relation \(R_{B}\) on K as \(k R_{B} l\) if \((k, l)\in K\times K\) and \(E(k)=0\) for each \(k\in K\), we see that the axioms of TheoremÂ 2.2 become true. Hence, we say that V contains a fixed point in K, that is, (4.1) possesses a solution.â€ƒâ–¡
Illustration by examples
Example 4.2
Consider \(K=\mathbb{R}\) and define
Define a binary relation \(R_{B}\) on K by \(k R_{B} l\) if \(k,l\in [0,1]\). Define \(V:K\to K\) and \(E:K\to [0,\infty )\) by
and
In this example, one can see that the axioms of TheoremÂ 2.2 are valid by taking \(F(k)=\ln (k)\) and \(\Lambda =0.001\). Thus, there exists a point \(b\in K\) such that \(Vb=b\) and \(Eb=0\).
Remark 4.3
([7, TheoremÂ 2])
is not applicable to the above defined \(d_{K}\) and V.
Example 4.4
Consider \(K=[0,2]\) and define \(d_{K}(k,l)=kl\) \(\forall k,l\in K\). Define a binary relation \(R_{B}\) on K by \(k R_{B} l\) if \(k,l\in \{0,1/3,2/3,1,2\}\). Define \(V:K\to K\) and \(E:K\to [0,\infty )\) by
and
One can verify that the axioms of TheoremÂ 2.4 are valid by taking \(F(k)=\ln (k)\) and \(\Lambda =0.0001\), thus there exists a point \(b\in K\) such that \(Vb=b\) and \(Eb=0\).
Example 4.5
Consider \(K=[0,2]\) and define \(d_{K}(k,l)=kl\) \(\forall k,l\in K\). Define a binary relation \(R_{B}\) on K by \(k R_{B} l\) if \(k,l\in \{0,1/3,2/3,1,2\}\). Define \(V:K\to K\) and \(E:K\to [0,\infty )\) by
and
One can verify that the axioms of TheoremÂ 2.4 are valid by taking \(F(k)=\ln (k)\) and \(\Lambda =0.0001\), thus there exists a point \(b\in K\) such that \(Vb=b\) and \(Eb=0\).
Remark 4.6
Note that for the function V defined in the last example inequality (2.11) is valid only for \(k,l\in K\) with \(k R_{B} l\).
5 Conclusion
The notions of interpolative Fcontractions with shrink map and Fcontractions with shrink map have been defined and used to study the existence of Efixed points on a metric space endowed with a binary relation. As an application and consequence of the main results, we have obtained a common fixed point result, an Efixed point result on a metric space with graph, and an existence theorem for a solution of integral equations.
Availability of data and materials
The data used to support the findings of this study are available from the corresponding author upon request.
References
KarapÄ±nar, E.: Revisiting the Kannan type contractions via interpolation. Adv. Theory Nonlinear Anal. Appl. 2, 85â€“87 (2018)
KarapÄ±nar, E., Agarwal, R.P., Aydi, H.: Interpolative Reichâ€“Rusâ€“Ciric type contractions on partial metric spaces. Mathematics 6(11), 256 (2018)
Gaba, Y.U., KarapÄ±nar, E.: A new approach to the interpolative contractions. Axioms 8(4), 110 (2019)
KarapÄ±nar, E., Algahtani, O., Aydi, H.: On interpolative Hardyâ€“Rogers type contractions. Symmetry 11, 8 (2018)
Aydi, H., Chen, C.M., KarapÄ±nar, E.: Interpolative Ciricâ€“Reichâ€“Rus type contractions via the Branciari distance. Mathematics 7(1), 84 (2019)
KarapÄ±nar, E.: Revisiting simulation functions via interpolative contractions. Appl. Anal. Discrete Math. 13(3), 859â€“870 (2019)
Mohammadi, B., Parvaneh, V., Aydi, H.: On extended interpolative Ciricâ€“Reichâ€“Rus type Fcontractions and an application. J. Inequal. Appl. 2019, 290 (2019)
Wardowski, D.: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. 2012, 94 (2012)
Altun, I., Tasdemir, A.: On best proximity points of interpolative proximal contractions. Quaest. Math. (2020). https://doi.org/10.2989/16073606.2020.1785576
Debnath, P., de La Sen, M.: Fixedpoints of interpolative Ciricâ€“Reichâ€“Rustype contractions in bmetric spaces. Symmetry 12, 12 (2020)
Debnath, P., de La Sen, M.: Setvalued interpolative Hardyâ€“Rogers and setvalued Reichâ€“Rusâ€“Cirictype contractions in bmetric spaces. Mathematics 7(9), 849 (2019)
Ali, M.U., Alansari, M.: New generalizations of setvalued interpolative Hardyâ€“Rogers type contractions in bmetric spaces. J. Funct. Spaces 2021, 6641342 (2021)
KarapÄ±nar, E., Aydi, H., Mitrovic, Z.D.: On interpolative Boydâ€“Wong and Matkowski type contractions. TWMS J. Pure Appl. Math. 11, 204â€“212 (2020)
Aydi, H., Karapinar, E., RoldÃ¡n LÃ³pez de Hierro, A.F.: Ï‰Interpolative Ciricâ€“Reichâ€“Rustype contractions. Mathematics 7, 57 (2019)
Ameer, E., Aydi, H., Arshad, M., Alsamir, H., Noorani, M.S.: Hybrid multivalued type contraction mappings in Î±Kcomplete partial bmetric spaces and applications. Symmetry 11, 86 (2019)
Parvaneh, V., Haddadi, M.R., Aydi, H.: On best proximity point results for some type of mappings. J. Funct. Spaces 2020, 6298138 (2020)
Aydi, H., Lakzian, H., MitroviÄ‡, Z.D., RadenoviÄ‡, S.: Best proximity points of MTcyclic contractions with property UC. Numer. Funct. Anal. Optim. 41, 871â€“882 (2020)
KarapÄ±nar, E., Fulga, A., Agarwal, R.P.: A survey: Fcontractions with related fixed point results. J. Fixed Point Theory Appl. 22, 1â€“58 (2020)
Patle, P., Patel, D., Aydi, H., RadenoviÄ‡, S.: On H+ type multivalued contractions and applications in symmetric and probabilistic spaces. Mathematics 7, 144 (2019)
Karapinar, E., Czerwik, S., Aydi, H.: \((\alpha ,\psi )\)Meirâ€“Keeler contraction mappings in generalized bmetric spaces. J. Funct. Spaces 2018, 3264620 (2018)
Ali, M.U., Pitea, A.: Existence theorem for integral inclusions by a fixed point theorem for multivalued implicittype contractive mappings. Nonlinear Anal., Model. Control 26, 334â€“348 (2021)
Ali, M.U., Ionescu, C., Stanciu, M.: On \((\phi ,\varphi )\)best proximity points for proximal type contraction mappings. UPB Sci. Bull., Ser. A 83, 15â€“26 (2021)
Jleli, M., Samet, B., Vetro, C.: Fixed point theory in partial metric spaces via Ï•fixed pointâ€™s concept in metric spaces. J.Â Inequal. Appl. 2014, 426 (2014)
Acknowledgements
This work was supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia, under grant number KEP513042. The authors, therefore, gratefully acknowledge the DSR for technical and financial support.
Funding
The Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, Saudi Arabia, has funded this project under grant number KEP513042.
Author information
Authors and Affiliations
Contributions
Both authors have contributed equally in writing this article. Both authors have 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
Alansari, M., Ali, M.U. On interpolative Fcontractions with shrink map. Adv Differ Equ 2021, 282 (2021). https://doi.org/10.1186/s13662021034434
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662021034434
MSC
 47H10
 54H25
Keywords
 Efixed points
 Interpolative Kannan contraction
 Interpolative Fcontraction with shrink map