Research  Open  Published:
A solution for the noncooperative equilibrium problem of two person via fixed point theory
Journal of Inequalities and Applicationsvolume 2015, Article number: 158 (2015)
Abstract
In this paper, we investigate the noncooperative equilibrium problem of two person games in the setting of game theory and propose a solution via coupled fixed point results in the context of partial metric spaces. We also realize that our coupled fixed point results can be applied to get a solution of a class of nonlinear Fredholm type integral equations.
Introduction
It is very well known fact that real world problem can be modeled as a mathematical equation. The existence of a solution of such problems has been investigated in several branches of mathematics, such as differential equations, integral equations, functional equations, partial differential equations, random differential equations, etc. and one has proposed solutions for such problems via fixed point theory. But the application area of fixed point theory is not only limited to mathematics, but also occurs in other quantitative sciences, such as, computer science, economics, biology, physics, etc. Game theory, a branch of economics, has used fixed point theory techniques and approaches to solve its own problems.
Game theory can be regarded as a formal (mathematical) way to study games. Indeed, we consider the games as conflicts where some number of individuals (called players) take part and each one tries to maximize his utility in taking part in the conflict. Games can be classified in many ways, but here we focus on the following classification: Cooperative games, in which, players are allowed to cooperate and noncooperative games, in which players are not allowed to cooperate. In the sequel, we shall demonstrate how the question of the existence of equilibria is related to the question of the existence of a fixed point. Throughout the paper, we follow the notion and notation in [1]. We recall some basic concepts.
A two person game $\mathcal{G}$ in normal form consists of the following data:

(1)
topological spaces $\mathcal{S}_{1}$ and $\mathcal{S}_{2}$, the so called strategies for player 1 resp. player 2,

(2)
a topological subspace $U\subset \mathcal{S}_{1}\times\mathcal{S}_{2}$ of an allowed strategy pair,

(3)
a biloss operator
$$ \begin{aligned} L: &U\to\Bbb{R}^{2} \\ & (s_{1}, s_{2})\mapsto \bigl(L_{1}(s_{1}, s_{2});L_{2}(s_{1}, s_{2}) \bigr), \end{aligned} $$(1)where $L_{i}(s_{1}, s_{2})$ is the loss of player i if the strategies $s_{1}$ and $s_{2}$ are played.
A pair $(\overline{s}_{1}, \overline{s}_{2})\in U$ is called a noncooperative equilibrium if
Assume that there exist mappings
such that the following equations hold:
Such mappings C and D are called optimal decision rules. Then any solution $(\overline{s}_{1}, s_{2})$ of the system
is a noncooperative equilibrium. Denoting by F the function
any coupled fixed point $(\overline{s}_{1}, \overline{s}_{2})$ of F is a noncooperative equilibrium. Hence, the investigation of the existence of a solution for a noncooperative equilibrium is equivalent to searching for the existence of a couple fixed point. More details as regards game theory can be found in [1].
The main goal of the present work is to solve the problem of the noncooperative equilibrium of two person games. For this purpose, we shall present some coupled fixed point theorems in partial metric spaces. Our aim is to explore not only the results themselves but also their applications to nonlinear integral equations.
Preliminaries
The notion of a partial metric was proposed by Matthews (see [2, 3]) as a generalization of the metric concept to get better results in the branches of computer sciences: semantics and computer domain. Indeed, a partial metric is a function that is obtained from the metric by replacing the condition $d(x,x)=0$ with the condition $d(x,x)\leq d(x, y)$ for all x, y. In the last decade, a number of authors have brought into focus fixed point problems in the context of partial metric spaces as well as topological properties of a partial metric space; see e.g. [4–14] and the related references given therein.
We first need to recall some basic concepts and necessary results. Throughout the paper, $\mathbb{N}$ and $\mathbb{N}_{0}$ denote the set of positive integers and the set of nonnegative integers, respectively. Similarly, $\mathbb{R}$, $\mathbb{R}^{+}$, and $\mathbb{R}^{+}_{0}$ represent the set of reals, positive reals, and nonnegative reals, respectively.
Definition 2.1
Let X be a nonempty set. The mapping $p: X\times X\rightarrow[0,\infty)$ is said to be a partial metric on X if for any $x, y, z\in X$ the following conditions hold true:

(P1)
$x=y$ if and only if $p(x, x)= p(y, y)=p(x, y)$.

(P2)
$p(x, x)\leq p(x, y)$.

(P3)
$p(x, y)= p(y,x)$.

