Skip to main content

Fredholm integral equation in composed-cone metric spaces

Abstract

The current paper introduces a novel generalization of cone metric spaces called type I and type II composed cone metric spaces. Therefore, examples of a type I and type II composed cone metric space, which is not a cone metric space, are given. We establish some results of fixed point precisely about Hardy–Rogers type contraction on C2CMS and provide examples. Finally, we present an application of our results and how our results solve the Fredholm integral equation of generalizing several existing and unique fixed point theorems.

1 Introduction and preliminaries

In recent decades, an interesting area of functional analysis, known as a metric fixed point theory, has become increasingly attractive for research. The evolution of this theory focuses on two directions: either the generalization of metric spaces or the improvement of contractions, and sometimes it focuses on both of them. Here, an important generalization of metric space is (bMS) of Bakhtin [1]. At present, there are several generalizations of (bMS) as \(b_{v} (s)\)-metric spaces and b-rectangular metric spaces with some fixed point results (see [24]). In fact, the extended concepts of (bMS), known as controlled metric type spaces and double controlled metric type spaces, respectively, were introduced in 2018 with proving an analogue of Banach contraction principle (BCP) [5] on them [68]. In 2022, Karami et al. [9] gave an extension of a type of controlled metric spaces, defined to be expanded b-metric spaces. Thereafter, in 2023, Ayoobi et al. [10] gave off a new extension of the kinds of metric spaces known as double-composed metric spaces (DCMS), which represent the generalized expanded b-metric spaces. The first type depends on one controlled function (incomparable function), while the second one has two different controlled functions (see [1113]).

In 2007, Huang et al. [14] replaced the real numbers by ordering Banach space and defined cone metric spaces. They proved some fixed point theorems of contractive mappings on cone metric spaces. Despite all of these studies on cone metric spaces [1520], and Meng and Cho studying algebraic cone metric spaces [21, 22], there is much work concerning b-cone metric spaces, for instance, [2325]

Hence, by utilizing the concepts in [9, 10], this study presents a generalization that represents type I composed cone metric spaces and type II composed cone metric spaces. The examples are for type I composed cone metric space, not cone metric space, and type II composed cone metric space, not for type I composed cone metric space. The study provides some fixed point results, involving Banach type, Kannan type, Reich type, and Hardy–Roger type contractions. The focus in on the Hardy–Rogers contraction of (C2CMS), go to corollary in (C1CMS). Finally, the study presents the application of the fixed point theorem to these new spaces as Fredholm integral equation.

Suppose that \(\mathscr{E}\) is a real Banach space and \(\mathscr{P}\subset \mathscr{E}\). The subset \(\mathscr{P}\) is called a cone if the following conditions hold:

  1. (P1)

    \(\{0\}\neq \mathscr{P}\) is nonempty closed,

  2. (P2)

    \(\xi _{1} \mathfrak{f} + \xi _{2} \mathfrak{g} \in \mathscr{P}\) for all \(\mathfrak{f, g}\in \mathscr{P}\), where \(\xi _{1},\xi _{2} \geq 0\),

  3. (P3)

    \(\mathfrak{f} \in \mathscr{P}\) and \(\mathfrak{-f}\in \mathscr{P}\) implies that \(\mathfrak{f}=\{0\}\).

For a given cone \(\mathscr{P}\), a partial ordering can be defined on \(\mathscr{E}\) with respect to \(\mathscr{P}\) by \(\mathfrak{f} \preceq \mathfrak{g}\) if and only if \(\mathfrak{g-f} \in \mathscr{P}\). Also, \(\mathfrak{f}\prec \mathfrak{g}\) indicates that \(\mathfrak{f} \preceq \mathfrak{g}\) and \(\mathfrak{f}\neq \mathfrak{g}\), while \(\mathfrak{f}\ll \mathfrak{g}\) means that \(\mathfrak{g-f} \in \operatorname{int}\mathscr{P}\) such that \(\operatorname{int}\mathscr{P}\) represents the interior of \(\mathscr{P}\).

\(\mathscr{P}\) is a cone in a real Banach space \(\mathscr{E}\) via \(\operatorname{int}\mathscr{P}\) nonempty and is partial ordering regarding \(\mathscr{P}\). \(\mathscr{P}\) is said to be a normal cone if there is a constant number \(M > 0\) such that, for all \(\mathfrak{f, g}\in \mathscr{E}\) and \(0 \preceq \mathfrak{f} \preceq \mathfrak{g}\), it implies that \(\| \mathfrak{f}\| \leq M\| \mathfrak{g} \| \) or, equivalently, if

$$ \inf \bigl\{ \Vert \mathfrak{f+g} \Vert : \mathfrak{f, g} \in \mathscr{P}, \Vert \mathfrak{f} \Vert = \Vert \mathfrak{g} \Vert =1\bigr\} > 0, $$

it implies a non-normal cone (see, e.g., [22]). Also, if \(\operatorname{int}\mathscr{P}\) is a nonempty set, it is called solid.

In the following explanations, some basic concepts of cone metric spaces with their properties are presented.

Definition 1.1

([14] Cone metric space)

Suppose that Γ is a nonempty set. A function \(d_{\mathscr{C}}:\Gamma \times \Gamma \to \mathscr{E} \) is called a cone metric on Γ if for each \(\delta , \varrho , \gamma \in \Gamma \) the following conditions hold:

  1. (CM1)

    \(0\preceq d_{\mathscr{C}}(\delta , \varrho )\) and \(d_{\mathscr{C}}(\delta , \varrho )=0\) if and only if \(\delta =\varrho \),

  2. (CM2)

    \(d_{\mathscr{C}}(\delta , \varrho )=d_{\mathscr{C}}(\varrho ,\delta )\),

  3. (CM3)

    \(d_{\mathscr{C}}(\delta , \varrho )\preceq d_{\mathscr{C}}(\delta , \gamma )+d_{\mathscr{C}}(\gamma , \varrho )\).

Then \((\Gamma , d_{\mathscr{C}})\) is called a cone metric space (CMS).

Clearly, CMS is a generalization of the metric spaces, but the reverse is not true (see [14]). Subsequently, the following explanations present the concepts of type I and type II composed cone metric spaces, inspired by Karami et al. [9] and Ayoobi et al. [10], which are special cases of Definitions 1.2 and 1.4 at \(\mathscr{E}=\mathbb{R}\), as follows.

Definition 1.2

(Type I composed cone metric space)

Presume \(\Gamma \neq \phi \) set. A function \(d_{I}:\Gamma \times \Gamma \to \mathscr{E} \) is a type I composed cone metric if there exists a \(\psi : \mathscr{P} \to \mathscr{P} \) such that, for each \(\delta , \varrho , \gamma \in \Gamma \), the following conditions hold:

  1. (C1)

    \(0 \preceq d_{I} (\delta , \varrho )\) and \(d_{I} (\delta , \varrho )=0\) if and only if \(\delta =\varrho \),

  2. (C2)

    \(d_{I} (\delta , \varrho )=d_{I} (\varrho , \delta )\),

  3. (C3)

    \(d_{I} (\delta , \varrho )\preceq \psi (d_{I} (\delta , \gamma ))+ \psi (d_{I} (\gamma , \varrho )) \).

