# Caristi type cyclic contraction and common fixed point theorems in bipolar metric spaces with applications

## Abstract

In this paper, we obtain the existence and uniqueness of the solution for three self mappings in a complete bipolar metric space under a new Caristi type contraction with an example. We also provide applications to homotopy theory and nonlinear integral equations.

## 1 Introduction

Fixed point theory plays a vital role in applications of many branches of mathematics. Finding fixed points of generalized contraction mappings has become the focus of fruitful research activity in fixed point theory. Recently, many investigators have published various papers on fixed point theory and applications in different ways. One of the recently popular topics in fixed point theory is addressing the existence of fixed points of contraction mappings in bipolar metric spaces, which can be considered as generalizations of the Banach contraction principle. In 2016, Mutlu and GÃ¼rdal [1] have introduced the concepts of bipolar metric space and they investigated certain basic fixed point and coupled fixed point theorems for covariant and contravariant maps under contractive conditions; see [1, 2].

Caristiâ€™s fixed point theorem [3] is a renowned extension of the Banach contraction principle [4]. The proof of Caristiâ€™s results has been generalized and extended in many directions [5â€“10].

The aim of this paper is to prove the common fixed point results in bipolar metric spaces by using a Caristi type cyclic contraction. Also, we give examples and applications to homotopy theory and integral equations.

## 2 Methods/experimental

### Definition 2.1

([1])

Let A and B be a two non-empty sets. Suppose that $$d:A\times B\to\mathcal{[}0,\infty)$$ is a mapping satisfying the following properties:

($$B_{1}$$):

$$d(a, b)=0$$ if and only if $$a=b$$ for all $$(a, b)\in A\times B$$,

($$B_{2}$$):

$$d(a, b)=d(b, a)$$, for all $$a, b \in A\cap B$$,

($$B_{3}$$):

$$d(a_{1}, b_{2})\leq d(a_{1}, b_{1})+ d(a_{2}, b_{1})+ d(a_{2}, b_{2})$$, for all $$a_{1}, a_{2} \in A$$, $$b_{1}, b_{2} \in B$$.

Then the mapping d is called a bipolar metric on the pair $$(A, B)$$ and the triple $$(A, B, d)$$ is called a bipolar-metric space.

### Definition 2.2

([1])

Assume $$( A_{1}, B_{1})$$ and $$( A_{2}, B_{2})$$ to be two pairs of sets.

The function $$F: A_{1}\cup B_{1} \to A_{2}\cup B_{2}$$ is said to be a covariant map if $$F(A_{1})\subseteq A_{2}$$ and $$F(B_{1})\subseteq B_{2}$$ and we denote this as $$F: ( A_{1}, B_{1})\rightrightarrows( A_{2}, B_{2})$$.

The mapping $$F: A_{1}\cup B_{1} \to A_{2}\cup B_{2}$$ is said to be a contravariant map, if $$F(A_{1})\subseteq B_{2}$$ and $$F(B_{1})\subseteq A_{2}$$ and we denote this as $$F: ( A_{1}, B_{1})\leftrightharpoons( A_{2}, B_{2})$$.

In particular, if $$d_{1}$$ and $$d_{2}$$ are bipolar metrics in $$( A_{1}, B_{1})$$ and $$( A_{2}, B_{2})$$, respectively. Then sometimes we use the notations $$F: ( A_{1}, B_{1}, d_{1})\rightrightarrows( A_{2}, B_{2}, d_{2})$$ and $$F: ( A_{1}, B_{1},d_{1})\leftrightharpoons( A_{2}, B_{2}, d_{2})$$.

### Definition 2.3

([1])

Let $$( A, B, d)$$ be a bipolar metric space. A point $$v\in A\cup B$$ is said to be a left point if $$v\in A$$, a right point if $$v\in B$$ and a central point if both hold.

Similarly, a sequence $$\{a_{n}\}$$ on the set A and a sequence $$\{b_{n}\}$$ on the set B are called a left and right sequence, respectively.

In a bipolar metric space, a sequence is the simple term for a left or right sequence.

A sequence $$\{v_{n}\}$$ is convergent to a point v if and only if $$\{ v_{n}\}$$ is a left sequence, v is a right point and $$\lim_{n \rightarrow\infty}d(v_{n}, v) = 0$$; or $$\{v_{n}\}$$ is a right sequence, v is a left point and $$\lim_{n \rightarrow\infty}d(v, v_{n}) = 0$$.

A bisequence $$(\{a_{n}\},\{b_{n}\})$$ on $$( A, B, d)$$ is a sequence on the set $$A \times B$$. If the sequences $$\{a_{n}\}$$ and $$\{b_{n}\}$$ are convergent, then the bisequence $$(\{a_{n}\},\{b_{n}\})$$ is said to be convergent. $$(\{a_{n}\},\{b_{n}\})$$ is a Cauchy sequence, if $$\lim_{n, m \rightarrow\infty}d(a_{n}, b_{m}) = 0$$.

A bipolar metric space is called complete, if every Cauchy bisequence is convergent, hence biconvergent.

### Definition 2.4

([1])

Let $$( A_{1}, B_{1},d_{1})$$ and $$( A_{2}, B_{2}, d_{2})$$ be two bipolar metric spaces.

1. (i)

The mapping $$F: ( A_{1}, B_{1},d_{1})\rightrightarrows( A_{2}, B_{2}, d_{2})$$ is said to be left-continuous at a point $$a_{0}\in A_{1}$$ if for every $$\epsilon>0$$, there is a $$\delta>0$$ such that $$d_{1}(a_{0}, b)< \delta$$ implies that $$d_{2}(F(a_{0}), F(b))< \epsilon$$ for all $$b\in B_{1}$$.

2. (ii)

The mapping $$F: ( A_{1}, B_{1},d_{1})\rightrightarrows( A_{2}, B_{2}, d_{2})$$ is said to be right-continuous at a point $$b_{0}\in B_{1}$$ if for every $$\epsilon>0$$, there is a $$\delta>0$$ such that $$d_{1}(a, b_{0})< \delta$$ implies that $$d_{2}(F(a), F(b_{0}))< \epsilon$$ for all $$a\in A_{1}$$.

3. (iii)

The mapping F is said to be continuous, if it is left-continuous at each point $$a\in A_{1}$$ and right-continuous at each point $$b\in B_{1}$$.

4. (iv)

A contravariant mapping $$F: ( A_{1}, B_{1},d_{1})\leftrightharpoons( A_{2}, B_{2}, d_{2})$$ is continuous if and only if it is continuous as a covariant map $$F: ( A_{1}, B_{1},d_{1})\rightrightarrows( A_{2}, B_{2}, d_{2})$$.

