(α − ψ) Meir–Keeler Contractions in Bipolar Metric Spaces

Abstract

In this paper, we introduce the new notion of contravariant $(\alpha -\psi )$ Meir–Keeler contractive mappings by defining $\alpha$-orbital admissible mappings and covariant Meir–Keeler contraction in bipolar metric spaces. We prove fixed point theorems for these contractions and also provide some corollaries of main results. An example is also be given in support of our main result. In the end, we also solve an integral equation using our result.

1. Introduction

Fixed point theory is the major branch of non-linear analysis. It has number of applications in other branch of sciences, economics, etc. In 1922, Banach [1] gave a contraction principle to obtain a fixed point theorem in complete metric space. Some other researchers tried to generalize the concept of metric space; see [2,3,4]. Due to the various applications of the Banach contraction principle, the contraction mapping theorem has been generalized by many researchers in the setting of various topological spaces using different contractive conditions; see [5,6,7,8,9,10,11,12,13,14]. In 2012, Samet et al. [15] introduced the new contraction by defining the $\alpha$-admissible mappings and established fixed point results thereon. In 2013, Kumam et al. [16] extended and generalized the $\alpha$-admissible mapping of [15], introduced $(\alpha -\psi )$ Meir–Keeler contractive mappings and proved some fixed point theorems in complete metric space. In 2014, Popescu [17] introduced $\alpha$-orbital admissible mapping to get fixed point theorems.

Recently, in 2016, Mutlu et al. [18] introduced the new type of metric space called bipolar metric space. Since then, researchers have established several fixed point theorems using various contractive conditions in the setting of bipolar metric spaces; see [19,20,21,22,23,24].

Inspired by this, in the present work, we introduce $(\alpha -\psi )$ Meir–Keeler contractive mappings and establish fixed point theorems in the setting of bipolar metric spaces. The rest of the paper is organized as follows. In Section 2, we review some preliminary definitions and monographs that are required for our main result. In Section 3, we present our main results and establish a fixed point result using $(\alpha -\psi )$ Meir–Keeler contractive mappings in the setting of bipolar metric space. We supplement the derived results with suitable non-trivial examples. In Section 4, we apply the derived fixed point result to find an analytical solution to the integral equation. Finally, we conclude the paper with some open problems for future work.

2. Preliminaries

To prove our main results, we need some basic definitions from the literature as follows:

Definition 1

([18]). Let X and Y be two non-empty sets and $d:X\times Y\to [0,\infty )$ be a map satisfying the following conditions:

1. 

$d(x,y)=0$ if and only if $x=y$ for all $(x,y)\in X\times Y$;

2. 

$d(x,y)=d(y,x)$ for all $x,y\in X\cap Y$;

3. 

$d(x_1,y_2)\le d(x_1,y_1)+d(x_2,y_1)+d(x_2,y_2)$;

for all $x_1,x_2\in X$ and $y_1,y_2\in Y$.

Then, d is called bipolar metric and $(X,Y,d)$ is called bipolar metric space.

If $X\cap Y=\varphi$, then the space is called disjoint; otherwise, it is called joint. The set X is called the left pole and the set Y is called the right pole of $(X,Y,d)$. The elements of X, Y and $X\cap Y$ are called left, right and central elements, respectively.

Definition 2

([18]). Let $(X,Y,d)$ be a bipolar metric space. Then, any sequence $\left\{x_n\right\}\subseteq X$ is called a left sequence and is said to be convergent to the right element; for example, y if $d(x_n,y)\to 0$ as $n\to \infty$. Similarly, a right sequence $\left\{y_n\right\}\subseteq Y$ is said to be convergent to a left element; for example, x if $d(x,y_n)\to 0$ as $n\to \infty$.

Definition 3

([18]). Let $(X,Y,d)$ be a bipolar metric space.

1. 

A sequence $\{x_n,y_n\}$ on $X\times Y$ is called a bisequence on $(X,Y,d)$.

2. 

If both the sequences $\left\{x_n\right\}$ and $\left\{y_n\right\}$ converge, then the bisequence $\{x_n,y_n\}$ is said to be convergent. If both sequences $\left\{x_n\right\}$ and $\left\{y_n\right\}$ converge to the same point $u\in X\cap Y$, then the bisequence $\{x_n,y_n\}$ is called biconvergent.

3. 

A bisequence $\{x_n,y_n\}$ on $(X,Y,d)$ is said to be a Cauchy bisequence if for each $ϵ>0$ there exists a positive integer $N\in \mathbb{N}$ such that $d(x_n,y_m)<ϵ$ for all $n,m\ge N$.

4. 

A bipolar metric space is said to be complete if every Cauchy bisequence is convergent in this space.

Definition 4

([18]). Let $(X_1,Y_1,d_1)$ and $(X_2,Y_2,d_2)$ be two bipolar metric spaces and $T:X_1\cup Y_1\to X_2\cup Y_2$ be a function:

1. 

If $T{X}_1\subseteq X_2$ and $T{Y}_1\subseteq Y_2$, then T is called covariant mapping and is denoted by $T:(X_1,Y_1,d_1)\rightrightarrows (X_2,Y_2,d_2)$.

2. 

If $T{X}_1\subseteq Y_2$ and $T{Y}_1\subseteq X_2$, then T is called contravariant mapping and is denoted by $T:(X_1,Y_1,d_1)\rightleftarrows (X_2,Y_2,d_2)$.

Definition 5

([18]). Let $(X_1,Y_1,d_1)$ and $(X_2,Y_2,d_2)$ be two bipolar metric spaces.

1. 

A map $T:(X_1,Y_1,d_1)\rightrightarrows (X_2,Y_2,d_2)$ is called left continuous at a point $x_0\in X$ if for every $ϵ>0$ there exists a $\delta >0$ such that $d_2(T{x}_0,Ty)<ϵ$ whenever $d_1(x_0,y)<\delta$.

2. 

A map $T:(X_1,Y_1,d_1)\rightrightarrows (X_2,Y_2,d_2)$ is called right continuous at a point $y_0\in Y$ if for every $ϵ>0$ there exists a $\delta >0$ such that $d_2(Tx,T{y}_0)<ϵ$ whenever $d_1(x,y_0)<\delta$.

3. 

A map $T:(X_1,Y_1,d_1)\rightrightarrows (X_2,Y_2,d_2)$ is called continuous if it is left continuous at each $x_0\in X$ and right continuous at each $y_0\in Y$.

4. 

A map $T:(X_1,Y_1,d_1)\rightleftarrows (X_2,Y_2,d_2)$ is called continuous if and only if it is continuous as a covariant map $T:(X_1,Y_1,d_1)\rightrightarrows (X_2,Y_2,d_2)$

Definition 6

([20]). Let $T:(X,Y)\rightrightarrows (X,Y)$ and $\alpha :X\times Y\to [0,\infty )$. Then, T is called α-admissible if

