- Original Research
- Open access
- Published:

# Coupled coincidence point technique and its application for solving nonlinear integral equations in RPOCbML spaces

*Journal of the Egyptian Mathematical Society*
**volume 28**, Article number: 8 (2020)

## Abstract

The aim of this paper is to obtain some new important consequences related to coupled coincidence points via C-class functions in the context of a regular partial ordered complete *b*-metric-like space (for short, RPOCbML space); this space arises from combining the results of *b*-metric-like space with partial metric space and adding the regularity condition. Finally, we support our theoretical results by some examples and an application about finding an analytical solution for nonlinear integral equations.

## Introduction and elementary discussions

Fixed point theory is one of the most important branches of non-linear analysis because it contributes to many disciplines such as economics (maximization and minimization problems), engineering and game theory, mathematics, and others. One of the most important advances in mathematics, for example, is to find solutions for linear and nonlinear systems and others. Due to the ease of this method, it became the most prevalent in functional analysis. This style emerged in 1922 when Banach [1] introduced his well-known principle and called it Banach contraction principle in metric space. In 1992, Matthews [2] circulated the principle of Banach to partial metric space as follows:

###
**Definition 1**

[2] A mapping \(p : \Upsilon \times \Upsilon \rightarrow \mathbb {R^{+}}\), where *Υ* is a nonempty set, is said to be a partial metric on *Υ* if for any *a*,*c*,*e*∈*Υ* the following hypotheses hold: (*P*_{1})*a*=*c* if and only if *p*(*a*,*a*)=*p*(*c*,*c*)=*p*(*a*,*c*); (*P*_{2})*p*(*a*,*a*)≤*p*(*a*,*c*); (*P*_{3})*p*(*a*,*c*)=*p*(*c*,*a*); (*P*_{4})*p*(*a*,*e*)≤*p*(*a*,*c*)+*p*(*c*,*e*)−*p*(*c*,*c*).Then the pair (*Υ*,*p*) is called a partial metric space.

The concept of *b*-metric space was illustrated by Bakhtin [3] in 1993 and Czerwik [4] in 1998. Since then, many papers have been published on the fixed point theory of various classes of single-valued and multi-valued operators in *b*-metric spaces (see, [5–8] and references therein).

###
**Definition 2**

[4] Let *Υ*≠*∅* be a set and *s*≥1 be a given real number. A function *ω*_{b}:*Υ*×*Υ*→[ 0,*∞*) is a *b*-metric if and only if, for all *a*,*c*,*e*∈*Υ*, the following conditions are satisfied: (*b*_{1})*ω*_{b}(*a*,*c*)=0⇔*a*=*c*;

(*b*_{2})*ω*_{b}(*a*,*c*)=*ω*_{b}(*c*,*a*);

(*b*_{3})*ω*_{b}(*a*,*c*)≤*s*[ *ω*_{b}(*a*,*e*)+*ω*_{b}(*e*,*c*)].The pair (*Υ*,*ω*_{b}) is called a *b*-metric space (with a coefficient *s*≥1).

Amini-Harandi [9] introduced the notion of metric-like spaces which is an interesting generalization of the spaces defined in [2] as follows:

###
**Definition 3**

[9] Let *Υ* be a nonempty set, a mapping \(\omega :\Upsilon \times \Upsilon \rightarrow \mathbb {R}^{+}\) is said to be a metric-like mapping on *Υ* if for all *a*,*c*,*e*∈*Υ* the following three conditions hold:

(*ω*_{1})*ω*(*a*,*c*)=0⇒*a*=*c*;

(*ω*_{2})*ω*(*a*,*c*)=*ω*(*c*,*a*);

(*ω*_{3})*ω*(*a*,*e*)≤*ω*(*a*,*c*)+*ω*(*c*,*e*). Then, the pair (*Υ*,*ω*) is called a metric-like space.

A metric-like mapping on *Υ* satisfies all of the conditions of a metric except that *ω*(*a*,*a*) may be positive for *a*∈*Υ*. Every partial metric space is a metric-like space but not conversely in general. For more details, see [9].

-metric and metric-like...” retained the intended meaning.By considering the results of *b*-metric and metric-like spaces, the notion of *b*-metric-like space was presented by Alghamdi et al. [10]. They discussed some related fixed point consequences concerning with this space. Recently, Hussain et al. [11] examined topological structure of this space and presented some fixed point results in *b*-metric-like space. A lot of results on fixed points of mappings via certain contractive conditions in the mentioned spaces have been done (for example, see [11–13]).

###
**Definition 4**

[10] Let *Υ*≠*∅* be a set and *s*≥1 be a given real number. A function *ω*_{b}:*Υ*×*Υ*→[ 0,*∞*) is a *b*-metric-like space if and only if, for all *a*,*c*,*e*∈*Υ*, the following conditions are realized: (*b*_{1})*ω*_{b}(*a*,*c*)=0⇒*a*=*c*;

(*b*_{2})*ω*_{b}(*a*,*c*)=*ω*_{b}(*c*,*a*);

(*b*_{3})*ω*_{b}(*a*,*c*)≤*s*[ *ω*_{b}(*a*,*e*)+*ω*_{b}(*e*,*c*)].The pair (*Υ*,*ω*_{b}) is called a *b*-metric-like space (with a coefficient *s*≥1).

###
**Example 1**

Let *Υ*=[ 0,*∞*). Define the function *ω*_{b}:*Υ*^{2}→[ 0,*∞*) by *ω*_{b}(*a*,*c*)=(*a*+*c*)^{2}.Then, (*Υ*,*ω*_{b}) is a *b*-metric-like space with constant *s*=2, but it neither be a *b*-metric nor a metric-like space (see, [8]).

For more new examples related with metric-like and *b*-metric-like spaces, see [14, 15].

###
**Definition 5**

