Common Fixed Point Results for Compatible Map in Digital Metric Space

Sumitra Dalal¹, Ibtisam A. Masmali¹, Ghaliah Y. Alhamzi²

¹Jazan University, Jazan, KSA.
²Al Imam Mohammad Ibn Saud Islamic University, Riyadh, KSA.

DOI: 10.4236/apm.2018.83019                

Abstract

In this paper, we prove common fixed point results for quadruple self-mappings satisfying an implicit function which is general enough to cover a multitude of known as well as unknown contractions. Our results modify, unify, extend and generalize many relevant results existing in literature. Also, we define the concept of compatible maps and its variants in the setting of digital metric space and establish some common fixed point results for these maps. Also, an application of the proposed results is quoted in this note.

Keywords

Implicit Relation, Compatible Maps, Fixed Point Results, Digital Metric Space, Metric Space

1. Introduction

Digital topology is an emerging area based on general topology and functional analysis and focuses on studying digital topological properties of n-dimensional digital spaces, where as Euclidean topology deals with topological properties of subspaces of the n-dimensional real space, which has contributed to the study of some areas of computer sciences such as computer graphics, image processing, approximation theory, mathematical morphology, optimization theory etc. Rosenfield [1] was the first to consider digital topology as a tool to study digital images. Boxer [2] produced the digital versions of the topological concepts and later studied digital continuous functions [3] . Ege and Karaca [4] [5] established relative and reduced Lefschetz fixed point theorem for digital images and proposed the notion of a digital metric space and proved the famous Banach Contraction Principle for digital images.

Fixed point theory leads to lots of applications in mathematics, computer science, engineering, game theory, fuzzy theory, image processing and so forth. In metric spaces, this theory begins with the Banach fixed-point theorem which provides a constructive method of finding fixed points and an essential tool for solution of some problems in mathematics and engineering and consequently has been generalized in many ways. Up to now, several developments have occurred in this area. A major shift in the arena of fixed point theory came in 1976 when Jungck [6] [7] [8] , defined the concept of commutative and compatible maps and proved the common fixed point results for such maps. Later on, Sessa [9] gave the concept of weakly compatible, and proved results for set valued maps. Certain altercations of commutativity and compatibility can also be found in [10] [11] [12] [13] .

In 2014, He et al. [14] proved the common fixed points for pair of weak commutative mappings on a complete multiplicative metric spaces as follow:

Theorem 1. Let $S\mathrm{,}T\mathrm{,}A$ and B be mappings of a complete multiplicative metric space $\left(X\mathrm{,}d\right)$ into itself satisfying the following conditions:

1) $S\left(X\right)\subseteq B\left(X\right)\mathrm{,}T\left(X\right)\subseteq A\left(X\right)$ ,

2) $d\left(Sx,Ty\right)[\max =\{d\left(Ax,By\right),d\left(Sx,Ty\right),d\left(Sx,Ax\right),$

${d\left(By,Ty\right),d\left(Sx,By\right),d\left(Ax,Ty\right)\}]}^{\lambda }$ ,

for all $x\mathrm{,}y\in X\mathrm{,}\lambda \in \left(\mathrm{0,}\frac{1}{2}\right)$ .

3) one of the mappings $S\mathrm{,}T\mathrm{,}A$ and B is continuous. Assume that the pairs $\left(A\mathrm{,}S\right)$ and $\left(B\mathrm{,}T\right)$ are weakly commuting.Then $S\mathrm{,}T\mathrm{,}A$ and B have a unique common fixed point.

The objective of this paper is to give digital version of above theorem using an implicit function which is general enough to cover several linear as well as some nonlinear contractions. Our results generalize and extend the many results existing in literature.

This paper is organized as follows. In the first part, we give the required background about the digital topology and fixed point theory. In the next section, we state and prove main results for compatible mappings and compatible mappings of types (A) and (P) in digital metric spaces. Our results improve and generalize many other results existing in literature. Finally, we give an important application of fixed point theorem to digital images. Lastly, we make some conclusions.

2. Preliminaries

Let X be subset of $Z^n$ for a positive integer n where $Z^n$ is the set of lattice points in the n-dimensional Euclidean space and $\rho$ represent an adjacency relation for the members of X. A digital image consists of $\left(X\mathrm{,}\rho \right)$ .

Definition 2. [15] Let $l\mathrm{,}n$ be positive integers, $1\le l\le n$ and two distinct points $a=\left(a_1,a_2,\cdots ,a_n\right)$ , $b=\left(b_1,b_2,\cdots ,b_n\right)\in Z^n$ , a and b are $k_l$ -adjacent if there are at most l indices i such that

$\left|a_i-b_i\right|=1$

and for all other indices j such that

$\left|a_j-b_j\right|\ne 1,a_j=b_j.$