$$\alpha (x,y)\ge 1implies\alpha (Tx,Ty)\ge 1,$$

(1)

for all $(x,y)\in X\times Y$.

Definition 7

([20]). Let $T:(X,Y)\rightleftarrows (X,Y)$ and $\alpha :X\times Y\to [0,\infty )$. Then, T is called α-admissible if

$$\alpha (x,y)\ge 1implies\alpha (Ty,Tx)\ge 1,$$

(2)

for all $(x,y)\in X\times Y$.

Definition 8

([15]). Let Ψ be the family of functions $\psi :[0,\infty )\to [0,\infty )$ satisfying the following conditions:

1. 

ψ is non-decreasing.

2. 

${\sum }_{n=1}^{+\infty }{\psi }^n<\infty$ for all $t>0$, where ${\psi }^n$ is the $n^{th}$ iterate of ψ.

These functions are known as (c)-comparison functions. It can be easily verified that $\psi \left(t\right)<t$ for any $t>0$.

3. Results

Here, we introduce $(\alpha -\psi )$ Meir–Keeler contractions and $\alpha$-orbital admissible mappings and prove fixed point theorems for these contractions in bipolar metric spaces.

Definition 9. 

Let $T:(X,Y)\rightleftarrows (X,Y)$ and $\alpha :X\times Y\to \mathbb{R}$. Then, T is called an α-orbital admissible mapping if

$$\alpha (x,Tx)\ge 1\Rightarrow \alpha (T^{2}x,Tx)\ge 1,$$

(3)

$$and$$

$$\alpha (Ty,y)\ge 1\Rightarrow \alpha (Ty,T^{2}y)\ge 1,$$

(4)

For all $(x,y)\in X\times Y$.

Definition 10. 

Let $(X,Y,d)$ be a bipolar metric space and $\psi \in \Psi$. Suppose $T:(X,Y)\rightleftarrows (X,Y)$ is an contravariant mapping and if for every $ϵ>0$ there exists $\delta >0$ such that

$$ϵ\le \psi \left(d\right(x,y\left)\right)<ϵ+\delta \Rightarrow \alpha (x,Tx)\alpha (Ty,y)\psi \left(d\right(Ty,Tx\left)\right)<ϵ,$$

(5)

for all $(x,y)\in X\times Y$ and $\alpha :X\times Y\to \mathbb{R}$.

Then, T is said to be contravariant $(\alpha -\psi )$ Meir–Keeler contractive mapping.

Remark 1. 

From (5), we get $\alpha (x,Tx)\alpha (Ty,y)\psi \left(d\right(Ty,Tx\left)\right)<\psi \left(d\right(x,y\left)\right)$, when $x\ne y$.

If $x=y$ then $\alpha (x,Tx)\alpha (Ty,y)\psi \left(d\right(Ty,Tx\left)\right)\le \psi \left(d\right(x,y\left)\right)$.

Now, we present our first theorem.

Theorem 1. 

Let $(X,Y,d)$ be a complete bipolar metric space. Suppose that $T:(X,Y)\rightleftarrows (X,Y)$ is a contravariant $(\alpha -\psi )$ Meir–Keeler contractive mapping. If the following conditions hold,

1. 

T is α-orbital admissible,

2. 

There exists $x_0\in X$ such that $\alpha (x_0,T{x}_0)\ge 1$,

3. 

T is continuous,

then T has a fixed point.

Proof. 

Let $x_0\in X$ such that $\alpha (x_0,T{x}_0)\ge 1$. Construct the sequences $\left\{x_n\right\}$ and $\left\{y_n\right\}$ by taking $y_n=T{x}_n$ and $x_{n+1}=T{y}_n$ for all $n\in \mathbb{N}$. Clearly, $\{x_n,y_n\}$ is a bisequence.

Since T is $\alpha$-admissible, we obtain

$$\begin{array}{ccc}\hfill \alpha (x_0,y_0)& =& \alpha (x_0,T{x}_0)\ge 1\Rightarrow \alpha (T^2{x}_0,T{x}_0)=\alpha (x_1,y_0)\ge 1,\hfill \\ \hfill \alpha (x_1,y_0)& =& \alpha (T{y}_0,y_0)\ge 1\Rightarrow \alpha (T{y}_0,T^2{y}_0)=\alpha (x_1,y_1)\ge 1,\hfill \\ \hfill \alpha (x_1,y_1)& =& \alpha (x_1,T{x}_1)\ge 1\Rightarrow \alpha (T2x_1,T{x}_1)=\alpha (x_2,y_1)\ge 1,\hfill \\ \hfill \alpha (x_2,y_1)& =& \alpha (T{y}_1,y_1)\Rightarrow \alpha (T{y}_1,T^2{y}_1)=\alpha (x_2,y_2)\ge 1.\hfill \end{array}$$

By continuing this process, we get

$$\alpha (x_n,y_n)\ge 1and\alpha (x_{n+1},y_n)\ge 1foralln\in \mathbb{N}.$$

(6)

Using Remark 1 and (6), we get

$$\begin{array}{ccc}\hfill \psi \left(d(x_n,y_n)\right)& =& \psi \left(d(T{y}_{n-1},T{x}_n)\right)\le \alpha (x_n,y_n)\alpha (x_n,y_{n-1})\psi \left(d(T{y}_{n-1},T{x}_n)\right),\hfill \\ \hfill & =& \alpha (x_n,T{x}_n)\alpha (T{y}_{n-1},y_{n-1})\psi \left(d(T{y}_{n-1},T{x}_n)\right),\hfill \\ & <& \psi \left(d(x_n,y_{n-1})\right).\hfill \end{array}$$

(7)

Using again Remark 1 and (6), we get

$$\begin{array}{ccc}\hfill \psi \left(d(x_{n+1},y_n)\right)& =& \psi \left(d(T{y}_n,T{x}_n)\right)\le \alpha (x_n,y_n)\alpha (x_{n+1},y_n),\hfill \\ \hfill & =& \alpha (x_n,T{x}_n)\alpha \left(d(T{y}_n,y_n)\right)\psi \left(d(x_n,y_n)\right),\hfill \\ & <& \psi \left(d(x_n,y_n)\right).\hfill \end{array}$$

(8)

From (7) and (8), using mathematical induction, we have

$$\psi \left(d(x_n,y_n)\right)<\psi \left(d(x_{n-1},y_{n-1})\right)\forall n\in \mathbb{N}$$

(9)

$$\mathrm{and}$$

$$\psi \left(d(x_{n+1},y_n)\right)<\psi \left(d(x_n,y_{n-1})\right)\forall n\in \mathbb{N}.$$

(10)