Then the triple \((\Gamma , d_{I}, \psi ) \) is called type I composed cone metric space (C1CMS).

Example 1.3

Let \(\mathscr{E} = \mathbb{R}^{2}\), \(\mathscr{P}=\{ t=(t_{1}, t_{2} )\in \mathscr{E}: t_{1}, t_{2} \geq 0 \}\), and \(\Gamma = \mathbb{R}\). Here, \(d_{I} : \Gamma \times \Gamma \to \mathscr{E}\) is defined by

$$ d_{I} (\delta , \varrho )= ( \sinh\bigl(\beta _{1} d( \delta , \varrho ), \sinh\bigl(\beta _{2} d(\delta , \varrho )\bigr) \bigr) $$

\(\beta _{1}, \beta _{2} \geq 0\), where \((\Gamma , d)\) is a b-metric space with coefficient \(s\geq 1\). Then \(d_{I}\) is a C1CMS with a controlled function,

$$ \psi (t) = \bigl( \sinh( 2s t_{1} ), \sinh( 2s t_{2} ) \bigr),\quad t= (t_{1}, t_{2}) \in \mathscr{P}. $$

Obviously, \(d_{I}\) is not a CMS. Precisely, it is not a b-cone metric space, which is \(d(\delta , \varrho )=(\delta -\varrho )^{2}\) a b-metric space at \(b=2\), but \(d(\delta , \varrho )= \sinh(\delta -\varrho )^{2}\) is not a b-metric space (for more details, see [9, 16, 26, 27]).

Definition 1.4

(Type II composed cone metric space)

Assume that Γ is a nonempty set and \(\psi _{1}, \psi _{2}: \mathscr{P}\to \mathscr{P}\) are two nonconstant functions. A mapping \(d_{c}:\Gamma \times \Gamma \to \mathscr{E}\) is called a type II composed cone metric if for each \(\delta , \varrho , \gamma \in \Gamma \) it satisfies the following conditions:

  1. (CC1)

    \(0 \preceq d_{c} (\delta , \varrho )\) and \(d_{c} (\delta , \varrho )=0 \) if and only if \(\delta =\varrho \),

  2. (CC2)

    \(d_{c} (\delta , \varrho )=d_{c} (\varrho , \delta )\),

  3. (CC3)

    \(d_{c} (\delta , \varrho )\preceq \psi _{1} (d_{c} (\delta , \gamma ))+ \psi _{2} (d_{c} (\gamma , \varrho ))\).

Then the pair \((\Gamma , d_{c})\) is called a type II composed cone metric space (C2CMS).

Each C1CMS is a C2CMS relating to \(\psi _{1} (t) = \psi _{2} (t)\), \(\forall t\in \mathscr{P}\).

Example 1.5

Let \(\mathscr{E} =\mathbb{R}^{2}\), \(\mathscr{P}=\{ t=(t_{1}, t_{2} )\in \mathscr{E}: t_{1}, t_{2} \geq 0\} \), and \(\Gamma =\mathbb{R} \). Here, \(d_{c}:\Gamma \times \Gamma \to \mathscr{E}\) is defined by \(d_{c} (\delta , \varrho )=(\beta _{1} (\delta -\varrho )^{2}, \beta _{2} (\delta -\varrho )^{2}), \beta _{1}\), \(\beta _{2} \geq 0 \). Then \(d_{c}\) is a C2CMS with two controlled functions, \(\psi _{1} (t)= ( e^{2t_{1}} -1, e^{2t_{2}} -1 ) \) and \(\psi _{2}(t) =(2t_{1}, 2t_{2} )\), \(t \in \mathscr{P}\). But notice that it is not a C1CMS.

Example 1.6

Let \(\mathscr{E} = \mathbb{R}^{2}\), \(\mathscr{P}=\{ (t_{1}, t_{2})\in \mathscr{E}: t_{1}, t_{2} \geq 0 \} \), and \(\Gamma = \mathbb{R} \). Here, \(d_{c}^{\prime }:\Gamma \times \Gamma \to \mathscr{E}\) is defined by \(d_{c}^{\prime } (\delta , \varrho )= ( \beta _{1} (\delta -\varrho )^{2}, \beta _{2} (\delta - \varrho )^{2} ), \beta _{1}\), \(\beta _{2} \geq 0\). Then \(d_{c}^{\prime } \) is a C2CMS with two controlled functions, \(\psi _{1} (t)= ( \frac{(1+2t_{1}^{2} )^{q_{1}} -1 }{q_{1}}, \frac{(1+2t_{2}^{2} )^{q_{1}} -1}{q_{1}} )\) and \(\psi _{2} (t)= ( \frac{(1+2t_{1}^{2} )^{q_{2}} -1}{q_{2}}, \frac{(1+2t_{2}^{2} )^{q_{2}} -1 )}{q_{2}} )\), \(t\in \mathscr{P}\), \(q_{1} \geq q_{2}\geq 1 \). It is obvious that \(d_{c}^{\prime } \) is a C1CMS at \(q_{2}=q_{1}\).

Remark 1.7

Notice that, in Example 1.6, which is \(\psi _{1} (t)= ( ( 1+ \frac{2t_{1}^{2} -1}{q_{1}} )^{q_{1}}, ( 1+ \frac{2t_{2}^{2} -1}{q_{1}} )^{q_{1}} )\) and \(\psi _{2} (t)= ( ( 1+ \frac{2t_{1}^{2} -1}{q_{2}} )^{q_{2}}, ( 1+\frac{2t_{2}^{2} -1}{q_{2}} )^{q_{2}} )\), \(t\in \mathscr{P}\), \(q_{1}\geq q_{2}\geq 1 \) also represent Γ regarding \(\mathscr{E}\) as a C2CMS, but a C1CMS at \(q_{2}=q_{1}\).

Example 1.8

In the space \(\Gamma =\ell _{p} (\mathbb{R})\), \(\Delta :\Gamma \times \Gamma \to [0, \infty )\) is defined as

$$ \Delta (x, y)= \Biggl( \sum_{n=1}^{\infty} \vert x_{n} - y_{n} \vert ^{p} \Biggr)^{1/p}, $$

\(p \in (0, 1)\) and \(\delta = \{x_{n} \}\), \(\varrho =\{ y_{n}\}\). It is given in [10], \((\Gamma , \Delta )\) is a (DCMS) with functions \(\alpha (t) = \beta (t)=2^{1/p} t\).

Now, presuppose that \(\mathscr{E}= \mathbb{R}^{2}\), \(\mathscr{P}=\{(t_{1}, t_{2})\in \mathscr{E}: t_{1}, t_{2} \geq 0\} \). Define \(\Delta _{c}:\Gamma \times \Gamma \to \mathscr{E}\) as

$$ \Delta _{c} (\delta , \varrho ) = \bigl(M_{1} \Delta ( \delta , \varrho ), M_{2} \Delta (\delta , \varrho )\bigr), $$

wherever \(M_{1} \) and \(M_{2}\) are nonnegative constants. Then \((\Gamma , \Delta _{c})\) is a C2CMS with functions \(\psi _{1}(t)=( 2^{1/p} t_{1}, 0 )\) and \(\psi _{2}(t)=(0, 2^{1/p}t_{2} )\).

In the same way, \(\Gamma = L_{p} [0, 1]\) can be defined in Example 1.8, wherever