A r-neighbour of $a\in Z^n$ is a point of $Z^n$ that is r-adjacent to a where $\rho =\left\{2,4,6,8,18,26\right\}$ and $n\in \left\{\mathrm{1,2,3}\right\}$ . The set $N_p\left(a\right)=\left\{b\text{/}b\text{is}\rho \text{-adjacent}\text{to}a\right\}$ is called the r-neighbourhood of a. A digital interval is defined by

${\left[p\mathrm{,}q\right]}_z=\left\{z\in Z\mathrm{<mo>\; /\; </mo>}p\le z\le q\right\}\mathrm{,}\text{where}p\mathrm{,}q\in Z\text{and}p<q\mathrm{.}$

A digital image $X\subset Z^n$ is r-connected if and only if for every pair of different points $u\mathrm{,}v\in X$ , there is a set $\left\{u_0\mathrm{,}{u}_1\mathrm{,}\cdots \mathrm{,}{u}_r\right\}$ of points of digital image X such that $u=u_0,v=u_r$ and $u_i$ and $u_{i+1}$ are r-neighbour where $i=0,1,2,\cdots ,r-1$ .

Definition 3. [15] Let $\left(X\mathrm{,}{\rho }_0\right)\subset Z^{n_0}$ , $\left(Y\mathrm{,}{\rho }_1\right)\subset Z^{n_1}$ be digital images and $T\mathrm{<mo>\; :\; </mo>}X\to Y$ be a function, then

1) T is said to be $\left({\rho }_0\mathrm{,}{\rho }_1\right)$ -continuous, if for all ${\rho }_0$ -connected subset E of X, $f\left(E\right)$ is a ${\rho }_1$ -connected subset of Y.

2) For all ${\rho }_0$ -adjacent points $\left\{u_0\mathrm{,}{u}_1\right\}$ of X, either $T\left(u_0\right)=T\left(u_1\right)$ or $T\left(u_0\right)$ and $T\left(u_1\right)$ are a ${\rho }_1$ -adjacent in Y if and only if T is $\left({\rho }_0\mathrm{,}{\rho }_1\right)$ -continuous.

3) If T is $\left({\rho }_0\mathrm{,}{\rho }_1\right)$ -continuous, bijective and $T^{-1}$ is $\left({\rho }_0\mathrm{,}{\rho }_1\right)$ -continuous, then T is called $\left({\rho }_0\mathrm{,}{\rho }_1\right)$ -isomorphism and denoted by $X{\cong }_{\left({\rho }_0\mathrm{,}{\rho }_1\right)}Y$ .

Definition 4. [16] A sequence $\left\{X_n\right\}$ of points of a digital metric space $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ is a Cauchy sequence if for all $\epsilon >0$ , there exists $\delta \in N$ such that for all $n,m>\delta$ , then $d\left(x_n,x_m\right)<\epsilon$ .

Definition 5. [16] A sequence $\left\{x_n\right\}$ of points of a digital metric space $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ converges to a limit $p\in X$ if for all $\epsilon >0$ , there exists $\delta \in \mathbb{N}$ such that for all $n>\delta$ , then $d\left(x_n,p\right)<\epsilon$ .

Definition 6. [16] A digital metric space $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ is a complete digital metric space if any Cauchy sequence $\left\{x_n\right\}$ of points of $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ converges to a point p of $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ .

Definition 7. [16] Let $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ be any digital metric space and $T\mathrm{<mo>\; :\; </mo>}\left(X\mathrm{,}d\mathrm{,}\rho \right)\to \left(X\mathrm{,}d\mathrm{,}\rho \right)$ be a self digital map. If there exists $\alpha \in \left(\mathrm{0,1}\right)$ such that for all $x\in X$ , $d\left(T_x\mathrm{,}{T}_y\right)\le \alpha \left(x\mathrm{,}y\right)$ then T is called a digital contraction map.

Proposition 8. [16] Every digital contraction map is digitally continuous.

Theorem 9. [16] (Banach Contraction principle) Let $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ be a complete digital metric space which has a usual Euclidean metric in $Z^n$ . Let, $T\mathrm{<mo>\; :\; </mo>}X\to X$ be a digital contraction map. Then T has a unique fixed point, i.e. there exists a unique $p\in X$ such that $T\left(p\right)=p$ .

3. Main Results

Definition 10. [17] Suppose that $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ is a complete digital metric space and $S\mathrm{,}T\mathrm{<mo>\; :\; </mo>}X\to X$ be maps defined on X. Then S and T are said to be commutative if

$S\circ T=T\circ S,\forall x\in X.$

Definition 11. [17] The self maps S and T of a digital metric space $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ are said to be weakly commutative if

$d\left(S\left(T\left(x\right)\right)\mathrm{,}T\left(S\left(x\right)\right)\right)\le \left(S\left(x\right)\mathrm{,}T\left(x\right)\right)\text{for}\text{all}x\in X\mathrm{.}$

Remark 1. [18] Every pair of commutative maps is weakly commutative but the converse is not true.