It follows from Definition 2.3 that a covariant (or a contravariant) mapping $$F:( A_{1}, B_{1}, d_{1})\rightrightarrows( A_{2}, B_{2}, d_{2})$$ is continuous if and only if $$\{u_{n}\}\to v$$ in $$( A_{1}, B_{1},d_{1})$$ implies $$\{F (u_{n} ) \}\to F(v)$$ in $$( A_{2}, B_{2}, d_{2})$$.

## 3 Results and discussions

In this section, we will prove some common fixed point theorems for three covariant mappings with some new Caristi type contractive conditions in bipolar metric spaces.

### Definition 3.1

Let $$(A, B, d)$$ be a bipolar metric space and $$F, f: (A, B ) \rightrightarrows (A, B )$$ be covariant mappings. A pair $$\{F, f \}$$ is said to be compatible if and only if $$\lim_{n \rightarrow\infty} d(Ffa_{n}, fFb_{n})= \lim_{n \rightarrow\infty} d(fFa_{n}, Ffb_{n})=0$$, whenever $$( \{a_{n} \}, \{b_{n} \})$$ is a sequence in $$(A, B)$$ such that $$\lim_{n \rightarrow\infty} Fa_{n}= \lim_{n \rightarrow\infty}Fb_{n}= \lim_{n \rightarrow\infty} fa_{n} = \lim_{n \rightarrow\infty}fb_{n} = \kappa$$ for some $$\kappa\in A\cap B$$.

### Theorem 3.2

Let $$(A, B, d)$$ be a complete bipolar metric space. Suppose $$F, f, g: (A, B ) \rightrightarrows (A, B )$$ is a covariant mappings satisfying:

(3.2.1):

$$d (Fa, Fb )\leq\psi (\alpha(fa) )\alpha(fa)-\alpha(Fa)+\psi (\beta(gb) )\beta(gb)-\beta(Fb)$$ for all $$a \in A$$ and $$b \in B$$, where $$\alpha, \beta: A \cup B \to[0, \infty)$$ are lower semi-continuous functions and $$\psi: (-\infty, \infty )\to(0, 1)$$ be a continuous function.

(3.2.2):

$$F (A \cup B )\subseteq g(A \cup B)$$ and $$F (A \cup B )\subseteq f(A \cup B)$$.

(3.2.3):

Either $$(F, f)$$ or $$(F, g)$$ are compatible.

(3.2.4):

Either f or g is continuous.

Then the mappings $$F, f, g: A\cup B \to A\cup B$$ have a unique common fixed point.

### Proof

Let $$a_{0}\in A$$ and $$b_{0} \in B$$ and from (3.2.2) we construct the bisequence $$( \{a_{2n} \}, \{b_{2n} \} )$$, $$( \{\omega_{2n} \}, \{\xi_{2n} \})$$ in $$(A, B)$$ as

\begin{aligned}& Fa_{2n}=ga_{2n+1}=\omega_{2n}, \qquad Fa_{2n+1}=fa_{2n+2}=\omega_{2n+1} , \\& Fb_{2n}=gb_{2n+1}=\xi_{2n},\qquad Fb_{2n+1}=fb_{2n+2}=\xi_{2n+1}, \end{aligned}

for $$n= 0, 1, 2, \ldots$$â€‰.

By using the condition (3.2.1), we have

\begin{aligned} 0 \leq& d (\omega_{2n}, \xi_{2n+1} )= d (Fa_{2n}, Fb_{2n+1} ) \\ \leq& \psi \bigl(\alpha(fa_{2n}) \bigr)\alpha(fa_{2n})- \alpha (Fa_{2n}) \\ &{} +\psi \bigl(\beta(gb_{2n+1}) \bigr)\beta(gb_{2n+1})- \beta(Fb_{2n+1}) \\ \leq& \psi \bigl(\alpha(\omega_{2n-1}) \bigr)\alpha(\omega _{2n-1})-\alpha(\omega_{2n}) \\ &{} +\psi \bigl(\beta(\xi_{2n}) \bigr)\beta(\xi_{2n})- \beta(\xi_{2n+1}) \\ < & \alpha(\omega_{2n-1})-\alpha(\omega_{2n}) +\beta( \xi_{2n})-\beta(\xi _{2n+1}). \end{aligned}
(1)

It follows that

$$\alpha(\omega_{2n})+\beta(\xi_{2n+1}) < \alpha( \omega_{2n-1})+\beta(\xi _{2n})$$
(2)

and

\begin{aligned} d (\omega_{2n}, \xi_{2n} ) =& d (Fa_{2n}, Fb_{2n} ) \\ \leq& \psi \bigl(\alpha(\omega_{2n-1}) \bigr)\alpha(\omega _{2n-1})-\alpha(\omega_{2n}) \\ &{} +\psi \bigl(\beta(\xi_{2n-1}) \bigr)\beta(\xi_{2n-1})- \beta(\xi _{2n}) \\ < & \alpha(\omega_{2n-1})-\alpha(\omega_{2n}) +\beta( \xi_{2n-1})-\beta (\xi_{2n}). \end{aligned}
(3)

Similarly, it follows that

$$\alpha(\omega_{2n})+\beta(\xi_{2n}) < \alpha( \omega_{2n-1})+\beta(\xi _{2n-1}).$$
(4)

Thus, from (2) and (4) one shows that the bisequences $$( \{\alpha(\omega_{2n}) \}, \{\beta(\xi_{2n}) \} )$$ are non-increasing bisequences of non-negative real numbers. So they must converge to $$\lambda_{1}$$, $$\lambda_{2}$$ for $$\lambda_{1} , \lambda _{2} \geq0$$.

Suppose $$\lambda_{1}>0$$ or $$\lambda_{2}> 0$$. Letting $$n \to\infty$$ in Eqs. (2) and (4), we get a contradiction.

Therefore,

$$\lim_{n \rightarrow\infty}\alpha(\omega_{2n})= \lim _{n \rightarrow\infty} \beta(\xi_{2n}) =0.$$
(5)

Now, from (1), we have

\begin{aligned} \sum_{2n=1}^{2m} {d (\omega_{2n}, \xi_{2n+1} )} =& d (\omega_{1}, \xi_{2} )+d ( \omega_{2}, \xi_{3} ) + \cdots +d (\omega_{2m}, \xi_{2m+1} ) \\ < &\alpha(\omega_{0})-\alpha(\omega_{1})+\beta( \xi_{1})-\beta(\xi_{2})+\alpha (\omega_{1})- \alpha(\omega_{2})+\beta(\xi_{2})-\beta(\xi_{3}) \\ &{} + \cdots+\alpha(\omega_{2m-1})-\alpha(\omega_{2m})+\beta( \xi _{2m})-\beta(\xi_{2m+1}) \\ < &\alpha(\omega_{0})+\beta(\xi_{1}). \end{aligned}