(P4)
$p(x, z)\leq p(x, y)+p(y,z) p(y,y)$.
The pair $(X, p)$ is then called a partial metric space (in short, PMS).
Let $(X, p)$ be a partial metric space. Then the functions $d_{p}, d_{m}: X\times X \rightarrow[0,\infty)$ given by
and
are the (usual) metrics on X. It is easy to check that $d_{p}$ and $d_{m}$ are equivalent. Note that each partial metric p on X generates a $T_{0}$topology $\tau_{p}$ with as a base the family of open pballs $\{B_{p}(x, \varepsilon): x\in X, \varepsilon>0\}$, where $B_{p}(x, \varepsilon) =\{y\in X: p(x, y)< p(x,x)+\varepsilon\}$.
Definition 2.2
Let $(X, p)$ be a partial metric space.

(1)
A sequence $\{x_{n}\}$ in X converges to $x\in X$ if and only if $p(x,x)=\lim_{n\to\infty} p(x_{n},x)$.

(2)
A sequence $\{x_{n}\}$ in X is called a Cauchy sequence if and only if $\lim_{n,m\rightarrow\infty} p(x_{n},x_{m})$ exists (and is finite).

(3)
$(X,p)$ is called complete if every Cauchy sequence $\{x_{n}\}$ in X converges to $x\in X$.

(4)
A mapping $f: X\to X$ is said to be continuous at $x_{0}\in X$ if, for every $\varepsilon>0$, there exists $\delta>0$ such that $f(B(x_{0}, \delta))\subset B(f(x_{0}), \varepsilon)$.
Referring to [15], we say that a sequence $\{x_{n}\}$ in $(X,p)$ is called a 0Cauchy sequence if $\lim_{n,m\rightarrow\infty} p(x_{n},x_{m})=0$. Also, we say that $(X, p)$ is 0complete if every 0Cauchy sequence in X converges, with respect to the partial metric p, to a point $x\in X$ such that $p(x,x)=0$. Notice that if $(X,p)$ is complete, then it is 0complete, but the converse does not hold. Moreover, every 0Cauchy sequence in $(X,p)$ is Cauchy in $(X, d_{p})$.
Example 2.3

(1)
Let $X=[0, +\infty)$ and define $p(x, y)=\max\{x, y\}$, for all $x, y\in X$. Then $(X, p)$ is a complete partial metric space. It is clear that p is not a (usual) metric.

(2)
Let $X=[0, +\infty)\cap\Bbb{Q}$, where $\Bbb{Q}$ is the set of rational numbers. Define $p(x, y)=\max\{x, y\}$, for all $x, y\in X$. Then $(X, p)$ is a 0complete partial metric space which is not complete.
Proposition 2.4
Let $(X, p)$ be a partial metric space.

(1)
A sequence $\{x_{n}\}$ is a Cauchy sequence in $(X, p)$ if and only if $\{x_{n}\}$ is a Cauchy sequence in $(X, d_{p})$.

(2)
$(X, p)$ is complete if and only if $(X, d_{p})$ complete. Moreover,
$$\lim_{n\to\infty} d_{p}(x_{n}, x)=0 \quad\Leftrightarrow\quad\lim_{n\to\infty }p(x, x)= \lim_{n\to\infty}p(x_{n}, x)=\lim_{n,m\to\infty}p(x_{m}, x_{n}). $$
The following lemmas have an important role to play in the proofs of the theorems.
Lemma 2.5
Assume $x_{n}\rightarrow z$ as $n\rightarrow\infty$ in a PMS $(X,p)$ such that $p(z,z)=0$. Then $\lim_{n\rightarrow\infty} p(x_{n},y)=p(z,y)$ for every $y \in X$.
Lemma 2.6
Let $(X,p)$ be a complete PMS. Then:

(1)
If $p(x,y)=0$ then $x=y$.

(2)
If $x\neq y$, then $p(x,y)>0$.
Lemma 2.7
Let $(X,p)$ be a PMS. If $x_{n}\to x$ and $y_{n}\to y$ as $n\to\infty$ for all $x_{n},y_{n},x,y\in X$ then $p(x_{n},y_{n})\to p(x,y)$ as $n\to\infty$.
The existence and uniqueness of fixed points of contractive type mappings in partially ordered metric spaces have been considered recently by several authors: Ran and Reurings [16], Nieto and RodriguezLopez [17, 18]. On the other hand, the notion of a coupled fixed point was suggested by Guo and Lakshmikantham in [19]. Following this initial result, Gnana Bhaskar and Lakshmikantham [20] proposed the notion of mixed monotone property and get coupled fixed point results in the setting of partially ordered metric spaces (see also [21–23] and the related references therein.) Later, it was reported that most of the coupled fixed point results can be derived from the existence results, and vice versa; see e.g. [24–26]. On the other hand, coupled fixed point results still have worth regarding their applications. Most of the times, using coupled fixed point theory is the most economical way to solve problems (regarding time and speed of the process). This paper can be considered as an example.
Recall that a pair $(x,y)\in X\times X $ is called a coupled fixed point of the mapping $T: X\times X\to X$ if $T(x,y)=x$, $T(y,x)=y$ (see e.g. [19]).
Definition 2.8
([20])
Let $(X, \leq)$ be a partially ordered set and $T: X\times X\to X$. The mapping T is said to have the mixed monotone property if $T(x,y)$ is monotone nondecreasing in x and monotone nonincreasing in y, that is, for any $x, y\in X$
and
Next, we introduce a class of functions which plays a crucial role in this paper. Let $F:\mathbb{R}^{+}_{0}\to\Bbb{R}$ be a mapping satisfying:
 (F_{1}):