Definition 12. [19] [20] Let S and T be self maps of a digital metric space $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ and $\left\{x_n\right\}$ is a sequence in X such that

$\underset{n\to \infty }{lim}S\left(x_n\right)=\underset{n\to \infty }{lim}T\left(X_n\right)=t\text{for}\text{some}t\text{in}X\mathrm{.}$

Then

1) S and T and are said to be compatible if $\underset{n\to \infty }{lim}d\left(ST{x}_n\mathrm{,}TS{x}_n\right)=0$

2) S and T and are said to be compatible of type (A) if $\underset{n\to \infty }{\lim }d\left(ST{x}_n,TT{x}_n\right)=0$ and $\underset{n\to \infty }{\lim }d\left(TS{x}_n,SS{x}_n\right)=0$

3) S and T and are said to be compatible of type (P) if $\underset{n\to \infty }{\lim }d\left(SS{x}_n,TT{x}_n\right)=0$

4) $\bar{O}$ -compatible if for any sequence $\left\{x_n\right\}\subset X$ with $S{x}_n\uparrow t$ and $T{x}_n\uparrow t$ (for some $t\in X$ ) implies $\underset{n\to \infty }{\lim }d\left(ST{x}_n,TS{x}_n\right)=0$ ,

5) $\underset{\_}{O}$ -compatible if for any sequence $\left\{x_n\right\}\subset X$ with $S{x}_n\downarrow t$ and $T{x}_n\downarrow t$ (for some $t\in X$ ) implies $\underset{n\to \infty }{\lim }d\left(ST{x}_n,TS{x}_n\right)=0$ ,

6) O-compatible if for any sequence $\left\{x_n\right\}\subset X$ with $S{x}_n\downarrow t$ and $T{x}_n\uparrow t$ (for some $t\in X$ ) implies $\underset{n\to \infty }{\lim }d\left(ST{x}_n,TS{x}_n\right)=0$ .

7) weakly compatible if $S\left(Tx\right)=T\left(Sx\right)$ , $\forall x\in X$ .

Remark 2. [19] [20] In a digital metric space, compatibility Þ O-compatibility Þ $\bar{O}$ -compatibility (as well as $\underset{\_}{O}$ -compatibility) Þ weak compatibility.

Definition 13. [19] [20] An ordered metric space $\left(X\mathrm{,}d\right)$ is called O-complete (resp. $\bar{O}$ -complete, $\underset{\_}{O}$ -complete) if every Cauchy sequence converges in X.

Remark 3. In a digital metric space, completeness Þ O-completeness Þ $\bar{O}$ -completeness (as well as $\underset{\_}{O}$ -completeness).

Remark 4. Every pair of weakly commuting maps is compatible but the converse is not true.

Definition 14. [19] [20] Let $\left(T\mathrm{,}S\right)$ be a pair of self-mappings on a metric space $\left(X\mathrm{,}d\right)$ and $x\in X$ . We say that T is S-continuous at x if for any sequence $\left\{x_n\right\}\subset X$ , $S{x}_n\stackrel{d}{\to }Sx\Rightarrow T{x}_n\stackrel{d}{\to }Tx$ . Moreover, T is called S-continuous if it is S-continuous at every point of X.

Notice that, on setting $S=IX$ , Definition 14 reduces to the usual definition of continuity.

Definition 15. [20] Let $\left(T\mathrm{,}S\right)$ be a pair of self-mappings on a metric space $\left(X\mathrm{,}d\right)$ and $x\in X$ . Then T is called $\left(S\mathrm{,}O\right)$ -continuous (resp. $\left(S\mathrm{,}\bar{O}\right)$ -continuous, $\left(S\mathrm{,}\underset{\_}{O}\right)$ -continuous) at x if $T{x}_n\stackrel{d}{\to }Tx$ , for every sequence $\left\{x_n\right\}\subset X$ with $S{x}_n\uparrow Sx$ (resp. $S{x}_n\downarrow Sx\mathrm{,}S{x}_n\uparrow \downarrow Sx$ ). Moreover, T is called $\left(S\mathrm{,}O\right)$ -continuous (resp. $\left(S\mathrm{,}\bar{O}\right)$ -continuous, $\left(S\mathrm{,}\underset{\_}{O}\right)$ -continuous) if it is $\left(S\mathrm{,}O\right)$ -continuous (resp. $\left(S\mathrm{,}\bar{O}\right)$ -continuous, $\left(S\mathrm{,}\underset{\_}{O}\right)$ -continuous) at every point of $x\in X$ .

Notice that, on setting $S=IX$ , Definition 15 reduces to the usual definition of O-continuity (resp. $\bar{O}$ -continuity, $\underset{\_}{O}$ -continuity) of a self-mapping (T on X).

