Fixed Point Results of Contractive Mappings by Altering Distances and C-Class Functions in b-Dislocated Metric Spaces

Show more

1. Introduction

The study of metric fixed point theory in dislocated metric spaces was considered by P. Hitzler and A. K. Seda in [1] who introduced this metric as a generalization of usual metric, and generalized the Banach contraction principle on this space. Since then a lot of papers have been written on this topic treating the problem of existence and uniqueness of fixed points for mappings satisfying different contractive conditions, see [2] - [14] . N. Hussain et al. in [15] introduced the b-dislocated metric spaces associated with some topological aspects and properties. These spaces can be seen as generalizations of dislocated metric spaces and also as generalization of b-metric space introduced by Bakhtin in [16] and extensively used by Czerwik in [8] . Recently, there are many papers on existence and uniqueness of fixed point and common fixed point for one, two or more mappings under different types of contractive conditions in the setting of dislocated spaces and b-dislocated metric spaces.

Since altering distance functions were introduced by Khan et al. in [17] , the study of the existence of fixed points of contractive maps in metric spaces and generalized metric spaces has a lot of interest for many authors which are based on this category of functions (see [17] - [23] ). In September 2014, a class of functions called as C-class is presented by A. H. Ansari, see in [24] [25] and is important, see example 2.15.

The present paper is organized in two sections. Using concepts mentioned above, in the first section, we develop some coincidence and common fixed point theorems (existence and uniqueness) for two pairs of weakly compatible mappings in the framework of ${b}_{d}$ -dislocated metric space, using weak generalized $f-\left(\psi ,\varphi ,s\right)$ contractive conditions. In the second section, we prove common fixed point theorems for a pair of mappings using generalized $f-\left(\psi ,\varphi ,s\right)$ contractive condition and the concept of T-contractions. The related results generalize and improve various theorems in recent literature.

2. Preliminaries

Consistent with [1] and [15] , the following definitions, notations, basic lemma and remarks will be needed in the sequel.

Definition 2.1 [1] Let X be a nonempty set and a mapping ${d}_{l}:X\times X\to \left[0,\infty \right)$ is called a dislocated metric (or simply ${d}_{l}$ -metric) if the following conditions hold for any $x,y,z\in X$ :

1) If ${d}_{l}\left(x,y\right)=0$ , then $x=y$

2) ${d}_{l}\left(x,y\right)={d}_{l}\left(y,x\right)$

3) ${d}_{l}\left(x,y\right)\le {d}_{l}\left(x,z\right)+{d}_{l}\left(z,y\right)$

The pair $\left(X,{d}_{l}\right)$ is called a dislocated metric space (or d-metric space for short). Note that for $x=y$ , ${d}_{l}\left(x,y\right)$ may not be 0.

Definition 2.2 [15] Let X be a nonempty set and a mapping ${b}_{d}:X\times X\to \left[0,\infty \right)$ is called a b-dislocated metric (or simply ${b}_{d}$ -dislocated metric) if the following conditions hold for any $x,y,z\in X$ and $s\ge 1$ :

1) If ${b}_{d}\left(x,y\right)=0$ , then $x=y$

2) ${b}_{d}\left(x,y\right)={b}_{d}\left(y,x\right)$

3) ${b}_{d}\left(x,y\right)\le s\left[{b}_{d}\left(x,z\right)+{b}_{d}\left(z,y\right)\right]$

The pair $\left(X,{b}_{d}\right)$ is called a b-dislocated metric space. And the class of b-dislocated metric space is larger than that of dislocated metric spaces, since a b-dislocated metric is a dislocated metric when $s=1$ .

Example 2.3 If $X=R$ , then ${d}_{l}\left(x,y\right)=\left|x\right|+\left|y\right|$ defines a dislocated metric on X.

Definition 2.4 [1] A sequence $\left({x}_{n}\right)$ in ${d}_{l}$ -metric space $\left(X,{d}_{l}\right)$ is called:

1) a Cauchy sequence if, for given $\epsilon >0$ , there exists ${n}_{0}\in N$ such that for all $m,n\ge {n}_{0}$ , we have or $\underset{n,m\to \infty}{\mathrm{lim}}{d}_{l}\left({x}_{n},{x}_{m}\right)=0$ ;