From (9) and (10), it is clear that $\left\{\psi \left(d(x_n,y_n)\right)\right\}$ and $\left\{\psi \left(d(x_{n+1},y_n)\right)\right\}$ are monotonically decreasing sequences of positive reals and hence convergent. Let $\left\{\psi \left(d(x_n,y_n)\right)\right\}\to s_1$ and $\left\{\psi \left(d(x_{n+1},y_n)\right)\right\}\to s_2$ as $n\to \infty$, where $s_1,s_2\ge 0$.

Now, we prove that $s_1=0$ and $s_2=0$.

Firstly, suppose if possible that $s_1>0$.

Clearly, $\psi \left(d(x_n,y_n)\right)\ge s_1>0$ for all $n\in \mathbb{N}$.

Let $ϵ=s_1$. Then, by hypothesis, there exist $\delta >0$ and $n_0\in \mathbb{N}$ such that

$$\begin{array}{ccc}\hfill ϵ& \le & \psi \left(d(x_{n_0},y_{n_0})\right)<ϵ+\delta .\hfill \end{array}$$

(11)

From (5), we have

$$\begin{array}{ccc}\hfill \psi \left(d(x_{n_0+1},y_{n_0+1})\right)& \le & \alpha (x_{n_0+1},y_{n_0+1})\alpha (x_{n_0+1},y_{n_0})\psi \left(d(x_{n_0+1},y_{n_0+1})\right),\hfill \\ & =& \alpha (x_{n_0+1},T{x}_{n_0+1})\alpha (T{y}_{n_0},y_{n_0})\psi \left(d(T{y}_{n_0},T{x}_{n_0+1})\right)<ϵ=s_1,\hfill \end{array}$$

a contradiction.

So, $s_1=0$.

Similarly, one can prove easily that $s_2=0$.

Hence, $\psi \left(d(x_n,y_n)\right)\to 0$ and $\psi \left(d(x_{n+1},y_n)\right)\to 0$ as $n\to \infty$. By using the definition of continuity of $\psi$ at $t=0$, we can say that

$$d(x_n,y_n)\to 0andd(x_{n+1},y_n)\to 0asn\to \infty .$$

(12)

For a given $ϵ>0$, by the hypothesis, there exists $\delta >0$ such that (5) holds. Without loss of generality, let us assume that $\delta <ϵ$.

Since $\psi \left(d(x_n,y_n)\right)\to 0$ and $\psi \left(d(x_{n+1},y_n)\right)\to 0$, there exist $N_1,N_2\in \mathbb{N}$ such that

$$\psi \left(d(x_{n-1},y_{n-1})\right)<\frac{\delta }{3}foralln\ge N_1,$$

(13)

$$\psi \left(d(x_n,y_{n-1})\right)<\frac{\delta }{3}foralln\ge N_2.$$

(14)

Now, we shall prove that

$$\psi \left(d(x_{n+l},y_n)\right)<ϵ$$

(15)

$$\mathrm{and}$$

$$\psi \left(d(x_n,y_{n+l})\right)<ϵ,foralln\ge N.$$

(16)

where $N=max\{N_1,N_2\}$.

Firstly, using mathematical induction, we prove (15), that is $\psi \left(d(x_{n+l},y_n)\right)<ϵ$. From (14), clearly the inequality holds for $l=1$.

Suppose that the result is true for some $l=k$, that is

$$\psi \left(d(x_{n+k},y_n)\right)<ϵ,foralln\ge N.$$

(17)

Now, by using the definition of bipolar metric space, (13), (14) and (17), we get

$$\begin{array}{ccc}\hfill \psi \left(d(x_{n+k},y_{n-1})\right)& \le & \psi (d(x_{n+k},y_n)+d(x_n,y_n)+d(x_n,y_{n-1}))\hfill \\ \hfill & \le & \psi \left(d(x_{n+k},y_n)\right)+\psi \left(d(x_n,y_n)\right)+\psi \left(d(x_n,y_{n-1})\right)\hfill \\ & <& \frac{\delta }{3}+\frac{\delta }{3}+ϵ=\frac{2\delta }{3}+ϵ<ϵ+\delta .\hfill \end{array}$$

(18)

If $\psi \left(d(x_{n+k},y_{n-1})\right)\ge ϵ$, then by (5), we have

$$\begin{array}{ccc}\hfill \psi \left(d(x_{n+k+1},y_n)\right)& \le & \alpha (x_n,y_n)\alpha (x_{n+k+1},y_{n+k})\psi \left(d(x_{n+k+1},y_n)\right),\hfill \\ & =& \alpha (x_n,T{x}_n)\alpha (T{y}_{n+k},y_{n+k})\psi \left(d(T{y}_{n+k},T{x}_n)\right),\hfill \\ & <& ϵ.\hfill \end{array}$$

Hence, (15) holds.

If $\psi \left(d(x_{n+k},y_{n-1})\right)\le ϵ$, then by Remark 1, we have

$$\begin{array}{ccc}\hfill \psi \left(d(x_{n+k+1},y_n)\right)& \le & \alpha (x_n,y_n)\alpha (x_{n+k+1},y_{n+k})\psi \left(d(x_{n+k+1},y_n)\right),\hfill \\ & =& \alpha (x_n,T{x}_n)\alpha (T{y}_{n+k},y_{n+k})\psi \left(d(T{y}_{n+k},x_n)\right),\hfill \\ & <& \psi \left(d(x_n,y_{n+k})\right)<ϵ.\hfill \end{array}$$

So, (15) holds for $l=k+1$.

Hence,

$$d(x_n,y_m)<ϵforalln>m\ge N.$$

(19)

Again, using mathematical induction, we prove (16).

Using the definition of bipolar metric space, (13) and (14), we get

$$\begin{array}{ccc}\hfill \psi \left(d(x_n,y_{n+1})\right)& \le & \psi (d(x_n,y_n)+d(x_{n+1},y_n)+d(x_{n+1},y_{n+1}))\hfill \\ & \le & \psi \left(d(x_{n+1},y_{n+1})\right)+\psi \left(d(x_{n+1},y_n)\right)+\psi \left(d(x_n,y_n)\right)\hfill \\ & \le & \frac{\delta }{3}+\frac{\delta }{3}+\frac{\delta }{3}=\delta <ϵ.\hfill \end{array}$$

So, (16) holds for $l=1$.

Now, let us suppose that the result is true for some $l=k$, that is,

$$\psi \left(d(x_n,y_{n+k})\right)<ϵforalln\ge N.$$

(20)

Now, by using the definition of bipolar metric space, (13), (14) and (20), we get