Remark 5. In digital metric space, S-continuity Þ $\left(S\mathrm{,}O\right)$ -continuity Þ $\left(S\mathrm{,}\bar{O}\right)$ -continuity (as well as $\left(S\mathrm{,}\underset{\_}{O}\right)$ -continuity).

Proposition 16. Let S and T be compatible maps of type (A) on a digital metric space $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ . If one of S and T is continuous, then S and T are compatible.

Proof. Since S and T are compatible maps of type (A), so $\underset{n\to \infty }{\lim }d\left(ST{x}_n,TT{x}_n\right)=0$ and $\underset{n\to \infty }{\lim }d\left(TS{x}_n,SS{x}_n\right)=0$ , whenever $\left\{x_n\right\}$ is a sequence in X such that

$\underset{n\to \infty }{\lim }S{x}_n=\underset{n\to \infty }{\lim }T{x}_n=t\text{for}\text{some}t\text{in}X.$

Let S is continuous, then

$\underset{n\to \infty }{lim}ST{x}_n\to St\text{and}\underset{n\to \infty }{lim}SS{x}_n\to St$

and hence

$d\left(ST{x}_n\mathrm{,}TS{x}_n\right)\le d\left(ST{x}_n\mathrm{,}SS{x}_n\right)+d\left(SS{x}_n\mathrm{,}TS{x}_n\right)\mathrm{.}$

Letting $n\to \infty$ , we have $\underset{n\to \infty }{\lim }d\left(ST{x}_n,TS{x}_n\right)=0$ implies S and T are compatible.

Proposition 17. Let S and T be compatible maps on a digital metric space $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ into itself. Suppose that

$\underset{n\to \infty }{lim}S{x}_n=\underset{n\to \infty }{lim}T{x}_n=t\text{for}\text{some}t\in X\mathrm{.}$

Then

1) $\underset{n\to \infty }{\lim }ST{x}_n=Tt$ if T is continuous at t.

2) $\underset{n\to \infty }{\lim }TS{x}_n=St$ if S is continuous at t.

Proof.

1) Suppose that T is continuous at t. Since $\underset{n\to \infty }{\lim }S{x}_n=\underset{n\to \infty }{\lim }T{x}_n=t$ for some $t\in X$ , we have

$\underset{n\to \infty }{\lim }TS{x}_n=Tt.$

Since S and T are compatible maps, we have

$d\left(ST{x}_n\mathrm{,}Tt\right)\le d\left(ST{x}_n\mathrm{,}TS{x}_n\right)+d\left(TS{x}_n\mathrm{,}Tt\right)\to 0$

as $n\to \infty$ and hence the proof.

2) The proof of $\underset{n\to \infty }{\lim }TS{x}_n=St$ follows by similar arguments as in (a).

Proposition 18. Let S and T be compatible maps on a digital metric space $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ into itself. If $St=Tt$ for some $t\in X$ , then

$STt=TSt=SSt=TTt.$

4. Implicit relation and related Concepts

In recent years, Popa [21] have used implicit functions rather than contraction conditions to prove fixed point theorems in metric spaces whose strength lie in their unifying power, as an implicit function can cover several contraction conditions at the same time, which include known as well as some unknown contraction conditions. This fact is evident from examples furnished in Popa [21] . In this section, in order to prove our results, we define a set of suitable implicit functions involving six real non-negative arguments that was given in [22] .

In the literature, there are several types of implicit contraction mappings where many nice consequences of fixed point theorems could be derived. First, denote $\Phi$ the set of functions $\varphi \mathrm{<mo>\; :\; </mo>}\left[\mathrm{0,}\infty \right)\to \left[\mathrm{0,}\infty \right)$ satisfying:

1) $\varphi$ is nondecreasing,

2) ${\displaystyle {\sum }_{n=0}^{\infty }}{\varphi }^n<\infty$ for each $t\in \left[\mathrm{0,}\infty \right)$ , where ${\varphi }^n$ is the nth iterate of $\varphi$ .

Remark 6. It is easy to see that if $\varphi \in \Phi$ , then $\varphi \left(0\right)=0$ and $\varphi \left(t\right)<t,$ . $\forall t>0$

Definition 19. [22] Let $R^{+}$ denote the set of non-negative real numbers and let $\Gamma$ be the set of all continuous functions $\Gamma \mathrm{<mo>\; :\; </mo>}{R}^6\to R$ satisfying the following conditions:

1) For each $u\mathrm{,}v\ge 0$ , $T\left(u\mathrm{,}v\mathrm{,}u\mathrm{,}v\mathrm{,}u+v\mathrm{,0}\right)\le 0\Rightarrow u\le \varphi \left(v\right)$ .

2) $T\left(u,0,0,u,u,0\right)>0$ or $T\left(u,v,0,0,v,u\right)>0$ .

Example 20. $T\left(t_1,t_2,t_3,t_4,t_5,t_6\right)=t_1-\alpha \max \left\{t_2,t_3,t_4\right\}-\left(1-\alpha \right)\left[a{t}_5+b{t}_6\right]$ where $0\le \alpha \le 1,0\le a<\frac{1}{2},0\le b<\frac{1}{2}$ .