2) convergent with respect to ${d}_{l}$ if there exists $x\in X$ such that ${d}_{l}\left({x}_{n},x\right)\to 0$ as $n\to \infty $ . In this case, x is called the limit of $\left({x}_{n}\right)$ and we write ${x}_{n}\to x$ .

A ${d}_{l}$ -metric space X is called complete if every Cauchy sequence in X converges to a point in X.

In [15] , it was shown that each ${b}_{d}$ -metric on X generates a topology ${\tau}_{{b}_{d}}$ whose base is the family of open ${b}_{d}$ -balls ${B}_{{b}_{d}}\left(x,\epsilon \right)=\left\{y\in X:{b}_{d}\left(x,y\right)<\epsilon \right\}$ .

Also in [15] , there are presented some topological properties of ${b}_{d}$ -metric spaces.

Definition 2.5 [15] Let $\left(X,{b}_{d}\right)$ be a ${b}_{d}$ -metric space, and $\left\{{x}_{n}\right\}$ be a sequence of points in X. A point $x\in X$ is said to be the limit of the sequence $\left\{{x}_{n}\right\}$ if $\underset{n\to \infty}{\mathrm{lim}}{b}_{d}\left({x}_{n},x\right)=0$ and we say that the sequence $\left\{{x}_{n}\right\}$ is ${b}_{d}$ -convergent to x and denote it by ${x}_{n}\to x$ as $n\to \infty $ .

The limit of a ${b}_{d}$ -convergent sequence in a ${b}_{d}$ -metric space is unique ( [15] , Proposition 1.27).

Definition 2.6 [15] A sequence $\left\{{x}_{n}\right\}$ in a ${b}_{d}$ -metric space $\left(X,{b}_{d}\right)$ is called a ${b}_{d}$ -Cauchy sequence if, given $\epsilon >0$ , there exists ${n}_{0}\in N$ such that for all $n,m>{n}_{0}$ , we have ${b}_{d}\left({x}_{n},{x}_{m}\right)<\epsilon $ or $\underset{n,m\to \infty}{\mathrm{lim}}{b}_{d}\left({x}_{n},{x}_{m}\right)=0$ . Every ${b}_{d}$ -convergent sequence in a ${b}_{d}$ -metric space is a ${b}_{d}$ -Cauchy sequence.

Remark 2.7 The sequence $\left\{{x}_{n}\right\}$ in a ${b}_{d}$ -metric space $\left(X,{b}_{d}\right)$ is called a ${b}_{d}$ -Cauchy sequence if $\underset{n,m\to \infty}{\mathrm{lim}}{b}_{d}\left({x}_{n},{x}_{n+p}\right)=0$ for all $p\in {N}^{\ast}$ .

Definition 2.8 [15] A ${b}_{d}$ -metric space $\left(X,{b}_{d}\right)$ is called complete if every ${b}_{d}$ -Cauchy sequence in X is ${b}_{d}$ -convergent.

Example 2.9 If $X={R}^{+}\cup \left\{0\right\}$ , then ${b}_{d}\left(x,y\right)={\left(x+y\right)}^{2}$ defines a b-dislocated metric on X with parameter $s=2$ .

Example 2.10 Let $X={R}^{+}\cup \left\{0\right\}$ and any constant $\alpha >0$ . Define function ${d}_{l}:X\times X\to {R}^{+}$ by ${d}_{l}\left(x,y\right)=\alpha \left(x+y\right)$ . Then, the pair $\left(X,{d}_{l}\right)$ is a dislocated metric space.

If $Fx=Sx$ for some $x\in X$ , then x is called the coincidence point of F and S. Furthermore, if the mappings commute at each coincidence point, then such mappings are called weakly compatible [4] .

Definition 2.11 [17] The altering distances functions $\psi $ and $\phi $ are defined as

$\Psi =\left\{\psi :\left[0,\infty \right)\to \left[0,\infty \right)/\psi \text{\hspace{0.17em}}\text{is}\text{\hspace{0.17em}}\text{continuous},\text{nondecreasing},\text{and}\text{\hspace{0.17em}}\psi \left(t\right)=0\text{\hspace{0.17em}}\text{if}\text{\hspace{0.17em}}t=0\right\}$