$$ \Lambda (g,f)= \biggl( \int _{0}^{1} \bigl\vert g(t)-f(t) \bigr\vert ^{p}\,dt \biggr)^{1/p} $$

for each \(g(t), f(t) \in \Gamma \). Then \(( \Gamma , \Delta _{\Lambda})\) is a C2CMS.

Now, since each C1CMS is a C2CMS, the focus is going to be on type II composed cone metric spaces and the definition of their topology of C2CMS.

Definition 1.9

Let \((\Gamma , d_{c})\) be a C2CMS with respect to \(\psi _{1}\) and \(\psi _{2}\).

  1. (1)

    The sequence \(\{x_{n} \}\) converges to any η in Γ if for each \(c\in \mathscr{E}\) via \(0 \ll c\), N so as \(d_{c} (x_{n}, \eta ) \ll c\) for all \(n > N\). It is written as \(\lim_{n \to \infty } x_{n} = \eta \).

  2. (2)

    The sequence \(\{ x_{n} \}\) is said to be Cauchy if for every \(c \in \mathscr{E}\) via \(0 \ll c\) N so as \(d_{c} (x_{n}, x_{m} ) \ll c\) for all \(n, m > N\).

  3. (3)

    \((\Gamma , d_{c})\) is said to be complete if every Cauchy sequence is convergent.

Lemma 1.10

Let \((\Gamma , d_{c})\) be a C2CMS respecting \(\psi _{1}\) and \(\psi _{2} \), \(\mathscr{P}\) be a normal cone with normal constant M. Let \(\{ x_{n}\}\) be a sequence in Γ, then \(\{ x_{n} \} \) converges to ν if and only if \(\lim_{n \to \infty } d_{c} (x_{n}, \nu ) =0 \).

Proof

The proof is obvious, therefore we omit it. □

Lemma 1.11

Let \((\Gamma , d_{c})\) be a C2CMS respecting \(\psi _{1}\) and \(\psi _{2}\), and let M be a normal constant for a normal cone \(\mathscr{P}\). Let \(\{ x_{n} \} \) be a sequence in Γ so that \(\{ x_{n} \} \) converges to η and ϑ. If \(\psi _{1} \) and \(\psi _{2} \) are bounded, then \(\eta =\vartheta \). That is, the limit of \(\{ x_{n} \} \) is unique.

Proof

For any \(c\in \mathscr{E}\) with \(0\ll c\), there is N such that, for all \(n > N\), \(d_{c} (x_{n}, \eta ) \ll c\) and \(d_{c} (x_{n}, y) \ll c\), the result is \(d_{c} (\eta , \vartheta )\preceq \psi _{1} (d_{c} (\eta , x_{n} )) + \psi _{2} (d_{c} (x_{n}, \vartheta ))\).

Hence,

\(\|d_{c} (\eta , \vartheta )\|\leq M\| \psi _{1} (d_{c} (\eta , x_{n} )) + \psi _{2} (d_{c} (x_{n}, \vartheta ))\| \leq M ( \| \psi _{1} (d_{c} (\eta , x_{n} )) \|+ \| \psi _{2} ( d_{c} (x_{n}, \vartheta )) \| ) \) because \(\psi _{1}\), \(\psi _{2}\) are bounded. So there are constants \(k_{1}, k_{2} > 0\) such that

\(\| d_{c} (\eta , \vartheta )\| \leq M (k_{1} c + k_{2} c ) \). Since M, \(k_{1} \), and \(k_{2} \) are finite and c is arbitrary, \(\| d_{c} (\eta , \vartheta )\| =0\), therefore \(\eta =\vartheta \). □

Definition 1.12

[26] The function \(\phi :\mathscr{P} \to \mathscr{P} \), wherever \(\mathscr{P}\) is a cone in a Banach space \(\mathscr{E}\), is known as a comparison function if it satisfies the following conditions:

  1. (1)

    For all \(t \in \mathscr{E}\), \(\phi (t) \prec t\),

  2. (2)

    For all \(t_{1}, t_{2} \in \mathscr{P}\) and \(t_{1} \prec t_{2}\), it yields \(\phi (t_{1}) \prec \phi (t_{2})\),

  3. (3)

    \(\lim_{n \to \infty} \| \phi ^{n} (t) \| =0 \) for each \(t \in \mathscr{P}\).

Definition 1.13

The function \(\psi : \mathscr{P} \to \mathscr{P}\), where \(\mathscr{P}\) is a cone in \(\mathscr{E}\), is called an incomparison function if it satisfies these conditions:

  1. (1)

    For all \(t\in \mathscr{P}\), \(t \prec \psi (t)\);

  2. (2)

    For all \(t_{1}, t_{2} \in \mathscr{P}\) and \(t_{1} \prec t_{2}\), it yields \(\psi (t_{1}) \prec \psi (t_{2})\);

  3. (3)

    \(\lim_{n \to \infty} \| \psi ^{n} (t) \| =0 \) for each \(t \in \mathscr{P}\)

2 The main results

In this section, we present some fixed point results in C2CMS. It is assumed that \((\Gamma , d_{c})\) represents a complete C2CMS with respect to the functions \(\psi _{1}, \psi _{2}: \mathscr{P} \to \mathscr{P}\), where \(\mathscr{P}\) is a normal cone with normal constant M.

Theorem 2.1

Suppose that \((\Gamma , d_{c})\) is a complete C2CMS with \(\mathscr{P}\) as a normal cone via normal constant M. Let \(T:\Gamma \to \Gamma \) be a mapping satisfying the following condition:

$$\begin{aligned} d_{c} (T\delta , T\varrho ) \preceq& \mathcal{K}_{1} d_{c} (\delta , \varrho )+\mathcal{K}_{2} d_{c} ( \delta , T\delta )+\mathcal{K}_{3} d_{c} (\varrho , T\varrho )+\mathcal{K}_{4} d_{c} (\delta , T\varrho ) \\ &{}+ \mathcal{K}_{5} d_{c} (\varrho , T\delta ), \quad \forall \delta , \varrho \in \Gamma , \end{aligned}$$

where \(\mathcal{K}_{i} \in (0, 1)\), \(i= 1, 2, \dots , 5\), and \(\sum_{i=1}^{5} \mathcal{K}_{i} < 1\). For any \(w_{0}\in \Gamma \), choose \(w_{n} = T^{n} w_{0} \). So,

  1. (1)

    Let \(\psi _{1}\), \(\psi _{2}\) be bounded, nondecreasing, \(\psi _{2}\) be a subadditive comparison function, and \(\psi _{1}\) be an incomparison function.

  2. (2)

    \(\| \sum_{i=m}^{n-2} \psi _{2}^{i-m} \psi _{1} (\mathcal{R}^{i} \psi _{1}^{i} (d_{c} (w_{0}, w_{1} )))+\psi _{2}^{n-m-1} (\mathcal{R}^{n-1} \psi _{1}^{n-1} (d_{c} (w_{0}, w_{1} ))) \|\to 0\)

    (as \(n, m \to \infty \)), wherever \(\mathcal{R}= \frac{\mathcal{K}_{1}+\mathcal{K}_{2} +\mathcal{K}_{4}}{1-\mathcal{K}_{3} -\mathcal{K}_{4}}\).

Then T has a unique fixed point.