Example 21. $T\left(t_1,t_2,t_3,t_4,t_5,t_6\right)=t_1-k\max \left\{t_2,t_3,t_4,\frac{1}{2}\left[a{t}_5+b{t}_6\right]\right\}$ , where $k\in \left(\mathrm{0,1}\right)$ .

Example 22. $T\left(t_1\mathrm{,}{t}_2\mathrm{,}{t}_3\mathrm{,}{t}_4\mathrm{,}{t}_5\mathrm{,}{t}_6\right)=t_1-\varphi max\left\{t_2\mathrm{,}{t}_3\mathrm{,}{t}_4\mathrm{,}\frac{1}{2}\left[a{t}_5+b{t}_6\right]\right\}$ , where $\varphi \mathrm{<mo>\; :\; </mo>}{R}^{+}\to R^{+}$ is right continuous and $\varphi \left(0\right)=0$ and $\varphi \left(t\right)<t$ , $\forall t>0$ .

Theorem 23. Let $A\mathrm{,}B\mathrm{,}S$ and T be four self-mappings of a complete digital metric space $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ satisfying the following conditions:

a) $S\left(X\right)\subset B\left(X\right)$ and $T\left(X\right)\subset A\left(X\right)$ ;

b) the pairs $\left(A\mathrm{,}S\right)$ and $\left(B\mathrm{,}T\right)$ are compatible;

c) one of $S\mathrm{,}T\mathrm{,}A$ and B is continuous;

d) $F\left(d\left(Ax\mathrm{,}By\right)\mathrm{,}d\left(Sx\mathrm{,}Ty\right)\mathrm{,}d\left(Ax\mathrm{,}Sx\right)\mathrm{,}d\left(By\mathrm{,}Ty\right)\mathrm{,}d\left(Ax\mathrm{,}Ty\right)\mathrm{,}d\left(By\mathrm{,}Sx\right)\right)$ , $\forall x\mathrm{,}y\in X$ .

Then $A\mathrm{,}B\mathrm{,}S$ and T have a unique common fixed point in X.

Proof. Since $S\left(X\right)\subset B\left(X\right)$ , we can consider a point $x_0\in X$ , there exists $x_1\in X$ such that

$S{x}_0=B{x}_1=y_0.$

Also, for this point $x_1$ ,there exists $x_2\in X$ such that

$T{x}_1=A{x}_2=y_1.$

Continuing in this way, we can construct a sequence $\left\{y_n\right\}$ in X such that

$y_{2n}=S{x}_{2n}=B{x}_{2n+1},y_{2n+1}=T{x}_{2n+1}=A{x}_{2n+2}\text{for}\text{each}n\ge 0.$

Now, we have to show that $\left\{y_n\right\}$ is Cauchy sequence in $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ . Using condition (d), we have

$\begin{array}{l}F(d\left(A{x}_{2n}\mathrm{,}B{x}_{2n+1}\right)\mathrm{,}d\left(S{x}_{2n}\mathrm{,}T{x}_{2n+1}\right)\mathrm{,}d\left(A{x}_{2n}\mathrm{,}S{x}_{2n}\right)\mathrm{,}\\ d\left(B{x}_{2n+1}\mathrm{,}T{x}_{2n+1}\right)\mathrm{,}d\left(A{x}_{2n}\mathrm{,}T{x}_{2n+1}\right)\mathrm{,}d\left(B{x}_{2n+1}\mathrm{,}S{x}_{2n}\right))\le 0\end{array}$

$\begin{array}{l}\text{i}\text{.e}F(d\left(y_{2n-1}\mathrm{,}{y}_{2n}\right)\mathrm{,}d\left(y_{2n}\mathrm{,}{y}_{2n+1}\right)\mathrm{,}d\left(y_{2n-1}\mathrm{,}{y}_{2n}\right)\mathrm{,}\\ d\left(y_{2n}\mathrm{,}{y}_{2n+1}\right)\mathrm{,}d\left(x_{2n-1}\mathrm{,}{y}_{2n+1}\right)\mathrm{,}d\left(y_{2n}\mathrm{,}{y}_{2n}\right))\le \mathrm{0,}\end{array}$

which is,

$\begin{array}{l}F(d\left(y_{2n-1}\mathrm{,}{y}_{2n}\right)\mathrm{,}d\left(y_{2n}\mathrm{,}{y}_{2n+1}\right)\mathrm{,}d\left(y_{2n-1}\mathrm{,}{y}_{2n}\right)\mathrm{,}\\ d\left(y_{2n}\mathrm{,}{y}_{2n+1}\right)\mathrm{,}d\left(y_{2n-1}\mathrm{,}{y}_{2n}\right)\mathrm{,}d\left(y_{2n}\mathrm{,}{y}_{2n+1}\right)\mathrm{,0})\le \mathrm{0,}\end{array}$