$\Phi =\left\{\varphi :\left[0,\infty \right)\to \left[0,\infty \right)/\text{\hspace{0.17em}}\varphi \text{\hspace{0.17em}}\text{is}\text{\hspace{0.17em}}\text{lower}\text{\hspace{0.17em}}\text{semicontinuous},\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\varphi \left(t\right)=0\text{\hspace{0.17em}}\text{if}\text{\hspace{0.17em}}t=0\right\}$

The following lemmas are used to prove our results.

Lemma 2.12 Let $\left(X,{b}_{d}\right)$ be a b-dislocated metric space with parameter $s\ge 1$ . Then

1) If ${b}_{d}\left(x,y\right)=0$ then ${b}_{d}\left(x,x\right)={b}_{d}\left(y,y\right)=0$ ;

2) If $\left({x}_{n}\right)$ is a sequence such that $\underset{n\to \infty}{\mathrm{lim}}{b}_{d}\left({x}_{n},{x}_{n+1}\right)=0$ , then we have

$\underset{n\to \infty}{\mathrm{lim}}{b}_{d}\left({x}_{n},{x}_{n}\right)=\underset{n\to \infty}{\mathrm{lim}}{b}_{d}\left({x}_{n+1},{x}_{n+1}\right)=0$ ;

3) If $x\ne y$ , then ${b}_{d}\left(x,y\right)>0$ ;

Proof. It is clear.

Lemma 2.13 [15] Let $\left(X,{b}_{d}\right)$ be a b-dislocated metric space with parameter $s\ge 1$ . Suppose that $\left\{{x}_{n}\right\}$ and $\left\{{y}_{n}\right\}$ are ${b}_{d}$ -convergent to $x,y\in X$ , respectively. Then we have

$\frac{1}{{s}^{2}}{b}_{d}\left(x,y\right)\le \underset{n\to \infty}{\mathrm{lim}}\mathrm{inf}{b}_{d}\left({x}_{n},{y}_{n}\right)\le \underset{n\to \infty}{\mathrm{lim}}\mathrm{sup}{b}_{d}\left({x}_{n},{y}_{n}\right)\le {s}^{2}{b}_{d}\left(x,y\right)$

In particular, if ${b}_{d}\left(x,y\right)=0$ , then we have $\underset{n\to \infty}{\mathrm{lim}}{b}_{d}\left({x}_{n},{y}_{n}\right)=0={b}_{d}\left(x,y\right)$ . Moreover, for each $z\in X$ , we have

$\frac{1}{s}{b}_{d}\left(x,z\right)\le \underset{n\to \infty}{\mathrm{lim}}\mathrm{inf}{b}_{d}\left({x}_{n},z\right)\le \underset{n\to \infty}{\mathrm{lim}}\mathrm{sup}{b}_{d}\left({x}_{n},z\right)\le s{b}_{d}\left(x,z\right)$

In particular, if ${b}_{d}\left(x,z\right)=0$ , then we have $\underset{n\to \infty}{\mathrm{lim}}{b}_{d}\left({x}_{n},z\right)=0={b}_{d}\left(x,z\right)$ .

Definition 2.14. [24] [25] We say that a function $f:{\left[0,\infty \right)}^{2}\to R$ is called a C-class function if it is continuous and satisfies the following properties.

$\begin{array}{l}1)\text{\hspace{0.17em}}f\left(s,t\right)\le s\\ 2)\text{\hspace{0.17em}}f\left(s,t\right)=s\text{}\Rightarrow \text{}s=0\text{\hspace{0.17em}}\text{or}\text{\hspace{0.17em}}t=0\text{\hspace{0.17em}}\text{for}\text{\hspace{0.17em}}\text{all}\text{\hspace{0.17em}}s,t\in \left[0,\infty \right)\\ \text{3)}\text{\hspace{0.17em}}f\left(0,0\right)=0\end{array}$

We denote C-class functions as C.

Example 2.15 [24] [25] The following functions $f:{\left[0,\infty \right)}^{2}\to R$ are elements of C, for all $s,t\in \left[0,\infty \right)$ :

1) $f\left(s,t\right)=s-t,f\left(s,t\right)=s\Rightarrow t=0$

2) $f\left(s,t\right)=\frac{s-t}{1+t},f\left(s,t\right)=s\Rightarrow t=0$

3) $f\left(s,t\right)=\frac{st}{1+t},f\left(s,t\right)=s\Rightarrow s=0$

