 Research
 Open Access
 Published:
The existence of equilibria for the rank game
Journal of Inequalities and Applications volume 2014, Article number: 416 (2014)
Abstract
In this paper, we introduce the concept of the rank game and propose a mathematical model for it. By a discrete fixed point theorem, we give the existence results of rank equilibria.
MSC:91A10, 91A40.
1 Introduction
In [1, 2], Nash has proved the existence of an equilibrium for the noncooperative game by using the fixed point theorem, which is called a Nash equilibrium. In a Nash game each player always maximizes his payoff value and does not pay attention to how much the other player’s payoff values are. In other words, each player looks after a high absolute number of his payoff value only and does not care about the rank of his payoff value. But the above assumption is often not true in practice when there exist competitive relationships among players. Since the stronger one is always in an advantageous position in a future game, each player often cares more about his rank of payoff value among all players than the payoff value itself. The game in which each player cares for his rank of payoff value among all players more than the payoff value is said to be a rank game. In this paper, we introduce the concept of the rank game and propose its mathematical model. By a discrete fixed point theorem, we give the existence results of rank equilibria. For other results of the rank game, we refer to [3], and for discrete fixed point theorems, we refer to [4–6] and references therein.

(1)
Four basic factors of the rank game.
The rank game belongs to the category of the noncooperative game. The player, strategy set, and payoff function are three basic factors in a noncooperative game, thus they are also essential factors in a rank game. Moreover, in a rank game, the payoff of each player is assumed to have an initial value before the game, which is called the initial payoff value of each player. Clearly, the stronger (the bigger of the initial payoff value) and the weaker (the smaller of the initial payoff value) have different options in a rank game; in other words, in a rank game, the choice of each player is not only related to the payoff value in the game, but it also is related to the initial payoff value before the game. Thus the initial payoff value of each player is the fourth key factor in a rank game.

(2)
Several basic concepts of the rank game.
Let $I=\{1,2,\dots ,n\}$ denote the set of players. For each $i\in I$, let ${K}_{i}$, ${f}_{i}^{0}$ denote the strategy set and initial payoff value of player i, respectively, and let the real function ${f}_{i}:K\mapsto R$ denote the payoff function of player i. Denote $K={\prod}_{i=1}^{n}{K}_{i}$, ${K}_{\stackrel{\u02c6}{i}}={\prod}_{j\ne i,j=1}^{n}{K}_{j}$. For each $x\in K$, we can write $x=({x}_{i},{x}_{\stackrel{\u02c6}{i}})$. For each $i\in I$, $x\in K$, let ${Q}_{i}=\{j\in I:{f}_{j}^{0}+{f}_{j}(x)>{f}_{i}^{0}+{f}_{i}(x)\}$, ${P}_{i}=\{j\in I:{f}_{j}^{0}+{f}_{j}(x)={f}_{i}^{0}+{f}_{i}(x)\}$, ${m}_{i}={Q}_{i}+1$, ${l}_{i}={P}_{i}$, where $\cdot $ denotes the element number of the set, and let
Clearly, ${m}_{i}$ and ${l}_{i}$ both are integer and $n\ge {m}_{i},{l}_{i},{u}_{i}\ge 1>{h}_{i}\ge 0$. Denote ${f}^{0}=({f}_{1}^{0},{f}_{2}^{0},\dots ,{f}_{n}^{0})$, $f(x)=({f}_{1}(x),{f}_{2}(x),\dots ,{f}_{n}(x))$ (briefly, $f=({f}_{1},{f}_{2},\dots ,{f}_{n})$), $F(x)=({F}_{1}(x),{F}_{2}(x),\dots ,{F}_{n}(x))={f}^{0}+f(x)=({f}_{1}^{0}+{f}_{1}(x),{f}_{2}^{0}+{f}_{2}(x),\dots ,{f}_{n}^{0}+{f}_{n}(x))$ (briefly, $F=({F}_{1},{F}_{2},\dots ,{F}_{n})$), $\mathrm{\forall}x\in K$. Note that for each $i\in I$, $x\in K$, ${u}_{i}(x)={u}_{i}({f}^{0},f(x))$.
Definition 1.1 For each $i\in I$, $x\in K$, ${m}_{i}$, ${h}_{i}$, and ${u}_{i}$ are called the rankinteger, the rankremainder, and the rank of player i at $x\in K$, respectively. For each $x\in K$, $u(x)=({u}_{1}(x),{u}_{2}(x),\dots ,{u}_{n}(x))$ (briefly, $u=({u}_{1},{u}_{2},\dots ,{u}_{n})$), $f(x)$, and $F(x)$ are called the rank vector, the payoff vector, and the accumulated payoff vector of players at $x\in K$, respectively. If for each j ($n\ge j\ge 1$), there is $i\in I$ such that ${u}_{i}=j$, $({u}_{1},{u}_{2},\dots ,{u}_{n})$ is called a complete rank vector, otherwise a noncomplete rank vector of players.
It is easy to verify that for each $i,j\in I$, $x\in K$, ${u}_{i}=(<,>){u}_{j}$ if and only if ${F}_{i}(x)=(>,<){F}_{j}(x)$.