Proof

Presuppose that \(w_{0} \in \Gamma \). Define a sequence \(\{ w_{n} \} \) in Γ with \(w_{n} = T^{n} w_{0} \) or \(w_{n+1} =Tw_{n} \forall n\in \mathbb{N}\). Letting \(\delta = w_{n-1} \) and \(\varrho =w_{n} \) in the Hardy–Rogers contraction, the result is as follows:

$$\begin{aligned} d_{c} (w_{n}, w_{n+1} )={}&d_{c} (Tw_{n-1}, Tw_{n} ) \\ \preceq{}& \mathcal{K}_{1} d_{c} (w_{n-1}, w_{n} )+ \mathcal{K}_{2} d_{c} (w_{n-1}, Tw_{n-1})+ \mathcal{K}_{3} d_{c} (w_{n}, Tw_{n} ) \\ &{} +\mathcal{K}_{4} d_{c} (w_{n-1}, Tw_{n} )+\mathcal{K}_{5} d_{c} (w_{n}, Tw_{n-1}) \\ \preceq{}& \mathcal{K}_{1} d_{c} (w_{n-1}, w_{n} )+\mathcal{K}_{2} d_{c} (w_{n-1}, w_{n} ) \\ &{} +\mathcal{K}_{3} d_{c} (w_{n}, w_{n+1})+\mathcal{K}_{4} d_{c} (w_{n-1}, w_{n+1})+\mathcal{K}_{5} d_{c} (w_{n}, w_{n} ). \end{aligned}$$
(2.1)

Note that in C2CMS, \(d_{c} (w_{n}, w_{n} )= 0\). By utilizing CC3 in C2CMS, the result is as follows:

$$ d_{c} (w_{n-1}, w_{n+1})\preceq \psi _{1} \bigl(d_{c} (w_{n-1}, w_{n} ) \bigr)+ \psi _{2} \bigl(d_{c} (w_{n}, w_{n+1} )\bigr). $$

Hence,

$$\begin{aligned} &(1-\mathcal{K}_{3} ) d_{c} (w_{n}, w_{n+1} )-\mathcal{K}_{4} \psi _{2} \bigl(d_{c} (w_{n}, w_{n+1} )\bigr) \\ &\quad \preceq ( \mathcal{K}_{1}+\mathcal{K}_{2} ) d_{c} (w_{n-1}, w_{n} )+\mathcal{K}_{4} \psi _{1} \bigl(d_{c} (w_{n-1}, w_{n} ) \bigr), \end{aligned}$$

which yields with condition 1

$$\begin{aligned} (1-\mathcal{K}_{3} ) d_{c} (w_{n}, w_{n+1})-\mathcal{K}_{4} d_{c} (w_{n}, w_{n+1}) &\preceq (1-\mathcal{K}_{3} ) d_{c} (w_{n}, w_{n+1})- \mathcal{K}_{4} \psi _{2} \bigl(d_{c} (w_{n}, w_{n+1} )\bigr) \\ &\preceq (\mathcal{K}_{1}+\mathcal{K}_{2} ) d_{c} (w_{n-1}, w_{n} )+ \mathcal{K}_{4} \psi _{1} \bigl(d_{c} (w_{n-1}, w_{n} ) \bigr) \\ & \preceq (\mathcal{K}_{1}+\mathcal{K}_{2}+ \mathcal{K}_{4})\psi _{1} \bigl(d_{c} (w_{n-1}, w_{n} )\bigr). \end{aligned}$$

Thus, \(\psi _{2}\) is a subadditive comparison function, that is, \(\psi _{2} (\mathcal{K} t)\preceq \mathcal{K}t\prec t\), \(\mathcal{K} \in (0, 1)\). Also, by considering \(\psi _{1}\) an incomparison function, that is, \(\psi _{1} (t)\succeq t\), the result is

\(d_{c} (w_{n}, w_{n+1})\preceq \mathcal{R} \psi _{1} (d_{c} (w_{n-1}, w_{n}))\), where \(\mathcal{R} = \frac{\mathcal{K}_{1} + \mathcal{K}_{2} +\mathcal{K}_{4}}{1- \mathcal{K}_{3} -\mathcal{K}_{4}}\). By repeating this process, the following formula is obtained:

$$ d_{c}^{n} \preceq \mathcal{R}^{n} \psi _{1}^{n} \bigl(d_{c}^{0} \bigr)= \mathcal{R}^{n} \psi _{1}^{n} \bigl(d_{c} (w_{0}, w_{1} )\bigr), $$
(2.2)

where \(d_{c}^{n} =d_{c} (w_{n}, w_{n+1})\) and \(\mathcal{R}^{n} \psi _{1}^{n} (d_{c}^{0} )\) is the iterative sequence of order n. Therefore, for all \(m > n\), there is

$$\begin{aligned} d_{c} (w_{m}, w_{n} )& \preceq \psi _{1} \bigl(d_{c} (w_{m}, w_{m+1} ) \bigr)+ \psi _{2} \bigl(d_{c} (w_{m+1}, w_{n} )\bigr), \\ & \vdots \\ & \preceq \sum_{i=m}^{n-2} \psi _{2}^{i-m} \psi _{1} \bigl(\bigl(d_{c} (w_{i}, w_{i+1} )\bigr)\bigr)+\psi _{2}^{n-m-1} \bigl(\bigl(d_{c} (w_{n-1}, w_{n} )\bigr)\bigr). \end{aligned}$$
(2.3)

By considering conditions 1 and 2 to establish inequalities (2.2) and (2.3), we obtain

$$\begin{aligned} d_{c} (w_{m}, w_{n}) \preceq \sum _{i=m}^{n-2} \psi _{2}^{i-m} \psi _{1} \bigl(\mathcal{R}^{i} \psi _{1}^{i} \bigl(d_{c} (w_{0}, w_{1} )\bigr)\bigr)+\psi _{2}^{n-m-1} \bigl(\mathcal{R}^{n-1} \psi _{1}^{n-1} \bigl(d_{c} (w_{0}, w_{1} )\bigr)\bigr), \end{aligned}$$

hence

$$\begin{aligned} &\bigl\Vert d_{c} (w_{m}, w_{n} ) \bigr\Vert \\ &\quad \leq M \Biggl\Vert \sum_{i=m}^{n-2} \psi _{2}^{i-m} \psi _{1} \bigl( \mathcal{R}^{i} \psi _{1}^{i} \bigl(d_{c} (w_{0}, w_{1} )\bigr)\bigr) + \psi _{2}^{n-m-1} \bigl(\mathcal{R}^{n-1} \psi _{1}^{n-1} \bigl(d_{c} (w_{0}, w_{1} )\bigr)\bigr) \Biggr\Vert . \end{aligned}$$
(2.4)

Letting \(m, n\to \infty \) and condition 2 of Theorem 2.1 hold, the result is \(\| d_{c} (w_{m}, w_{n} )\|=0 \) for each \(n, m \in \mathbb{N}\). Therefore, the sequence \(\{ w_{n} \} \) is Cauchy in Γ. Since Γ is a complete C2CMS, there is an element \(x^{*} \in \Gamma \) such that \(\{ w_{n} \}\to x^{*} \). Let \(Tx^{*} \neq x^{*} \), it is assumed that