4) $f\left(s,t\right)=\frac{s}{1+t},\text{}f\left(s,t\right)=s\Rightarrow s=0\text{or}t=0$

5) $f\left(s,t\right)=\mathrm{log}\frac{t+{a}^{s}}{1+t},a>\text{1,}f\left(s,t\right)=s\Rightarrow s=0\text{or}t=0$

For $t=1$ , we have $f\left(s,1\right)=\mathrm{ln}\frac{1+{a}^{s}}{2},a>e,\text{}f\left(s,1\right)=s\Rightarrow s=0$

6) $f\left(s,t\right)={\left(s+k\right)}^{\frac{1}{1+t}}-k,k>1,f\left(s,t\right)=s\Rightarrow t=0$

7) $f\left(s,t\right)=s{\mathrm{log}}_{a+t}a,a>1,f\left(s,t\right)=s\Rightarrow s=0\text{\hspace{0.17em}}\text{or}\text{\hspace{0.17em}}t=0$

8) $f\left(s,t\right)=ms,\text{\hspace{0.17em}}0<m<1;\text{\hspace{0.17em}}f\left(s,t\right)=s\Rightarrow s=0$

9) $f\left(s,t\right)=\varphi \left(s\right),f\left(s,t\right)=s\Rightarrow s=0$ , here $\varphi :\left[0,\infty \right)\to \left[0,\infty \right)$ is continuous and such that $\varphi \left(0\right)=0$ and $\varphi \left(t\right)<t$ for $t>0$ .

3. Main Results

Before we give the main result we denote with letter the following set

(3.1.1)

for all.

Motivated by the works of [15] [21] - [29] we extend the concept of -weakly contractive maps to four maps in a b-dislocated metric space, giving the following definition.

Definition 3.1 Let be four self maps of a b-dislocated metric space with parameter. If there exists, and such that

(A)

for all, where is defined as in (3.1.1) then and T are said to satisfy a generalized weakly contractive condition.

Theorem 3.2 Let be a b-dislocated metric space with parameter and are self-mappings such that (a), and satisfy generalized weakly contractive condition. If one of or is a complete subspace of X, then and have a point of coincidence in X. Moreover if suppose that and are weakly compatible pairs, then have a unique common fixed point.

Proof. Let be an arbitrary point in X. Since we can choose such that. And since corresponding to we can choose such that. Continuing the same process we obtain sequences and in X such that:

for all

We consider following steps:

Step 1. If (that means) for some n, then. Hence is a coincidence point of G and T. Using definition of and lemma 2.12 we have,

Thus (3.2.1)

Using condition (A) and property of C-class, we have that

By property of we have,

(3.2.2)

As a result we get,

.

Again from contractive condition of theorem have,

The inequality above implies,

By property of function f of C-class we obtain

or.

And also by property of we get so that and then. Also is a coincidence point of F and S.

Step 2. Suppose that means for all n by condition (3.1.1) we have:

If then (3.2.3)

Also from condition of theorem we have:

By property of function we have

(3.2.4)

From (3.2.3) and (3.2.4) we get

(3.2.5)

Also from condition of theorem and (3.2.5) we have,

The above inequality implies:

which means

.

From property of C-class we obtain

.

So we have that is a contradiction since we suppose.

So we have.

In a similar way as above we have. As a result

the sequence is non increasing and bounded below. And so there exists such that,

.

Suppose that. Since is continuous and is lower semi continuous we have:

(3.2.6)

If we consider condition (A) we have,

(3.2.7)

taking the upper limit as in (3.2.7) and using (3.2.6) we have that,

(3.2.8)

From (3.2.8) and property of we get that is a contradiction. Hence

(3.2.9)

Now we prove that is a -Cauchy sequence. Assume the contrary that is not a -Cauchy sequence. Then there exists for which we can

find subsequences and of so that is the smallest index for which, that

(3.1.10)

and (3.2.11)

From property c) of definition 2.2 we have:

(3.2.12)

Taking the upper limit as in (3.2.12) and using result (3.129) and (3.2.11), we get

(3.2.13)

Also we have

(3.2.14)

Hence taking the upper limit in above inequality, we obtain

(3.2.15)

Again from property c) of definition 2.2, we have

(3.2.16)

Thus from 3.2.9; 3.2.15 we have