[10] Let (*Υ*,*ω*_{b}) be a *b*-metric-like space and {*a*_{n}} be a sequence of points on *Υ*. A point *a*∈*Υ* is called the limit of the sequence {*a*_{n}} if \({\lim }_{n\rightarrow \infty }\omega _{b} (a,a_{n})=\omega _{b} (a,a),\) and we say that the sequence {*a*_{n}} is convergent to *a* and denote it by *a*_{n}→*a* as *n*→*∞*.

###
**Definition 6**

[10] Let (*Υ*,*ω*_{b}) be a *b*-metric-like space. (i) A sequence {*a*_{n}} is called Cauchy if and only if \({\lim }_{m,n\rightarrow \infty }\omega _{b}(a_{m},a_{n})\) exists and is finite. (ii) A *b*-metric-like space (*X*,*ω*_{b}) is said to be complete if and only if every Cauchy sequence {*a*_{n}} in *Υ* converges to *a*∈*Υ* such that \({\lim }_{m,n\rightarrow \infty }\omega _{b} (a_{m},a_{n})=\omega _{b} (a,a)={\lim }_{n\rightarrow \infty }\omega _{b} (a_{n},a).\)

###
**Lemma 1**

[10] Let {*c*_{n}} be a sequence in a *b*-metric-like space (*Υ*,*ω*_{b}) such that

for some \(\lambda \in (0,\frac {1}{s})\), and for all \(n \in \mathbb {N}\). Then, \({\lim }_{n\rightarrow \infty }\omega _{b} (c_{m},c_{n})=0\).

Let *Υ*≠*∅*. Then, (*Υ*,*ω*_{b},≼) is called a partially ordered *b*-metric-like space if *ω*_{b} is a *b*-metric-like space on a partially ordered set (*Υ*,≼). Further, (*Υ*,*ω*_{b},≼) is called a regular partially ordered *b*-metric-like space if it has the following property:

In 1987, Guo and Lakshmikantham [16] first studied the concept of coupled fixed points. Later on, Bhaskar and Lakshmikantham [17] studied monotone property and supported this by providing an application to the existence of periodic boundary value problems. The obtained results were further extended by Lakshmikantham and Ćirić [18] to introducing the notion of a coupled coincidence point and coupled fixed point of mappings in partially ordered metric spaces.

###
**Definition 7**

[17] An element (*a*,*c*)∈*Υ*×*Υ* is called a coupled fixed point for the mapping *Ξ*:*Υ*×*Υ*→*Υ* if *Ξ*(*a*,*c*)=*a* and *Ξ*(*c*,*a*)=*c*.

###
**Definition 8**

[17] An element (*a*,*c*)∈*Υ*×*Υ* is called a coupled coincidence point of the mappings *Ξ*:*Υ*×*Υ*→*Υ* and *Θ*:*Υ*→*Υ* if *Ξ*(*a*,*c*)=*Θ**a* and *Ξ*(*c*,*a*)=*Θ**c*.

###
**Definition 9**

[19] An element (*a*,*c*)∈*Υ*×*Υ* is called a coupled coincidence point of mappings *Ξ*,*Θ*:*Υ*×*Υ*→*Υ* if *Ξ*(*a*,*c*)=*Θ*(*a*,*c*) and *Ξ*(*c*,*a*)=*Θ*(*c*,*a*).

###
**Example 2**

Let \(\Xi,\Theta : \mathbb {R} \times \mathbb {R} \rightarrow \mathbb {R}\) be defined by *Ξ*(*a*,*c*)=*a**c* and \(\Theta (a,c)=\frac {2}{3}(a + c)\) for all (*a*,*c*)∈*Υ*×*Υ*. It is clear that (0,0),(1,2), and (2,1) are coupled coincidence points of non-self mappings *Ξ* and *Θ*.

###
**Definition 10**

[19] Suppose that *Ξ*,*Θ*:*Υ*×*Υ*→*Υ* are two mappings. *Ξ* is said to be *Θ*−increasing with respect to ≼ if for all *a*,*c*,*l*,*m*∈*Υ*, with *Θ*(*a*,*c*)≼*Θ*(*l*,*m*) we have *Ξ*(*a*,*c*)≼*Ξ*(*l*,*m*).

###
**Example 3**

Let *Υ*=(0,*∞*) be endowed with the natural ordering of real numbers ≤. Define mappings *Ξ*,*Θ*:*Υ*×*Υ*→*Υ* by *Ξ*(*a*,*c*)= ln(*a*+*c*) and *Θ*(*a*,*c*)=*a*+*c* for all (*a*,*c*)∈*Υ*×*Υ*. Then, *Ξ* is *Θ*−increasing with respect to ≤.

Throughout this paper, we assume that *Ψ*={*ψ*:*ψ*:[0,*∞*)→[0,*∞*) is non-decreasing and lower semi-continuous function, *ψ*(*t*)=0⇔*t*=0}.

In 2014, Ansari [20] introduced the concept of C-class functions which cover a large class of contractive conditions.

###
**Definition 11**

[20] A mapping \(f: [\!0,\infty)^{2} \rightarrow \mathbb {R}\) is called C-class function if it is continuous and satisfies the following conditions:(1) *f*(*δ*,*κ*)≤*δ*,(2) *f*(*δ*,*κ*)=*δ* implies that either *δ*=0 or *κ*=0 for all *δ*,*κ*∈[ 0,*∞*).We denote C-class functions as \(\complement \).

###
**Example 4**

The following functions \(\Xi : [\!0,\infty)^{2} \rightarrow \mathbb {R}\) are elements of \(\complement \), for all *δ*,*κ*∈[0,*∞*):

- (1)
*f*(*δ*,*κ*)=*δ*−*κ*; - (2)
*f*(*δ*,*κ*)=*λ**δ*,0<*λ*<1; - (3)
\(f(\delta,\kappa) = \frac {\delta }{(1+\kappa)^{r}};r \in (0,\infty);\)

- (4)
\(f (\delta,\kappa) =\frac {log(\kappa + a^{\delta })}{(1 + \kappa)}, a > 1;\)