implies that

$d\left(y_{2n},y_{2n+1}\right)\le \varphi \left(d\left(y_{2n-1},y_{2n}\right)\right)<d\left(y_{2n-1},y_{2n}\right).$

Therefore, the sequence $\left\{d\left(y_{2n}\mathrm{,}{y}_{2n+1}\right)\right\}$ is strictly decreasing. Then there exists $r\ge 0$ such that

$\underset{n\to \infty }{lim}d\left(y_{2n}\mathrm{,}{y}_{2n+1}\right)=r\mathrm{.}$

Suppose that $r>0$ , then, letting $n\to \infty$ in above equation, $r\le \varphi \left(r\right)<r$ , which is imposible. Hence $r=0$ , that is,

$\underset{n\to \infty }{lim}d\left(y_{2n}\mathrm{,}{y}_{2n+1}\right)=0.$

By the completeness of X, there exists $z\in X$ such that $y_n\to \infty$ as $n\to \infty$ . Consequently, the subsequences $S{x}_{2n}\mathrm{,}A{x}_{2n}\mathrm{,}T{x}_{2n+1}$ and $B{x}_{2n+1}$ of $\left\{y_n\right\}$ also converge to a point $z\in X$ . Now, suppose that A is continuous.Then $\left\{AA{x}_{2n}\right\}$ and $\left\{AS{x}_{2n}\right\}$ converge to $Az$ as $n\to \infty$ . Since the mappings A and S are compatible on X, it follows from Proposition 17 that $\left\{SA{x}_{2n}\right\}$ converge to $Az$ as $n\to \infty$ .

Now, we claim that $Az=z$ . Consider,

$\begin{array}{l}F(d\left(AA{x}_{2n}\mathrm{,}B{x}_{2n+1}\right)\mathrm{,}d\left(SA{x}_{2n}\mathrm{,}T{x}_{2n+1}\right)\mathrm{,}d\left(AA{x}_{2n}\mathrm{,}SA{x}_{2n}\right)\mathrm{,}\\ d\left(B{x}_{2n+1}\mathrm{,}T{x}_{2n+1}\right)\mathrm{,}d\left(AA{x}_{2n}\mathrm{,}T{x}_{2n+1}\right)\mathrm{,}d\left(B{x}_{2n+1}\mathrm{,}SA{x}_{2n}\right))\le 0.\end{array}$

Letting $n\to \infty$ we have

$\begin{array}{l}F\left(d\left(Az\mathrm{,}z\right)\mathrm{,}d\left(Az\mathrm{,}z\right)\mathrm{,}d\left(Az\mathrm{,}Az\right)\mathrm{,}d\left(z\mathrm{,}z\right)\mathrm{,}d\left(Az\mathrm{,}z\right)\mathrm{,}d\left(z\mathrm{,}Az\right)\right)\le 0\\ \Rightarrow F\left(d\left(Az\mathrm{,}z\right)\mathrm{,}d\left(Az\mathrm{,}z\right)\mathrm{,0,0,}d\left(Az\mathrm{,}z\right)\mathrm{,}d\left(z\mathrm{,}Az\right)\right)\le \mathrm{0,}\end{array}$

yields $Az=z$ . Again, from (d), we obtain

$\begin{array}{l}F(d\left(Az\mathrm{,}B{x}_{2n+1}\right)\mathrm{,}d\left(Sz\mathrm{,}T{x}_{2n+1}\right)\mathrm{,}d\left(Az\mathrm{,}Sz\right)\mathrm{,}\\ d\left(B{x}_{2n+1}\mathrm{,}T{x}_{2n+1}\right)\mathrm{,}d\left(Az\mathrm{,}T{x}_{2n+1}\right)\mathrm{,}d\left(B{x}_{2n+1}\mathrm{,}Sz\right))\le 0.\end{array}$

Letting $n\to \infty$ we get

$\begin{array}{l}F\left(d\left(z\mathrm{,}z\right)\mathrm{,}d\left(Sz\mathrm{,}z\right)\mathrm{,}d\left(z\mathrm{,}Sz\right)\mathrm{,}d\left(z\mathrm{,}z\right)\mathrm{,}d\left(z\mathrm{,}z\right)\mathrm{,}d\left(z\mathrm{,}Sz\right)\right)\le 0\\ =F\left(\mathrm{0,}d\left(Sz\mathrm{,}z\right)\mathrm{,}d\left(z\mathrm{,}Sz\right)\mathrm{,0,0,}d\left(z\mathrm{,}Sz\right)\right)\le 0\Rightarrow Sz=z\mathrm{.}\end{array}$

Since $S\left(X\right)\subset B\left(X\right)$ , there exists $u\in X$ such that

$z=Az=Sz=Bu.$

By using (d), we can obtain