(3.2.17)

As a result,

(3.2.18)

Similarly,

(3.2.19)

Taking the upper limit in (3.2.19) and using 3.2.9, we get

(3.2.20)

Similarly,

Taking the upper limit in above inequality and using (3.2.9), we have

(3.2.21)

Also,

Taking the upper limit and using 3.2.9; 3.2.18 we get

(3.2.22)

So, by (3.2.21) and (3.2.22) we have

(3.2.23)

According to the set (3.1.1) we have:

(3.2.24)

Taking the upper limit in (3.2.24) and using results 3.2.9; 3.2.18; 3.2.13; 3.2.23 we get

(3.2.25)

Similarly, we can show,

(3.2.26)

From contractive condition of theorem, we have

(3.2.27)

Taking the upper limit as in (3.2.27) and using 3.2.25; 3.2.26, we obtain

From this inequality and since is non decreasing follows that

.

That is a contradiction since we supposed. Thus is a -Cauchy sequence in b-dislocated metric space. Also the subsequences, , , are -Cauchy. Let we suppose that is a complete subspace of X, since the subsequence is -Cauchy then there exists such that. Then we have,

. (3.2.28)

Since, then there exists such that. According to (3.1.1) consider

(3.2.29)

Taking the upper limit and using lemma 2.13, result (3.2.9) and (3.2.28) we obtain

(3.2.30)

Using contractive condition (A) of theorem we have,

(3.2.31)

Taking the upper limit in (3.2.31) and using (3.2.30) we get

This implies and so. Thus, so y is a point of coincidence of the pair.

Similarly we can show that, so v is a point of coincidence of the pair. Therefore we have

. (3.2.32)

Let show that z is a unique point of coincidence of pairs and. Suppose that exists another point such that.

We consider,

Using contractive condition of theorem we have,

The inequality above implies that so that means the point of coincidence is unique.

Let prove that z is a common fixed point. By the weak compatibility of the pairs and have: and.

From condition of theorem we have,

(3.2.33)

This inequality implies.

And

(3.2.34)

Again from (3.2.33) and (3.2.34) we get,.

By property of functions and C-class, we have

(3.2.35)

So we obtained, that iz. Therefore.

Let we prove that z is a fixed point of F.

Again we consider

By property of follows

(3.2.36)

where

(3.2.37)

From (3.2.36), (3.2.37) we get

(3.2.38)

In similar way as in (3.2.35) using (3.2.38), property of C-class and functions we obtain, and. Hence z is a common fixed point.

Uniqueness. Let we prove that the fixed point is unique. If suppose that u and z are two common fixed points of F, G, S, T then from condition (b) we have,

By property of we get. Also we have,

So,

and

As a result and so.

The following is corollary of theorem 3.2 which is taken for parameter in a dislocated metric space.

Corollary 3.3 Let be a dislocated metric space and are self-mappings such that (a), and exists, and such that satisfy the condition

(A)

for all, where is defined as in (3.1.0). If one of or is a complete subspace of X, then and have a point of coincidence in X. Moreover if suppose that and are weakly compatible pairs, then have a unique common fixed point.

Now we give an example to support our Theorem 3.2.

Example 3.4 Let and. Then the pair

is a b-dislocated metric space with parameter. We define the functions

and T as follows:. The pairs

and are weakly compatible, functions and T are continuous and

We have,

where; and, for all.

Thus all conditions of theorem 3.2 are satisfied and is the unique common fixed point of and G.

In a similar way as in Theorem 3.2, the following theorem can be proved.

Theorem 3.5 Let be a complete b-dislocated metric space with parameter and are self-mappings such that (a) and satisfy generalized weakly contractive condition. If one of or is closed, then and have a point of coincidence in X. Moreover if suppose that and are weakly compatible pairs, then have a unique common fixed point.

For the different functions f of C-class (refer to example 2.15) we can take the following corollaries.

Corollary 3.6 Let be a -dislocated metric space with parameter and are self-mappings where (a) and exists, such that satisfies the condition

for all, where is defined as in (3.1.0). If one of or is a complete subspace of X, then and have a point of coincidence in X. Moreover if suppose that and are weakly compatible pairs, then have a unique common fixed point.

Proof. If we take in Theorem 3.2 the function f as then we get the corollary.