(3)
The rank game’s principle.
The rank game’s principle: each player always minimizes the number of players ranking before him (those accumulated payoff values are bigger than that of him) and, after this condition is satisfied, each player always minimizes the number of players ranking the same as he (those accumulated payoff values are the same as that of him), and after these two conditions are satisfied, each player always maximizes his payoff value. Equivalently, the rank game’s principle can also be expressed as follows: each player always minimizes the number of players ranking before himself, and after this condition is satisfied, each player always maximizes the number of players ranking after himself (those accumulated payoff values are less than that of his), and after these two conditions are satisfied, each player always maximizes his payoff value.
The rank game is a class of noncooperative games. Thus, these assumptions of the noncooperative game, for example, each player is rational, the information is symmetrical, and so on, are still necessary in the rank game. The main differences between a Nash game and the rank game are: in a Nash game, each player always maximizes his payoff value and does not care about how much the other player’s payoff values are, but in a rank game, each player always minimizes his rank, and after his rank reached minimum, the player always maximizes his payoff value.
A Nash game is suitable for the case that competitive relationships do not exist among players, and the rank game is suitable for the case that there exist competitions among players.

(4)
The mathematical model of the rank game.
For each $i\in I$, let ${K}_{i}$, ${f}_{i}^{0}$, ${f}_{i}$ denote the strategy set and initial payoff value and payoff function of player i, respectively.
The rank game is: find ${x}^{\ast}=({x}_{1}^{\ast},{x}_{2}^{\ast},\dots ,{x}_{n}^{\ast})\in K$ such that for each $i\in I$, ${y}_{i}\in {K}_{i}$,
and if ${u}_{i}({f}^{0}+f({x}_{i}^{\ast},{x}_{\stackrel{\u02c6}{i}}^{\ast}))={u}_{i}({f}^{0}+f({y}_{i},{x}_{\stackrel{\u02c6}{i}}^{\ast}))$, then
${x}^{\ast}$ is called a rank equilibrium point (briefly, rank equilibrium) of the rank game. A rank game is denoted by $\mathrm{\Gamma}={\{{K}_{i},{f}_{i}^{0},{f}_{i}\}}_{i\in I}$.
For each $i\in I$, if ${K}_{i}$ is a finite set, then ${f}_{i}$ may be denoted by matrices, which are called the payoff matrices; in this case, the rank game Γ is called a finite rank game, otherwise an infinite rank game.
2 Preliminaries
Throughout this paper, unless otherwise specified, assume that for each $i\in I$, the strategy set is ${K}_{i}=\{1,2,\dots ,{k}_{i}\}$ of player i, where ${k}_{i}$ denotes a positive integer. K is equipped with a sign componentwise order, i.e., I is divided into two subsets (possibly empty) ${I}_{+}$ and ${I}_{}$, ${\lambda}_{j}=\pm 1$ are allocated to $j\in {I}_{+}$ and $j\in {I}_{}$ respectively, and for each $x={({x}_{i})}_{i\in I}$, $y={({y}_{i})}_{i\in I}\in K$, $x\u2aafy$ is defined by ${\lambda}_{j}{x}_{j}\le {\lambda}_{j}{y}_{j}$ for each $j\in I$. For each $i\in I$, ${K}_{\stackrel{\u02c6}{i}}={\prod}_{j\in I,j\ne i}{K}_{j}$ is also equipped with the sign componentwise order. It is easy to verify that the sign componentwise order ⪯ is a partial order. The symbol $x\prec y$ means $x\u2aafy$ and $x\ne y$.
Consider the rank game $\mathrm{\Gamma}={\{{K}_{i},{f}_{i}^{0},{f}_{i}\}}_{i\in I}$. For each $i\in I$, let ${\rho}_{i}({x}_{\stackrel{\u02c6}{i}})=\{{x}_{i}\in {K}_{i}:{u}_{i}({f}^{0}+f({x}_{i},{x}_{\stackrel{\u02c6}{i}}))={min}_{{y}_{i}\in {K}_{i}}{u}_{i}({f}^{0}+f({y}_{i},{x}_{\stackrel{\u02c6}{i}}))\}$, and the best responses map ${S}_{i}:{K}_{\stackrel{\u02c6}{i}}\mapsto {2}^{{K}_{i}}$ of player i is defined by
where ${2}^{{K}_{i}}$ denotes the family of all nonempty subsets of ${K}_{i}$.
The best responses map $S:K\mapsto {2}^{K}$ of the rank game Γ is defined by
Note that for each $i\in I$, $x\in K$, ${\rho}_{i}({x}_{\stackrel{\u02c6}{i}})\ne \mathrm{\varnothing}$, ${S}_{i}({x}_{\stackrel{\u02c6}{i}})\ne \mathrm{\varnothing}$, thus $S(x)\ne \mathrm{\varnothing}$. Clearly ${x}^{\ast}\in K$ is a rank equilibrium point if and only if ${x}^{\ast}\in S({x}^{\ast})$.
We have the following lemma; see [4] (Theorem 3.1).
Lemma 2.1 Let $(V,\u2aaf)$ be a partially ordered set and $g:V\mapsto {2}^{V}$ a setvalued map. Assume that