$\begin{array}{l}F\left(d\left(Az\mathrm{,}Bu\right)\mathrm{,}d\left(Sz\mathrm{,}Tu\right)\mathrm{,}d\left(Az\mathrm{,}Sz\right)\mathrm{,}d\left(Bu\mathrm{,}Tu\right)\mathrm{,}d\left(Az\mathrm{,}Tu\right)\mathrm{,}d\left(Bu\mathrm{,}Sz\right)\right)\le 0\\ =F\left(d\left(z\mathrm{,}z\right)\mathrm{<mo\; stretchy="false">\; )\; </mo>,}d\left(z\mathrm{,}Tu\right)\mathrm{,}d\left(z\mathrm{,}z\right)\mathrm{,}d\left(z\mathrm{,}Tu\right)\mathrm{,}d\left(z\mathrm{,}Tu\right)\mathrm{,}d\left(z\mathrm{,}z\right)\right)\le 0.\\ =F\left(\mathrm{0,}d\left(z\mathrm{,}Tu\right)\mathrm{,0,}d\left(z\mathrm{,}Tu\right)\mathrm{,}d\left(z\mathrm{,}Tu\right)\mathrm{,0}\right)\le 0\Rightarrow z=Tu\mathrm{.}\end{array}$

As B and T are compatible on X and $z=Tu=Bu$ , by Proposition 18, we have $TBu=BTu$ and hence $Bz=TBu=BTu=Tz$ . Also, we have

$\begin{array}{l}F\left(d\left(Az\mathrm{,}Bz\right)\mathrm{,}d\left(Sz\mathrm{,}Tz\right)\mathrm{,}d\left(Az\mathrm{,}Sz\right)\mathrm{,}d\left(Bz\mathrm{,}Tz\right)\mathrm{,}d\left(Az\mathrm{,}Tz\right)\mathrm{,}d\left(Bz\mathrm{,}Sz\right)\right)\le 0.\\ \Rightarrow F\left(0,d\left(z,Tz\right),0,0,d\left(z,Tz\right),d\left(Tz,z\right)\right)\le 0\Rightarrow z=Tz.\end{array}$

Thus $z=Tz=Bz$ and so z is a common fixed point of $A\mathrm{,}B\mathrm{,}S$ and T. Similarly, we can use above assertion in case of continuity of B or S or T and uniqueness of the common fixed point follows directly from the condition (d) and hence the proof follows.

Theorem 24. Let $A\mathrm{,}B\mathrm{,}S$ and T be four self-mappings of a complete digital metric space $\left(X\mathrm{,}d\mathrm{,}\rho \right)$ satisfying the conditions (a), (c) and (d). If the pairs $\left(A\mathrm{,}S\right)$ and $\left(B\mathrm{,}T\right)$ are compatible of type (A) or of type (P) then $A\mathrm{,}B\mathrm{,}S$ and T have a unique common fixed point in X.

Proof. Theorem is direct consequence of Proposition 16 and Theorem 23. ☐

Example 25. Let $X=\left[1,\infty \right)$ with usual metric and $A\mathrm{,}B\mathrm{,}S\mathrm{,}T\mathrm{<mo>\; :\; </mo>}X\to X$ be self mappings such that

$T\left(x\right)=\{\begin{array}{l}2x-1,x\le 2\\ 3,x>2\end{array},A\left(x\right)=\{\begin{array}{l}3x-2,x\le 2\\ x,x>2\end{array}$ (1)

$B\left(x\right)=\{\begin{array}{l}x,x\le 2\\ x+1,x>2\end{array},S\left(x\right)=1.$ (2)

Then we see that $S\left(X\right)\subset B\left(X\right)$ and $T\left(X\right)\subset A\left(X\right)$ and if we consider a sequence $\langle x_n\rangle =1+\frac{1}{n}$ , then

$\underset{n\to \infty }{lim}d\left(AS{x}_n\mathrm{,}SA{x}_n\right)=0\text{and}\underset{n\to \infty }{lim}d\left(BT{x}_n\mathrm{,}TB{x}_n\right)=0$

implies that the pairs $\left(A\mathrm{,}S\right)$ and $\left(B\mathrm{,}T\right)$ are compatible and S is continuous. Also the condition (d) holds. Hence all the conditions of Theorem 23 are satisfied and $x=1$ is common fixed point of the mappings.

5. Applications of Common Fixed Point Theorems in Digital Metric Space

In this section, we give an application of digital contractions to solve the problem related to image compression. The aim of image compression is to reduce redundant image information in the digital image. When we store an image we may come across certain type of problems like either memory data is usually too large or stored image has not more information than original image. Also, the quality of compressed image can be poor. For this reason, we must pay attention to compress a digital image. Fixed point theorem can be used for image compression of a digital image.

6. Conclusions

The purpose of this paper is four fold which can be described as follows.

1) We slightly modify the implicit relation of Popa so that contraction conditions obtained involving functional inequalities.

2) Proved some common fixed point theorems by using modified implicit relation, compatibility and its variants in the setting of digital-metric spaces.

3) Generalized the Theorem 1 and many others too existing in literature, derived related results and furnished illustrative examples.