F is strictly increasing and continuous.
 (F_{2}):

For each sequence $(a_{n})\subset\mathbb{R}^{+}_{0}$, $\lim_{n\to\infty} a_{n}=0$ if and only if $\lim_{n\to\infty} F(a_{n})=\infty$.
We denote by $\mathcal{F}$ the family of all functions F that satisfy the conditions (F_{1})(F_{2}) (see [27]). It is easy to check that $F(x)=\ln x$ and $G(x)=\ln x+x$ for all $x \in \mathbb{R}^{+}_{0}$ belong to $\mathcal{F}$.
In [28], Wardowski introduced the new concept of an Fcontraction and proved fixed point theorems in the classical setting of metric spaces. In [27], the authors introduced the concept of an Fcontraction, a generalized Fcontraction, and they proved some fixed point theorems for multivalued mappings in the partial metric spaces (see also [6, 9, 29–32]).
Definition 2.9
([27])
Let $(X,p)$ be a partial metric space. A mapping $T: X\times X\to X$ is called an Fcontraction if there exist $F\in\mathcal{F}$ and $\tau\in\mathbb{R}^{+}_{0}$ such that
for all $x,y\in X$.
Auxiliary results: coupled fixed points in partial metric spaces
In this section we state and prove some new coupled fixed point results for Fcontractive mappings in the context of complete partial metric spaces.
Theorem 3.1
Let $(X, \leq)$ be a partially ordered set and suppose there exists a partial metric p on X such that $(X, p)$ is a 0complete partial metric space. Let $T: X\times X \to X$ be a continuous mapping having the mixed monotone property on X. Suppose also that

(1)
$$ \tau+F \bigl(p \bigl(T(x,y), T(u,v) \bigr) \bigr) \leq F \bigl( \max \bigl\{ p(x, u), p(y, v) \bigr\} \bigr) $$(7)
for all $x\leq u, y\geq v$, for some $F\in\mathcal{F}$ and $\tau>0$.