- (5)
\(f (\delta,1) = \frac {ln(1 + b^{\delta })}{2}, b > e;\)

- (6)
*f*(*δ*,*κ*)=*ϕ*(*s*), where*ϕ*:[ 0,*∞*)→[0,*∞*) is a upper semi-continuous function such that*ϕ*(0)=0, and*ϕ*(*κ*)<*κ*for*κ*>0; - (7)
*f*(*δ*,*κ*)=*δ**β*(*δ*),*β*:[ 0,1)→[ 0,1); - (8)
*f*(*δ*,*κ*)=*δ*−*ϕ*(*δ*), where*ϕ*:[0,*∞*)→[ 0,*∞*) is a upper semi-continuous function such that*ϕ*(0)=0; - (9)
\(f(\delta,\kappa)=\delta -\frac {\kappa }{1-\kappa };\)

- (10)
*f*(*δ*,*κ*)=*δ**h*(*δ*,*κ*), where*h*:[ 0,1)×[ 0,1)→[ 0,1) is a continuous function such that*h*(*κ*,*δ*)<1 for all*κ*,*δ*>0.

In this paper, we prove some new coincidence coupled point results for the mappings *Ξ*,*Θ*:*Υ*×*Υ*→*Υ* by using the notion of *C*-class of functions in RPOCbML spaces. We present some examples and an application to find the existence of solution of nonlinear integral equation to support our work. Our contributions in this direction improve and extend several comparable results in the literature for *b*-metric-like spaces.

## Main results

###
**Theorem 1**

Let (*Υ*,≼,*ω*_{b})be a RPOCbML space (with a coefficient *s*>1). Assume that *Ξ*,*Θ*:*Υ*×*Υ*→*Υ* are two mappings such that the following conditions are satisfied:(1) *Ξ*(*Υ*×*Υ*)⊆*Θ*(*Υ*×*Υ*).(2) *Θ*(*Υ*×*Υ*) is closed.(3) *Ξ* is *Θ*-increasing with respect to ≼.(4) There exist two elements *a*_{0},*c*_{0}∈*Υ*, with *Θ*(*a*_{0},*c*_{0})≼*Ξ*(*a*_{0},*c*_{0}) and *Θ*(*c*_{0},*a*_{0})≽*Ξ*(*c*_{0},*a*_{0}). Suppose that there exist *ψ*∈*Ψ*,0<*L*<1 and \(f \in \complement \) such that:

for all *a*,*c*,*l*,*m*∈*Υ*,*α*>0 with *Θ*(*a*,*c*)≼*Θ*(*l*,*m*) and *Θ*(*c*,*a*)≽*Θ*(*m*,*l*) or *Θ*(*c*,*a*)≼*Θ*(*m*,*l*) and *Θ*(*a*,*c*)≽*Θ*(*l*,*m*). Then, *Ξ* and *Θ* have a coupled coincidence point in *Υ*.

###
*Proof*

Let *a*_{0},*c*_{0}∈*Υ* be an arbitrary with *Θ*(*a*_{0},*c*_{0})≼*Ξ*(*a*_{0},*c*_{0}) and *Ξ*(*c*_{0},*a*_{0})≼*Θ*(*c*_{0},*a*_{0}). Since *Ξ*(*Υ*×*Υ*)⊆*Θ*(*Υ*×*Υ*), there exists (*a*_{1},*c*_{1})∈*Υ*×*Υ* such that *Ξ*(*a*_{0},*c*_{0})=*Θ*(*a*_{1},*c*_{1}) and *Ξ*(*c*_{0},*a*_{0})=*Θ*(*c*_{1},*a*_{1}). Continuing this process, we can construct two sequences {*a*_{n}} and {*c*_{n}} in *Υ* such that

Now, we shall prove by induction that for all \(n \in \mathbb {N}\), we have

Since *Θ*(*a*_{0},*c*_{0})≼*Ξ*(*a*_{0},*c*_{0}) and *Ξ*(*c*_{0},*a*_{0})≼*Θ*(*c*_{0},*a*_{0}) and since *Ξ*(*a*_{0},*c*_{0})=*Θ*(*a*_{1},*c*_{1}) and *Ξ*(*c*_{0},*a*_{0})=*Θ*(*c*_{1},*a*_{1}), we have *Θ*(*a*_{0},*c*_{0})≼*Θ*(*a*_{1},*c*_{1}) and *Θ*(*c*_{1},*a*_{1})≼*Θ*(*c*_{0},*a*_{0}). Thus, (2) holds for *n*=0. Suppose that (2) holds for some fixed \(n\in \mathbb {N}\). Since *Ξ* is *Θ*−increasing with respect to ≼, we have

and

Thus, (2) holds for all \(n \in \mathbb {N}\). Denote

If *Θ*(*a*_{n},*c*_{n})=*Θ*(*a*_{n+1},*c*_{n+1}), then (*a*_{n},*c*_{n}) is a coincidence point and the proof is finished. So, we consider *Θ*(*a*_{n},*c*_{n})≠*Θ*(*a*_{n+1},*c*_{n+1}) for all \(n\in \mathbb {N}\), and we claim that

Since *Θ*(*a*_{n},*c*_{n})≼*Θ*(*a*_{n+1},*c*_{n+1}) and *Θ*(*c*_{n},*a*_{n})≽*Θ*(*c*_{n+1},*a*_{n+1}), using *a*=*a*_{n},*c*=*c*_{n},*l*=*a*_{n+1}, and *m*=*c*_{n+1} in (1), we get

Similarly, we can write

From (3) and (4), since *ψ* is non-decreasing, we obtain that

This means

Since the function *ψ* is non-decreasing, so the inequality (5) implies that

Therefore, by Lemma (1), we have {*η*_{n}} is a Cauchy sequence. Since