This shows $$\sum_{2n=1}^{2m} {d (\omega_{2n}, \xi_{2n+1} )}$$ is a biconvergent series.

Similarly, we prove $$\sum_{2n=1}^{2m} {d (\omega_{2n}, \xi _{2n} )}$$ is a biconvergent series. Hence it is convergent.

We use the property ($$B_{3}$$), for each $$n, m \in N$$ with $$n< m$$ and we use (1), (3). Then we have

\begin{aligned} d (\omega_{2n}, \xi_{2m} ) \leq& d (\omega_{2n}, \xi _{2n+1} ) +d (\omega_{2n+1}, \xi_{2n+1} )+\cdots \\ &{} +d (\omega_{2m-1}, \xi_{2m-1} ) +d (\omega_{2m-1}, \xi _{2m} ) \\ < &\alpha(\omega_{2n-1})-\alpha(\omega_{2n}) +\beta( \xi_{2n})-\beta(\xi _{2n+1}) \\ &{} +\alpha(\omega_{2n})-\alpha(\omega_{2n+1}) +\beta( \xi_{2n})-\beta(\xi _{2n+1})+\cdots \\ &{} +\alpha(\omega_{2m-2})-\alpha(\omega_{2m-1}) +\beta( \xi_{2m-2})-\beta (\xi_{2m1}) \\ &{} +\alpha(\omega_{2m-2})-\alpha(\omega_{2m-1}) +\beta( \xi_{2m-1})-\beta (\xi_{2m}) \\ \to&0 \quad \mbox{as } n, m \to\infty. \end{aligned}

Similarly, we can prove $$d (\omega_{2m}, \xi_{2n} )\to0$$ as $$n, m \to\infty$$.

This shows $$(\omega_{2n}, \xi_{2m} )$$ is a Cauchy bisequence in $$(A, B)$$.

Since $$(A, B, d)$$ is complete, $$(\omega_{2n}, \xi_{2m} )$$ converges and thus it biconverges to a point $$\kappa\in A\cap B$$ such that

$$\lim_{n \rightarrow\infty}\omega_{2n+1}= \kappa= \lim _{n \rightarrow\infty}\xi_{2n+1}.$$
(6)

That is,

\begin{aligned} & \lim_{n \rightarrow\infty}ga_{2n+1}= \lim_{n \rightarrow\infty }Fa_{2n}= \lim_{n \rightarrow\infty}gb_{2n+1}= \lim_{n \rightarrow\infty}Fb_{2n}= \kappa, \\ & \lim_{n \rightarrow\infty}fa_{2n+2}= \lim_{n \rightarrow\infty }Fa_{2n+1}= \lim_{n \rightarrow\infty}fb_{2n+2}= \lim_{n \rightarrow\infty}Fb_{2n+1}= \kappa. \end{aligned}

Since f is continuous, we have

\begin{aligned}& \lim_{n \rightarrow\infty}f^{2}a_{2n+2}=f \kappa , \qquad \lim_{n \rightarrow\infty}fFa_{2n+1}=f \kappa \quad \mbox{and} \\& \lim_{n \rightarrow \infty}f^{2}b_{2n+2}=f \kappa , \qquad \lim_{n \rightarrow\infty }fFb_{2n+1}=f \kappa . \end{aligned}

Since Î±, Î² are lower semi-continuous functions,

$$\lim_{n \rightarrow\infty}\alpha(\omega_{2n})=\alpha( \kappa), \qquad \lim_{n \rightarrow\infty}\beta(\xi_{2n})= \beta(\kappa).$$

From (5), we get $$\alpha( \kappa)=\beta(\kappa)=0$$.

Since the pair $$\{F, f \}$$ is compatible, we have

$$\lim_{n \rightarrow\infty} d(Ffa_{2n+2}, fFb_{2n+1})= \lim _{n \rightarrow\infty} d(fFa_{2n+1}, Ffb_{2n+2})=0.$$

Therefore

$$\lim_{n \rightarrow\infty} fFb_{2n+1}= \lim_{n \rightarrow\infty } Ffa_{2n+2}=f\kappa,\qquad \lim_{n \rightarrow\infty} Ffb_{2n+2}= \lim_{n \rightarrow\infty} fFa_{2n+1}=f\kappa.$$

Taking $$a=fa_{2n+2}$$ and $$b=b_{2n+1}$$ in (3.2.1), we get

\begin{aligned} d(Ffa_{2n+2}, Fb_{2n+1}) \leq&\psi \bigl(\alpha \bigl(f^{2}a_{2n+2}\bigr) \bigr)\alpha\bigl(f^{2}a_{2n+2} \bigr)-\alpha(Ffa_{2n+2}) \\ &{} +\psi \bigl(\beta(gb_{2n+1}) \bigr)\beta(gb_{2n+1})- \beta(Fb_{2n+1}) \\ \leq&\psi \bigl(\alpha\bigl(f^{2}a_{2n+2}\bigr) \bigr)\alpha \bigl(f^{2}a_{2n+2}\bigr)-\alpha (Ffa_{2n+2}) \\ &{} +\psi \bigl(\beta(\xi_{2n}) \bigr)\beta(\xi_{2n})- \beta(\xi_{2n+1}) \\ < & \alpha\bigl(f^{2}a_{2n+2}\bigr)-\alpha(Ffa_{2n+2})+ \beta(\xi_{2n})-\beta(\xi_{2n+1}). \end{aligned}

Letting $$n\to\infty$$, we see that $$d(f\kappa, \kappa)<\alpha(f\kappa)-\alpha(f\kappa)+\beta(\kappa)-\beta (\kappa)=0$$ implies $$d(f\kappa, \kappa)=0$$, that is, $$f\kappa= \kappa$$.

Similarly, by the continuity of g, we can prove that $$g \kappa= \kappa$$.

By using the condition (3.2.1) and ($$B_{3}$$), we obtain

\begin{aligned} d (F\kappa, \kappa ) \leq& d (F\kappa, \xi_{2n+1} )+ d ( \omega_{2n+1}, \xi_{2n+1} )+ d (\omega_{2n+1}, \kappa ) \\ \leq& d (F\kappa, Fb_{2n+1} )+ d (\omega_{2n+1}, \xi _{2n+1} )+ d (\omega_{2n+1}, \kappa ) \\ \leq&\psi\bigl(\alpha(f\kappa)\bigr)\alpha(f\kappa)-\alpha(F\kappa)+\psi\bigl( \beta (gb_{2n+1})\bigr)\beta(gb_{2n+1})-\beta(Fb_{2n+1}) \\ &{} + d (\omega_{2n+1}, \xi_{2n+1} )+ d (\omega_{2n+1}, \kappa ) \\ < & \alpha(f\kappa)-\alpha(F\kappa)+\beta(gb_{2n+1})- \beta(Fb_{2n+1}) \\ &{} + d (\omega_{2n+1}, \xi_{2n+1} )+ d (\omega_{2n+1}, \kappa ) \\ < & \alpha(\kappa)-\alpha(F\kappa)+\beta(\xi_{2n})-\beta( \xi_{2n+1}) \\ &{} + d (\omega_{2n+1}, \xi_{2n+1} )+ d (\omega_{2n+1}, \kappa ) \\ \to&0 \quad \mbox{as } n \to\infty. \end{aligned}