$$\begin{array}{ccc}\hfill \psi \left(d(x_{n-1},y_{n+k})\right)& \le & \psi (d(x_{n-1},y_{n-1})+d(x_n,y_{n-1})+d(x_n,y_{n+k})),\hfill \\ \hfill & \le & \psi (d(x_{n-1},y_{n-1})+\psi (d(x_n,y_{n-1})+\psi \left(d(x_n,y_{n+k})\right)\hfill \\ & <& \frac{\delta }{3}+\frac{\delta }{3}+ϵ=\frac{2\delta }{3}+ϵ<ϵ+\delta .\hfill \end{array}$$

(21)

If $\psi \left(d(x_{n-1},y_{n+k})\right)\ge ϵ$, then by (5), we have

$$\begin{array}{ccc}\hfill \psi \left(d(x_n,y_{n+k+1})\right)& \le & \alpha (x_{n+k},y_{n+k})\alpha (x_{n+1},y_n)\psi \left(d(x_n,y_{n+k+1})\right),\hfill \\ & =& \alpha (x_{n+k},T{x}_{n+k})\alpha (T{y}_n,y_n)\psi \left(d(T{x}_{n+k},T{y}_n)\right),\hfill \\ & <& ϵ.\hfill \end{array}$$

Hence, (16) holds.

If $\psi \left(d(x_{n-1},y_{n+k})\right)<ϵ$, then by Remark 1, we have

$$\begin{array}{ccc}\hfill \psi \left(d(x_n,y_{n+k+1})\right)& \le & \alpha (x_{n+k},y_{n+k})\alpha (x_{n+1},y_n)\psi \left(d(x_n,y_{n+k+1})\right),\hfill \\ & =& \alpha (x_{n+k},T{x}_{n+k})\alpha (T{y}_n,y_n)\psi \left(d(T{x}_{n+k},y_n)\right),\hfill \\ & <& \psi \left(d(x_{n+k},y_n)\right)<ϵ.\hfill \end{array}$$

So, (16) holds for $l=k+1$.

Hence,

$$d(x_n,y_m)<ϵforallm>n\ge N.$$

(22)

From (19) and (22), we can say that $\{x_n,y_n\}$ is a Cauchy bisequence. Since $(X,Y,d)$ is a complete bipolar metric space, then $\{x_n,y_n\}$ biconverges. That is, there exists $u\in X\cap Y$ such that $\left\{x_n\right\}\to u$ and $\left\{y_n\right\}\to u$ as $n\to \infty$. As T is a continuous map, one has

$$\left(x_n\right)\to uimpliesthat{y}_n=T{x}_n\to Tu.$$

Combining $y_n=T{x}_n\to Tu$ with $\left(y_n\right)\to u$, we get $Tu=u$. □

In the next theorem, we omit continuity and give a new condition to get the fixed point.

Theorem 2. 

Let $(X,Y,d)$ be a complete bipolar metric space. Suppose that $T:(X,Y)\rightleftarrows (X,Y)$ is a contravariant $(\alpha -\psi )$ Meir–Keeler contractive mapping. If the following conditions hold,

1. 

T is α-orbital admissible,

2. 

There exists $x_0\in X$ such that $\alpha (x_0,T{x}_0)\ge 1$,

3. 

If $\{x_n,y_n\}$ is a bisequence such that $\alpha (x_n,y_n)\ge 1$ for all n and $y_n\to u\in X\cap Y$ as $n\to \infty$, then $\alpha (Tu,u)\ge 1$,

then T has a fixed point.

Proof. 

From the proof of Theorem 1, we conclude that $\{x_n,y_n\}$ is a Cauchy bisequence. Since $(X,Y,d)$ is a complete bipolar metric space, then $\{x_n,y_n\}$ is biconvergent. Hence, there exist $u\in X\cap Y$ such that $x_n\to u$, $y_n\to u$.

From condition (3), we get $\alpha (Tu,u)\ge 1$.

By applying the definition of bipolar metric space, $\psi$, Remark 1, (6) and the above inequality, we get

$$\begin{array}{ccc}\hfill \psi \left(d\right(Tu,u\left)\right)& \le & \psi (d(Tu,T{x}_n)+d(T{y}_n,T{x}_n)+d(T{y}_n,u)),\hfill \\ & \le & \psi \left(d(Tu,T{x}_n)\right)+\psi \left(d(T{y}_n,T{x}_n)\right)+\psi \left(d(T{y}_n,u)\right),\hfill \\ & \le & \alpha (x_n,y_n)\alpha (Tu,u)\psi \left(d(Tu,T{x}_n)\right),\hfill \\ & +& \alpha (x_n,T{x}_n)\alpha (T{y}_n,y_n)\psi \left(d(T{y}_n,T{x}_n)\right),\hfill \\ & +& \alpha (x_n,T{x}_n)\alpha (T{y}_n,y_n)\psi \left(d(T{y}_n,T{x}_n)\right)+\psi \left(d(T{y}_n,u)\right),\hfill \\ & \le & \psi \left(d(x_n,u)\right)+\psi \left(d(x_n,y_n)\right)+\psi \left(d(u,y_n)\right).\hfill \end{array}$$

Letting $n\to \infty$ in the above inequality and using (22), we get

$$\begin{array}{ccc}\hfill \psi \left(d\right(Tu,u\left)\right)& \le & 0.\hfill \end{array}$$

That is, $d(Tu,u)=0$.

Hence, $Tu=u$. □

Now, we introduce generalized $(\alpha -\psi )$ Meir–Keeler contractive mappings and prove fixed point theorem for these mappings.

Definition 11. 

Let $(X,Y,d)$ be a bipolar metric space and $\psi \in \Psi$. Suppose $T:(X,Y)\rightleftarrows (X,Y)$ be an contravariant mapping and that for every $ϵ>0$ there exists $\delta >0$ such that

$$ϵ\le \psi \left(M\right(x,y\left)\right)<ϵ+\delta \Rightarrow \alpha (x,Tx)\alpha (Ty,y)\psi \left(d\right(Ty,Tx\left)\right)<ϵ,$$

(23)

where $M(x,y)=max\{d(x,y),d(x,Tx),d(Ty,y),\frac{d(x,Tx)+d(Ty,y)}{2}\}$; for all $(x,y)\in X\times Y$.

Then, T is said to be a generalized contravariant $(\alpha -\psi )$ Meir–Keeler contractive mapping.

Remark 2. 

From (23), we get $\alpha (x,Tx)\alpha (Ty,y)\psi \left(d\right(Ty,Tx\left)\right)<\psi \left(M\right(x,y\left)\right)$, when $x\ne y$. If $x=y$ then $\alpha (x,y)\psi \left(d\right(Ty,Tx\left)\right)\le \psi \left(M\right(x,y\left)\right)$.

Theorem 3. 

Let $(X,Y,d)$ be a complete bipolar metric space. Suppose that $T:(X,Y)\rightleftarrows (X,Y)$ is a generalized contravariant $(\alpha -\psi )$ Meir–Keeler contractive mapping. If the following conditions hold,

1. 

T is α-orbital admissible,

2. 

There exists $x_0\in X$ such that $\alpha (x_0,T{x}_0)\ge 1$,

3. 

T is orbital continuous,

then T has a fixed point.

Proof. 

Let $x_0\in X$ such that $\alpha (x_0,T{x}_0)\ge 1$. Construct sequences $\left\{x_n\right\}$ and $\left\{y_n\right\}$ by taking $y_n=T{x}_n$ and $x_{n+1}=T{y}_n$ for all $n\in \mathbb{N}$. Clearly $\{x_n,y_n\}$ is a bisequence.

Since T is $\alpha$-orbital admissible, from Theorem 1, we get

$$\alpha (x_n,y_n)\ge 1and\alpha (x_{n+1},y_n)\ge 1foralln\in \mathbb{N}.$$

(24)

Using Remark 2 and (24), we get

$$\begin{array}{ccc}\hfill \psi \left(d(x_n,y_n)\right)& =& \psi \left(d(T{y}_{n-1},T{x}_n)\right)\le \alpha (x_n,T{x}_n)\alpha (T{y}_{n-1},y_{n-1})\psi \left(d(T{y}_{n-1},T{x}_n)\right),\hfill \\ & <& \psi \left(M(x_n,y_{n-1})\right),\hfill \\ & =& \psi (max\{d(x_n,y_{n-1}),d(x_n,T{x}_n),d(T{y}_{n-1},y_{n-1}),\frac{d(x_n,T{x}_n)+d(T{y}_{n-1},y_{n-1})}{2}\}),\hfill \\ & =& \psi (max\{d(x_n,y_{n-1}),d(x_n,y_n),d(x_n,y_{n-1}),\frac{d(x_n,y_n)+d(x_n,y_{n-1})}{2}\}),\hfill \\ & \le & \psi \left(max\{d(x_n,y_n),d(x_n,y_{n-1})\}\right).\hfill \end{array}$$

Now, since $\psi$ is a non-decreasing function, one has $d(x_n,y_n)$ ≤ $max\{d(x_n,y_n),d(x_n,y_{n-1})\}$.

If possible, suppose that $d(x_n,y_n)>d(x_n,y_{n-1})$, then $d(x_n,y_n)<d(x_n,y_n)$, a contradiction.

Hence,

$$d(x_n,y_n)\le d(x_n,y_{n-1}),foralln\in \mathbb{N}.$$

(25)

Similarly, by using Remark 2 and (24), one can easily obtain

$$d(x_{n+1},y_n)\le d(x_n,y_n),foralln\in \mathbb{N}.$$

(26)

From (25) and (26), it is clear that $\left\{d(x_n,y_n)\right\}$ and $\left\{d(x_{n+1},y_n)\right\}$ are monotonically decreasing sequences of positive reals and hence convergent. Let $\left\{d(x_n,y_n)\right\}\to s_1$ and $\left\{d(x_{n+1},y_n)\right\}\to s_2$ as $n\to \infty$, where $s_1,s_2\ge 0$. This implies that

$$lim\left\{psid(x_n,y_n)\right\}=lim\left\{\psi \left(M(x_n,y_n)\right)\right\}=\psi \left(s_1\right)asn\to \infty .$$

(27)

and

$$lim\left\{\psi \left(d(x_{n+1},y_n)\right)\right\}=lim\left\{\psi \left(M(x_{n+1},y_n)\right)\right\}=\psi \left(s_2\right)asn\to \infty .$$

(28)

Now, we prove that $s_1=0$ and $s_2=0$.

Firstly, suppose that $s_1>0$.

Clearly, $d(x_n,y_n)\ge s_1>0$ for all $n\in \mathbb{N}$.

Let $ϵ=s_1$. Then, by hypothesis, there exists $\delta >0$ and $n_0\in \mathbb{N}$ such that

$$\begin{array}{ccc}\hfill \psi \left(ϵ\right)& \le & \psi \left(M(x_{n_0},y_{n_0})\right)<\psi \left(ϵ\right)+\delta .\hfill \end{array}$$

(29)

From (23), we have

$$\begin{array}{ccc}\hfill \psi \left(d(x_{n_0+1},y_{n_0+1})\right)& \le & \alpha (x_{n_0+1},y_{n_0+1})\alpha (x_{n_0+1},y_{n_0})\psi \left(d(x_{n_0+1},y_{n_0+1})\right),\hfill \\ & =& \alpha (T{y}_{n_0},y_{n_0})\alpha (x_{n_0+1},T{x}_{n_0+1})\psi \left(d(T{y}_{n_0},T{x}_{n_0+1})\right)<\psi \left(ϵ\right).\hfill \end{array}$$

Using non-decreasing nature of $\psi$, we get

$$d(x_{n_0+1},y_{n_0+1})<ϵ=s_1.$$

(30)

a contradiction. So, $s_1=0$.

Similarly, one can prove easily that $s_2=0$.

Now, we prove that $\{x_n,y_n\}$ is a Cauchy bisequence; that is, ${lim}_{n,m\to \infty }d(x_n,y_m)=0$

Indeed, if we suppose that $\{x_n,y_n\}$ is not a Cauchy bisequence, then there exists $ϵ>0$ and subsequences $\left\{n\right(i\left)\right\}$ and $\left\{n\right(i+1\left)\right\}$ of natural numbers such that

$$d(x_{n\left(i\right)},y_{n(i+1)})>2ϵ,$$

(31)

for all $i\in \mathbb{N}$. For this $ϵ>0$ there exists $\delta >0$ such that $ϵ\le \psi \left(M\right(x,y\left)\right)<ϵ+\delta$ implies that $\alpha (x,Tx)\alpha (Ty,y)\psi \left(d\right(Ty,Tx\left)\right)<ϵ$.

Set $r=min\{ϵ,\delta \}$. Since $d(x_n,y_n)$ and $d(x_{n+1},y_n)$$\to 0$ as $n\to \infty$, there exists $n_1,n_2\in \mathbb{N}$ such that

$$\begin{array}{ccc}\hfill d(x_n,y_n)& <& \frac{r}{8}foralln\ge n_1,and\hfill \end{array}$$

(32)

$$\begin{array}{ccc}\hfill d(x_{n+1},y_n)& <& \frac{r}{8}foralln\ge n_2.\hfill \end{array}$$

(33)

Choose $N=max\{n_1,n_2\}$. Then, the above inequalities still hold for all $n\ge N$.

Let $n\left(i\right)>N$. We get $n\left(i\right)\le n(i+1)-1$. If $d(x_{n\left(i\right)},y_{n(i+1)-1})\le ϵ+\frac{r}{2}$; then, using the definition of bipolar metric space, (32) and (33), we have

$$\begin{array}{ccc}\hfill d(x_{n\left(i\right)},y_{n(i+1)})& \le & d(x_{n\left(i\right)},y_{n(i+1)-1})+d(x_{n(i+1)},y_{n(i+1)-1})+d(x_{n(i+1)},y_{n(i+1)}),\hfill \\ & <& ϵ+\frac{r}{2}+\frac{r}{8}+\frac{r}{8},\hfill \\ & =& ϵ+\frac{3}{4}r<2ϵ,\hfill \end{array}$$

a contradiction. So, there exists k such that $n\left(i\right)\le k\le n(i+1)$ and $d(x_{n\left(i\right)},y_k)>ϵ+\frac{r}{2}$. Now if $d(x_{n\left(i\right)+1},y_{n\left(i\right)})\ge ϵ+\frac{r}{2}$, then by (35), $d(x_{n\left(i\right)+1},y_{n\left(i\right)})\ge ϵ+\frac{r}{2}>r+\frac{r}{2}>\frac{r}{8}$, a contradiction.

So, there exist values of k such that $n\left(i\right)\le k\le n(i+1)$ such that $d(x_{n\left(i\right)},y_k)<ϵ+\frac{r}{2}$. Choose the smallest integer k with $k\ge n\left(i\right)$ such that $d(x_{n\left(i\right)},y_k)\ge ϵ+\frac{r}{2}$.Thus, $d(x_{n\left(i\right)},y_{k-1})<ϵ+\frac{r}{2}$.

Using the definition of bipolar metric space and (33), we get

$$\begin{array}{ccc}\hfill d(x_{n\left(i\right)},y_k)& \le & d(x_{n\left(i\right)},y_{k-1})+d(x_k,y_{k-1})+d(x_k,y_k)\hfill \\ & \le & ϵ+\frac{r}{2}+\frac{r}{8}+\frac{r}{8}=ϵ+\frac{3}{4}r.\hfill \end{array}$$

Now, we can choose a natural number k satisfying $n\left(i\right)\le l\le n(i+1)$ such that

$$ϵ+\frac{r}{2}\le d(x_{n\left(i\right)},y_k)<ϵ+\frac{3}{4}r.$$

(34)

Therefore,

$$\begin{array}{ccc}\hfill d(x_{n\left(i\right)},y_k)& \le & ϵ+\frac{3}{4}r<ϵ+r,\hfill \end{array}$$

(35)

$$\begin{array}{ccc}\hfill d(x_{n\left(i\right)},y_{n\left(i\right)})& \le & \frac{r}{8}<ϵ+r,\hfill \end{array}$$

(36)

$$\begin{array}{ccc}\hfill d(x_{k+1},y_k)& \le & \frac{r}{8}<ϵ+r.\hfill \end{array}$$

(37)

Now, (35)–(37) imply that $ϵ\le M(x_{n\left(i\right)},y_k)<ϵ+r\le ϵ+\delta$ and so $\psi \left(ϵ\right)$≤$\psi \left(M(x_{n\left(i\right)},y_k)\right)<\psi (ϵ+r)\le \psi (ϵ+\delta )\le \psi \left(ϵ\right)+\psi \left(\delta \right)$.

Since T is a generalized $(\alpha -\psi )$ Meir–Keeler contractive mapping,

$$\psi \left(d(x_{k+1},y_{n\left(i\right)})\right)\le \alpha (x_{n\left(i\right)},T{x}_{n\left(i\right)})\alpha (T{y}_k,y_k)\psi \left(d(T{y}_k,T{x}_{n\left(i\right)})\right)<\psi \left(ϵ\right).$$

This implies that

$$d(x_{k+1},y_{n\left(i\right)})<ϵ.$$

(38)

Using the definition of bipolar metric space, we get

$$d(x_{n\left(i\right)},y_k)\le d(x_{n\left(i\right)},y_{n\left(i\right)})+d(x_{k+1},y_{n\left(i\right)})+d(x_{k+1},y_k),$$

which implies that

$$\begin{array}{ccc}\hfill d\left(x_{n\left(i\right),y_k}\right)-d(x_{n\left(i\right)},y_{n\left(i\right)})-d(x_{k+1},y_k)& \le & d(x_{k+1},y_{n\left(i\right)})\hfill \\ \hfill ϵ+\frac{r}{2}-\frac{r}{8}-\frac{r}{8}& <& d(x_{k+1},y_{n\left(i\right)}).\hfill \end{array}$$

This shows that

$$ϵ<d(x_{k+1},y_{n\left(i\right)}).$$

(39)

This contradicts (38).

So, $\{x_n,y_n\}$ is a Cauchy bisequence. Since $(X,Y,d)$ is a complete bipolar metric space, then $\{x_n,y_n\}$ biconverges. That is, there exists $u\in X\cap Y$ such that $\left\{x_n\right\}\to u$ and $\left\{y_n\right\}\to u$ as $n\to \infty$. As T is an orbital continuous map,

$$\left\{x_n\right\}\to uimpliesthat{y}_n=T{x}_n\to Tu.$$

Combining $y_n=T{x}_n\to Tu$ with $y_n\to u$, we have $Tu=u$. □

In the next theorem, we add a condition to get a unique fixed point.

Theorem 4. 

If in Theorems 1–3 we add the following hypothesis (H), then we get the unique fixed point.

(H) If $Tx=x$ then $\alpha (x,Tx)\ge 1$.

Proof. 

If possible, let us suppose that T has two distinct fixed points u and v. Then, from the hypothesis (H),

$\alpha (u,Tu),\alpha (v,Tv)\ge 1$.

Now, by Remark 1,

$$d(u,v)=d(Tu,Tv)\le \alpha (u,Tu)\alpha (v,Tv)d(Tu,Tv)<d(u,v)$$

which is a contradiction and so $u=v$. In a similar way, one can prove Theorems 2 and 3. □

Definition 12. 

Let $(X,Y,d)$ be a bipolar metric space. Suppose $T:(X,Y)\rightrightarrows (X,Y)$ be a covariant mapping and for every $ϵ>0$ there exists $\delta >0$ such that

$$ϵ\le d(x,y)<ϵ+\delta \Rightarrow d(Tx,Ty)<ϵ,$$

(40)

for all $(x,y)\in X\times Y$.

Then, T is said to be a covariant Meir–Keeler contractive mapping.

Remark 3. 

From (40), we get $d(Tx,Ty)<d(x,y)$, whenever $x\ne y$. If $x=y$ then $d(Tx,Ty)\le d(x,y)$.

Theorem 5. 

Let $(X,Y,d)$ be a complete bipolar metric space. Suppose that $T:(X,Y)\rightrightarrows (X,Y)$ is a covariant Meir–Keeler contractive mapping. Then, T has a unique fixed point.

Proof. 

Using Remark 3 and (40), we get

$$d(x_n,y_n)=d(T{x}_{n-1},T{y}_{n-1})\le d(x_{n-1},y_{n-1})$$

(41)

Again, using Remark 3 and (40), we get

$$d(x_n,y_n)=d(T{x}_{n-1},T{y}_{n-1})\le d(x_{n-1},y_{n-1})$$

(42)

From (41) and (42), it is clear that $\left\{d(x_n,y_n)\right\}$ and $\left\{d(x_n,y_{n+1})\right\}$ are monotonically decreasing sequences of positive reals and hence convergent. Let $\left\{d(x_n,y_n)\right\}\to s_1$ and $\left\{d(x_n,y_{n+1})\right\}\to s_2$ as $n\to \infty$, where $s_1,s_2\ge 0$.

Now, we prove that $s_1=0$ and $s_2=0$.

Firstly, suppose, if possible that $s_1>0$.

Clearly, $d(x_n,y_n)\ge s_1>0$ for all $n\in \mathbb{N}$.

Let $ϵ=s_1$. Then, by hypothesis, there exists $\delta >0$ and $n_0\in \mathbb{N}$ such that

$$\begin{array}{ccc}\hfill ϵ& \le & d(x_{n_0},y_{n_0})<ϵ+\delta .\hfill \end{array}$$

(43)

From (40), we have

$$\begin{array}{ccc}\hfill d(x_{n_0+1},y_{n_0+1})& \le & d(x_{n_0+1},y_{n_0+1}),\hfill \\ & =& d(T{x}_{n_0},T{y}_{n_0})<ϵ=s_1.\hfill \end{array}$$

a contradiction. So $s_1=0$.

Similarly, one can prove easily that $s_2=0$.

Hence,

$$d(x_n,y_n)\to 0andd(x_n,y_{n+1})\to 0asn\to \infty .$$

(44)

For given $ϵ>0$, by the hypothesis, there exists $\delta >0$ such that (40) holds. Without loss of generality, let us assume that $\delta <ϵ$.

Since $d(x_n,y_n)\to 0$ and $d(x_n,y_{n+1})\to 0$, then there exists $N_1,N_2\in \mathbb{N}$ such that

$$d(x_{n-1},y_{n-1})<\frac{\delta }{3}foralln\ge N_1,$$

(45)

$$d(x_{n-1},y_n)<\frac{\delta }{3}foralln\ge N_2.$$

(46)

Now, we shall prove that

$$d(x_n,y_{n+l})<ϵ$$

(47)

$$\mathrm{and}$$

$$d(x_{n+l},y_n)<ϵ,foralln\ge N.$$

(48)

where $N=max\{N_1,N_2\}$.

Firstly, using mathematical induction, we prove (47), that is $d(x_n,y_{n+l})<ϵ$.

From (44), the inequality clearly holds for $l=1$.

Suppose that it is true for some $l=k$, that is

$$d(x_n,y_{n+k})<ϵ,foralln\ge N.$$

(49)

Now, by using the definition of bipolar metric space, (45), (46) and (49), we get

$$\begin{array}{ccc}\hfill d(x_{n-1},y_{n+k})& \le & d(x_{n-1},y_n)+d(x_n,y_n)+d(x_n,y_{n+k})\hfill \\ \hfill & \le & d(x_{n-1},y_n)+d(x_n,y_n)+d(x_n,y_{n+k})\hfill \\ & <& \frac{\delta }{3}+\frac{\delta }{3}+ϵ=\frac{2\delta }{3}+ϵ<ϵ+\delta .\hfill \end{array}$$

(50)

If $d(x_{n-1},y_{n+k})\ge ϵ$, then by (40), we have

$$d(x_n,y_{n+k+1})<ϵ.$$

Hence, (47) holds.

If $d(x_{n+k},y_{n-1})\le ϵ$, then by Remark 3, we have

$$d(x_{n+k+1},y_n)<d(x_{n+k},y_{n-1})<ϵ$$

So, Equation (47) holds for $l=k+1$.

Hence,

$$d(x_n,y_m)<ϵforalln>m\ge N.$$

(51)

Similarly, one can prove Equation (48), from which we conclude that

$$d(x_n,y_m)<ϵforallm>n\ge N.$$

(52)

From (51) and (52), we can say that $\{x_n,y_n\}$ is a Cauchy bisequence. Since $(X,Y,d)$ is a complete bipolar metric space, then $\{x_n,y_n\}$ biconverges. That is, there exists $u\in X\cap Y$ such that $\left\{x_n\right\}\to u$ and $\left\{y_n\right\}\to u$ as $n\to \infty$. Since, T is continuous,

$$\left\{x_n\right\}\to uimpliesthat{x}_{n+1}=T{x}_n\to Tu,$$

We get $Tu=u$.

Uniqueness: If possible, suppose that u and v are two different fixed points of T. Then, by Remark 3,

$$d(u,v)=d(Tu,Tv)<d(u,v),$$

which holds only when $u=v$. □

Example 1. 

Let $X=(-\infty ,0]$, $Y=[0,\infty )$ and $d:(-\infty ,0]\times [0,\infty )\to [0,\infty )$ as $d(x,y)=|x-y|$. Then, $(X,Y,d)$ is a complete bipolar metric space. Define $T:(-\infty ,0]\cup [0,\infty )\rightleftarrows (-\infty ,0]\cup [0,\infty )$ by $Tx=\frac{-x}{3}$, for all $x\in (-\infty ,0]\cup [0,\infty )$, and $\psi \left(t\right)=\frac{t}{2}$, $\alpha (x,y)=1$ for all $(x,y)\in X\times Y$. $T\left(\right(-\infty ,0\left]\right)\subset [0,\infty )$ and $T\left(\right[0,\infty \left)\right)\subset (-\infty ,0]$. It is clear that T is a continuous contravariant mapping.

As $x\in (-\infty ,0]$, there exists $a\in [0,\infty )$ such that $x=-a$. Now,

$$\psi \left(d(x,y)\right)=\psi \left(\right|x-y\left|\right)=\psi \left(\right|-a-y\left|\right)=\psi (a+y)=\frac{a+y}{2},$$

$$\psi (d(Ty,Tx))=\psi (d(\frac{-y}{3},\frac{-x}{3}))=\psi (|\frac{-y}{3}+(\frac{-x}{3})|)=\frac{a+y}{6}.$$

Clearly, by taking $\delta =2ϵ$, (5) is satisfied. So, all the conditions of Theorem 1 hold and T has a fixed point. Clearly, 0 is the fixed point of T.

4. Consequences

The following are the consequences of our main results.

Corollary 1. 

Let $(X,Y,d)$ be a bipolar metric space and $\psi \in \Psi$. Suppose $T:(X,Y)\rightleftarrows (X,Y)$ be a contravariant mapping and if for every $ϵ>0$ there exists $\delta >0$ such that

$$ϵ\le \psi \left(d(x,y)\right)<ϵ+\delta \Rightarrow \psi \left(d(Ty,Tx)\right)<\frac{ϵ}{L}.$$

(53)

where $\psi \in \Psi$ and $L\ge 1$. Then, T has a fixed point.

Proof. 

Taking $\alpha (x,y)=\sqrt{L}$ in Theorem 1, one can obtain the proof. □

Corollary 2. 

Let $(X,Y,d)$ be a bipolar metric space and $\psi \in \Psi$. Suppose $T:(X,Y)\rightleftarrows (X,Y)$ be a contravariant mapping and if for every $ϵ>0$ there exists $\delta >0$ such that

$$ϵ\le M\left(d(x,y)\right)<ϵ+\delta \Rightarrow \psi \left(d(Ty,Tx)\right)<\frac{ϵ}{L}.$$

(54)

where $\psi \in \Psi$ and $L\ge 1$. Then, T has a fixed point.

Proof. 

Taking $\alpha (x,y)=\sqrt{L}$ in Theorem 3, one can obtain the proof. □

5. Application

Theorem 6. 

Let us consider the following integral equation

$$\mathfrak{w}\left(\beta \right)=\mathfrak{m}\left(\beta \right)+{\lambda }_1\int {\mathfrak{P}}_1(\beta ,\xi ,\mathfrak{w}\left(\xi \right))d\xi +{\lambda }_2\int {\mathfrak{P}}_2(\beta ,\xi ,\mathfrak{w}\left(\xi \right))d\xi$$

(55)

$\beta \in F_1\cup F_2$, $F_1\cup F_2$ is a Lebesgue measurable set with finite measure and ${\lambda }_1,{\lambda }_2$ are constants.

Suppose that ${\mathfrak{P}}_1:F_1^2\cup F_2^2\times [0,\infty )\to [0,\infty )$ and ${\mathfrak{P}}_2:F_1^2\cup F_2^2\times [0,\infty )\to [0,\infty )$.

There is a continuous function $\zeta :F_1^2\cup F_2^2\to [0,\infty )$ and $k\in (0,1)$ such that for all $(\beta ,\xi )\in F_1^2\cup F_2^2$ and $\mathfrak{m}\left(\beta \right)\in L^{\infty }\left(F_1\right)\cup L^{\infty }\left(F_2\right)$

$$|{\lambda }_i\left({\mathfrak{P}}_i(\beta ,\xi ,\mathfrak{w}\left(\xi \right))\right)-{\lambda }_i\left({\mathfrak{P}}_i(\beta ,\xi ,\mathfrak{y}\left(\xi \right))\right)|\le \frac{k}{4}\zeta (\beta ,\xi )|\mathfrak{w}\left(\xi \right)-\mathfrak{y}\left(\xi \right)|$$

for all $i=1,2$ and $\left|\right|\int \zeta (\beta ,\xi )d\xi \left|\right|\le 1$ that is ${sup}_{\beta \in F_1\cup F_2}\int \left|\zeta (\beta ,\xi )d\xi \right|\le 1$.

Then, (55) has a unique solution in $L^{\infty }\left(F_1\right)\cup L^{\infty }\left(F_2\right)$.

Proof. 

Let $X=L^{\infty }\left(F_1\right)$ and $Y=L^{\infty }\left(F_2\right)$ be two normed linear spaces, where $F_1$ and $F_2$ are two Lebesgue measurable sets with $m(F_1\cup F_2)<\infty$.

Consider $d:X\times Y\to [0,\infty )$ as $d(x,y)={\left||x-y|\right|}_{\infty }$. $(X,Y,d)$ is a complete bipolar metric space. Define a covariant mapping as $T\left(\mathfrak{w}\left(\beta \right)\right)=\mathfrak{m}\left(\beta \right)+{\lambda }_1\int {\mathfrak{P}}_1(\beta ,\xi ,\mathfrak{w}\left(\xi \right))d\xi +{\lambda }_2\int {\mathfrak{P}}_2(\beta ,\xi ,\mathfrak{w}\left(\xi \right))d\xi$.

Now, for any $ϵ>0$, there exists $\delta >0$ such that $ϵ\le d\left(\mathfrak{w}\right(\xi ),\mathfrak{y}(\xi \left)\right)<ϵ+\delta$.

$$\begin{array}{ccc}\hfill d\left(T\mathfrak{w}\right(\xi ),T\mathfrak{y}(\xi \left)\right)& =& \left|\right|T\mathfrak{w}\left(\xi \right)-T\mathfrak{y}\left(\xi \right)\left|\right|\hfill \\ & =& \left|\right|\mathfrak{m}\left(\xi \right)+{\lambda }_1\int {\mathfrak{P}}_1(\beta ,\xi ,\mathfrak{w}\left(\xi \right))d\xi +{\lambda }_2\int {\mathfrak{P}}_2(\beta ,\xi ,\mathfrak{w}\left(\xi \right))d\xi \hfill \\ & -& \mathfrak{m}\left(\xi \right)-{\lambda }_1\int {\mathfrak{P}}_1(\beta ,\xi ,\mathfrak{y}\left(\xi \right))d\xi -{\lambda }_2\int {\mathfrak{P}}_2(\beta ,\xi ,\mathfrak{y}\left(\xi \right))d\xi \left|\right|\hfill \\ & \le & \frac{1}{2}\zeta (\beta ,\xi )|\mathfrak{w}\left(\xi \right)-\mathfrak{y}\left(\xi \right)|\hfill \\ & \le & \frac{1}{2}d(\mathfrak{w}\left(\xi \right),\mathfrak{y}\left(\xi \right))\hfill \\ & <& \frac{1}{2}(ϵ+\delta )\hfill \\ & <& ϵ.\hfill \end{array}$$

Hence, all the conditions of Theorem 5 are satisfied. So, T has a unique fixed point, and (55) has a unique solution. □

Example 2. 

Consider the following integral equation:

$$\mathfrak{w}\left(\beta \right)=0.01\beta +0.2{\int }_0^{\beta }\left(\frac{\xi }{4}-0.2\beta \right)\mathfrak{w}\left(\beta \right)d\xi +sin\left(0.1\right)\left({\int }_0^{\beta }\left(-\beta +\frac{\xi }{3}+1\right)\mathfrak{w}\left(\beta \right)d\xi \right).$$

It can be verified that the solution of the above integral equation is given by

$$\mathfrak{w}\left(\beta \right)=\frac{0.01\beta }{0.0982{\beta }^2-0.0998\beta +1}.$$

This solution is depicted in Figure 1.

6. Conclusions

In this paper, we have introduced a new notion of $\alpha$-orbital admissible mappings, and using this we have defined $(\alpha -\psi )$ Meir–Keeler Contractive mappings and established fixed point results. Our results have generalized some proven results in the past. The derived results have been supported with non-trivial examples. The results have been applied to find analytical solutions of integral equation. It is an open problem to extend/generalize our results in the setting of other topological spaces such as bipolar controlled metric space, neutrosophic metric spaces, etc.