Corollary 3.7 Let be a -dislocated metric space with parameter and are self-mappings where (a) and exists, such that satisfies the condition

for all, where is defined as in (3.1.0). If one of or is a complete subspace of X, then and have a point of coincidence in X. Moreover if suppose that and are weakly compatible pairs, then have a unique common fixed point.

Proof. This corollary is obtained from Theorem 3.2 if we take as f the function

.

Corollary 3.8 Let be a -dislocated metric space with parameter and are self-mappings where (a) and exists, such that satisfies the condition

Proof. If we take in Theorem 3.2 the function f as then we get the corollary.

Corollary 3.9 Let be a -dislocated metric space with parameter and are self-mappings where (a) and exists, such that satisfies the condition

Proof. If we take in Theorem 3.2 the function f as then we get the corollary.

Remark 3.10 As a consequence of theorem 3.2 and all corollaries for taking

1) the parameter.

2) the parameter and and.

3) functions f from the set C and taking and.

We can establish many other corollaries in the setting of dislocated and b-dislocated metric spaces.

In this section, we use the notion of T-contractions introduced by Beiranvad et al. in [3] as a new class of contractive mappings, by generalizing the contractive condition in terms of another function. These contractions have been used by many authors. In this direction in order to generalize some other well-known results as in [32] [33] [34] we extend the notion of generalized weak contractions in the context of T-contractions, giving the following theorem.

Theorem 3.11 Let be a complete b-dislocated metric space with parameter and be an injective, continuous and sequentially convergent mapping. Let be self-mappings and if exist, and such that

(B)

for all, where

then have a unique common fixed point.

Proof. We divide the proof into two parts as follows.

First part. Each fixed point u of F is a fixed point of G and conversely, and the common fixed point of is unique.

Let be a fixed point of F. If then, follows that and so u is a fixed point of G. If we suppose that, we evaluate as;

So we have

(3.11.1)

Then by contractive condition (B), we have

By property of we have

(3.11.2)

Hence from (3.11.1) and (3.11.2) follows.

Again

By property of we get that is and by injectivity of T follows.

Thus u is a fixed point of G. Similarly we can prove the other implication.

Second part. We prove that the function F has a fixed point. We define two eterative sequences as and, and as for each.

If for some n, we have then and is a fixed point of F and by the first part is a fixed point of G and the proof is completed.

Now, we assume that for all n, and since T is injective we have; then from condition (B) of theorem, we have

where

(3.11.3)

If then from (3.11.3) we get

(3.11.4)

Using condition (B) and property of C-class, we have

By property of function we have

(3.11.5)

From (3.11.4) and (3.11.5) we get

(3.11.6)

Also from condition of theorem and (3.11.6), we have

Also we have,

By property of and we have so which is a contradiction since we supposed.

Hence, we have

.

Similarly, we have that

Therefore for all n we have

and is a non increasing sequence of nonnegative real numbers

and bounded below. Hence there exists such that

By the property of functions and, we have

(3.11.7)

If we consider condition (B) we have,

(3.11.8)

Taking the upper limit as in (3.11.8) and using (3.11.7) we have that,

(3.11.9)

From (3.11.9) and property of and follows that and also

(3.11.10)

In a similar way as in Theorem 3.2 we can show that the sequence (also) is a -Cauchy sequence in b-dislocated metric space. Since X is complete there exists such that. Since T is sequentially convergent, we can deduce that is convergent to and the subsequences converge to u, that means

.

Since T is continuous we have.

Let we prove that u is a fixed point of F and G (). If suppose that then since T is injective follows (and)

Consider,

(3.11.11)

Taking the upper limit in (3.11.11) and using lemma (2.13), and result (3.11.10) we get

(3.11.12)

According to contractive condition (B) we have,

(3.11.13)

Taking the upper limit in (3.11.13) and using lemma (2.13), we obtain,

This implies that that is which is a contradiction. As a result and u is a fixed point of F. By the first part of proof u is a fixed point of G and also a common fixed point.

Easily using the contractive condition (B) of theorem can be proved that the common fixed point is unique.

Example 3.12 Let be equipped with the b-dislocated metric

for all, where. It is clear that is a complete b-dislocated metric space. Also let be the self-mappings

defined by. We note, T is continuous and sequentially convergent.

If, and then for each, we have