Thus $$F\kappa= \kappa$$. Hence $$F\kappa=f\kappa=g\kappa=\kappa$$.

Now we prove the uniqueness; we begin by taking Î½ to be another fixed point of covariant maps $$F, f$$ and g. Then $$F\nu=f\nu=g\nu=\nu$$ implies $$\nu\in A\cap B$$ and we have

\begin{aligned} d(\kappa, \nu)&=d(F\kappa, F\nu)\leq\psi\bigl(\alpha(f\kappa)\bigr)\alpha(f \kappa )-\alpha(F\kappa)+\psi\bigl(\beta(g\nu)\bigr)\beta(g\nu)-\beta(F\nu) \\ &\leq\psi\bigl(\alpha(\kappa)\bigr)\alpha(\kappa)-\alpha(\kappa)+\psi\bigl( \beta(\nu )\bigr)\beta(\nu)-\beta(\nu) \\ &< \alpha(\kappa)-\alpha(\kappa)+\beta(\nu)-\beta(\nu)=0. \end{aligned}

Thus $$\kappa= \nu$$. Hence Îº is unique common fixed point of covariant mappings F, f and g.â€ƒâ–¡

### Corollary 1

Let $$(A, B, d)$$ be a complete bipolar metric space. Suppose $$F, f: (A, B ) \rightrightarrows (A, B )$$ is a covariant mappings satisfying:

(1.1):

$$d (Fa, Fb )\leq\psi (\alpha(fa) )\alpha(fa)-\alpha(Fa,)+\psi (\beta(fb) )\beta(fb)-\beta(Fb)$$ for all $$a \in A$$ and $$b \in B$$, where $$\alpha, \beta: A \cup B \to [0, \infty)$$ are lower semi-continuous functions and $$\psi: (-\infty, \infty)\to(0, 1)$$ is a continuous function.

(1.2):

$$F (A \cup B )\subseteq f(A \cup B)$$.

(1.3):

$$(F, f)$$ are compatible.

(1.4):

f is continuous.

Then the mappings $$F, f: A\cup B \to A\cup B$$ have a unique common fixed point.

### Proof

Let us take $$g=I_{A\cup B}$$ (identity mapping on $$A\cup B$$), from Theorem 3.2 we see that F and f have a unique common fixed point.â€ƒâ–¡

### Example 3.3

Let $$U_{m}(R)$$ and $$L_{m}(R)$$ be the set of all $$m\times m$$ upper and lower triangular matrices over R. Define $$d:U_{m}(R)\times L_{m}(R)\to\mathcal{[}0,\infty)$$ as

$$d(P, Q)=\sum_{i, j=1}^{m} {|p_{ij} -q_{ij} |}$$

for all $$P= (p_{ij})_{m\times m}\in U_{m}(R)$$ and $$Q= (q_{ij})_{m\times m}\in L_{m}(R)$$. Then obviously $$(U_{m}(R), L_{m}(R), d)$$ is a bipolar-metric space.

Define $$F, f, g: U_{m}(R)\cup L_{m}(R) \to U_{m}(R)\cup L_{m}(R)$$ as $$F(P)=\frac {1}{8}(p_{ij})_{m \times m}$$, and we have $$f(P)=\frac {1}{2}(p_{ij})_{m \times m}$$ and $$g(P)=(p_{ij})_{m \times m}$$ for all $$P= (p_{ij})_{m\times m}\in U_{m}(R)\cup L_{m}(R)$$.

Let $$\alpha, \beta: U_{m}(R) \cup L_{m}(R) \to[0, \infty)$$ be a lower semi-continuous mappings defined as $$\alpha(P)= \sum_{i, j=1}^{m} {|p_{ij} |}$$ and $$\beta(P)= \frac{1}{2}\sum_{i, j=1}^{m} {|p_{ij} |}$$ $$\forall P= (p_{ij})_{m\times m}\in U_{m}(R)\cup L_{m}(R)$$ and define

$$\psi:(-\infty, +\infty)\to(0, 1)\quad \mbox{as }\psi(t)= \textstyle\begin{cases} {\frac{2}{3}} & \mbox{if }t>0, \\ {0} & \mbox{if }t< 0. \end{cases}$$

Obviously,

$$F\bigl(U_{m}(R)\cup L_{m}(R)\bigr)= f\bigl(U_{m}(R) \cup L_{m}(R)\bigr)= g\bigl(U_{m}(R)\cup L_{m}(R) \bigr)=O_{m \times m}.$$

Furthermore, we prove $$\{ F, f \}$$ is compatible. Let $$(P_{n}, Q_{n})$$ be a bisequence in $$(A, B)$$ such that, for some $$\kappa\in A\cap B$$, $$\lim_{n \rightarrow \infty} d(fP_{n}, \kappa)=0$$, $$\lim_{n \rightarrow\infty} d(\kappa, fQ_{n})=0$$ and $$\lim_{n \rightarrow\infty} d(FP_{n}, \kappa)=0$$, $$\lim_{n \rightarrow\infty} d( \kappa, FQ_{n})=0$$. Since F and f are continuous, we have

\begin{aligned} \lim_{n \rightarrow\infty} d(fFP_{n}, FfQ_{n})&= d\Bigl( \lim_{n \rightarrow\infty}fFP_{n}, \lim_{n \rightarrow\infty}FfQ_{n} \Bigr)=d(f\kappa , F\kappa) \\ &= d\biggl(\frac{1}{2}(\kappa_{ij})_{m \times m}, \frac{1}{8}(\kappa_{ij})_{m \times m}\biggr) \\ &=\sum_{i, j=1}^{m} { \biggl\vert \frac{1}{2}\kappa_{ij} -\frac{1}{8}\kappa_{ij} \biggr\vert }=\sum_{i, j=1}^{m} \frac{3}{8}|\kappa_{ij} |. \end{aligned}

But $$\sum_{i, j=1}^{m} {\frac{3}{8}|\kappa_{ij} |}=0\Leftrightarrow \kappa_{ij}=0$$. Similarly, we show $$\lim_{n \rightarrow\infty} d(FfP_{n}, fFQ_{n})=0$$. So the pair $$\{F, f \}$$ is compatible. Similarly, $$\{F, g \}$$ is also compatible.

Now for each $$P, Q \in U_{m}(R)\cup L_{m}(R)$$, we have