$$ \begin{aligned}0 &\preceq d_{c} \bigl(x^{*}, Tx^{*}\bigr) \\ &\preceq \psi _{1} \bigl(d_{c} \bigl(x^{*}, w_{n} \bigr)\bigr)+\psi _{2} \bigl(d_{c} \bigl(w_{n}, Tx^{*} \bigr)\bigr) =\psi _{1} \bigl(d_{c} \bigl(x^{*}, w_{n} \bigr)\bigr)+ \psi _{2} \bigl(d_{c} \bigl(Tw_{n-1}, Tx^{*} \bigr)\bigr). \end{aligned}$$

By using \(x^{*}\) instead of \(w_{n}\) in Eq. (2.1), we have

$$\begin{aligned} d_{c} \bigl(x^{*}, Tx^{*}\bigr) \preceq{}& \psi _{1} \bigl(d_{c} \bigl(x^{*}, w_{n} \bigr)\bigr)+ \psi _{2} \bigl( \mathcal{K}_{1} d_{c} \bigl(w_{n-1}, x^{*} \bigr) \\ &{}+ \mathcal{K}_{2} d_{c} (w_{n-1}, Tw_{n-1} )+ \mathcal{K}_{3} d_{c} \bigl(x^{*}, Tx^{*} \bigr) \\ &{}+\mathcal{K}_{4} d_{c} \bigl(w_{n-1}, Tx^{*} \bigr)+\mathcal{K}_{5} d_{c} \bigl(x^{*}, Tw_{n-1}\bigr) \bigr) . \end{aligned}$$

This implies that

$$\begin{aligned} & \preceq \psi _{1} \bigl(d_{c} \bigl(x^{*}, w_{n} \bigr)\bigr)+\psi _{2} \bigl( \mathcal{K}_{1} d_{c} \bigl(w_{n-1}, x^{*} \bigr)+ \mathcal{K}_{2} d_{c} (w_{n-1}, w_{n} )+ \mathcal{K}_{3} d_{c} \bigl(x^{*}, Tx^{*}\bigr) \\ &\quad {} +\mathcal{K}_{4} d_{c} \bigl(w_{n-1}, Tx^{*} \bigr)+\mathcal{K}_{5} d_{c} \bigl(x^{*}, w_{n} \bigr) \bigr) \end{aligned}$$

by condition 1 and \(\{ w_{n} \}\) convergent to \(x^{*}\) via Lemma 1.10, hence