(2)
There are $x_{0},y_{0}\in X$ such that $x_{0}\leq T(x_{0},y_{0})$, $y_{0}\geq T(y_{0},x_{0})$.
Then T has a coupled fixed point, that is, there exist $x,y\in X$ such that $x=T(x,y)$, $y=T(y,x)$.
Proof
Let $x_{0},y_{0}\in X$ be such that $x_{0}\leq T(x_{0},y_{0})$, $y_{0}\geq T(y_{0},x_{0})$. Let $x_{1}=T(x_{0},y_{0})$ and $y_{1}=T(y_{0},x_{0})$. Then $x_{0}\leq x_{1}$ and $y_{0}\geq y_{1}$. Again, let $x_{2}=T(x_{1}, y_{1})$ and $y_{2}=T(y_{1}, x_{1})$. Since T has the mixed monotone property, we have $x_{1}\leq x_{2}$ and $y_{1}\geq y_{2}$. Continuing this way, we get two sequences $\{x_{n}\}$ and $\{y_{n}\}$ in X such that $x_{n+1}=T(x_{n},y_{n})$, $y_{n+1}=T(y_{n},x_{n})$ and
Now, for each $n=0,1,2,\ldots$ , we have
and
Since (8), (9) hold and F is increasing we get
It follows that
for all $n=1,2,\ldots$ . Hence, the sequence $r_{n}:=\max\{p(x_{n}, x_{n+1}), p(y_{n}, y_{n+1})\}$ is a nonincreasing. Thus, there is $r\geq0$ such that $\lim_{n\to\infty} r_{n}=r$. Since F is continuous, letting $n\to\infty$ in (10), we arrive at
Since $\tau>0$ and the definition of F, we can deduce that $F(r)=\infty$; this implies that $r=0$. Therefore
Next, we claim that
Suppose, to the contrary, that there exists $\varepsilon>0$ for which we can seek two subsequences $\{x_{m(k)}\}$ and $\{x_{n(k)}\}$ of, respectively, $\{x_{m}\}$ and $\{x_{n}\}$ such that $n(k)$ is the smallest index for which
This means that
and we obtain
Similarly, we get
Combining (13), (15), and (16), we obtain
Letting $k\to\infty$ in (17) and using (11), we have
Now, by the facts that
and
we obtain
By the same argument, we also have
Letting $k\to\infty$ in (19), (20) and using (11), (18), we have
Next, since $x_{m(k)}\leq x_{n(k)1}$ and $y_{m(k)}\geq y_{n(k)1}$, we have
For the same reason, we also have
Therefore
Letting $k\to\infty$ and using (21), we arrive at
This yields $\varepsilon=0$, this is a contradiction. Hence, we have proved that
This implies that
Since $(X, p)$ is 0complete partial metric space, we can find $u, v\in X$ such that
and
Now, we show that $u=T(u, v)$ and $v=T(v, u)$. Indeed, since $u\leq u$ and $v\geq v$, we have
This implies that $p(T(u,v), T(u, v))=0$.
Since $x_{n}\to u$, $y_{n}\to v$ as $n\to\infty$ in $(X, p)$ and T is continuous, we have $T(x_{n}, y_{n})\to T(u, v)$ in $(X, p)$, this means that
Now, we have
Letting $n\to\infty$, we get $p(u, T(u, v))=0$, and so $u=T(u, v)$. By the same argument, we also have $p(v, T(v, u))=0$, and so $v=T(v, u)$. □
In the next theorem, we omit the continuity hypothesis of T.
Theorem 3.2
Let $(X, \leq)$ be a partially ordered set and suppose there exists a partial metric p on X such that $(X, p)$ is a 0complete partial metric space. Let $T: X\times X \to X$ be a mapping having the mixed monotone property on X. Assume that:

(1)
$$ \tau+F \bigl(p \bigl(T(x,y), T(u,v) \bigr) \bigr) \leq F \bigl(\max \bigl\{ p(x, u), p(y, v) \bigr\} \bigr) $$(23)
for all $x\leq u$, $y\geq v$, for some $F\in\mathcal{F}$ and $\tau>0$.

(2)
There are $x_{0},y_{0}\in X$ such that $x_{0}\leq T(x_{0},y_{0})$, $y_{0}\geq T(y_{0},x_{0})$.
Also, assume that X has the properties:

(i)
If a nondecreasing sequence $\{x_{n}\}$ in X converges to x then $x_{n} \leq x$ for all n.

(ii)
If a nonincreasing sequence $\{y_{n}\}$ in X converges to y then $y_{n} \geq y$ for all n.
Then T has a coupled fixed point, that is, there exist $x,y\in X$ such that $x=T(x,y)$, $y=T(y,x)$.
Proof
We follow the line of the proof of Theorem 3.1. Hence, we only need to show that
under conditions (i) and (ii). Indeed, we have $x_{n}\leq u$ and $y_{n}\geq v$ for all n. Applying (7), we have
Letting $n\to\infty$, we obtain
Hence
□
We easily get the following corollary.
Corollary 3.3
Let $(X, \leq)$ be a partially ordered set and suppose there exists a partial metric p on X such that $(X, p)$ is a 0complete partial metric space. Let $T: X\times X \to X$ be a mapping having the mixed monotone property on X. Assume that:

(1)
$$ \tau+F \bigl(p \bigl(T(x,y), T(u,v) \bigr) \bigr) \leq F \biggl( \frac{p(x, u)+p(y, v)}{2} \biggr) $$(24)
for all $x\leq u$, $y\geq v$, for some $F\in\mathcal{F}$ and $\tau>0$.

(2)
There are $x_{0},y_{0}\in X$ such that $x_{0}\leq T(x_{0},y_{0})$, $y_{0}\geq T(y_{0},x_{0})$.
Also, assume that either

(a)
T is continuous; or

(b)
X has the properties:

(i)
If a nondecreasing sequence $\{x_{n}\}$ in X converges to x then $x_{n} \leq x$ for all n.

(ii)
If a nonincreasing sequence $\{y_{n}\}$ in X converges to y then $y_{n} \geq y$ for all n.