(1)
there exist ${x}^{0}\in V$ and ${x}^{1}\in g({x}^{0})$ such that ${x}^{0}\u2aaf{x}^{1}$ and $\{x\in V:{x}^{0}\u2aafx\}$ is finite;

(2)
for each $x\in V$ and $y\in g(x)$,
$$x\prec y\phantom{\rule{1em}{0ex}}\Rightarrow \phantom{\rule{1em}{0ex}}\mathrm{\exists}z\in g(y)\mathit{\text{s.t.}}y\u2aafz.$$Then g has a fixed point ${x}^{\ast}\in g({x}^{\ast})$.
3 The existence of equilibrium points for the rank game
Definition 3.1 (Monotonicity)
A rank game Γ is called monotone if, for each $i\in I$, ${x}_{\stackrel{\u02c6}{i}}^{0},{x}_{\stackrel{\u02c6}{i}}^{1}\in {K}_{\stackrel{\u02c6}{i}}$ with ${x}_{\stackrel{\u02c6}{i}}^{0}\prec {x}_{\stackrel{\u02c6}{i}}^{1}$ and for each ${x}_{i}^{1}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{0})$, there exists ${x}_{i}^{2}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{1})$ such that ${\lambda}_{i}{x}_{i}^{1}\le {\lambda}_{i}{x}_{i}^{2}$.
Theorem 3.1 Any monotone nperson rank game Γ has a rank equilibrium point.
Proof The following proof is analogous to that of Lemma 2.1.
Since K is a finite set and it has a minimum element, the condition (1) of Lemma 2.1 is trivially satisfied. In the following we verify that the condition (2) of Lemma 2.1 is also satisfied.
Assume that ${x}^{0}\in K$ and ${x}^{1}\in S({x}^{0})$ satisfy ${x}^{0}\prec {x}^{1}$. Let ${I}_{1}=\{i\in I:{x}_{\stackrel{\u02c6}{i}}^{0}={x}_{\stackrel{\u02c6}{i}}^{1}\}$, ${I}_{2}=\{i\in I:{x}_{\stackrel{\u02c6}{i}}^{0}\prec {x}_{\stackrel{\u02c6}{i}}^{1}\}$. Then ${I}_{1}\cap {I}_{2}=\mathrm{\varnothing}$, $I={I}_{1}\cup {I}_{2}$. Note that ${I}_{2}\ne \mathrm{\varnothing}$, otherwise ${x}^{0}={x}^{1}$, a contradiction. Assume without loss of generality that ${I}_{1}\ne \mathrm{\varnothing}$. For each $i\in {I}_{1}$, by ${x}^{0}\prec {x}^{1}$, we have ${\lambda}_{i}{x}_{i}^{0}<{\lambda}_{i}{x}_{i}^{1}$. Take ${x}_{i}^{2}={x}_{i}^{1}$, then ${x}_{i}^{2}={x}_{i}^{1}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{0})={S}_{i}({x}_{\stackrel{\u02c6}{i}}^{1})$. For each $i\in {I}_{2}$, we have ${x}_{\stackrel{\u02c6}{i}}^{0}\prec {x}_{\stackrel{\u02c6}{i}}^{1}$ and ${x}_{i}^{1}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{0})$, thus, by monotonicity, there exists ${x}_{i}^{2}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{1})$ such that ${\lambda}_{i}{x}_{i}^{1}\le {\lambda}_{i}{x}_{i}^{2}$. Hence ${x}^{2}={({x}_{i}^{2})}_{i\in I}\in S({x}^{1})$ and ${x}^{1}\u2aaf{x}^{2}$, i.e., the condition (2) of Lemma 2.1 is satisfied. By Lemma 2.1, there exists ${x}^{\ast}\in S({x}^{\ast})$. □
Definition 3.2 For $i\in I$, a sequence ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}\subset {K}_{\stackrel{\u02c6}{i}}$, where t is a positive integer, is called a totalordered sequence if, for each ${j}_{1},{j}_{2}\in \{1,2,\dots ,t\}$ with ${j}_{1}<{j}_{2}$, then ${x}_{\stackrel{\u02c6}{i}}^{{j}_{1}}\prec {x}_{\stackrel{\u02c6}{i}}^{{j}_{2}}$.
Definition 3.3 A sequence ${\{{x}^{j}\}}_{j=1}^{{t}_{1}}$ is called a subsequence of ${\{{y}^{j}\}}_{j=1}^{{t}_{2}}$ if ${\{{x}^{j}\}}_{j=1}^{{t}_{1}}\subset {\{{y}^{j}\}}_{j=1}^{{t}_{2}}$ and ${t}_{1}<{t}_{2}$.
Definition 3.4 For $i\in I$, a sequence ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}\subset {K}_{\stackrel{\u02c6}{i}}$ is called a maximal totalordered sequence (briefly, MTOS) if: (1) it is a totalordered sequence; (2) there is no totalordered sequence ${\{{y}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{T}\subset {K}_{\stackrel{\u02c6}{i}}$ such that ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}$ is a subsequence of ${\{{y}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{T}$.
Definition 3.5 For $i\in I$, let ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}\subset {K}_{\stackrel{\u02c6}{i}}$ is a MTOS. For each $j\in \{1,2,\dots ,t\}$, let ${w}_{i}^{j}={max}_{{y}_{j}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{j})}\{{y}_{j}\}$, ${v}_{i}^{j}={min}_{{y}_{j}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{j})}\{{y}_{j}\}$. ${\{{w}_{i}^{j}\}}_{j=1}^{t}$ and ${\{{v}_{i}^{j}\}}_{j=1}^{t}$ are called a best response maximal element sequence (briefly, BRMAES) and a best response minimal element sequence (briefly, BRMIES) of ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}$, respectively.
Note that for each $i\in I$, there exists at least a MTOS in ${K}_{\stackrel{\u02c6}{i}}$, and each MTOS has unique BRMAES and BRMIES.
Lemma 3.1 The rank game $\mathrm{\Gamma}={\{{K}_{i},{f}_{i}^{0},{f}_{i}\}}_{i\in I}$ is monotone iff for each $i\in I$, each BRMAES is nondecreasing when $i\in {I}_{+}$, and each BRMIES is nonincreasing when $i\in {I}_{}$.
Proof ‘⇒’ For each $i\in I$, assume that ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}\subset {K}_{\stackrel{\u02c6}{i}}$ is a MTOS.