Thus satisfy all the conditions of Theorem 3.11. Moreover is the unique common fixed point of.

If in theorem3.11 we take we get the following corollary.

Corollary 3.13 Let be a complete b-dislocated metric space with parameter and be two self mappings, where T is injective, continuous and sequentially convergent. If exist, and such that

for all, where

then G has a unique fixed point.

Corollary 3.14 Let be a complete b-dislocated metric space with parameter and be an injective, continuous and sequentially convergent mapping. Let be self-mappings and if exist, such that

for all, where

then have a unique common fixed point.

Proof. If we take in Theorem 3.11 the function as then we get the corollary.

Remark 3.15

1) Theorem 3.11 generalizes, extends and unifies results as Theorem 8 in [32] , Theorem 4 in [33] and many existing results of literature in a set effective larger as b-dislocated metric spaces.

2) The class C of functions has a general character and so according to example 2.15, we can provide many results from theorem 3.11.

3) If we take in theorem 3.11 the parameter as a consequence, we obtain results in a dislocated metric space.

References

[1] Hitzler, P. and Seda, A.K. (2000) Dislocated Topologies. Journal of Electrical Engineering, 51, 3-7.

[2] Aage, C.T. and Salunke, J.N. (2008) Some Results of Fixed Point Theorem in Dislocated Quasi-Metric Spaces. Bulletin of Marathwada Mathematical Society, 9, 1-5.

[3] Beiranvand, A., Moradi, S., Omid, M. and Pazandeh, H. (2009) Two Fixed-Point Theorems for Special Mapping.

https://arxiv.org/abs/0903.1504

[4] 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

[5] Shrivastava, R., Ansari, Z.K. and Sharma, M. (2012) Some Results on Fixed Points in Dislocated and Dislocated Quasi-Metric Spaces. Journal of Advanced Studies in Topology, 3, 25-31.

[6] Kutbi, M.A., Arshad, M., Ahmad, J. and Azam, A. (2014) Generalized Common Fixed Point Results with Applications. Abstract and Applied Analysis, 2014, Article ID: 363925.

[7] Aydi, H., Vetro, C., Sintunavarat, W. and Kumam, P. (2012) Coincidence and Fixed Points for Contractions and Cyclical Contractions in Partial Metric Spaces. Fixed Point Theory and Applications, 2012, 124.

[8] Czerwik, S. (1993) Contraction Mappings in b-Metric Spaces. Acta Mathematica et Informatica Universitatis Ostraviensis, 1, 5-11.

[9] Ciric’c, L.J. (1972) Fixed Points for Generalized Multi-Valued Contractions. Matemati?ki Vesnik, 9, 265-272.

[10] Ciric, L.B. (1974) A Generalization of Banach’s Contraction Principle. Proceedings of the American Mathematical Society, 45, 267-273.

https://doi.org/10.2307/2040075

[11] Das, K.M. and Naik, K.V. (1979) Common Fixed Point Theorems for Commuting Maps on Metric Spaces. Proceedings of the American Mathematical Society, 77, 369-373.

[12] Arshad, M., Shoaib, A. and Beg, I. (2013) Fixed Point of a Pair of Contractive Dominated Mappings on a Closed Ball in an Ordered Dislocated Metric Space. Fixed Point Theory and Applications, 2013, 115.

https://doi.org/10.1186/1687-1812-2013-115

[13] Zoto, K. (2013) Weakly Compatible Mappings and Fixed Points in Dislocated Metric Spaces. International Journal of Mathematical Archive, 4, 131-137.

[14] Beg, I., Arshad, M. and Shoaib, A. (2015) Fixed Point on a Closed Ball in Ordered Dislocated Quasi Metric Spaces. Fixed Point Theory, 16, 195-206.

[15] Hussain, N., Roshan, J.R., Parvaneh, V. and Abbas, M. (2013) Common Fixed Point Results for Weak Contractive Mappings in Ordered b-Dislocated Metric Spaces with Applications. Journal of Inequalities and Applications, 2013, 486.

[16] Bakhtin, I.A. (1989) The Contraction Mapping Principle in Quasi-Metric Spaces. Functional Analysis, 30, 26-37.

[17] Khan, M.S., Swaleh, M. and Sessa, S. (1984) Fixed Points Theorems by Altering Distances between the Points. Bulletin of the Australian Mathematical Society, 30, 1-9.