then both sequences {*Θ*(*a*_{n},*c*_{n})} and {*Θ*(*c*_{n},*a*_{n})} are Cauchy in the complete space (*Υ*,*ω*_{b}), and since *Ξ*(*Υ*×*Υ*)⊆*Θ*(*Υ*×*Υ*) and *Θ*(*Υ*×*Υ*) is closed, there exist *a*,*c*∈*Υ* such that

Correspondingly, we have

and

By the regularity of the space (*Υ*,*ω*_{b},≼), we get

It follows from (1) that

Passing the limit as *n*→+*∞*, using (6) and (7), we have

Similarly, using (6) and (7), we obtain

By triangle inequality in *b*-metric-like space, one can write

Taking the limit as *n*→*∞* and using (6) and (8), we have

Similarly, by (7) and (9), we can show that

Thus, *Ξ* and *Θ* have a coupled coincidence point. □

To prove the uniqueness of a coupled coincidence point, define the partial ordered in (*Υ*×*Υ*,≼) by for all (*a*,*c*),(*l*,*m*)∈*Υ*×*Υ*,(*a*,*c*)≼(*l*,*m*) if and only if *Θ*(*a*,*c*)≼*Θ*(*l*,*m*) and *Θ*(*c*,*a*)≽*Θ*(*m*,*l*) where *Θ*:*Υ*×*Υ*→*Υ* is one-one.

###
**Theorem 2**

In addition to the hypotheses of Theorem 1, suppose that for every (*a*,*c*),(*a*^{∗},*c*^{∗}) in *Υ*×*Υ*, there exists another (*l*,*m*) in *Υ*×*Υ* which is comparable to (*a*,*c*) and (*a*^{∗},*c*^{∗}), then *Ξ* and *Θ* have a unique coupled coincidence point.

###
*Proof*

From Theorem 1, we know that the set of coupled coincidence points of *Ξ* and *Θ* is nonempty. Suppose (*a*,*c*) and (*a*^{∗},*c*^{∗}) are coupled coincidence points of *Ξ* and *Θ* that is

and

Now we prove that *Θ*(*a*,*c*)=*Θ*(*a*^{∗},*c*^{∗}) and *Θ*(*c*,*a*)=*Θ*(*c*^{∗},*a*^{∗}). By assumption, there exists (*l*,*m*) in *Υ*×*Υ* that is comparable to (*a*,*c*) and (*a*^{∗},*c*^{∗}). We define sequences {*Θ*(*l*_{n},*m*_{n})} and {*Θ*(*m*_{n},*l*_{n})} as follows:

Since (*l*,*m*) is comparable to (*a*,*c*), we assume that (*a*,*c*)≼(*l*,*m*)=(*l*_{0},*m*_{0}). This implies *Θ*(*a*,*c*)≼*Θ*(*l*_{0},*m*_{0}) and *Θ*(*c*,*a*)≽*Θ*(*m*_{0},*l*_{0}). Suppose that (*a*,*c*)≼(*l*_{n},*m*_{n}) for some *n*. We claim that

Since *Ξ* is *Θ* increasing, then *Θ*(*a*,*c*)≼*Θ*(*l*_{n},*m*_{n}) implies *Ξ*(*a*,*c*)≼*Ξ*(*l*_{n},*m*_{n}) and *Θ*(*c*,*a*)≽*Θ*(*m*_{n},*l*_{n}) implies *Ξ*(*c*,*a*)≽*Ξ*(*m*_{n},*l*_{n}). Thus,

and

It follows that

Similarly,

Using (11), (12) with the property of *f* and since *ψ* is nondecreasing, we have

Using the property of *ψ* in (13), we get

It follows that max{*ω*_{b}(*Θ*(*a*,*c*),*Θ*(*l*_{n},*m*_{n})),*ω*_{b}(*Θ*(*c*,*a*),*Θ*(*m*_{n},*l*_{n}))} is nonnegative decreasing sequence and

which implies that

Repeating the same process, we can prove that

By triangle inequality in b-metric-like space, we have

and

Passing the limit as *n*→*∞* into the above inequalities, using (14) and (15), we get *Θ*(*a*,*c*)=*Θ*(*a*^{∗},*c*^{∗}) and *Θ*(*c*,*a*)=*Θ*(*c*^{∗},*a*^{∗}). □

The following examples justify all requirements of the hypotheses of Theorem 1.

###
**Example 5**

Let *f*(*δ*,*κ*)=*τ**δ*,*Υ*=[ 0,*∞*) endowed with the natural ordering of real numbers. We endow *Υ* with

for all *a*,*c*∈*Υ*. Then, (*Υ*,*ω*_{b}) is a complete *b*- metric-like space with a coefficient *s*=2. Let the sequence {*a*_{n}} of monotone non-decreasing in *Υ* such that \({\lim }_{n\rightarrow \infty }a_{n}=a\in \Upsilon,\) then the sequences (sequences of real numbers)

converge also to *a*(*t*) for all *t*∈[0,*∞*). So *a*_{n}(*t*)≤*a*(*t*) for all \(t\in \Upsilon, n\in \mathbb {N}.\) Therefore, *a*_{n}≼*a* for all *n*. By the same manner, one can show that the monotone non-increasing sequence {*c*_{n}} in *Υ* such that \({\lim }_{n\rightarrow \infty }c_{n}=c\in \Upsilon \) is a lower bound for all the elements in the sequence, i.e., *c*≼*c*_{n} for all *n*. Therefore, the regularity condition hold.

Also, if we define an order relation on *Υ* as *a*≼*c* for all *a*,*c*∈*Υ*, we conclude that *Υ* is a partially ordered set, so we deduce that (*Υ*,*ω*_{b},≼) is a RPOCbML space.

Define mappings *Ξ*,*Θ*:*Υ*×*Υ*→*Υ* as follows:

for all *a*,*c*∈*Υ*. It is clear that *Ξ*(*Υ*,*Υ*)⊆*Θ*(*Υ*,*Υ*) and *Θ*(*Υ*,*Υ*) is closed.

