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.
Similar content being viewed by others
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.
-
(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}\).
-
(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}\).
-
(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}\).
-
(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
for \(n= 0, 1, 2, \ldots\) .
By using the condition (3.2.1), we have
It follows that
and
Similarly, it follows that
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,
Now, from (1), we have
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
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
That is,
Since f is continuous, we have
Since α, β are lower semi-continuous functions,
From (5), we get \(\alpha( \kappa)=\beta(\kappa)=0\).
Since the pair \(\{F, f \}\) is compatible, we have
Therefore
Taking \(a=fa_{2n+2}\) and \(b=b_{2n+1}\) in (3.2.1), we get
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
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
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
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
Obviously,
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
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
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
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
It follows that
Also, we have
similarly, it follows
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,
Now, from (7), we have
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
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
Now consider
It follows that \(H(\xi, \chi)= \lambda\). Similarly, we get \(H(\lambda, \zeta)= \xi\).
On the other hand from (12), we get
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
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
Letting \(n \to\infty\), we get
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
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
where \(E_{1}\cup E_{2}\) is a Lebesgue measurable set. Suppose
-
(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})\),
-
(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}\),
-
(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
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
Now, we have
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
Mutlu, A., Gürdal, U.: Bipolar metric spaces and some fixed point theorems. J. Nonlinear Sci. Appl. 9(9), 5362–5373 (2016)
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)
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
Banach, S.: Sur les operations dans les ensembles abstraits et leur applications aux equations integrales. Fundam. Math. 3, 133–181 (1922)
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
Khamsi, M.A.: Remarks on Caristi’s fixed point theorem. Nonlinear Anal. TMA 71, 227–231 (2009)
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
Ekeland, I.: Sur les problems variationnels. C. R. Acad. Sci. Paris 275, 1057–1059 (1972)
Ekeland, I.: On the variational principle. J. Math. Anal. Appl. 47(2), 324–353 (1974)
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 and Affiliations
Contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that they have no competing interest.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13663-018-0646-z