\begin{aligned} d(FP, FQ)&=d\biggl(\frac{1}{8}(p_{ij})_{m \times m}, \frac{1}{8}(q_{ij})_{m \times m}\biggr) \\ &= \sum_{i, j=1}^{m} { \biggl\vert \frac{1}{8}p_{ij} -\frac{1}{8}q_{ij} \biggr\vert } \\ &= \frac{1}{8}\sum_{i, j=1}^{m} {|p_{ij} - q_{ij} |} \\ &\leq\frac{1}{3}\sum_{i, j=1}^{m} {|p_{ij} |} -\frac{1}{8}\sum_{i, j=1}^{m} {|p_{ij} |}+\frac{1}{3}\sum_{i, j=1}^{m} {| q_{ij} |}-\frac {1}{16}\sum_{i, j=1}^{m} {| q_{ij} |} \\ & \leq\frac{2}{3}\alpha\biggl(\frac{1}{2}(p_{ij})_{m \times m} \biggr)-\alpha\biggl(\frac {1}{8}(p_{ij})_{m \times m}\biggr) \\ &\quad {} +\frac{2}{3}\beta\bigl((q_{ij})_{m \times m}\bigr)- \beta\biggl(\frac {1}{8}(q_{ij})_{m \times m}\biggr) \\ &= \psi\bigl(\alpha(fP)\bigr)\alpha(fP)-\alpha(FP)+\psi\bigl(\beta(gQ)\bigr) \beta(gQ)- \beta(FQ). \end{aligned}

Thus, F, f, g satisfy all the conditions of Theorem 3.2 and $$O_{m \times m}$$ is a unique common fixed point of F, f and g.

### Theorem 3.4

Let $$(A, B, d)$$ be a complete bipolar metric space. Suppose $$F, f, g: (A, B ) \rightrightarrows (A, B )$$ are covariant mappings satisfying:

(3.4.1):

$$d (Fa, Fb )\leq\alpha (\psi(fa, gb) )\psi(fa, gb)-\psi(Fa, Fb)$$ for all $$a \in A$$ and $$b \in B$$, where $$\psi: (A\times B) \cup(B \times A) \to[0, \infty)$$ is a lower semi-continuous function and $$\alpha: (-\infty, \infty)\to(0, 1)$$ is a continuous function

(3.4.2):

$$F (A \cup B )\subseteq g(A \cup B)$$ and $$F (A \cup B )\subseteq f(A \cup B)$$.

(3.4.3):

Either $$(F, f)$$ or $$(F, g)$$ are compatible.

(3.4.4):

Either f or g is continuous.

Then the mappings $$F, f, g: A\cup B \to A\cup B$$ have a unique common fixed point.

### Corollary 2

Let $$(A, B, d)$$ be a complete bipolar metric space. Suppose $$F, f: (A, B ) \rightrightarrows (A, B )$$ are covariant mappings satisfying:

(2.1):

$$d (Fa, Fb )\leq\alpha (\psi(fa, fb) )\psi(fa, fb)-\psi(Fa, Fb)$$ for all $$a \in A$$ and $$b \in B$$, where $$\psi: (A\times B) \cup(B \times A) \to[0, \infty)$$ is a lower semi-continuous function and $$\alpha: (-\infty, \infty)\to(0, 1)$$ is a continuous function.

(2.2):

$$F (A \cup B )\subseteq f(A \cup B)$$.

(2.3):

$$(F, f)$$ is compatible.

(2.4):

f is continuous.

Then the mappings $$F, f: A\cup B \to A\cup B$$ have a unique common fixed point.

### Corollary 3

Let $$(A, B, d)$$ be a complete bipolar metric space. Suppose $$F: (A, B ) \rightrightarrows (A, B )$$ is a covariant mapping satisfying:

(3.1):

$$d (Fa, Fb )\leq\alpha (\psi(a, b) )\psi(a, b)-\psi(Fa, Fb)$$ for all $$a \in A$$ and $$b \in B$$, where $$\psi: (A\times B) \cup(B \times A) \to[0, \infty)$$ is a lower semi-continuous function and $$\alpha: (-\infty, \infty)\to(0, 1)$$ is a continuous function. Then the mapping $$F: A\cup B \to A\cup B$$ has a unique fixed point.

### 3.1 Application to homotopy

In this section, we study the existence of a unique solution applied to homotopy theory.

### Theorem 3.5

Let $$(A, B, d)$$ be complete bipolar metric space, $$(U, V )$$ be an open subset of $$(A, B)$$ and $$(\overline{U}, \overline{V})$$ be a closed subset of $$(A, B)$$ such that $$(U, V) \subseteq(\overline{U}, \overline{V})$$. Suppose $$H :(\overline{U} \cup \overline{V}) \times[0, 1] \to A\cup B$$ is an operator with the following conditions satisfied:

(3.5.1):

$$x \neq H(x, \kappa)$$ for each $$x\in\partial{U}\cup \partial{V}$$ and $$\kappa\in[0, 1]$$ (here $$\partial{U}\cup\partial {V}$$ is boundary of $$U \cup V$$ in $$A\cup B$$)

(3.5.2):

$$d (H(x, \kappa), H( y, \kappa) )\leq \alpha (\psi(x, y))\psi(x, y)-\psi(H(x, \kappa), H( y, \kappa))$$ for all $$x\in\overline{U}$$, $$y \in\overline{V}$$ and $$\kappa\in[0, 1]$$, where $$\psi: (A\times B )\cup (B\times A )\to[0, \infty)$$ is a lower semi-continuous function and $$\alpha: (-\infty, +\infty)\to(0, 1)$$ is a continuous function.

(3.5.3):

$$\exists M\geq0 \ni$$ $$d(H(x, \chi), H( y, \zeta) ) \leq M | \chi- \zeta|$$ for every $$x \in\overline{U}$$ and $$y \in\overline{V}$$ and $$\chi, \zeta\in[0, 1]$$.

Then $$H(\cdot, 0)$$ has a fixed point â‡” $$H(\cdot, 1)$$ has a fixed point.

### Proof

Consider the sets

\begin{aligned}& X = \bigl\{ \chi\in[0, 1] : x = H(x, \chi) \mbox{ for some } x\in U \bigr\} , \\& Y = \bigl\{ \zeta\in[0, 1] : y = H(y, \zeta) \mbox{ for some } y\in V \bigr\} . \end{aligned}

Since $$H(\cdot, 0)$$ has a fixed point in $$U \cup V$$, we have $$0 \in X\cap Y$$. Thus, $$X\cap Y$$ is a non-empty set.

We will show $$X \cap Y$$ is both closed and open in $$[0, 1]$$ and so, by the connectedness $$X=Y = [0, 1]$$.