Now, we are going to prove that *Ξ* is *Θ*−increasing. Suppose that (*a*,*c*),(*l*,*m*)∈*Υ*×*Υ* with *Θ*(*a*,*c*)≤*Θ*(*l*,*m*), we state the following cases:

**Case 1.** If *a*<*c*, then *Ξ*(*a*,*c*)=0≤*Θ*(*a*,*c*).

**Case 2.** If *a*≥*c* and *l*≥*m*, then *Θ*(*a*,*c*)≤*Θ*(*l*,*m*) leads to *a*−*c*≤*l*−*m*, so

**Case 3.** If *l*<*m*, then *Θ*(*a*,*c*)≤*Θ*(*l*,*m*) implies that 0≤*a*−*c*≤0, hence *a*=*c*, so *Ξ*(*a*,*c*)=0≤*Θ*(*a*,*c*). From the above cases, we deduce that *Ξ* is *Θ*−increasing.

Next, we prove that there exist two elements *a*_{∘},*c*_{∘}∈*Υ* with *Θ*(*a*_{∘},*c*_{∘})≼*Ξ*(*a*_{∘},*c*_{∘}) and *Θ*(*c*_{∘},*a*_{∘})≽*Ξ*(*c*_{∘},*a*_{∘}).

Since we get

So the two elements are \(0,\frac {1}{3}\in \Upsilon.\) Now, define the function *ψ*:[ 0,*∞*)→[ 0,*∞*) as \(\psi (\kappa)=\frac {1}{4}\kappa \) for all *κ*∈[0,*∞*); it is obvious that *ψ*∈*Ψ*. Finally, we justify the contraction (1) for all *a*,*b*,*l*,*m*∈*Υ*, with *Θ*(*a*,*c*)≤*Θ*(*l*,*m*) and *Θ*(*c*,*a*)≥*Θ*(*m*,*l*) or *Θ*(*a*,*c*)≥*Θ*(*l*,*m*) and *Θ*(*c*,*a*)≤*Θ*(*m*,*l*), we get

where *L*∈(0,1),*α*=2>0, and \(\tau =\frac {1}{2}.\) Hence, the hypothesis (1) is satisfied. Thus, all requirements of the hypotheses of Theorem 1 hold and (0,0) is a coupled coincidence point of *Ξ* and *Θ* and in the same time is a coupled fixed point.

###
**Example 6**

Let *f*(*δ*,*κ*)=*δ*−*κ*,*Υ*=[ 0,*∞*) endowed with the natural ordering of real numbers. We endow *Υ* with

for all *a*,*c*∈*Υ*. Then, (*Υ*,≼,*ω*_{b}) is a RPOCbML space with a coefficient *s*=2 (as in the above example).

Define mappings *Ξ*,*Θ*:*Υ*×*Υ*→*Υ* as follows:

for all *a*,*b*,*l*,*m*∈*Υ*. It is clear that *Ξ*(*Υ*,*Υ*)⊆*Θ*(*Υ*,*Υ*) and *Θ*(*Υ*,*Υ*) is closed.

Now, we should show that *Ξ* is *Θ*−increasing. Let (*a*,*c*),(*l*,*m*)∈*Υ*×*Υ* with *Θ*(*a*,*c*)≤*Θ*(*l*,*m*), we state the following cases:

**Case 1.** If *a*<*c*, then *Ξ*(*a*,*c*)=0≤*Θ*(*a*,*c*).

**Case 2.** If *a*≥*c* and *l*≥*m*, then *Θ*(*a*,*c*)≤*Θ*(*l*,*m*), leads to \(\frac {a-c}{2}\leq \frac {l-m}{2},\) so

**Case 3.** If *l*<*m*, then *Θ*(*a*,*c*)≤*Θ*(*l*,*m*) implies that

so *Ξ*(*a*,*c*)=0≤*Θ*(*a*,*c*). From the three cases above, we deduce that *Ξ* is *Θ*−increasing.

Next, as in Example 5, we prove that there exist two elements *a*_{∘},*c*_{∘}∈*Υ* with *Θ*(*a*_{∘},*c*_{∘})≼*Ξ*(*a*_{∘},*c*_{∘}) and *Θ*(*a*_{∘},*c*_{∘})≽*Θ*(*c*_{∘},*a*_{∘}). So, we get

So the two elements are 0,1∈*Υ*. Now, define the function *ψ*:[ 0,*∞*)→[ 0,*∞*) as \(\psi (\kappa)=\frac {1}{8} \kappa \) for all *κ*∈[ 0,*∞*); it is obvious that *ψ*∈*Ψ*. Finally, we verify the contraction (1) for all *a*,*c*,*l*,*m*∈*Υ*, with *Θ*(*a*,*c*)≤*Θ*(*l*,*m*) and *Θ*(*c*,*a*)≥*Θ*(*m*,*l*) or *Θ*(*a*,*c*)≥*Θ*(*l*,*m*) and *Θ*(*c*,*a*)≤*Θ*(*m*,*l*). Since ln(1+*κ*)≤*κ* for all *κ*∈[ 0,*∞*), then we have

where \(L=\frac {15}{128}<1\) and *α*=2>0. Hence, the condition (1) is satisfied. Thus, all requirements of the hypotheses of Theorem 1 are verified and (0,0) is a coupled coincidence point of *Ξ* and *Θ*, and in the same time is a coupled fixed point.

## Consequences of the main results

If we put *f*(*δ*,*κ*)=*δ*−*κ* in Theorem 1, we get the following corollary:

###
**Corollary 1**

Let (*Υ*,≼,*ω*_{b})be a RPOCbML space (with parameter *s*>1). Assume that *Ξ*,*Θ*:*Υ*×*Υ*→*Υ* are two mappings such that the following conditions are satisfied:(1) *Ξ*(*Υ*×*Υ*)⊆*Θ*(*Υ*×*Υ*).(2) *Θ*(*Υ*×*Υ*) is closed.(3) *Ξ* is *Θ*−increasing with respect to ≼.(4) There exist two elements *a*_{0},*c*_{0}∈*Υ*, with *Θ*(*a*_{0},*c*_{0})≼*Ξ*(*a*_{0},*c*_{0}) and *Θ*(*c*_{0},*a*_{0})≽*Ξ*(*c*_{0},*a*_{0}). Suppose that there exist *ψ*∈*Ψ*,0<*L*<1 such that:

for all *a*,*c*,*l*,*m*∈*Υ*,*α*>0 with *Θ*(*a*,*c*)≼*Θ*(*l*,*m*) and *Θ*(*c*,*a*)≽*Θ*(*m*,*l*) or *Θ*(*c*,*a*)≼*Θ*(*m*,*l*) and *Θ*(*a*,*c*)≽*Θ*(*l*,*m*). Then, *Ξ* and *Θ* have a coupled coincidence point in *Υ*.

If we choose *f*(*δ*,*κ*)=*k**δ*, 0≤*k*<1 in Theorem 1, we get the following result:

###
**Corollary 2**

Let (*X*,≼,*ω*_{b})be a RPOCbML space (with coefficient *s*>1). Assume that *F*,*G*:*X*×*X*→*X* are two mappings such that the following conditions are realized:(1) *Ξ*(*Υ*×*Υ*)⊆*Θ*(*Υ*×*Υ*).(2) *Θ*(*Υ*×*Υ*) is closed.(3) *Ξ* is *Θ*−increasing with respect to ≼.(4) There exist two elements *a*_{0},*c*_{0}∈*Υ*, with *Θ*(*a*_{0},*c*_{0})≼*Ξ*(*a*_{0},*c*_{0}) and *Θ*(*c*_{0},*a*_{0})≽*Ξ*(*c*_{0},*a*_{0}). Suppose that there exist *ψ*∈*Ψ* such that:

for all *a*,*c*,*l*,*m*∈*Υ*, *α*>0 with *Θ*(*a*,*c*)≼*Θ*(*l*,*m*) and *Θ*(*c*,*a*)≽*Θ*(*m*,*l*) or *Θ*(*c*,*a*)≼*Θ*(*m*,*l*) and *Θ*(*a*,*c*)≽*Θ*(*l*,*m*). Then, *Ξ* and *Θ* have a coupled coincidence point in *Υ*.

If we take *ψ*(*t*)=*t* in Theorem 1, we get the following consequence:

###
**Corollary 3**

Let (*X*,≼,*ω*_{b})be a RPOCbML space (with coefficient *s*>1). Assume that *F*,*G*:*X*×*X*→*X* are two mappings such that the following conditions hold:(1) *Ξ*(*Υ*×*Υ*)⊆*Θ*(*Υ*×*Υ*).(2) *Θ*(*Υ*×*Υ*) is closed.(3) *Ξ* is *Θ*−increasing with respect to ≼.(4) There exist two elements *a*_{0},*c*_{0}∈*Υ*, with *Θ*(*a*_{0},*c*_{0})≼*Ξ*(*a*_{0},*c*_{0}) and *Θ*(*c*_{0},*a*_{0})≽*Ξ*(*c*_{0},*a*_{0}). Suppose that 0<*L*<1 such that:

*a*,*c*,*l*,*m*∈*Υ*, *α*>0 with *Θ*(*a*,*c*)≼*Θ*(*l*,*m*) and *Θ*(*c*,*a*)≽*Θ*(*m*,*l*) or *Θ*(*c*,*a*)≼*Θ*(*m*,*l*) and *Θ*(*a*,*c*)≽*Θ*(*l*,*m*). Then, *Ξ* and *Θ* have a coupled coincidence point in *Υ*.

###
**Definition 12**

[21] Let (*Υ*,≼)be a partially ordered set, *Ξ*:*Υ*×*Υ*→*Υ* and *Θ*:*Υ*→*Υ*. We say that *Ξ* is *Θ*−increasing with respect to ≼ if for any *a*,*c*∈*Υ*

Taking in to account the above definition, we obtain the following result:

###
**Corollary 4**

Let (*Υ*,≼,*ω*_{b})be a RPOCbML space (with parameter *s*>1). Assume that *Ξ*:*Υ*×*Υ*→*Υ* and *Θ*:*Υ*→*Υ* are two mappings such that the following conditions are verified:(1) *Ξ*(*Υ*×*Υ*)⊆*θ*(*Υ*).(2) *Θ*(*Υ*) is closed.(3) *Ξ* is *Θ*−increasing with respect to ≼.(4) There exist two elements *a*_{0},*c*_{0}∈*Υ* such that *Θ**a*_{0}≼*Ξ*(*a*_{0},*c*_{0})and *θ**c*_{0}≽*Ξ*(*c*_{0},*a*_{0}). Suppose that there exist *ψ*∈*Ψ*,0<*L*<1 and *f*∈*C* such that:

for all *a*,*c*,*l*,*m*∈*Υ*, *α*>0 with *Θ**a*≼*Θ**l* and *Θ**c*≽*Θ**m* or *Θ**c*≼*Θ**m* and *Θ**a*≽*Θ**l*. Then, *Ξ* and *Θ* have a coupled coincidence point in *Υ*.

###
**Definition 13**

[17] Let (*Υ*,≼)be a partially ordered set, *Ξ*:*Υ*×*Υ*→*Υ*. We say that *Ξ*is increasing with respect to ≼ if for any *a*,*c*∈*Υ*

According to the above definition, we have the following corollary:

###
**Corollary 5**

Let (*Υ*,≼,*ω*_{b})be a RPOCbML space (with parameter *s*>1). Assume that *Ξ*:*Υ*×*Υ*→*Υ* is mapping such that the following conditions are justified:(1) *Ξ*is increasing with respect to ≼.(2) There exist two elements *a*_{0},*c*_{0}∈*X* such that *a*_{0}≼*Ξ*(*a*_{0},*c*_{0})and *c*_{0}≽*Ξ*(*c*_{0},*a*_{0}). Suppose that there exist *ψ*∈*Ψ*,0<*L*<1 and *f*∈*C* such that:

for all *a*,*c*,*l*,*m*∈*Υ*, *α*>0 with *a*≼*l* and *c*≽*m* or *c*≼*m* and *a*≽*l*. Then, *Ξ* has a coupled fixed point in *Υ*.

## Supportive application

Recently fixed point theory has expanded to its importance in many applications including finding analytical solutions for differential and integral equations (see [22–24] and references therein). In fact, this section is the most important part of the paper, where we shall study the existence of a unique solution to a non-linear integral equation using the theoretical results presented in the previous section.

Let *Π* denote the class functions *π*:[ 0,*∞*)→[ 0,*∞*) such that *π* is increasing and there exists *ψ*∈*Ψ*,0<*L*<1, and \(f\in \complement \) such that \(\pi (\kappa)=\frac {1}{4} f(\psi (\kappa),L\kappa)\) for all *κ*∈[0,*∞*). Suppose the following problem:

for all *t*∈[*p*,*q*]. Suppose that *K*_{1},*K*_{2},*g*,*h*, satisfies the following hypotheses:

(i) For all *t*,*ρ*∈[*p*,*q*],*K*_{1}(*t*,*ρ*)≥0 and *K*_{2}(*t*,*ρ*)≥0;

(ii) For all \(a,c\in \mathbb {R} \) such that *a*≥*c*, there exist *σ*,*ς* such that

(iii) We get

(iv) For all *t*∈[*p*,*q*], there exist continuous functions \(\varpi,\xi :[p,q]\rightarrow \mathbb {R} \) such that

and

Now, we formulate the theorem concerning the existence of a unique solution of a nonlinear integral equation (16) as follows:

###
**Theorem 3**

Suppose that the problem (16) with \(K_{1},K_{2}\in C([p,q]\times \lbrack p,q], \mathbb {R})\) and \(g,h\in C([p,q]\times \mathbb {R} \times \mathbb {R}),\) then the problem (16) has a solution in \(C([p,q], \mathbb {R}),\) provided that hypotheses (i)–(iv) are verified.

###
*Proof*

Assume that \(\Upsilon =C([a,b], \mathbb {R})\) is the set of real continuous functions on [*p*,*q*] equipped with

Thus, the pair (*Υ*,*ω*_{b}) is a complete *b*-metric-like space with a coefficient *s*=2, and (*Υ*,*ω*_{b},≼) is a RPOCbML space if *a*≼*c* whenever *a*(*t*)≼*c*(*t*) for all *t*∈[*p*,*q*]. Let the sequence of monotone non-decreasing {*a*_{n}} in *Υ* such that \( {\lim }_{n\rightarrow \infty }a_{n}=a\in \Upsilon,\) then the sequences (sequences of real numbers)

converge also to *a*(*t*) for all *t*∈[ *p*,*q*]. So *a*_{n}(*t*)≤*a*(*t*) for all \(t\in \lbrack p,q], n\in \mathbb {N}.\) Therefore, *a*_{n}≼*a* for all *n*. By the same manner, one can show that the monotone non-increasing sequence {*c*_{n}} in *Υ* such that \({\lim }_{n\rightarrow \infty }c_{n}=c\in \Upsilon \) is a lower bound for all the elements in the sequence, i.e., *c*≼*c*_{n} for all *n*. Therefore, the regularity condition hold.

Also, if we define an order relation on *Υ*×*Υ* as *a*≼*l*,*c*≽*m* for all *a*,*c*,*l*,*m*∈*Υ*, we conclude that *Υ*×*Υ* is a partially ordered set.

Define the mapping *Ξ*:*Υ*×*Υ*→*Υ* by

for all *t*∈[ *p*,*q*]. It is clear that if the mapping *Ξ* has a coupled fixed point in \(\Upsilon =C([\!p,q], \mathbb {R})\), then it is a solution of the problem (16).

Now, we shall prove that the mapping *Ξ* is increasing with *a*_{1}≼*a*_{2}, so, *a*_{1}(*t*)≤*a*_{2}(*t*) for all *t*∈[ *p*,*q*]; we can write

Therefore, *Ξ*(*a*_{1},*c*)(*t*)≤*Ξ*(*a*_{2},*c*)(*t*) for all *t*∈[*p*,*q*]. Hence, *Ξ*(*a*_{1},*c*)≼*Ξ*(*a*_{2},*c*). Similarly, if *c*_{1}≼*c*_{2}, so *c*_{1}(*t*)≤*c*_{2}(*t*) for all *t*∈[*p*,*q*], we have

Therefore, *Ξ*(*a*,*c*_{1})(*t*)≤*Ξ*(*a*,*c*_{2})(*t*) for all *t*∈[ *p*,*q*]. Hence, *Ξ*(*a*,*c*_{1})≼*Ξ*(*a*,*c*_{2}). From the above results, we deduce that the mapping *Ξ* is increasing with respect to the variables *a*,*c*.

Finally, we illustrate that the contraction condition of Corollary 5 hold, for all *a*,*c*,*l*,*m*∈*Υ* such that *a*≼*l*,*m*≼*c*,

Applying condition (ii), we have

By the definition of *π* and the distance *ω*_{b}, we can write

It follows from (17), (18), and condition (iii) that

Thus, for *a*≼*l*,*m*≼*c*, we obtain that

taking *ψ*∈*Ψ* such that *ψ*(*κ*)=*κ*, for all *κ*∈[ 0,*∞*] with *s*=2 and *α*=3, we have

Also, condition (iv) leads to *ϖ*(*t*)≤*Ξ*(*ϖ*,*ξ*)(*t*) and *ξ*(*t*)≥*Ξ*(*ξ*,*ϖ*)(*t*) for all *t*∈[*p*,*q*], that is *ϖ*≼*Ξ*(*ϖ*,*ξ*) and *ξ*≽*Ξ*(*ξ*,*ϖ*). Therefore, all the hypothesis requirements of Corollary 5 are satisfied. Then, the mapping *Ξ* has a coupled fixed point which is a solution of the problem (16) in \(\Upsilon =C([p,q], \mathbb {R}).\) □