(1)
$i\in {I}_{+}$, and in the case, ${\lambda}_{i}=1$. Let ${\{{w}_{i}^{j}\}}_{j=1}^{t}$ denote the BRMAES of ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}$. For each $j\in \{1,2,\dots ,t1\}$, ${x}_{\stackrel{\u02c6}{i}}^{j}\prec {x}_{\stackrel{\u02c6}{i}}^{j+1}$, ${w}_{i}^{j}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{j})$, since Γ is monotone, there exists ${\overline{{w}_{i}}}^{j+1}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{j+1})$ such that ${\lambda}_{i}{w}_{i}^{j}\le {\lambda}_{i}{\overline{{w}_{i}}}^{j+1}$, i.e., ${w}_{i}^{j}\le {\overline{{w}_{i}}}^{j+1}$. Note that ${\overline{{w}_{i}}}^{j+1}\le {w}_{i}^{j+1}$, thus ${w}_{i}^{j}\le {w}_{i}^{j+1}$, i.e., the sequence ${\{{w}_{i}^{j}\}}_{j=1}^{t}$ is nondecreasing.

(2)
$i\in {I}_{}$, and in the case, ${\lambda}_{i}=1$. Let ${\{{v}_{i}^{j}\}}_{j=1}^{t}$ denote the BRMIES of ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}$. For each $j\in \{1,2,\dots ,t1\}$, ${x}_{\stackrel{\u02c6}{i}}^{j}\prec {x}_{\stackrel{\u02c6}{i}}^{j+1}$, ${v}_{i}^{j}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{j})$, since Γ is monotone, there exists ${\overline{{v}_{i}}}^{j+1}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{j+1})$ such that ${\lambda}_{i}{v}_{i}^{j}\le {\lambda}_{i}{\overline{{v}_{i}}}^{j+1}$, i.e., ${v}_{i}^{j}\ge {\overline{{v}_{i}}}^{j+1}$. Note that ${\overline{{v}_{i}}}^{j+1}\ge {v}_{i}^{j+1}$, thus ${v}_{i}^{j}\ge {v}_{i}^{j+1}$, i.e., the sequence ${\{{v}_{i}^{j}\}}_{j=1}^{t}$ is nonincreasing.
‘⇐’ For each $i\in I$, assume that ${x}_{\stackrel{\u02c6}{i}}\prec {y}_{\stackrel{\u02c6}{i}}$, ${x}_{i}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}})$. There exists a MTOS ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}\subset {K}_{\stackrel{\u02c6}{i}}$ such that ${x}_{\stackrel{\u02c6}{i}}$, ${y}_{\stackrel{\u02c6}{i}}\in {\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}$. Denote ${x}_{\stackrel{\u02c6}{i}}={x}_{\stackrel{\u02c6}{i}}^{{t}_{1}}$, ${y}_{\stackrel{\u02c6}{i}}={x}_{\stackrel{\u02c6}{i}}^{{t}_{2}}$. By ${x}_{\stackrel{\u02c6}{i}}\prec {y}_{\stackrel{\u02c6}{i}}$, we have ${t}_{1}<{t}_{2}$.