Let $$( \{ { \chi_{n}} \}_{n = 1}^{\infty}, \{ { \zeta_{n}} \}_{n = 1}^{\infty})\subseteq(X, Y)$$ with $$(\chi_{n}, \zeta_{n}) \to (\chi, \zeta) \in[0, 1]$$ as $$n \to\infty$$.

We must show $$\chi=\zeta\in X \cap Y$$.

Since $$(\chi_{n} , \zeta_{n})\in(X, Y)$$ for $$n = 0, 1, 2, 3, \ldots$$â€‰, there exists a bisequence $$(x_{n}, y_{n})$$ with $$x_{n+1} = H(x_{n}, \chi _{n})$$, $$y_{n+1} = H(y_{n}, \zeta_{n})$$.

Consider

\begin{aligned} d(x_{n}, y_{n+1}) =& d\bigl(H(x_{n-1}, \chi_{n-1}), H(y_{n}, \zeta_{n})\bigr) \\ \leq& \alpha\bigl(\psi(x_{n-1}, y_{n})\bigr) \psi(x_{n-1}, y_{n})-\psi\bigl(H(x_{n-1}, \chi _{n-1}), H(y_{n}, \zeta_{n})\bigr) \\ < & \psi(x_{n-1}, y_{n})-\psi\bigl(H(x_{n-1}, \chi_{n-1}), H( y_{n}, \zeta _{n})\bigr) \\ =& \psi(x_{n-1}, y_{n})-\psi(x_{n}, y_{n+1}). \end{aligned}
(7)

It follows that

$$\psi(x_{n}, y_{n+1})\leq\alpha\bigl(\psi(x_{n-1}, y_{n})\bigr)\psi(x_{n-1}, y_{n}) < \psi(x_{n-1}, y_{n}).$$
(8)

Also, we have

\begin{aligned} d(x_{n}, y_{n}) =& d\bigl(H(x_{n-1}, \chi_{n-1}), H(y_{n-1}, \zeta _{n-1})\bigr) \\ \leq& \alpha\bigl(\psi(x_{n-1}, y_{n-1})\bigr) \psi(x_{n-1}, y_{n-1})-\psi \bigl(H(x_{n-1}, \chi_{n-1}), H(y_{n-1}, \zeta_{n-1})\bigr) \\ < & \psi(x_{n-1}, y_{n-1})-\psi\bigl(H(x_{n-1}, \chi_{n-1}), H(y_{n-1}, \zeta _{n-1})\bigr) \\ =& \psi(x_{n-1}, y_{n-1})-\psi(x_{n}, y_{n}); \end{aligned}
(9)

similarly, it follows

$$\psi(x_{n}, y_{n})\leq\alpha\bigl(\psi(x_{n-1}, y_{n-1})\bigr)\psi(x_{n-1}, y_{n-1})< \psi(x_{n-1}, y_{n-1}).$$
(10)