(i)
Then T has a coupled fixed point, that is, there exist $x,y\in X$ such that $x=T(x,y)$, $y=T(y,x)$.
Proof
By the fact that
for all $x, y, u, v\in X$, the condition (24) implies the condition (7). Therefore, the result as desired follows from Theorem 3.1 and Theorem 3.2. □
The following corollary states that T has a fixed point under a certain condition.
Corollary 3.4
In addition to the hypotheses of Corollary 3.3, if $x_{0}$ and $y_{0}$ are comparable, then T has a unique fixed point, that is, there exists $x\in X$ such that $T(x,x)=x$.
Proof
Since $x_{0}$, $y_{0}$ are comparable, we have $x_{0}\geq y_{0}$ or $x_{0}\leq y_{0}$. Suppose we are in the first case. Then, by the mixed monotone property of T, we have
and, hence, by induction one obtains
Now, since $x=\lim_{n\rightarrow\infty}x_{n+1}$, $y=\lim_{n\rightarrow\infty}y_{n+1}$, we have $p(x, y)= \lim_{n\to\infty} p(x_{n+1}, y_{n+1})$. On the other hand, we have
Following Lemma 2.7, we also have
Letting $n \to\infty$ in (25), we arrive at $\lim_{n\to \infty} p(x_{n+1}, y_{n+1})=0$. Therefore $p(x, y)=0$, or $x=y$. Hence $T(x, x)=x$. □
Remark 3.5
We underline the fact that the coupled fixed point theorem in this paper can be observed from the fixed point result of a single mapping by using the techniques in [24–26]. On the other hand, we prefer to keep the proofs for the sake of completeness.
Main result: noncooperative equilibrium problem for two players
In this section, by using coupled fixed point theorems, we shall show that a two person game has a noncooperative equilibrium. The reader may consult the excellent sources on general concepts of two person games in [1] and [33].
Let $(S, p)$ be a 0complete partial metric space. Suppose that S has a partially order relation ≤. We consider a two person game $\mathcal{G}$ in normal form that consists of the following data:

(1)
$S_{1}=S$ and $S_{2}=S$ are strategies for player 1 and, respectively, player 2;

(2)
the set $U= S_{1}\times S_{2}$ of allowed strategies pairs;

(3)
we have the biloss operator
$$ \begin{aligned} L: &U\to\Bbb{R}^{2}\\ &(s_{1}, s_{2})\mapsto \bigl(L_{1}(s_{1}, s_{2});L_{2}(s_{1}, s_{2}) \bigr), \end{aligned} $$(26)
where $L_{i}(s_{1}, s_{2})$ is the loss of player i if the strategies $s_{1}$ and $s_{2}$ are played. A pair $(\overline{s}_{1}, \overline{s}_{2})\in U$ is called a noncooperative equilibrium if
This means that
To see what strategy pairs are noncooperative equilibria, one considers the optimal decision rules C, D such that
Then any fixed point of the map
is a noncooperative equilibrium.
In this section, we shall consider that $D(s)=C(s)$ for all $s\in S $. It is easy to see that if $L_{1}(s_{1}, s_{2})=L_{2}(s_{2}, s_{1})$ for all $(s_{1}, s_{2})\in S_{1}\times S_{2}$ then $D(s)=C(s)$ and it is not difficult to give an example that $D(s)=C(s)$ in the case $L_{1}(s_{1}, s_{2})\neq L_{2}(s_{2}, s_{1})$. Let $T: S_{1}\times S_{2} \to\Bbb{R}$ be the map defined by
for all $x,y\in S $. Suppose that T has coupled fixed point $(a, b)\in\Bbb{R}$. It follows that
and $(a, b)$ is fixed point of the map $(s_{1}, s_{2})\mapsto (C(s_{2}), C(s_{1}) )$. Therefore, the existence of the coupled fixed point of T implies a noncooperative equilibrium. Hence, we can reduce the process of proving the existence of a noncooperative equilibrium to giving the existence of a coupled fixed point of T.
Theorem 4.1
Let S and $\mathcal{G}$ be as mentioned above. Suppose that the optimal decision rule is a monotone continuous function C which satisfies:

(1)
$$ \tau+F \bigl(p \bigl(C(x), C(y) \bigr) \bigr) \leq F \bigl(p(x, y) \bigr) $$(31)
for all $x,y\in S$ and $y\geq x$, for some $F\in\mathcal{F}$ and $\tau>0$.

(2)
There are $x_{0},y_{0}\in\Bbb{R}_{0}^{+}$ such that $x_{0}\leq C(y_{0})$, $y_{0}\geq C(x_{0})$.
Then the two person game $\mathcal{G}$ has a noncooperative equilibrium.
Proof
Let $T: S\times S\to\Bbb{S}$ be defined by
for all $x, y\in S$. Since C is continuous, we see that T is continuous. Since C is monotone, it is easy to check that T has the mixed monotone property on X. For all $x, y, u, v\in\Bbb{R}_{0}^{+}$, with $x\leq u$, $y\geq v$ we have
Therefore, the condition (7) reduces to
for every $x\leq u$, $y\geq v$. Since
and F is increasing, we see that the condition (31) implies (32). Applying Theorem 3.1, we conclude that T has a coupled fixed point. This implies that the two person game $\mathcal{G}$ has a noncooperative equilibrium. □
Since every metric is partial metric, we immediately obtain the following corollary.
Corollary 4.2
Let $\mathcal{G}$ be as mentioned above. Suppose that $(S, d)$ is a metric space and the optimal decision rule is a monotone continuous function C which satisfies:

(1)
$$ \tau+F \bigl(d \bigl(C(x), C(y) \bigr) \bigr) \leq F \bigl(d(x, y) \bigr) $$(33)
for all $x,y\in\Bbb{S}$ and $x< y$, for some $F\in\mathcal{F}$ and $\tau>0$.

(2)
There are $x_{0},y_{0}\in\Bbb{R}_{0}^{+}$ such that $x_{0}\leq C(y_{0})$, $y_{0}\geq C(x_{0})$.
Then the two person game $\mathcal{G}$ has a noncooperative equilibrium.
Now we shall give an example to show that Corollary 4.2 is effective.
Example 4.3
Consider $S=\Bbb{R}_{0}^{+}$ endowed with the metric $d(x, y)= xy$ for all $x, y\in S$. Let $\mathcal{G}$ be a two person game with biloss operator
where $s_{1}, s_{2}\in\Bbb{R}_{0}^{+}$ and a given $\tau>0$. It is easy to compute the optimal decision rules C, D such that for $\mathcal{G}$
and
where $s_{1},s_{2}\in\Bbb{R}_{0}^{+}$. We have $D(s)=C(s)$ for all $s\in\Bbb{R}_{0}^{+}$, and C is continuous map. We need show that C satisfies all conditions of Corollary 4.2. We have
for all $x, y\in\Bbb{R}_{0}^{+}$. By passing to logarithms, we arrive at
for all $x\ne y$. Since $F(x)=\ln x\in\mathcal{F}$ we can deduce that C satisfies (1) in Corollary 4.2. Choosing $x_{0}=0$, we have
Let $y_{0}=1$, we have $y_{0}\geq C(x_{0})$. On the other hand $x_{0}=0\leq C(y_{0})=\frac{e^{\tau}}{2}$. Therefore, C satisfies all conditions of Corollary 4.2. Applying this corollary, we see that the two person game $\mathcal{G}$ has a noncooperative equilibrium.
Application to nonlinear integral equations
In this section, we study the existence of unique solution of nonlinear integral equations, as an application of the fixed point theorem proved in Section 3.
Let us consider the following integral equation:
where the unknown function $x(t)$ takes real values.
Let $X=C([0, K])$ be the space of all real continuous functions defined on $[0, K]$. It well known that $C([0, K])$ endowed with the metric
is a complete metric space. By a solution of (34), we mean a continuous function $x\in X$ that satisfies (34) on $[0, K]$. By certain conditions on $K_{1}$, $K_{2}$, f, g, and using the results of the previous section, we will prove that (34) has a unique solution. For this, note that X can be equipped with the partial order ⪯ given by
As in [34] and the references given therein, we assume that the functions $K_{1}$, $K_{2}$, f, g fulfill the following conditions.
Assumption 5.1

(A)
$f, g\in C([0, K]\times\Bbb{R})$, $h\in X$, and $K_{1}, K_{2}\in C([0, K]\times[0, K])$ such that $K_{1}(t, s)\geq0$ and $K_{2}(t, s)\leq0$ for all $t, s\geq0$;

(B)
$f(t, \cdot):\Bbb{R}\to\Bbb{R}$ is increasing for all $t\in[0, K]$; $g(t,\cdot): \Bbb{R}\to\Bbb{R} $ is decreasing for all $t\in[0, K]$;