4) Our results generate scope for other researchers to prove the results by utilizing other contractions, weak compatibility, control function and admissible maps in a digital framework.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Rosenfeld, A. (1979) Digital Topology. The American Mathematical Monthly, 86, 621-630. https://doi.org/10.2307/2321290
[2]	Boxer, L. (2005) Properties of Digital Homotopy. Journal of Mathematical Imaging and Vision, 22, 19-26. https://doi.org/10.1007/s10851-005-4780-y
[3]	Boxer, L. (2010) Continuous Maps on Digital Simple Closed Curves. Applied Mathematics, 1, 377-386. https://doi.org/10.4236/am.2010.15050
[4]	Ege, O. and Karaca, I. (2013) Lefschetz Fixed Point Theorem for Digital Images. Fixed Point Theory and Applications, 2013, 13 pages.
[5]	Ege, O. and Karaca, I. (2014) Applications of The Lefschetz Number to Digital Images. Bulletin of the Belgian Mathematical Society—Simon Stevin, 21, 823-839.
[6]	Jungck, G. (1976) Commuting Mappings and Fixed Point. The American Mathematical Monthly, 83, 261-263. https://doi.org/10.2307/2318216
[7]	Jungck, G. (1986) Compatible Mappings and Common Fixed Points. International Journal of Mathematics and Mathematical Sciences, 9, 771-779. https://doi.org/10.1155/S0161171286000935
[8]	Jungck, G. (1996) Common Fixed Points for Noncontinuous Nonself Maps on Nonmetric Spaces. Far East Journal of Mathematical Sciences, 4, 199-215.
[9]	Sessa, S. and Fisher, B. (1986) On Common Fixed Points of Weakly Commuting Mappings and Set-Valued Mappings. International Journal of Mathematics and Mathematical Sciences, 9, 323-329. https://doi.org/10.1155/S0161171286000406
[10]	Das, K.M. and Naik, K.V. (1979) Common Fixed-Point Theorems for Commuting Maps on a Metric Space. Proceedings of the American Mathematical Society, 77, 369-373.
[11]	Sumitra (2013) Coupled Fixed Point Theorems for Compatible Maps and Its Variants in Fuzzy Metric Spaces. Jordan Journal of Mathematics and Statistics (JJMS), 6, 141-155.
[12]	Sumitra (2012) Coupled Fixed Point Theorem for Weakly Compatible Mappings in Intuitionistic Fuzzy Metric Spaces. International Journal of Computer Applications (0975-8887), 50.
[13]	Zikic-Dosenovic, T. (2009) A Common Fixed Point Theorem for Compatible Mappings in Fuzzy Metric Spaces Using Implicit Relation. Acta Mathematica Hungarica, 125, 357-368. https://doi.org/10.1007/s10474-009-9029-6
[14]	He, X., Song, M. and Chen, D. (2014) Common Fixed Points for Weak Commutative Mappings on a Multiplicative Metric Space. Fixed Point Theory and Applications, 2014, 48. https://doi.org/10.1186/1687-1812-2014-48
[15]	Boxer, L. (1991) A Classical Constructions for the Digital Fundamental Group. Journal of Mathematical Imaging and Vision, 10, 51-62. https://doi.org/10.1023/A:1008370600456
[16]	Ege, O. and Karaca, I. (2015) Banach Fixed Point Theorem for Digital Images. Journal of Nonlinear Sciences and Applications, 8, 237-245. https://doi.org/10.22436/jnsa.008.03.08
[17]	Jain, D. and Upadhaya, A.C. (1982) Weakly Commuting Mappings in Digital Metric Spaces. International Advanced Research Journal in Science, Engineering and Technology, 4, 771-831.
[18]	Rani, A., Jyoti, K. and Rani, A. (2016) Common Fixed Point Theorems in Digital Metric Spaces. International Journal of Scientific & Engineering Research, 7.
[19]	Alam, A., Khan, Q.H. and Imdad, M. (2015) Enriching Some Recent Coincidence Theorems for Nonlinear Contractions in Ordered Metric Spaces. Fixed Point Theory and Applications, 2015, 141.
[20]	Alam, A. and Imdad, M. (2015) Comparable Linear Contractions in Ordered Metric Spaces. https://arxiv.org/abs/1507.08987
[21]	Popa, V.A. (1978) Fixed Point Theorem for Mapping in D-Complete Topological Spaces. Mathematica Moravica, 3, 43-48.
[22]	Altun, I and Simsek, H. (2010) Some Fixed Point Theorems on Ordered Metric Spaces and Application. Fixed Point Theory and Applications, 2010, Article ID: 621492.