From (8) and (10) one shows the bisequence $$( \{\psi (x_{n}, y_{n}) \}$$ is a non-increasing bisequence of non-negative real numbers. So they must converge to $$\lambda_{1} \geq0$$.

Suppose $$\lambda_{1}>0$$. Letting $$n \to\infty$$ in Eqs. (8) and (10), we get a contradiction. Therefore,

$$\lim_{n \rightarrow\infty}\psi(x_{n}, y_{n}) =0.$$
(11)

Now, from (7), we have

\begin{aligned} \sum_{n=1}^{m} {d (x_{n}, y_{n+1} )} =& d (x_{1}, y_{2} )+d (x_{2}, y_{3} ) + \cdots+d (x_{m}, y_{m+1} ) \\ < &\psi(x_{0}, y_{1})-\psi(x_{1}, y_{2})+\psi(x_{1}, y_{2})-\psi(x_{2}, y_{3}) \\ &{} + \cdots+\psi(x_{m-1}, y_{m})-\psi(x_{m}, y_{m+1}) \\ < &\psi(x_{0}, y_{1}). \end{aligned}

This shows $$\sum_{n=1}^{m} {d (x_{n}, y_{n+1} )}$$ is a biconvergent series.

Similarly, we can also prove $$\sum_{n=1}^{m} {d (x_{n}, y_{n} )}$$ is a biconvergent series. Hence it is convergent.

Now for each $$n, m \in N$$, $$n< m$$, using the property ($$B_{3}$$) and from (7), (9), we have

\begin{aligned} d(x_{n}, y_{m}) \leq& d(x_{n}, y_{n+1})+d(x_{n+1}, y_{n+1})+\cdots \\ &{} + d(x_{m-1}, y_{m-1})+d(x_{m-1}, y_{m}) \\ \leq& d\bigl(H(x_{n-1}, \chi_{n-1}), H( y_{n}, \zeta_{n})\bigr) \\ &{} + d\bigl(H(x_{n}, \chi_{n}), H( y_{n}, \zeta_{n})\bigr)+\cdots \\ &{} + d\bigl(H(x_{m-2}, \chi_{m-2}), H( y_{m-2}, \zeta_{m-2})\bigr) \\ &{} + d\bigl(H(x_{m-2}, \chi_{m-2}), H( y_{m-1}, \zeta_{m-1})\bigr) \\ < & \psi(x_{n-1}, y_{n})-\psi(x_{n}, y_{n+1}) +M |\chi_{n-1}-\zeta_{n-1}| +M | \chi_{m-2}-\zeta_{m-2}| \\ &{} + \psi(x_{m-2}, y_{m-1})-\psi(x_{m-1}, y_{m}) \\ \to&0\quad \mbox{as } n, m \to\infty. \end{aligned}

Similarly, we can also show $$\lim_{n \to\infty} d(x_{m}, y_{n})=0$$.

Therefore, $$(x_{n}, y_{n})$$ is a Cauchy bisequence in $$(U, V)$$. By completeness, there exist $$\xi\in U$$ and $$\lambda\in V$$ with

$$\lim_{n \to\infty}x_{n}=\lambda,\qquad \lim _{n \to\infty}y_{n}=\xi.$$
(12)

Now consider

\begin{aligned} d\bigl(H(\xi, \chi), \lambda\bigr) \leq &d\bigl(H(\xi, \chi), y_{n+1} \bigr)+d(x_{n+1},y_{n+1})+d(x_{n+1}, \lambda) \\ \leq& d\bigl(H(\xi, \chi), H( y_{n},\zeta_{n})\bigr)+d \bigl(H(x_{n}, \chi_{n}), H( y_{n}, \zeta _{n})\bigr)+d(x_{n+1}, \lambda) \\ \leq&\alpha\bigl(\psi(\xi, y_{n})\bigr)\psi(\xi, y_{n})- \psi\bigl(H(\xi, \chi), H( y_{n},\zeta_{n})\bigr) \\ &{} + M|\chi_{n}- \zeta_{n}|+d(x_{n+1}, \lambda) \\ < & \psi(\xi, y_{n})-\psi\bigl(H(\xi, \chi), H( y_{n}, \zeta_{n})\bigr) \\ &{} + M|\chi_{n}- \zeta_{n}|+d(x_{n+1}, \lambda) \\ < & \psi(\xi, y_{n})-\psi(\xi, y_{n+1}) \\ &{} + M|\chi_{n}- \zeta_{n}|+d(x_{n+1}, \lambda) \\ \to&0\quad \mbox{as } n \to\infty. \end{aligned}

It follows that $$H(\xi, \chi)= \lambda$$. Similarly, we get $$H(\lambda, \zeta)= \xi$$.

On the other hand from (12), we get

$$d(\xi, \lambda)= d\Bigl( \lim_{n \to\infty}y_{n}, \lim _{n \to\infty }x_{n}\Bigr)= \lim_{n \to\infty}d(x_{n}, y_{n})=0.$$

Therefore, $$\xi= \lambda$$. Thus $$\chi=\zeta\in X \cap Y$$. Clearly $$X \cap Y$$ is closed in [0, 1].

Let $$(\chi_{0}, \zeta_{0})\in(X, Y )$$. Then there exists a bisequence $$(x_{0}, y_{0})$$ such that

$$x_{0} =H(x_{0}, \chi_{0}),\qquad y_{0} =H(y_{0}, \zeta _{0}).$$

Since $$U \cup V$$ is open, there exists $$r> 0$$ such that $$B_{d}(x_{0}, r)\subseteq U\cup V$$ and $$B_{d}(r, y_{0})\subseteq U\cup V$$.

Choose $$\chi\in(\zeta_{0} -\epsilon, \zeta_{0} +\epsilon)$$ and $$\zeta\in (\chi_{0} -\epsilon, \chi_{0} +\epsilon)$$ such that $$|\chi- \zeta_{0}| \leq \frac{1}{M^{n}} <\frac{\epsilon}{2}$$, $$|\zeta- \chi_{0}| \leq\frac{1}{M^{n}} <\frac{\epsilon}{2}$$ and $$|\chi_{0}- \zeta_{0}| \leq\frac{1}{M^{n}} <\frac {\epsilon}{2}$$.

Then we have $$y \in\overline{B_{X\cup Y}(x_{0}, r)}= \{y, y_{0}\in V / d(x_{0}, y)\leq r +d(x_{0}, y_{0}) \}$$ and $$x \in\overline {B_{X\cup Y}(y_{0}, r)}= \{x, x_{0}\in U / d(x, y_{0})\leq r +d(x_{0}, y_{0}) \}$$.

Also

\begin{aligned} d\bigl(H(x, \chi), y_{0}\bigr) =& d\bigl(H(x, \chi), H(y_{0}, \zeta_{0}) \bigr) \\ \leq& d\bigl(H(x, \chi), H(y, \zeta_{0}) \bigr)+d \bigl(H(x_{0}, \chi), H(y, \zeta_{0}) \bigr) \\ &{} +d\bigl(H(x_{0}, \chi), H(y_{0}, \zeta_{0}) \bigr) \\ \leq&2M|\chi- \zeta_{0}|+d\bigl(H(x_{0}, \chi), H(y, \zeta_{0}) \bigr) \\ \leq&2M|\chi- \zeta_{0}|+\alpha\bigl(\psi(x_{0}, y)\bigr) \psi(x_{0}, y)-\psi\bigl(H(x_{0}, \chi), H(y, \zeta_{0})\bigr) \\ < & \frac{2}{M^{n-1}}+\psi(x_{0}, y)- \psi\bigl(H(x_{0}, \chi), H(y, \zeta_{0})\bigr). \end{aligned}

Letting $$n \to\infty$$, we get

\begin{aligned} d\bigl(H(x, \chi), y_{0}\bigr)&< \psi(x_{0}, y)- \psi \bigl(H(x_{0}, \chi), H(y, \zeta_{0})\bigr) \\ &< \psi(x_{0}, y) \\ &\leq d(x_{0}, y )\leq r+ d(x_{0}, y_{0}). \end{aligned}

Similarly, we can also prove $$d(x_{0}, H(y, \zeta))\leq d(x, y_{0} )\leq r+ d(x_{0}, y_{0})$$.

On the other hand

\begin{aligned} d(x_{0}, y_{0})&=d\bigl(H(x_{0}, \chi_{0}), H(y_{0}, \zeta_{0})\bigr) \\ &\leq M|\chi_{0}-\zeta_{0}|\leq\frac{1}{M^{n-1}} \to0 \quad \mbox{as } n \to \infty. \end{aligned}

So $$x_{0}= y_{0}$$. Thus, for each fixed Î¶, $$\zeta=\chi\in(\zeta_{0} - \epsilon, \zeta _{0} + \epsilon)$$ and $$H(\cdot, \chi): \overline{B_{X\cup Y}(x_{0}, r)} \to \overline{B_{X\cup Y}(x_{0}, r)}$$. Thus, we conclude $$H(\cdot, \chi)$$ has a fixed point in $$\overline{U\cup V}$$. But this must be in $$U\cup V$$.

Therefore, $$H(\cdot, \chi)$$ has a fixed point in $$\overline{U} \cap \overline{V}$$. But this must be in $$U \cap V$$.

Therefore, $$\chi=\zeta\in X \cap Y$$ for $$\zeta\in(\zeta_{0} - \epsilon, \zeta_{0} + \epsilon)$$. Hence $$(\zeta_{0} - \epsilon, \zeta_{0} + \epsilon)\subseteq X \cap Y$$. Clearly $$X \cap Y$$ is open in [0, 1].

To prove the reverse, we can use a similar process.â€ƒâ–¡

### 3.2 Application to the existence of solutions of integral equations

In this section, we study the existence and unique solution to an integral equations as an application of Corollary 3.

### Theorem 3.6

Let us consider the integral equation

$$\gamma(x)= f(x)+ \int_{E_{1}\cup E_{2}} {S\bigl( x, y, \gamma(y)\bigr)\, dy} ,\quad x \in E_{1}\cup E_{2},$$

where $$E_{1}\cup E_{2}$$ is a Lebesgue measurable set. Suppose

1. (i)

$$S: (E^{2}_{1}\cup E^{2}_{2})\times[0, +\infty)\rightarrow[0, +\infty)$$ and $$f\in L^{\infty}(E_{1})\cup L^{\infty}(E_{2})$$,

2. (ii)

there is a continuous function $$\tau: E^{2}_{1}\cup E^{2}_{2}\rightarrow[0, +\infty)$$ such that $$|S(x,y, \gamma(y))-S(x, y,\beta(y))|\leq \frac{1}{2} \tau(x, y) |\gamma(y)-\beta(y)|$$, for $$(x, y)\in E^{2}_{1}\cup E^{2}_{2}$$,

3. (iii)

$$\|\int_{E_{1}\cup E_{2}} {\tau(x, y)\, dy}\|\leq1$$ i.e $$\operatorname{Sup}_{x\in E_{1}\cup E_{2}} \int_{E_{1}\cup E_{2}} {|\tau(x, y)|\, dy} \leq1$$.

Then the integral equation has a unique solution in $$L^{\infty}(E_{1})\cup L^{\infty}(E_{2})$$.

### Proof

Let $$A=L^{\infty}(E_{1})$$ and $$B=L^{\infty}(E_{2})$$ be two normed linear spaces, where $$E_{1}$$, $$E_{2}$$ are Lebesgue measurable sets and $$m(E_{1}\cup E_{2})<\infty$$.

Consider $$d: A\times B \to[0, +\infty)$$ to be defined by $$d(f, g)=\|f-g\|_{\infty}$$ for all $$(f, g)\in A\times B$$. Then $$(A, B, d)$$ is a complete bipolar metric space.

Define the covariant mapping $$F: L^{\infty}(E_{1})\cup L^{\infty}(E_{2}) \to L^{\infty}(E_{1})\cup L^{\infty}(E_{2})$$ by

$$F\bigl(\gamma(x)\bigr)= \int_{E_{1}\cup E_{2}} {S\bigl(x, y, \gamma(y)\bigr)\, dy} +f(x),\quad x \in E_{1}\cup E_{2}.$$

Define $$\psi:(A\times B)\cup(B\times A) \rightarrow[0, +\infty)$$ by $$\psi(\gamma(x), \beta(y))=2\|\gamma(x)- \beta(y)\|$$ and define

$$\alpha:(-\infty, +\infty)\to(0, 1) \quad \mbox{as } \alpha(t)= \textstyle\begin{cases} {\frac{5}{6}} & \mbox{if }t>0, \\ {0} & \mbox{if }t< 0. \end{cases}$$

Now, we have

\begin{aligned} d\bigl(F\gamma(x), F\beta(x)\bigr) =& \bigl\Vert F\gamma(x)-F\beta(x) \bigr\Vert \\ =& \biggl\vert \int_{E_{1}\cup E_{2}} {S\bigl(x, y , \gamma(y)\bigr)\,dy} +f(x)-\biggl( \int_{E_{1}\cup E_{2}} {S\bigl(x, y, \beta(y)\bigr)\,dy} +f(x)\biggr) \biggr\vert \\ \leq& \int_{E_{1}\cup E_{2}} { \bigl\vert S\bigl(x, y, \gamma(y)\bigr)-S\bigl(x, y, \beta(y)\bigr) \bigr\vert \,dy} \\ \leq&\frac{1}{2} \int_{E_{1}\cup E_{2}} { \tau(x, y) \bigl\vert \gamma(y)-\beta (y) \bigr\vert \,dy} \\ \leq& \frac{1}{2} \bigl\Vert \gamma(y)-\beta(y) \bigr\Vert _{\infty} \int_{E_{1}\cup E_{2}} {\tau(x, y)\,dy} \\ \leq& \frac{1}{2} \|\gamma-\beta\|_{\infty} \| \mathop{ \operatorname{Sup}}_{x\in E_{1}\cup E_{2}} \int_{E_{1}\cup E_{2}} { \bigl\vert \tau(x, y) \bigr\vert \,dy} \\ =&\frac{5}{6}\times2\|\gamma-\beta\|-2\|F\gamma-F\beta\| \\ =& \alpha\bigl(\psi(\gamma, \beta)\bigr)\psi(\gamma, \beta)-\psi(F\gamma, F \beta). \end{aligned}

It follows from Corollary 3 that F has a unique fixed point in $$A\cup B$$.â€ƒâ–¡

## 4 Conclusions

In this paper, we obtain the existence and uniqueness of the solution for three self mappings in a complete bipolar metric space under a new Caristi type contraction with an example. Also, we provide some applications to homotopy theory and nonlinear integral equations by using fixed point theorems in bipolar metric spaces.

## References

1. Mutlu, A., GÃ¼rdal, U.: Bipolar metric spaces and some fixed point theorems. J. Nonlinear Sci. Appl. 9(9), 5362â€“5373 (2016)

2. Mutlu, A., Ã–zkan, K., GÃ¼rdal, U.: Coupled fixed point theorems on bipolar metric spaces. Eur. J. Pure Appl. Math. 10(4), 655â€“667 (2017)

3. Caristi, J.: Fixed point theorems for mappings satisfying inwardness condition. Trans. Am. Math. Soc. 215, 241â€“251 (1976). https://doi.org/10.1090/s0002-9947-1976-0394329-4

4. Banach, S.: Sur les operations dans les ensembles abstraits et leur applications aux equations integrales. Fundam. Math. 3, 133â€“181 (1922)

5. Agarwal, R.P., Khamsi, M.A.: Extension of Caristiâ€™s fixed point theorem to vector valued metric space. Nonlinear Anal. TMA 74, 141â€“145 (2011). https://doi.org/10.1016/j.na.2010.08.025

6. Khamsi, M.A.: Remarks on Caristiâ€™s fixed point theorem. Nonlinear Anal. TMA 71, 227â€“231 (2009)

7. Khamsi, M.A., Kirk, W.A.: An Introduction to Metric Spaces and Fixed Point Theory. Pure and Applied Mathematics. Wiley-Interscience, New York (2001). https://doi.org/10.1002/9781118033074

8. Ekeland, I.: Sur les problems variationnels. C. R. Acad. Sci. Paris 275, 1057â€“1059 (1972)

9. Ekeland, I.: On the variational principle. J. Math. Anal. Appl. 47(2), 324â€“353 (1974)

10. Dur-e-Shehwar, Batul, S., Kamran, T., Ghiura, A.: Caristiâ€™s fixed point theorem on $$C^{*}$$-algebra valued metric spaces. J.Â Nonlinear Sci. Appl. 9, 584â€“588 (2016)

### Acknowledgements

The authors are very thankful to the reviewers and editors for valuable comments, remarks and suggestions for improving the content of the paper.

### Availability of data and materials

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

## Funding

For this work there was no funding.

## Author information

Authors

### Contributions

All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.

### Corresponding authors

Correspondence to G. N. V. Kishore or R. V. N. Srinivasa Rao.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interest.

### Publisherâ€™s Note

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

## Rights and permissions

Reprints and permissions

Kishore, G.N.V., Agarwal, R.P., Srinuvasa Rao, B. et al. Caristi type cyclic contraction and common fixed point theorems in bipolar metric spaces with applications. Fixed Point Theory Appl 2018, 21 (2018). https://doi.org/10.1186/s13663-018-0646-z