(C)
there exists $\tau\in[1, \infty)$ such that
$$0\leq f(t, x)f(t, y)\leq\tau e^{\tau} \frac{xy}{2},\quad \forall x \geq y $$and
$$\tau e^{\tau} \frac{xy}{2} \leq g(t, x)g(t, y)\leq0, \quad\forall x\geq y; $$ 
(D)
$\max_{t,s\in[0, K]}  K_{1}(t, s)K_{2}(t, s)\leq1$.
Define $T: X\times X\to X$ by
for all $t\in[0, K]$.
Definition 5.2
An element $(\alpha, \beta)\in C([0,K]\times C[0,K]) $ is a coupled normal lower and a normal upper solution of the integral equation (34) if $\alpha\preceq\beta $ and
Theorem 5.3
Suppose that Assumption 5.1 is fulfilled. Then the existence of a coupled normal lower and normal upper solution for (34) provides the existence of a unique solution of (34) in $C([0,K])$.
Proof
Suppose $\{u_{n}\}$ is a monotone nondecreasing sequence in X that converges to $u\in X$. Then, for every $t\in[0, K]$, the sequence of real numbers $u_{1}(t)\leq u_{2}(t)\leq\cdots\leq u_{n}(t)\leq\cdots$ converges to $u(t)$. Moreover, since the normed map is continuous, we can deduce that $\ u\\leq1$ provided $\ u_{n}\\leq1$ for all n. Therefore, for every $t\in[0, K]$, $n\in\Bbb{N}$, $u_{n}(t)\leq u(t)$. Hence $u_{n}\leq u$, for all $n\in\Bbb{N}$.
Similarly, we can verify that the limit $v(t)$ of a monotone nonincreasing sequence $v_{n}(t)$ in X is a lower bound for all elements in the sequence. That is, $v\leq v_{n}$ for all n. Hence, the condition (b) in Corollary 3.3 holds.
For $x\in X$, we defined $\ x\_{\tau}=\max_{t\in[0, K]} x(t) e^{\tau t}$, where $\tau\geq1$ is chosen arbitrarily. It is easy to check that $\\cdot \_{\tau}$ is a norm equivalent to the maximum norm in X and X endowed with the metric $d_{\tau}$ defined by
for all $x, y\in X$ is a complete metric space.
Now, consider X endowed with the partial metric given by
It is easy to see that $(X, p_{\tau})$ is a 0complete partial metric space but is not complete (see [27]). We recall that $T: X\times X\to X$ by
for all $t\in[0, K]$.
Next, we show that T has the mixed monotone property. Indeed, for $x_{1}, x_{2}\in C([0,K])$ and $x_{1}\leq x_{2}$, that is, $x_{1}(t)\leq x_{2}(t)$, for every $t\in[0,K]$, we have
for every $t\in[0, K]$, by Assumption 5.1. This yields $T(x_{1}, y)(t)\leq T(x_{2}, y)(t)$, for every $t\in[0, K]$, that is, $T(x_{1}, y)\leq T(x_{2}, y)$. By the same computation, we arrive at $T(x, y_{1})\leq T(x, y_{2})$ if $y_{1}\geq y_{2}$. Hence, T has the mixed monotone property.
Now, for $x\geq u$ and $y\leq v$, we have
It follows that
Hence, for all $x, y,u, v\in X$ such that $x\geq u$ and $y\leq v$, since $\ x\_{\tau}, \ y\_{\tau},\ u\_{\tau},\ v\_{\tau}\leq1 $, we have
By passing to logarithms, we arrive at
Since $F(x)=\ln x\in\mathcal{F}$, we conclude that T satisfies the condition (24). Now, let $(\alpha, \beta)$ be a coupled normal lower and normal upper solution of the integral equation of (34). Then we have $\alpha \preceq\beta$,
Finally, applying Corollary 3.4, we can conclude that T has a fixed point x. Hence $T(x, x)=x$ and x is an unique solution of (34). □
References
 1.
Christian, OE: Games, Fixed Points and Mathematical Economics. School of Economics and Finance University of St. Andrews. http://ssrn.com/abstract=976592 (2003)
 2.
Mathews, GS: Partial metric topology, Reseach Report 212. Department of Computer Science University of Warwick (1992)
 3.
Mathews, GS: Partial metric topology. Ann. N.Y. Acad. Sci. 728, 183197 (1994)
 4.
Abdeljawad, T, Karapınar, E, Taş, K: Existence and uniqueness of common fixed point on partial metric spaces. Appl. Math. Lett. 24(11), 19001904 (2011)
 5.
Ilić, D, Pavlović, V, Rakocević, V: Some new extensions of Banach’s contraction principle to partial metric space. Appl. Math. Lett. 24(8), 13261330 (2011)
 6.
Gulyaz, S, Karapınar, E: Coupled fixed point result in partially ordered partial metric spaces through implicit function. Hacet. J. Math. Stat. 42, 347357 (2013)
 7.
Karapınar, E: Weak φcontraction on partial metric spaces. J. Comput. Anal. Appl. 14, 206210 (2012)
 8.
Karapınar, E: Generalizations of Caristi Kirk’s theorem on partial metric spaces. Fixed Point Theory Appl. (2011). doi:10.1186/1687181220114
 9.
Karapınar, E, Erhan, ÝM, Ulus, AY: Fixed point theorem for cyclic maps on partial metric spaces. Appl. Math. Inf. Sci. 6, 239244 (2012)
 10.