## Conclusion

Recently, the technique of coincidence point has become one of the important issues that contribute to finding the analytical solution of integral equations, which in turn facilitates the numerical solution. Therefore, many researchers are interested in this trend so that the differential equation can be converted to their integral counterparts and then easily solved. This paper is the same line, where we discussed some common coincidence points for nonlinear mappings under the class of a RPOCbML space; also, we proceed with two examples to support theoretical results and analytical solution for the nonlinear integral equation illustrated.

## Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

## References

Banach, S.: Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fund. Math.3, 133–181 (1922).

Matthews, S. G.: Partial metric topology in: Proc. 8th Summer Conference on General Topology and Applications. Ann. New York Acad. Sci.728, 183–197 (1994).

Bakhtin, I. A.: The contraction principle in quasimetric spaces. Funct. Anal. 30, 26–37 (1989).

Czerwik, S.: Contraction mappings in b-metric spaces. Acta Math. Inf. Univ. Ostrav. 1, 5–11 (1993).

Shah, M., Simic, S., Hussain, N., Sretenovic, A., Radenovic, S.: Common fixed points theorems for occasionally weakly compatible pairs on cone metric type spaces. J. Comput. Anal. Appl. 14, 290–297 (2012).

Hussain, N., Shah, M.: KKM mappings in cone b-metric spaces. Comput. Math. Appl. 62, 1677–1684 (2011).

Khamsi, M., Hussain, N.: KKM mappings in metric type spaces. Nonlinear Anal. 73(2010), 3123–3129.

Radenović, S., Zoto, K., Dedović, N., Šešum-Cavic, V., Ansari, A.: Bhaskar-Guo-Lakshmikantam-Ćirić type results via new functions with a pplications to integral equations. Appl. Math. Comput. (2019). Artical in press. https://doi.org/10.1016/j.amc.2019.03.057.

Amini-Harandi, A.: Metric-like spaces, partial metric spaces and fixed points. Fixed Point Theory Appl.2012, 204 (2012). https://doi.org/10.1186/1687-1812-2012-204.

Alghamdi, M. A., Hussain, N., Salimi, P.: Fixed point and coupled fixed point theorems on b-metric-like spaces. J. Inequalities Appl.402(2013), 1–25 (2013).

Hussain, N., Roshan, J. R., Parvaneh, V., Kadelburg, Z.: Fixed points of contractive mappings in b-metric-like spaces. Sci. World J., 1–15 (2014). https://doi.org/10.1155/2014/471827.

Aydi, A., Felhi, A., Sahmim, S.: Common fixed points via implicit contractions on b-metric-like spaces. J. Nonlinear Sci. Appl. 10, 1524–1537 (2017).

Nashine, H. K., Kadelburg, Z.: Existence of solutions of Cantilever Beam Problem via

*α*−*β*−*F**G*− contractions in b-metric-like spaces. Filomat. 31, 3057–3074 (2017).Hammad, H. A., De la Sen, M.: Generalized contractive mappings and related results in b-metric like spaces with an application. Symmetry. 11(667) (2019). https://doi.org/10.3390/sym11050667.

Hammad, H. A., De la, Sen, M.: Solution of nonlinear integral equation via fixed point of cyclic \(\alpha _{L}^{\psi }-\)rational contraction mappings in metric-like spaces. Bull. Braz. Math. Soc. New Ser.347 (2019). https://doi.org/10.1007/s00574-019-00144-1.

Guo, D., Lakshmikantham, V.: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. 11, 623–632 (1987).

Bhaskar, T. G., Lakshmikantham, V.: Fixed point theorems in partially ordered metric spaces and applications. Nonlinear Anal. Theor. 65, 1379–1393 (2006).

Lakshmikantham, V., Ćirić, L. j. B.: Coupled random fixed point theorems for nonlinear contractions in partially ordered metric spaces. Stoch. Anal. Appl. 27, 1246–1259 (2009).

Hussain, N., Abbas, M., Azam, A., Ahmad, J.: Coupled coincidence point results for a generalized compatible pair with applications. Fixed Point Theory Appl.62 (2014). https://doi.org/10.1186/1687-1812-2014-62.

Ansari, A. H., Chandok, S., Ionescu, C.: Fixed point theorems on b-metric spaces for weak contractions with auxiliary functions. J. Inequal. Appl.429, 318 (2014).

Lakshmikantham, V., Ćirić, L. j. B.: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. Theory Methods Appl. 70, 4341–4349 (2009).

Radenović, S.: Coupled fixed point theorems for monotone mappings in partially ordered metric spaces. Krag. J. Math. 38(2), 249–257 (2014).

Hammad, H. A., De la, Sen, M.: A solution of Fredholm integral equation by using the cyclic \(\eta _{q}^{s}\)-rational contractive mappings technique in b-metric-like spaces. Symmetry. 11(11) (2019). https://doi.org/10.3390/sym11091184.

Hammad, H. A., De la, Sen, M.: A coupled fixed point technique for solving coupled systems of functional and nonlinear integral equations. Mathematics. 7(634) (2019). https://doi.org/10.3390/math7070634.

## Acknowledgements

Not applicable

## Funding

There is no sponsor.

## Author information

### Authors and Affiliations

### Contributions

HAH wrote the title, abstract, examples, application, and conclusion and fixed many language errors. DMA wrote the theoretical work, introduction, and references. RAR fixed some spelling errors and gave some important sentences to support the paper. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare that they have 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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Hammad, H.A., Albaqeri, D.M. & Rashwan, R.A. Coupled coincidence point technique and its application for solving nonlinear integral equations in RPOCbML spaces.
*J Egypt Math Soc* **28**, 8 (2020). https://doi.org/10.1186/s42787-019-0064-3

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s42787-019-0064-3