(1)
$i\in {I}_{+}$ and we have the case ${\lambda}_{i}=1$. Let ${\{{w}_{i}^{j}\}}_{j=1}^{t}$ be the BRMAES of ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}$ and ${w}_{i}^{{t}_{1}}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{{t}_{1}})$, ${w}_{i}^{{t}_{2}}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{{t}_{2}})$. Since ${\{{w}_{i}^{j}\}}_{j=1}^{t}$ is nondecreasing, we have ${w}_{i}^{{t}_{1}}\le {w}_{i}^{{t}_{2}}$. Note that ${x}_{i}\le {w}_{i}^{{t}_{1}}$, thus ${x}_{i}\le {w}_{i}^{{t}_{2}}$, i.e., ${\lambda}_{i}{x}_{i}\le {\lambda}_{i}{w}_{i}^{{t}_{2}}$, which implies that the rank game Γ is monotone.

(2)
$i\in {I}_{}$ and we have the case ${\lambda}_{i}=1$. Let ${\{{v}_{i}^{j}\}}_{j=1}^{t}$ be the BRMIES of ${\{{x}_{\stackrel{\u02c6}{i}}^{j}\}}_{j=1}^{t}$ and ${v}_{i}^{{t}_{1}}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{{t}_{1}})$, ${v}_{i}^{{t}_{2}}\in {S}_{i}({x}_{\stackrel{\u02c6}{i}}^{{t}_{2}})$. Since ${\{{v}_{i}^{j}\}}_{j=1}^{t}$ is nonincreasing, we have ${v}_{i}^{{t}_{1}}\ge {v}_{i}^{{t}_{2}}$. Note that ${x}_{i}\ge {v}_{i}^{{t}_{1}}$, thus ${x}_{i}\ge {v}_{i}^{{t}_{2}}$, i.e., ${\lambda}_{i}{x}_{i}\le {\lambda}_{i}{v}_{i}^{{t}_{2}}$, which implies that the rank game Γ is monotone. □
Theorem 3.2 For the rank game Γ, assume that each BRMAES is nondecreasing when $i\in {I}_{+}$ and each BRMIES is nonincreasing when $i\in {I}_{}$, then for Γ there exists a rank equilibrium point.
Proof By Lemma 3.1, the rank game Γ is monotone. By Theorem 3.1, the result follows. □
Example 3.1 Consider the following 2persons rank game Γ, where ${K}_{1}={K}_{2}=\{1,2,3\}$, ${f}_{1}^{0}=24$, ${f}_{2}^{0}=0$, and the payoff matrices are
Thus the accumulated payoff matrices are
Take $({\lambda}_{1},{\lambda}_{2})=(1,1)$. For $i=1$, there exists an unique MTOS $\{1,2,3\}$ in ${K}_{\stackrel{\u02c6}{1}}={K}_{2}$. It is easy to verify that ${\rho}_{1}(1)=\{1\}$, ${S}_{1}(1)=\{1\}$, ${\rho}_{1}(2)=\{1,3\}$, ${S}_{1}(2)=\{1,3\}$, ${\rho}_{1}(3)=\{1,2\}$, ${S}_{1}(3)=\{1\}$. Thus, the BRMIES $\{v\}=\{1,1,1\}$, and it is a nonincreasing sequence.
For $i=2$, there exists an unique MTOS $\{3,2,1\}$ in ${K}_{\stackrel{\u02c6}{2}}={K}_{1}$. It is easy to verify that ${\rho}_{2}(3)=\{1\}$, ${S}_{2}(3)=\{1\}$, ${\rho}_{2}(2)=\{1,2\}$, ${S}_{2}(2)=\{1\}$, ${\rho}_{2}(1)=\{1,2,3\}$, ${S}_{2}(1)=\{3\}$. Thus, the BRMAES $\{w\}=\{1,1,3\}$, and it is a nondecreasing sequence.
By Theorem 3.2, for Γ there exists a rank equilibrium. It is easy to verify that $(1,3)$ is a rank equilibrium.
Example 3.2 Consider the following 3persons rank game Γ, where ${K}_{1}={K}_{2}={K}_{3}=\{1,2\}$, ${f}_{1}^{0}=2$, ${f}_{2}^{0}=0$, ${f}_{3}^{0}=1$, and the payoff matrices are
Thus the accumulated payoff matrices are
Take $({\lambda}_{1},{\lambda}_{2})=(1,1,1)$. For $i=1$, there exist two MTOS $\{(1,1),(2,1),(2,2)\}$ and $\{(1,1),(1,2),(2,2)\}$ in ${K}_{\stackrel{\u02c6}{1}}$. It is easy to verify that ${\rho}_{1}(1,1)=\{2\}$, ${S}_{1}(1,1)=\{2\}$, ${\rho}_{1}(2,1)=\{2\}$, ${S}_{1}(2,1)=\{2\}$, ${\rho}_{1}(1,2)=\{2\}$, ${S}_{1}(1,2)=\{2\}$, ${\rho}_{1}(2,2)=\{1,2\}$, ${S}_{1}(2,2)=\{1,2\}$. Thus, their BRMAES $\{w1\}=\{w2\}=\{2,2,2\}$, and it is a nondecreasing sequence.
For $i=2$, there exist two MTOS $\{(1,1),(2,1),(2,2)\}$ and $\{(1,1),(1,2),(2,2)\}$ in ${K}_{\stackrel{\u02c6}{2}}$. It is easy to verify that ${\rho}_{2}(1,1)=\{1,2\}$, ${S}_{2}(1,1)=\{1\}$, ${\rho}_{2}(2,1)=\{1,2\}$, ${S}_{2}(2,1)=\{2\}$, ${\rho}_{2}(1,2)=\{1\}$, ${S}_{2}(1,2)=\{1\}$, ${\rho}_{2}(2,2)=\{2\}$, ${S}_{2}(2,2)=\{2\}$. Thus, for MTOS $\{(1,1),(2,1),(2,2)\}$, the BRMAES $\{w1\}=\{1,2,2\}$, and for MTOS $\{(1,1),(1,2),(2,2)\}$, the BRMAES $\{w2\}=\{1,1,2\}$. Clearly, $\{w1\}$ and $\{w2\}$ are nondecreasing sequences.
For $i=3$, there exist two MTOS $\{(1,1),(2,1),(2,2)\}$ and $\{(1,1),(1,2),(2,2)\}$ in ${K}_{\stackrel{\u02c6}{3}}$. It is easy to verify that ${\rho}_{3}(1,1)=\{1,2\}$, ${S}_{3}(1,1)=\{1\}$, ${\rho}_{3}(2,1)=\{2\}$, ${S}_{3}(2,1)=\{2\}$, ${\rho}_{3}(1,2)=\{2\}$, ${S}_{3}(1,2)=\{2\}$, ${\rho}_{3}(2,2)=\{2\}$, ${S}_{3}(2,2)=\{2\}$. Thus, their BRMAES $\{w1\}=\{w2\}=\{1,2,2\}$, and it is a nondecreasing sequence.
By Theorem 3.2, for Γ there exists a rank equilibrium. It is easy to verify that $(2,2,2)$ is a rank equilibrium.
References
 1.
Nash J: Equilibrium points in N person games. Proc. Natl. Acad. Sci. USA 1950, 36: 48–49. 10.1073/pnas.36.1.48
 2.
Nash J: Noncooperative games. Ann. Math. 1951, 54: 286–295. 10.2307/1969529
 3.
Lin Z: Rank game. Oper. Res. Fuzziol. 2012, 2: 42–52. 10.12677/ORF.2012.23006
 4.
Asto Ji, Kawasaki H: Discrete fixed point theorems and their application to Nash equilibrium. Taiwan. J. Math. 2009,13(2):431–440.
 5.
Yang ZF: Discrete fixed point analysis and its applications. J. Fixed Point Theory Appl. 2009, 6: 351–371. 10.1007/s1178400901309
 6.
Chen X, Deng XT: A simplicial approach for discrete fixed point theorems. Algorithmica 2009,53(2):250–262. 10.1007/s0045300891831
Acknowledgements
This work was supported by the National Natural Science Foundation of China (No. 11271389).
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as 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
Lin, Z. The existence of equilibria for the rank game. J Inequal Appl 2014, 416 (2014). https://doi.org/10.1186/1029242X2014416
Received:
Accepted:
Published:
Keywords
 rank game
 rankinteger
 rankremainder
 rank