$$\begin{aligned} &\preceq \psi _{2} \bigl(\mathcal{K}_{3} d_{c} \bigl(x^{*}, Tx^{*} \bigr)+ \mathcal{K}_{4} d_{c} \bigl(w_{n-1}, Tx^{*} \bigr)\bigr) \\ &\preceq \psi _{2} (\mathcal{K}_{3} d_{c} \bigl(x^{*}, Tx^{*} \bigr)+ \mathcal{K}_{4} \bigl(\psi _{1} \bigl(d_{c} \bigl(w_{n-1}, x^{*} \bigr)\bigr)+\psi _{2} \bigl(d_{c} \bigl(x^{*}, Tx^{*} \bigr)\bigr)\bigr). \end{aligned}$$

Again by Lemma 1.10 and since \(\psi _{2}\) in condition 1 is a subadditive comparison function, the result is as follows:

$$\begin{aligned} &\preceq \psi _{2} \bigl(\mathcal{K}_{3} d_{c} \bigl(x^{*}, Tx^{*} \bigr)\bigr)+\psi _{2} ( \mathcal{K}_{4} \bigl(\psi _{2} \bigl(d_{c} \bigl(x^{*}, Tx^{*} \bigr)\bigr)\bigr) \\ &\preceq \mathcal{K}_{3} d_{c} \bigl(x^{*}, Tx^{*} \bigr)+\mathcal{K}_{4} d_{c} \bigl(x^{*}, Tx^{*} \bigr) \\ &=(\mathcal{K}_{3}+\mathcal{K}_{4} ) d_{c} \bigl(x^{*}, Tx^{*} \bigr). \end{aligned}$$

Since \(\mathcal{K}_{3}+\mathcal{K}_{4}<1\), we obtain that

$$ 0\preceq d_{c} \bigl(x^{*}, Tx^{*} \bigr)\preceq d_{c} \bigl(x^{*}, Tx^{*} \bigr). $$
(2.5)

So \(0\preceq \|d_{c} (x^{*}, Tx^{*} )\| \preceq \| d_{c} (x^{*}, Tx^{*} ) \| \) and this is inconsistency. Therefore, \(Tx^{*}=x^{*}\).

Assume that T has a different fixed point q, so

$$\begin{aligned} 0&\preceq d_{c} \bigl(x^{*}, q\bigr) \\ & =d_{c} \bigl(Tx^{*}, Tq\bigr) \\ &\preceq \mathcal{K}_{1} d_{c} \bigl(x^{*}, q \bigr)+\mathcal{K}_{2} d_{c} \bigl(x^{*}, Tx^{*} \bigr)+\mathcal{K}_{3} d_{c} (q, Tq)+ \mathcal{K}_{4} d_{c} \bigl(x^{*}, Tq\bigr)+ \mathcal{K}_{5} d_{c} \bigl(q, Tx^{*} \bigr) \\ & =\mathcal{K}_{1} d_{c} \bigl(x^{*}, q\bigr)+ \mathcal{K}_{2} d_{c} \bigl(x^{*}, x^{*} \bigr)+\mathcal{K}_{3} d_{c} (q, q)+ \mathcal{K}_{4} d_{c} \bigl(x^{*}, q\bigr)+ \mathcal{K}_{5} d_{c} \bigl(q, x^{*} \bigr) \\ &=(\mathcal{K}_{1}+\mathcal{K}_{4}+\mathcal{K}_{5})d_{c} \bigl(x^{*},q\bigr). \end{aligned}$$

Indeed \(\mathcal{K}_{1} +\mathcal{K}_{4} +\mathcal{K}_{5} < 1\), which implies that \(\| d_{c} (x^{*}, q)\|=0 \). This further implies that \(x^{*} =q\) and T has a unique fixed point. □

Corollary 2.2

Assume \((\Gamma , \Lambda )\) to be a complete (DCMS) and \(\Lambda :\Gamma \times \Gamma \to \mathbb{R}^{+}\). Let \(T:\Gamma \to \Gamma \) be a mapping satisfying the following condition:

$$ \begin{aligned}\Lambda (T\delta , T\varrho )\leq{}& K_{1} \Lambda (\delta , \varrho )+K_{2} \Lambda (\delta , T\delta )+K_{3} \Lambda (\varrho , T\varrho )+K_{4} \Lambda (\delta , T\varrho ) \\ &{}+K_{5} \Lambda (\varrho , T\delta ), \quad \forall \delta , \varrho \in \Gamma , \end{aligned}$$

where \(K_{i}\in [0,1)\), \(i=1, 2, \dots , 5\), and \(\sum_{i=1}^{5} K_{i} < 1\). For any \(x_{0} \in \Gamma \), choose \(x_{n} =T^{n} x_{0}\). So,

  1. (1)

    Let \(\psi _{1}\), \(\psi _{2}\) be continuous, nondecreasing, \(\psi _{2}\) be a subadditive and comparison function, and \(\psi _{1}\) be an incomparison function.

  2. (2)

    \(\lim_{n, m \to \infty} \sum_{i=m}^{n-2} \psi _{2}^{i-m} \psi _{1} ( R^{i} \psi _{1}^{i} ( \Lambda (x_{0}, x_{1})) ) + \psi _{2}^{n-m-1} ( R^{n-1} \psi _{1}^{n-1} (\Lambda (x_{0}, x_{1})) ) \to 0\) (as \(n, m\to \infty \)), where \(R =\frac{K_{1} + K_{2} + K_{4}}{1-K_{3} -K_{4}}\). Then T has a unique fixed point.

In the following results, special cases of Chatterjee type and Reich type contractions are presented by considering the cone \(\mathscr{P}=\mathbb{R}^{+}\).

Corollary 2.3

When \(\mathcal{K}_{1}=\mathcal{K}_{2}=\mathcal{K}_{3}=0\), in Theorem 2.1, the Chatterjee contraction is obtained.

Note that, from inequality (2.1),

$$\begin{aligned} d_{c} (x_{n}, x_{n+1} )& \preceq \mathcal{K}_{4} d_{c} (x_{n-1}, x_{n+1} ) \preceq \mathcal{K}_{4}^{2} d_{c} (x_{n-2}, x_{n+1})\preceq \dots \preceq \mathcal{K}_{4}^{n} d_{c} (x_{0}, x_{n+1}) \\ & =\mathcal{K}_{4}^{n} d_{c} (x_{n+1}, x_{0}) \preceq \dots \preceq \mathcal{K}_{4}^{2n} d_{c} (x_{1}, x_{0} ). \end{aligned}$$

So, the proof just takes \(\mathcal{R}^{n}=\mathcal{K}_{4}^{2n} < 1\).

Corollary 2.4

When \(\mathcal{K}_{4}=\mathcal{K}_{5}=0\), in Theorem 2.1, the Reich type contraction is obtained.

Moreover, as consequences of Theorem 2.1, we present the following two corollaries.

Corollary 2.5

Suppose that \((\Gamma , d_{c})\) is a complete C2CMS, and let M be a normal constant for a normal cone \(\mathscr{P}\). Assume that \(T:\Gamma \to \Gamma \) satisfies the (BCP)

$$ d_{c} (T\delta , T\varrho )\preceq \mathcal{K} d_{c} (\delta , \varrho ),\quad \forall \delta , \varrho \in \Gamma , \mathcal{K}\in (0, 1). $$
(2.6)

For any \(w_{0}\in \Gamma \), choose \(w_{n} =T^{n} w_{0}\). Suppose that

  1. (1)

    \(\psi _{1}\), \(\psi _{2}\) are bounded, nondecreasing and \(\psi _{2} \) is a subadditive function;

  2. (2)

    \(\| \sum_{i=m}^{n-2} \psi _{2}^{i-m} \psi _{1} (\mathcal{K}^{i} d_{c} (w_{0}, w_{1} )) + \psi _{2}^{n-m-1} ( \mathcal{K}^{n-1} d_{c} (w_{0}, w_{1} )) \| \to 0 \) (as \(n, m \to \infty \)), where \(\psi _{2}^{i-m} \psi _{1} (\mathcal{K}^{i} d_{c} (w_{0}, w_{1} ))\) and \(\psi _{2}^{n-m-1} (\mathcal{K}^{n-1} d_{c} (w_{0}, w_{1} ))\) denote the iterative functions.

Then T has a unique fixed point.

Proof

Note that this corollary is a direct consequence of Theorem 2.1 by taking \(\mathcal{K}_{2}=\mathcal{K}_{3}=\mathcal{K}_{4}=\mathcal{K}_{5}=0\). □

Theorem 2.6

Assume \((\Gamma , d_{c})\) to be a complete C2CMS with \(\mathscr{P}\) as a normal cone via the normal constant M. Let \(T:\Gamma \to \Gamma \) be a mapping satisfying the Kannan contraction condition

$$\begin{aligned} d_{c} (T\delta , T\varrho )\preceq{}& \mathcal{K}_{1} d_{c} (\delta , T \delta ) \\ &{}+\mathcal{K}_{2} d_{c} (\varrho , T\varrho ), \quad \forall \delta , \varrho \in \Gamma , \textit{where } \mathcal{K}_{1}, \mathcal{K}_{2}\in (0, 1), \mathcal{K}_{1}+\mathcal{K}_{2} < 1. \end{aligned}$$

For any \(w_{0} \in \Gamma \), choose \(w_{n} = T^{n} w_{0} \). Suppose that

  1. (1)

    \(\psi _{1}\), \(\psi _{2}\) are bounded, nondecreasing and \(\psi _{2}\) is a subadditive comparison function.

  2. (2)

    \(\| \sum_{i=m}^{n-2} \psi _{2}^{i-m} \psi _{1} (\mathcal{R}^{i} d_{c} (w_{0}, w_{1} )) + \psi _{2}^{n-m-1} (\mathcal{R}^{n-1} d_{c} (w_{0}, w_{1} ))\|\to 0\) (as \(n, m\to \infty \)), where \(\mathcal{R}=\frac{\mathcal{K}_{1}}{1-\mathcal{K}_{2}}\). Then T has a unique fixed point.

Proof

Note that this corollary is a direct consequence of Theorem 2.1 by taking \(\mathcal{K}_{1}=\mathcal{K}_{4}=\mathcal{K}_{5}=0\). □

The following result is analogous to the Hardy–Rogers type fixed point theorem, discussed as an open problem in [10], when \(\mathbb{R}^{+} = \mathscr{P}\subset \mathscr{E}= \mathbb{R}\) as a special case in this theorem.

3 Applications

This section provides a few applications of already proven results.

Example 3.1

Consider the space of all continuous real-valued functions \(\Gamma =C[a, b]\) and \(d_{c} (f(\tau ), g(\tau )): \Gamma \times \Gamma \to \mathscr{E}\), where \(\mathscr{E}=\mathbb{R}^{2} \), \(\mathscr{P}=\{ v=(v_{1},v_{2} )\in \mathscr{E}: v_{1}, v_{2} \geq 0\}\) is defined as

$$ d_{c} \bigl( f(\tau ), g(\tau )\bigr)= \Bigl( \beta _{1} \sup_{\tau \in [a, b]} \bigl\vert f(\tau ) - g(\tau ) \bigr\vert , \beta _{2} \sup_{\tau \in [a, b]} \bigl\vert f(\tau ) - g( \tau ) \bigr\vert \Bigr), $$

\(\beta _{1}, \beta _{2} \geq 0\), and \(\psi _{1}, \psi _{2}:\mathscr{P}\to \mathscr{P}\) by \(\psi _{1} (v)= ( e^{v_{1}}-1, e^{v_{2}}-1 )\), \(\psi _{2}(v)=(v_{1}, v_{2})\). Then \((\Gamma , d_{c})\) is a complete C2CMS with two functions \(\psi _{1}\), \(\psi _{2}\).

Proof

It is only proving the triangle inequality. By using \(\eta \leq e^{\eta} - 1\) and \(|\eta -\vartheta |\leq |\eta |+|\vartheta |, \forall \eta \), \(\vartheta \in \mathbb{R}\), the result is as follows:

$$\begin{aligned} \bigl\vert f(\tau ) - g(\tau ) \bigr\vert & = \bigl\vert f(\tau )-h(\tau )+h(\tau )-g(\tau ) \bigr\vert \\ &\leq \bigl\vert f( \tau )-h(\tau ) \bigr\vert + \bigl\vert h(\tau )-g(\tau ) \bigr\vert \\ &\leq \bigl[ e^{ \vert f(\tau )-h(\tau ) \vert } -1 \bigr]+ \bigl\vert h(\tau )-g(\tau ) \bigr\vert . \end{aligned}$$

Hence,

$$ \sup_{\tau \in [a, b]} \bigl\vert f(\tau ) - g(\tau ) \bigr\vert \leq \bigl[ e^{\sup _{ \tau \in [a, b]} \vert f(\tau ) - h(\tau ) \vert } -1 \bigr] + \sup_{\tau \in [a, b]} \bigl\vert h( \tau ) - g(\tau ) \bigr\vert , $$

scalar constant \(\beta _{1}, \beta _{2} \geq 0\). So, the result is

$$ d_{c} \bigl(f(\tau ), g(\tau )\bigr)\preceq \psi _{1} \bigl(d_{c} \bigl(f(\tau ), h(\tau )\bigr)\bigr)+ \psi _{2} \bigl(d_{c} \bigl(h(\tau ), g(\tau )\bigr)\bigr). $$

Therefore, \((\Gamma , d_{c})\) is a C2CMS via \(\psi _{1}\), \(\psi _{2}\). It is not difficult to show the completeness of Γ. □

Remark 3.2

\(\psi _{1} (v)= ( \sin^{-1} (v_{1}), \sin^{-1} (v_{2}) )\) in Example 3.1 can be considered, so \(( \Gamma , d_{c})\) is a C2CMS. While considering \(\psi _{1} (v)=\psi _{2} (v)\), \(( \Gamma , d_{c})\) is a C1CMS.

Theorem 3.3

Let \(\Gamma = C[a, b]\) be the C2CMS given in Example 3.1. Consider the following Fredholm integral equation:

$$ f(\tau )= \Theta (\tau )+ \int _{a}^{b} \Im \bigl(\tau , \varsigma , f( \tau )\bigr)\,d\varsigma , $$
(3.1)

wherever \(\Im (\tau , \varsigma , f(\tau )):[a, b]^{2}\times \mathbb{R}\to \mathbb{R}\) is a given continuous function satisfying the following condition for all \(f(\tau ), g(\tau ) \in \Gamma \), \(\tau , \varsigma \in [a, b]\):

$$ \bigl\vert \Im \bigl(\tau , \varsigma , f(\tau )\bigr) - \Im \bigl(\tau , \varsigma , g(\tau )\bigr) \bigr\vert \leq \frac{\Omega (\tau )}{ \vert b-a \vert }, $$
(3.2)

where

$$\begin{aligned} \Omega (\tau )= {}& K_{1}\,d\bigl(f(\tau ), g(\tau ) \bigr)+K_{2}\,d\bigl(f(\tau ), Tf( \tau )\bigr)+K_{3}\,d\bigl( g(\tau ), T g(\tau )\bigr) \\ & {}+K_{4}\,d\bigl(f(\tau ), T g(\tau )\bigr)+K_{5}\,d\bigl(g( \tau ), Tf(\tau )\bigr), \end{aligned}$$

where \((\Gamma , d)\) is any completeness metric space, where \(K_{i}\in (0, 1)\), \(i=1, 2, \dots , 5\), and \(\sum_{i=1}^{5} K_{i} < 1\).

$$ Tf(\tau )= \Theta (\tau )+ \int _{a}^{b} \Im \bigl(\tau , \varsigma , f( \tau )\bigr)\,d\varsigma . $$
(3.3)

Then the integral Eq. (3.1) has a unique solution in Γ.

Proof

Let \(T:\Gamma \to \Gamma \) be defined by Eq. (3.3), and then \(d_{c} (f(\tau ), g(\tau ))\) be defined in Example 3.1. Hence,

$$ d_{c} \bigl(Tf(\tau ), Tg(\tau )\bigr)= \Bigl( \beta _{1} \sup_{\tau \in [a, b]} \bigl\vert Tf(\tau ) - Tg(\tau ) \bigr\vert , \beta _{2} \sup_{\tau \in [a, b]} \bigl\vert Tf(\tau ) - Tg(\tau ) \bigr\vert \Bigr) $$

since

$$\begin{aligned} &\sup_{\tau \in [a, b]} \bigl\vert Tf(\tau ) - Tg(\tau ) \bigr\vert \\ &\quad = \sup_{\tau \in [a, b]} \biggl\vert \Theta (\tau ) + \int _{a}^{b} \Im \bigl(\tau , \varsigma , f(\tau ) \bigr)\,d\varsigma - \Theta (\tau ) - \int _{a}^{b} \Im \bigl(\tau , \varsigma , g( \tau )\bigr)\,d\varsigma \biggr\vert \\ &\quad \leq \sup_{\tau \in [a, b]} \int _{a}^{b} \bigl\vert \Im \bigl(\tau , \varsigma , f(\tau )\bigr) - \Im \bigl(\tau , \varsigma , g(\tau )\bigr) \bigr\vert \,d\varsigma \\ &\quad \leq \sup_{ \tau \in [a, b]} \int _{a}^{b} \frac{\Omega (\tau )}{ \vert b-a \vert }\,d\varsigma \\ &\quad \leq \sup_{\tau \in [a, b]} \frac{\Omega (\tau )}{ \vert b-a \vert } \int _{a}^{b}\,d\varsigma \\ &\quad \leq K_{1}\,d\bigl(f(\tau ), g(\tau )\bigr)+ K_{2}\,d\bigl(f(\tau ), Tf( \tau )\bigr) \\ &\qquad {}+K_{3}\,d\bigl(g(\tau ), Tg(\tau )\bigr)+ K_{4}\,d\bigl(f( \tau ), Tg(\tau )\bigr)+ K_{5}\,d\bigl(g( \tau ), Tf(\tau )\bigr). \end{aligned}$$

Thus,

$$\begin{aligned} d_{c} \bigl(Tf(\tau ), Tg(\tau )\bigr)\preceq{}& K_{1}\,d\bigl(f(\tau ), g(\tau )\bigr) + K_{2}\,d\bigl(f(\tau ), Tf(\tau ) \bigr)+K_{3}\,d\bigl(g(\tau ), Tg(\tau )\bigr) \\ & {}+K_{4}\,d\bigl(f(\tau ), Tg(\tau )\bigr)+K_{5}\,d\bigl(g( \tau ), Tf(\tau )\bigr). \end{aligned}$$

Then \(\psi _{1}\), \(\psi _{2}\) are bounded and \(\psi _{1}\) is an incomparison function, but \(\psi _{2}\) is a sub-additive comparison function and subadditive. That is, all the conditions of Theorem 2.1 are satisfied, so there is \(h\in \Gamma \) such that \(Th=h\). This implies that the integral Eq. (3.1) has a unique solution. □

4 Conclusions

Based on the theoretical and practical aspects explained above, the study presents several concepts of generalized cone metric spaces, namely type I and type II composed cone metric spaces, with some examples. It provides some results for the Banach, Kannan, and Hardy–Rogers type fixed point theorems in C2CMS. Moreover, it illustrates the application of Hardy–Rogers type fixed point theorem for Fredholm integral equation. The results provide answers to the open problem extension in a generalized C2CMS of Hardy–Rogers contraction in Ayoobi et al. [9]. Finally, the study recommends the following issues for future studies: the strongly composed cone metric space. Also, this concept can be applied for high order structures in generalized contractions and established for non-normal or nonsolid with some new applications with nonlinear (or fractional) differential equations.

Data Availability

No datasets were generated or analysed during the current study.

References

  1. BakhtinI, A.: The contraction mapping principle in almost metric spaces. Funct. Anal., Gos. Ped. Inst. Unianowsk 30, 26–37 (1989)

    MathSciNet  Google Scholar 

  2. Mitrović, Z.D., Radenović, S.: The Banach and Reich contractions in \(b_{v} (s)\)-metric spaces. J. Fixed Point Theory Appl. 19, 3087–3095 (2017)

    Article  MathSciNet  Google Scholar 

  3. Mitrovic, Z., Işık, H., Radenovic, S.: The new results in extended b-metric spaces and applications. Int. J. Nonlinear Anal. Appl. 11(1), 473–482 (2020)

    Google Scholar 

  4. Roshan, J.R.R., Parvaneh, V., Kadelburg, Z.: New fixed point results in b-rectangular metric spaces. Nonlinear Anal., Model. Control 21(5), 614–634 (2016)

    Article  MathSciNet  Google Scholar 

  5. Banach, S.: On operations in abstract assemblies and their application to integral equations. Fundam. Math. 3(1), 133–181 (1922)

    Article  Google Scholar 

  6. Mlaiki, N., Aydi, H., Souayah, N., Abdeljawad, T.: Controlled metric type spaces and the related contraction principle. Mathematics 6(10), 194 (2018)

    Article  Google Scholar 

  7. Abdeljawad, T., Mlaiki, N., Aydi, H., Souayah, N.: Double controlled metric type spaces and some fixed point results. Mathematics 6(12), 320 (2018)

    Article  Google Scholar 

  8. Mlaiki, N.: Double controlled metric-like spaces. J. Inequal. Appl. 2020, 189 (2020)

    Article  MathSciNet  Google Scholar 

  9. Karami, A., Sedghi, S., Mitrović, Z.D.: Solving existence problems via contractions in expanded b-metric spaces. J. Anal. 30(2), 895–907 (2022)

    Article  MathSciNet  Google Scholar 

  10. Ayoob, I., Chuan, N.Z., Mlaiki, N.: Double-Composed metric spaces. Mathematics 11(8), 1866 (2023)

    Article  Google Scholar 

  11. Kil, C.J., Yu, C.S., Han, U.C.: Fixed point results for some rational type contractions in double-composed metric spaces and applications. Informatica 34(12), 105–130 (2023)

    Google Scholar 

  12. Azmi, F.M.: Generalized contraction mappings in double controlled metric type space and related fixed point theorems. J. Inequal. Appl. 2023(1), 87 (2023)

    Article  MathSciNet  Google Scholar 

  13. Ayoob, I., Chuan, N.Z., Mlaiki, N.: Hardy-Rogers type contraction in double controlled metric-like spaces. AIMS Math. 8(6), 13623–13636 (2023)

    Article  MathSciNet  Google Scholar 

  14. Long-Guang, H., Xian, Z.: Cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 332(2), 1468–1476 (2007)

    Article  MathSciNet  Google Scholar 

  15. Branga, A.N., Olaru, I.M.: Cone metric spaces over topological modules and fixed point theorems for Lipschitz mappings. Mathematics 8(5), 724 (2020)

    Article  Google Scholar 

  16. Nazam, M., Arif, A., Mahmood, H., Park, C.: Some results in cone metric spaces with applications in homotopy theory. Open Math. 18(1), 295–306 (2020)

    Article  MathSciNet  Google Scholar 

  17. Meng, Q.: On generalized algebraic cone metric spaces and fixed point theorems. Chin. Ann. Math., Ser. B 40(3), 429–438 (2019)

    Article  MathSciNet  Google Scholar 

  18. Vetro, P.: Common fixed points in cone metric spaces. Rend. Circ. Mat. Palermo 56, 464–468 (2007)

    Article  MathSciNet  Google Scholar 

  19. Kadelburg, Z., Paunovic, L., Radenovic, S., Soleimani Rad, G.: Non-normal cone metric and cone b-metric spaces and fixed point results. Sci. Publ. State Univ. Novi Pazar, Ser. A: Appl. Math. Inf. Mech. 8(2), 177–186 (2016)

    Article  Google Scholar 

  20. Du, W.-S., Karapınar, E.: A note on cone b-metric and its related results: generalizations or equivalence? Fixed Point Theory Appl. 2013, 210 (2013). https://doi.org/10.1186/1687-1812-2013-210

    Article  MathSciNet  Google Scholar 

  21. Cho, S.H.: Fixed point theorems in complete cone metric spaces over Banach algebras. J. Funct. Spaces 2018, 1–8 (2018)

    MathSciNet  Google Scholar 

  22. Shateri, T.L.: Double controlled cone metric spaces and the related fixed point theorems (2022). arXiv preprint arXiv:2208.06812

  23. Shatanawi, W., Mitrović, Z.D., Hussain, N., Radenović, S.: On generalized Hardy–Rogers type α-admissible mappings in cone b-metric spaces over Banach algebras. Symmetry 12(1), 81 (2020)

    Article  Google Scholar 

  24. Ali Abou Bakr, S.M.: Coupled fixed point theorems for some type of contraction mappings in b-cone and b-theta cone metric spaces. J. Math. 2021, Article ID 5569674 (2021)

    Article  MathSciNet  Google Scholar 

  25. Rezapour, S., Hamlbarani, R.: Some notes on the paper: cone metric spaces and fixed point theorems of contractive mappings. J. Math. Anal. Appl. 345(2), 719–724 (2008)

    Article  MathSciNet  Google Scholar 

  26. Hussain, N., Kadelburg, Z., Radenović, S., Al-Solamy, F.: Comparison functions and fixed point results in partial metric spaces. Abstr. Appl. Anal. 2012, Article ID 605781 (2012)

    Article  MathSciNet  Google Scholar 

  27. Rahimi, H., Soleimani Rad, G.: Fixed Point Theory in Various Spaces. Lambert Academic Publishing, Germany (2013)

    Google Scholar 

Download references

Acknowledgements

The authors S. Aljohani and N. Mlaiki would like to thank Prince Sultan University for paying the APC and for the support through the TAS research lab.

Funding

This research did not receive any external funding.

Author information

Authors and Affiliations

Authors

Contributions

A.A., L. Kh., S.A. and N.M. wrote the main manuscript text. All authors reviewed the manuscript.

Corresponding author

Correspondence to Nabil Mlaiki.

Ethics declarations

Competing interests

The authors declare no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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

Hijab, A.A., Shaakir, L.K., Aljohani, S. et al. Fredholm integral equation in composed-cone metric spaces. Bound Value Probl 2024, 64 (2024). https://doi.org/10.1186/s13661-024-01876-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-024-01876-w

Keywords