Bukatin, M, Kopperman, R, Matthews, S, Pajoohesh, H: Partial metric spaces. Am. Math. Mon. 116(8), 708718 (2009)
 11.
Chi, KP, Karapınar, E, Thanh, TD: A generalized contraction principle in partial metric spaces. Math. Comput. Model. 55(56), 16731681 (2012)
 12.
Chi, KP, Karapınar, E, Thanh, TD: On the fixed point theorems for generalized weakly contractive mappings on partial metric spaces. Bull. Iran. Math. Soc. 39(2), 369381 (2013)
 13.
Oltra, S, Valero, O: Banach’s fixed point theorem for partial metric spaces. Rend. Ist. Mat. Univ. Trieste 36(12), 1726 (2004)
 14.
Valero, O: On Banach fixed point theorems for partial metric spaces. Appl. Gen. Topol. 6(2), 229240 (2005)
 15.
Romaguera, S: A Kirk type characterization of completeness for partial metric spaces. Fixed Point Theory Appl. 2010, Article ID 493298 (2010)
 16.
Ran, ACM, Reurings, MCB: A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc. Am. Math. Soc. 132, 14351443 (2004)
 17.
Nieto, J, RodriguezLopez, R: Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations. Order 22, 223239 (2005)
 18.
Nieto, J, RodriguezLopez, R: Existence and uniqueness of fixed point in partially ordered sets and applications to ordinary differential equations. Acta Math. Sin. 23, 22052212 (2007)
 19.
Guo, D, Lakshmikantham, V: Coupled fixed points of nonlinear operators with applications. Nonlinear Anal. TMA 11, 623632 (1987)
 20.
Gnana Bhaskar, T, Lakshmikantham, V: Fixed point theorems in partially ordered metric spaces and application. Nonlinear Anal. 65, 13791393 (2006)
 21.
Lakshmikantham, V, Ćirić, L: Coupled fixed point theorems for nonlinear contractions in partially ordered metric spaces. Nonlinear Anal. 70, 43414349 (2009)
 22.
Agarwal, RP, ElGebeily, MA, O’Regan, D: Generalized contractions in partially ordered metric spaces. Appl. Anal. 87, 18 (2008)
 23.
Luong, NV, Thuan, NX: Coupled point theorems in partially ordered metric spaces and applications. Nonlinear Anal. 74, 983992 (2011)
 24.
Samet, B, Karapınar, E, Aydi, H, Rajic, V: Discussion on some coupled fixed point theorems. Fixed Point Theory Appl. 2013, Article ID 50 (2013)
 25.
Rad, GS, Shukla, S, Rahimi, H: Some relations between ntuple fixed point and fixed point results. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. (2014). doi:10.1007/s1339801401960
 26.
Roldan, A, MartinezMoreno, J, Roldan, C, Karapınar, E: Some remarks on multidimensional fixed point theorems. Fixed Point Theory 15(2), 545558 (2014)
 27.
Paesano, D, Vetro, C: Multivalued Fcontractions in 0complete partial metric spaces with application to Volterra type integral equation. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 108(2), 10051020 (2014)
 28.
Wardowski, D: Fixed points of a new type of contractive mappings in complete metric spaces. Fixed Point Theory Appl. (2012). doi:10.1186/16871812201294
 29.
Alsulami, HH, Karapınar, E, Piri, H: Fixed points of generalized FSuzuki type contraction in complete metriclike spaces. Discrete Dyn. Nat. Soc. 2015, Article ID 969726 (2015)
 30.
Alsulami, HH, Karapınar, E, Piri, H: Fixed points of modified Fcontractive mappings in complete metriclike spaces. J. Funct. Spaces 2014, Article ID 270971 (2014)
 31.
Sgroi, M, Vetro, C: Multivalued Fcontractions and the solution of certain functional and integral equations. Filomat 27, 12591268 (2013)
 32.
Cosentino, M, Vetro, P: Fixed point results for Fcontractive mappings of HardyRogerstype. Filomat 28, 715722 (2014)
 33.
Border, KC: Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press, Cambridge (1989)
 34.
Berinde, V: Generalized coupled fixed point theorems for mixed monotone mappings in partially ordered metric spaces. Nonlinear Anal. 74, 73477355 (2011)
Acknowledgements
The authors are grateful to the reviewers for their careful reviews and useful comments. This article was funded by the Deanship of Scientific Research (DSR), King Abdulaziz University. The authors, therefore, acknowledge with thanks DSR technical and financial support.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
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
Received
Accepted
Published
DOI
MSC
 46J10
 46J15
 47H10
Keywords
 coupled fixed point
 partial metric
 Fcontractions
 noncooperative equilibrium