https://doi.org/10.1017/S0004972700001659

[18] Popa, V. and Mocanu, M. (2009) Altering Distances and Common Fixed Points under Implicit Relations. Hacettepe Journal of Mathematics and Statistics, 38, 329-337.

[19] Sastri, K.P. and Babu, G.V.R. (1998) Fixed Point Theorems in Metric Spaces by Altering Distance. Bulletin of the Calcutta Mathematical Society, 90, 175-182.

[20] Sastri, K.P. and Babu, G.V.R. (1999) Some Fixed Point Theorems by Altering Distances between Two Points. Indian Journal of Pure and Applied Mathematics, 30, 641-647.

[21] Babu, G.V.R., Nageswara Rao, K. and Alemayehu, G.N. (2010) Common Fixed Points of Two Pair of Generalized Weakly Contractive Maps. Advanced Studies in Contemporary Mathematics, 20, 575-594.

[22] Babu, G.V.R. and Alemayehu, G.N. (2010) Point of Coincidence and Common Fixed Points of a Pair of Generalized Weakly Contractive Maps. Journal of Advanced Research in Pure Mathematics, 2, 89-106.

https://doi.org/10.5373/jarpm.338.010810

[23] Choudhury, B.S., Konar, P., Rhoades, B.E. and Metiya, N. (2011) Fixed Point Theorems for Generalized Weak Contractive Mappings. Nonlinerar Analysis, 74, 2116-2126.

https://doi.org/10.1016/j.na.2010.11.017

[24] Ansari, A.H. (2014) Note on (ψ, φ)-Contractive Type Mappings and Related Fixed Point. The 2nd Regional Conference on Mathematics and Applications, Tehran, September 2014, 377-380.

[25] Hoxha, E., Ansari, A.H. and Zoto, K. (2014) Some Common Fixed Point Results through Generalized Altering Distances on Dislocated Metric Spaces. Proceedings of the 3rd Electronic International Interdisciplinary Conference, Zilina, 1-5 September 2014, 403-409.

[26] Karapinar, E. and Salimi, P. (2013) Dislocated Metric Space to Metric Spaces with Some Fixed Point Theorems. Fixed Point Theory and Applications, 2013, 222.

https://doi.org/10.1186/1687-1812-2013-222

[27] Doric, D. (2009) Common Fixed Point for Generalized (ψ, φ)—Weak Contractions. Applied Mathematics Letters, 22, 1896-1900.

https://doi.org/10.1016/j.aml.2009.08.001

[28] Dutta, P.N. and Choudhury, B.S. (2008) A Generalisation of Contraction Principle in Metric Spaces. Fixed Point Theory and Applications, 2008, Article ID: 406368.

https://doi.org/10.1155/2008/406368

[29] Kumari, P.S. (2012) Common Fixed Point Theorems on Weakly Compatible Maps on Dislocated Metric Spaces. Mathematical Sciences, 6, 71.

https://doi.org/10.1186/2251-7456-6-71

[30] He, F. (2015) Common Fixed Point of Four Self Maps on Dislocated Metric Spaces. Journal of Nonlinear Sciences and Applications, 8, 301-308.

https://doi.org/10.22436/jnsa.008.04.02

[31] Bennani, S., Bourijal, H., El Moutawakil, D. and Mhanna, S. (2015) Some Common Fixed Point Theorems in Dislo-cated Metric Spaces. Journal of Nonlinear Sciences and Applications, 8, 86-92.

https://doi.org/10.22436/jnsa.008.02.01

[32] An, T.V., Chi, K.P., Karap?na-rand, E. and Thanh, T.D. (2012) An Extension of Generalized ψ, ?-Weak Contractions. International Journal of Mathematics and Mathematical Sciences, 2012, Article ID: 431872.

https://doi.org/10.1155/2012/431872

[33] Mustafa, Z., Roshan, J.R., Parvaneh, V. and Kadelburg, Z. (2013) Some Common Fixed Point Results in Ordered b-Metric Spaces. Journal of inequalities and Applications, 2013, 562.

[34] Moradi, S. and Omid, M. (2010) A Fixed-Point Theorem for Integral Type Inequality Depending on Another Function. International Journal of Mathematical Analysis, 4, 1491-1499.