Skip to main content
Erschienen in: EURASIP Journal on Wireless Communications and Networking 1/2009

Open Access 01.12.2009 | Research Article

A User Cooperation Stimulating Strategy Based on Cooperative Game Theory in Cooperative Relay Networks

verfasst von: Fan Jiang, Hui Tian, Ping Zhang

Erschienen in: EURASIP Journal on Wireless Communications and Networking | Ausgabe 1/2009

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This paper proposes a user cooperation stimulating strategy among rational users. The strategy is based on cooperative game theory and enacted in the context of cooperative relay networks. Using the pricing-based mechanism, the system is modeled initially with two nodes and a Base Station (BS). Within this framework, each node is treated as a rational decision maker. To this end, each node can decide whether to cooperate and how to cooperate. Cooperative game theory assists in providing an optimal system utility and provides fairness among users. Under different cooperative forwarding modes, certain questions are carefully investigated, including "what is each node's best reaction to maximize its utility?" and "what is the optimal reimbursement to encourage cooperation?" Simulation results show that the nodes benefit from the proposed cooperation stimulating strategy in terms of utility and thus justify the fairness between each user.

1. Introduction

Cooperative diversity [1, 2] has been widely proposed for applications in wireless networks. In a wireless network consists of a collection of nodes, each having a single antenna, cooperative diversity assists to enlarge system coverage and increase link reliability. Cooperative diversity works by having the network nodes assist in data transmission, thus achieving a virtual antenna array. This occurs through having a number of nodes to transmit redundant signals over different paths, which allows the destination terminal to receive average channel variations.
The benefits of cooperative diversity are highly desirable for those wireless applications in which the chief concerns are bandwidth and energy. However, while it is realistic to assume cooperation under some circumstances, in commercial applications, there is no reason for assuming that the network nodes will cooperate unselfishly. In fact, given that nodes are independent entities and that random cooperative acts will expend their resources, nodes are necessarily selfish. In other words, nodes consume their resources solely to maximize their benefits. There is no apparent benefit in a user forwarding data for other nodes. At the same time, however, the node would also prefer to have other nodes forward its own data.
In such a situation, a game theoretic approach can be used to model the network and to guide the interactions between rational decision-makers. In [3], a cooperation strategy based on the Nash Bargaining Solution (NBS) was proposed to solve two basic problems, specifically when to cooperate and how to cooperate. The authors first present a symmetric system model comprising of two users and an access point (AP). With reference to cooperative game theory, and based on the Nash bargaining solution, a cooperation bandwidth allocation strategy is then proposed. In [4], a pricing algorithm was presented for multihop wireless networks that encourage forwarding among autonomous nodes via reimbursement. In [5], a power-aware reputation system to stimulate cooperation on power-aware routing was formulated for ad hoc networks and to help each node determine its cooperation willingness from its own reputation. Based on the results given in [6], [7] presented a pricing game for stimulating cooperative diversity among selfish nodes in a commercial wireless ad hoc network. The work in [8] then reviewed this research and offered an evaluation of the various game theoretic approaches for stimulating cooperation. Essentially, this illustrated the sensitivity of the game theoretic approach to the choice of utility functions.
In the context of cooperative relay network, one user might individually select its best relay user and form a request for cooperation. Nevertheless, considering the random arrival position and the mobile nature of each user, the mobile terminal which initiates cooperative transmission in turn may not be the optimal forwarding candidate for the relay. To this end, the concept of using pricing to foster cooperation among users is arguably more appropriate than to having users cooperatively relaying data for each other as described in [3]. With gains obtained from cooperation, the relay can either select other appropriate nodes for cooperation or can choose to transmit directly. However, when it comes to pricing-based schemes, a noncooperative game theory is often used as a starting point. This is shown by researchers contributing to [48]. The main disadvantage of these works is that they concentrate on individual user utility, rather than utility of the entire system. By contrast, based on cooperative game theory, the scheme proposed in [3] can achieve general Pareto optimal performance for cooperative games. This will help in maximizing an entire system payoff, while also ensuring fairness.
Stimulated by the aforementioned research, this paper proposes a pricing and utility framework for stimulating cooperation among users. Different from previous pricing-based research results, the proposed framework consisting of an asymmetric model of two nodes and a Base Station (BS), as provided by cooperative game theory. In this framework, each node, namely, the source and the relay, is treated as rational and with its own choice of whether, and how to cooperate. Moreover, the "asymmetric" is characterized as the source having a chance to get the relay's help, and with the payoff being a remuneration; while the relay will cooperatively forward to the BS, the data which originated from the source then gains reimbursement from the source. To provide an optimal system utility while keeping fairness among users, the Nash Bargaining Solution is used to address the following questions: "What is each node's best reaction to maximize its utility?" and "What is the appropriate reimbursement the source should pay so as to encourage cooperation as well as maintain fairness?" Using two different cooperative forwarding modes, specifically, Amplify-and-Forward (AF) and Decode-and-Forward (DF) cooperation, the analysis for this study is then verified by extensive computer simulations.
The rest of this paper is organized as follows. Section 2 presents the system model, and Section 3 defines the utility functions used in this paper. Section 4 proposes a scheme based on cooperative game theory for helping the source to determine its optimal level of reimbursement. Based on the NBS, the model will also allow for the relay to judge its best reaction according to the reimbursement. Section 5 presents simulation results to demonstrate the effectiveness of the proposed scheme. Section 6 discusses some related implementation issues, and the conclusion is provided in Section 7.

2. System Model

In the considered framework, a set of users consist of the nodes in the network. Each node can perform a set of actions: for example, transmit its data to the BS directly, have another node cooperatively forward its data, not forward for other node at all, or forward only a fraction of other node's data. To represent a user's payoff over a set of action profiles precisely, the term "utility" is exploited here according to the game theory. Moreover, for the sake of stimulating cooperative behavior between nodes, pricing mechanism is introduced. As shown in Figure 1, a pricing-based asymmetric relay model is considered. This model includes two users (nodes) and one BS. Both nodes assume the BS as the final destination, while the BS charges each transmitting node the common unit price of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq1_HTML.gif . We suppose an interference free model where user transmissions are considered as orthogonal to each other. Assume that the system is based on frequency division multiple access and each node is allocated a https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq2_HTML.gif hertz bandwidth for transmitting its own packets. As illustrated in Figure 1, if a source wants its potential relay to cooperatively transmit https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq3_HTML.gif as a fraction of its own data to the BS, the relay must be compensated via a unit reimbursement price of μ for forwarding. As far as relay is concerned, to maximize its utility, it is only willing to use https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq4_HTML.gif fraction https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq5_HTML.gif of its bandwidth to relay an https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq6_HTML.gif fraction of the data that has origins from the source. The remaining https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq7_HTML.gif fraction of the source's data as well as the https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq8_HTML.gif fraction of the relay's data will be transmitted directly to the BS.
In this model, the relay might choose to use AF or DF cooperation methods for forwarding the source's data to the BS and consequently gains remuneration from the source. Thus, the diversity gain of the source heavily depends on how much fraction data is devoted by the relay to cooperative transmission. By contrast, the relay revenue actually depends on how much the source is willing to pay. Given there are no neutrals to monitor "cheating" behaviors between selfish nodes and the assumption of rational behavior for each node; then the pricing rule is readily be violated by the participants. For instance, the source may require the relay to forward its data first and then compensates no reimbursement for the relay. Alternately, the relay may require the source to prepay but not forward any of its data at all.
We address this problem with a dynamic cooperative game model. In this model, given certain constraints, each node will determine on its own strategy in a sequenced, yet nonsimultaneous manner. For instance, when wanting to benefit from cooperation, the source has to first select a best fraction of data https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq9_HTML.gif as well as an appropriate reimbursement price of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq10_HTML.gif to reward the relay. On the other hand, in order to maximize its utility, the relay will independently decide how much fraction of the data to transmit that originates from the source. Note that through selecting an optimal value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq11_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq12_HTML.gif , the source also aims at maximizing its own utility. Furthermore, the payment https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq13_HTML.gif charged by the BS remains constant during the interaction between the source and the relay.
From the aforementioned description, it can be inferred that the variables https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq14_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq15_HTML.gif , and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq16_HTML.gif reflect the rational decisions made by the each node, and that one participant's strategy will undoubtedly affect the choice of the other user. Intuitively, both nodes can expect optimal tradeoffs between their payout and payoff, and the choice of cooperation thus heavily depends on whether the cooperative behavior will bring maximum individual utility. In order to model the complicated interaction between each participant, we will first address this issue from the aspect of utility function. Followed by the well-designed utility functions, the remaining section presents a suitable solution for the framework described above and one which also invites a win-win situation. Besides, to clarify the analysis, some parameters are formally defined. These notations will be helpful to analytically obtain each user's payoff:
(i)
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq17_HTML.gif : per unit price the BS charges for data transmission;
 
(ii)
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq18_HTML.gif : the source reimbursement price per unit data;
 
(iii)
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq19_HTML.gif : fraction of data requested by the source for cooperative transmission;
 
(iv)
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq20_HTML.gif : fraction of data forwarded by the relay;
 
(v)
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq21_HTML.gif : bandwidth for transmission.
 

3. Utility Functions

To appropriately denote a user's preferences over a set of action profiles, a good representative approximation is indispensible. Here, the concept of utility function is adopted. The utility function, which maps a set of action alternatives into real numbers, is used to properly represent the payoff of each node. Thereupon, how to define a meaningful and delicate utility function for the proposed model is an essential problem. As stated in [9], cooperative diversity is a physical layer protocol that affects physical layer variables. In particular, the two variables of interest are throughput achieved and transmission power consumed. In the game theoretic model, the utility measures of the system need to incorporate these two parameters into a reasonable fashion. That is to say, for equal power, higher throughput should translate into higher utility. Similarly, for equal throughput, lower power should bring increased utility. According to the research results presented in [10], a user's utility is measured in the physical unit of bits-per-joule and is defined as
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ1_HTML.gif
(1)
In this function, utility https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq22_HTML.gif is proportional to throughput https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq23_HTML.gif and inversely proportional to power https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq24_HTML.gif . The utility is interpreted as the number of information bits received per joule of energy consumed. Specifically, suppose that the source and the relay both have a utility function denoted by formula (1) for transmission; the choice of cooperation thus depends on the utility achieved. If utility gained from cooperation is higher than utility achieved by noncooperation, then the node should choose to cooperate. However, the cooperating utility is only acquired when both nodes choose to cooperate. If only one of the two nodes is cooperating, then the cooperating node obviously does not achieve a cooperating utility.
In the proposed pricing-based game theoretic model, the BS always charges the users for service based on throughput. To maximize its utility, the source first selects an optimal fraction of data to be cooperatively transmitted by the relay and also provides a certain reimbursement price as an incentive for forwarding. Then, the source derives utility from this by the increased throughput it achieves with comparatively less power. Meanwhile, the relay gains utility from the payment made to it by the source. The interaction between the source and the relay includes the following.
The source optimizes https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq26_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq27_HTML.gif to maximize its utility using the following sequence.
(i)
Source and relay interact in cooperative game to determine forwarding preferences.
 
(ii)
Source adaptively sets the value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq28_HTML.gif as well as https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq29_HTML.gif .
 
(iii)
Source calculates its utility.
 
The relay optimizes https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq31_HTML.gif to maximize its utility using the following sequence.
(i)
Relay dynamically sets the value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq32_HTML.gif .
 
(ii)
Relay calculates its revenue.
 
Each node has a set of preferences, modeled by its utility, which should take into account the amount of data it transfers and the consequent price it pays. The best response function is how the node will behave, assuming that it acts in self-interest. Consequently, the utility functions adopted in the proposed framework should not only incorporate the parameters such as throughput and power but also embody each node's preferences, for instance, the choice of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq33_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq34_HTML.gif , and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq35_HTML.gif . Combined with the pricing-based algorithm described in [49, 11], the utility functions in this paper for the source https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq36_HTML.gif and the relay https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq37_HTML.gif are constructed as
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ2_HTML.gif
(2)
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ3_HTML.gif
(3)
Equation (2) stands for the utility obtained by the source through cooperative transmission while the formula (3) actually represents the corresponding payoff of the relay. Depending on user's role (relay or source), the utility functions comprise of two parts. The direct transmission part accounts for the satisfaction received in transmitting data and the associated BS charges. The cooperative transmission part accommodates both actual and opportunity costs of forwarding data along with the respective pricing rewards. More specially, in the case of cooperation, the source utility is the satisfaction measure achieved where cooperation subtracts the total price paid to the BS and the relay. While the relay utility under cooperation is simply the total revenue it earns from the source subtracts the total price it pays to the BS. Here, variables https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq38_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq39_HTML.gif represent the transmission power of the source as well as the relay, respectively. https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq40_HTML.gif which is also called the efficiency function, denotes the probability of correct reception of a frame [3]. This is given by
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ4_HTML.gif
(4)
With frames of M bits, BER is the bit error rate and γ denotes the received signal-to-noise ratio (SNR). The BER, for noncoherent frequency shift keyed (FSK) transmission, can be expressed as
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ5_HTML.gif
(5)
where https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq41_HTML.gif is the transmit power, https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq42_HTML.gif is the noise power, and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq43_HTML.gif is the channel path gain. According to [10], https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq44_HTML.gif is calculated as https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq45_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq46_HTML.gif being the distance between the transmitter and the receiver in meters. Back to (2) and (3), https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq47_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq48_HTML.gif stand respectively, for the SNR of the channel from the source to the BS as well as from the relay to the BS. Here https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq49_HTML.gif represents the effective SNR which is achieved by the source through cooperative transmission. According to different cooperative forwarding methods, the expression of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq50_HTML.gif differs for AF cooperation by the relay and is given as follows [12]:
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ6_HTML.gif
(6)
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq51_HTML.gif denotes the SNR of the wireless channels from the source to the relay, whereas a case of DF cooperation by the relay, is represented as [13, 14]
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ7_HTML.gif
(7)
Based on the system model presented in Section 2, the proposed utility functions in (2) and (3) are executed by each node as follows: firstly, the BS periodically broadcasts current value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq52_HTML.gif , and each node constructs its utility function individually according to the role it plays. By obtaining the information of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq53_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq54_HTML.gif , the source will decide whether to adopt cooperative transmission. If utility gained from cooperation is greater than utility achieved by noncooperation, the source adaptively chooses the optimal value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq55_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq56_HTML.gif to maximize its payoff. The source then sends https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq57_HTML.gif fraction of its data to the relay along with the information of reimbursement price https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq58_HTML.gif and waits for reply. Once the relay receives this data request, by combining it with the value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq59_HTML.gif , it will independently derive the optimal value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq60_HTML.gif from (3). By listening to the acknowledgment sent by the BS, the source finally calculates its utility according to formula (2) and further adjusts the value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq61_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq62_HTML.gif if necessary. The interaction between the source and the relay continues and eventually converges at the equilibrium point.
It is worth noting that in the case of cooperation, the variables https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq63_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq64_HTML.gif which represent the respective cooperating preferences for the source and the relay are subjected to the following constraints:
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ8_HTML.gif
(8)
The above condition can be interpreted as follows: firstly, for the source which requests the relay to cooperatively transmit https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq65_HTML.gif fraction of its data to the BS, then https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq66_HTML.gif should be no larger than one. On the other hand, a relay can, at most, forward the same amount of data originating from the source. Finally, to create a meaningful cooperative scheme, both https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq67_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq68_HTML.gif should be nonnegative.

4. Cooperative Game Approaches

In this section, cooperative game theory is used to analyze the problem outlined in Section 3. First we will briefly introduce the concepts of bargaining problem and the related solution methods. Then, based on the NBS, a cooperative scheme is presented in detail which outlines the best policy for each node to maximize its utility.

4.1. Basic Concepts and Theorems

The bargaining problem of cooperative game theory can be described as follows [15, 16]: assume that there are https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq69_HTML.gif players, with https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq70_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq71_HTML.gif , representing the minimum payoff that the https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq72_HTML.gif player would expect or the disagreement point when https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq73_HTML.gif players do not agree on a compromise. Let https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq74_HTML.gif be a nonempty convex and closed set representing the feasible set of payoff allocations for players if they work together. Assume that https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq75_HTML.gif is a nonempty, closed, and convex set. Let https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq76_HTML.gif , then the pair https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq77_HTML.gif is called a K-person bargaining problem [17]. Within the feasible set https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq78_HTML.gif , we now define the notion of Pareto optimal concept as representing selection criterion for bargaining solutions.
Definition 1.
The point https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq79_HTML.gif is said to be Pareto optimal if and only if there is no other allocation https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq80_HTML.gif such that https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq81_HTML.gif for all https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq82_HTML.gif .
Pareto optimality is also called Pareto efficient, which means that it is impossible to find another point which leads to superior performance for all players. In general, for a https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq83_HTML.gif -person bargaining game, there might be an infinite number of Pareto optimal points [15]. To select the optimal point, additional criteria are needed. Such criteria are the so-called fairness axioms, these characterizing the Nash Bargaining Solution. The NBS is briefly explained as follows.
Definition 2.
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq84_HTML.gif is said to be a NBS in set https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq85_HTML.gif ( https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq86_HTML.gif ), such that https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq87_HTML.gif if the following four axioms are satisfied:
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq88_HTML.gif Pareto Optimality
There does not exist https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq89_HTML.gif , such that https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq90_HTML.gif .
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq91_HTML.gif Independence of Irrelevant Alternatives
If https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq92_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq93_HTML.gif , then https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq94_HTML.gif .
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq95_HTML.gif Independence of Linear Transformations
For any linear scale transformation https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq96_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq97_HTML.gif .
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq98_HTML.gif Symmetry
If   https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq99_HTML.gif is invariant under all exchanges of agents, then https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq100_HTML.gif .
Nash demonstrated a unique solution function for a https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq101_HTML.gif -player bargaining problem and one which satisfies all the above four axioms. The solution is explicated in the following theorem.
Theorem 1.
Existence and Uniqueness of NBS (Nash's Theorem). There is a unique solution function https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq102_HTML.gif that satisfies all four axioms, and this solution satisfies
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ9_HTML.gif
(9)
The Nash solution selects the allocation that maximizes the product of the expected gains, this known as the Nash product.

4.2. A Cooperative Scheme

As discussed above, the cooperative game in the cooperative relay networks can be defined as follows. According to each user's role, each node has https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq103_HTML.gif ( https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq104_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq105_HTML.gif , where https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq106_HTML.gif indicates the source and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq107_HTML.gif denotes the relay) as its objective function. This is written in formulas (2) and (3), where https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq108_HTML.gif is bounded above and has a nonempty, closed, and convex support. The goal is to maximize all https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq109_HTML.gif simultaneously, and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq110_HTML.gif , also called the initial agreement point, represents the minimal performance. The problem, then, is to find an optimal operating point that maximizes the utility for all users and ensure that the point is optimal and fair.
With the help of NBS, for the problem mentioned above, the NBS function is expressed as
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ10_HTML.gif
(10)
where https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq111_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq112_HTML.gif denote the utility of the source under the conditions of direct transmission as well as denote the relay. More specially, in the case of noncooperation, the source and relay utility are simply the satisfaction measure achieved by subtracting the total price paid to the BS. From the properties of NBS functions, it can be concluded that a node will choose to quit cooperate, if the utility obtained through the cooperative transmission is smaller than the utility obtained through a direct transmission. In other words, since each node is a rational decision-maker with independent choice, it will only choose to transmit cooperatively if the performance is better than that of direct transmission.
Given the above situation, we then have
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ11_HTML.gif
(11)
For simplicity, we keep the variables https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq113_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq114_HTML.gif , and W to be constant. Moreover, since https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq115_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq116_HTML.gif , represents the minimal utility the user can obtain through direct transmission, it should follow that https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq117_HTML.gif . Consequently, we can infer that https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq118_HTML.gif , this providing the constraint of the charge provided by the BS.
The next object is to determine the optimal value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq119_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq120_HTML.gif and an appropriate reimbursement price for https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq121_HTML.gif .
Assuming https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq122_HTML.gif = https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq123_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq124_HTML.gif = https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq125_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq126_HTML.gif = https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq127_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq128_HTML.gif = https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq129_HTML.gif , then we have
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ12_HTML.gif
(12)
Again, let https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq130_HTML.gif = https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq131_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq132_HTML.gif = https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq133_HTML.gif , then the problem becomes
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ13_HTML.gif
(13)
From the above relations, it can be derived that
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ14_HTML.gif
(14)
Since the parameter https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq134_HTML.gif represents the bandwidth allocated to each node for transmission which remains constant, recalling the NBS function given in (9), our main target then lies in to find the optimal value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq135_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq136_HTML.gif , and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq137_HTML.gif that maximize the product of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq138_HTML.gif .
Assume https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq139_HTML.gif and that by substituting (14) into (8), we now have
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ15_HTML.gif
(15)
The relationships derived in (13) are also depicted in Figure 2, where the four dash-dot lines stand for the four constraints. The shaded region represents the set of points https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq140_HTML.gif that satisfy the restrictions of (15). After this, we need to find the exact maximization point for the product of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq141_HTML.gif .
To maintain the fairness among nodes, the condition for solving the equation derived in (13) is to assume that https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq144_HTML.gif . This essentially means that the expected payoff of each node is the same after cooperation. This assumption can be explained as follows.
Firstly, to maximize its payoff, the source will choose an optimal value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq145_HTML.gif as well as an appropriate value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq146_HTML.gif . If cooperative transmission is more advantageous compared with direct transmission, then the source will undoubtedly perform the following actions: to have the relay transmit as much fraction of its data as possible, and at the same time to cut off its payout. This essentially means that the best policy for the source is to increase the value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq147_HTML.gif and to decrease the value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq148_HTML.gif .
On the other hand, with the knowledge of the values of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq149_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq150_HTML.gif , the relay calculates the expected payoff. It then decides on its own strategy, which is a typical two person bargaining problem. Under the circumstances that the cooperation can bring more payoff than a noncooperation case, the best course of action for the relay in response to the source's choice is equally to maximize its own revenue and, at the same time, to cut down expense paid to the BS. This indicates that its best policy is to decrease the value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq151_HTML.gif as less as possible.
Unfortunately, without an impartial third party to avoid the selfish behavior of each node, it is hard to arrive at a balancing solution that insures maximum utilities of both nodes as well as fairness. Alternatively, with the restriction to have both nodes receive the same expected payoff, if one node chooses to adopt a different strategy, it will definitely harm another node's payoff. Under cooperative game theory, this is also explained as a necessary commitment from each participant [16]. In other words, this condition strikes a balance between the two participants, in that it is impossible to make any individual improvement unless at least some other participants are worse off, which gives the definition of Pareto optimal.
Under the above considerations, we now have https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq152_HTML.gif . From the definition of variables https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq153_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq154_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq155_HTML.gif , and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq156_HTML.gif , it can be inferred that all of them are nonnegative. When https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq157_HTML.gif , it yields https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq158_HTML.gif , which can be interpreted as follows: if cooperative transmission is adopted, both nodes can improve their payoff compared with direct transmission; otherwise both nodes will choose to cease the cooperation. According to the constraint inequality, if https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq159_HTML.gif , it is easy to derive that the coordinate product XY is maximized. Consequently, the corresponding data allocation scheme is equivalent to
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ16_HTML.gif
(16)
Equation (16) provides a solution to the bargain problem depicted in expression (9). It can be explained that: when adopting a cooperation strategy, in order for the source node to maximize utility, the best strategy is to set https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq160_HTML.gif . This allows the relay to cooperatively transmit all its data to the destination. Consequently, it is derived that https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq161_HTML.gif .
The next challenge is to resolve the appropriate value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq162_HTML.gif that maximizes the payoff on both sides. Since the relay will only forward the data originated from the source, there are subsequently the following restrictions:
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ17_HTML.gif
(17)
By substituting the expression of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq163_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq164_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq165_HTML.gif , and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq166_HTML.gif into (17), we have
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ18_HTML.gif
(18)
The inequalities can be transformed into
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ19_HTML.gif
(19)
The possible value range of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq167_HTML.gif is illustrated in inequalities (19). When adopting cooperation, the best strategy for the source is to inspire the relay transmitting for the same fraction of the data required by the source. This yieldsn=m=1, and hence, the optimal value of μ is given as
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ20_HTML.gif
(20)
Through the obtainable https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq168_HTML.gif in function (20), the relay will receive the greatest reward and the source will get maximum benefit from cooperative diversity; therefore the maximum payoff of both participants can be achieved. Consequently, when https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq169_HTML.gif , we now have ( https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq170_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq171_HTML.gif ) = ( https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq172_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq173_HTML.gif ). This corresponds to the point shown in Figure 2 in which the line depicted by https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq174_HTML.gif = https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq175_HTML.gif intersects with the line depicted by https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq176_HTML.gif .
Alternatively, if https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq177_HTML.gif , then the maximization problem described in expression (9) appropriates all the utilities greater than those of the noncooperation case. Essentially, this means that both https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq178_HTML.gif and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq179_HTML.gif are greater than zero. Moreover, when substituting the expression in terms of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq180_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq181_HTML.gif into the restriction given in (8), it can be derived that the only possible results derived is https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq182_HTML.gif . This results in ( https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq183_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq184_HTML.gif ) = https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq185_HTML.gif . This situation can be interpreted as follows: when cooperation does not provide greater payoff for the nodes involved, they will consequently cease the cooperation. Given the payment if other variables remain constant, the value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq186_HTML.gif , which is closely related to the channel quality and the payment, is a critical requirement for cooperation. When https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq187_HTML.gif is below zero, both nodes will choose to transmit directly. However, as long as https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq188_HTML.gif is above zero, to transmit cooperatively is obviously superior to other strategies. The shift in condition from noncooperation to cooperation will occur when https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq189_HTML.gif is equal to zero. Accordingly, there must be a sudden change in the amount of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq190_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq191_HTML.gif , and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq192_HTML.gif , from zero to a certain positive value which is determined by the preceding equations:
https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_Equ21_HTML.gif
(21)
It should be noted that the left-side expression in inequalities (21) is the direct result of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq193_HTML.gif in the form of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq194_HTML.gif , which should be greater than zero. As a result, the above expressions (21) are derived to clarify the circumstances under which two nodes should cooperate.

5. Simulation Results

The simulation scenario we adopted is similar to the model described in [3]. Consider a network composed of three nodes. A BS is located in the origin and the source is situated 800 meters far from the BS in the https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq195_HTML.gif -axis, the coordinates of the source being given as (800,0). When the relay moves along the https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq196_HTML.gif -axis toward the source, then coordinates are ( https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq197_HTML.gif ). The value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq198_HTML.gif varies from 400 meters to 1400 meters. Other parameters used in the simulation include https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq199_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq200_HTML.gif , https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq201_HTML.gif  Hz, and https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq202_HTML.gif  W. The transmitting power is assumed to be 0.1 W for both nodes, and the unit price of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq203_HTML.gif charged by BS is assumed to be 0.1.
Using the source and the relay utility functions described in (2) and (3), we plot the source utility and the relay utility for varying relay to BS distances.
Figures 3 and 4 show each node's utility in the case of cooperation, respectively, for AF or DF forwarding as well as in the case of direct transmission. As can be observed, when the distance between the source and the relay is below 600, neither node cooperates, and the utility values therefore converge to the noncooperation ones. However, as the relay is approaching the source, or more specifically, when https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq204_HTML.gif  m, then both nodes start to cooperate. Owing to the relay's good channel condition, both nodes, via cooperation, will improve their revenue. This occurs when the source receives diversity gain by cooperative transmission, whereas the relay receives a deserved reimbursement from the source. Notice that for all nodes, the cooperating utility outstrips the noncooperating utility by a wide margin. This is the original framework we set forth, and one which underlies how the proposed scheme can enhance system performance. This is achieved by adopting proper cooperation. It is also worth noting that the source utility under cooperation is close to that of the relay, this being due to the fact that our strategy is aimed at maintaining fairness among each user. In itself, and compared with traditional pricing-based schemes which only maximize the source's utility, this is a distinctive characteristic. Subsequently, we arrive at an optimal source reimbursement price, and one which maximizes a participant's utility without hindering another user's payoff. Furthermore, our results are obtained when the reimbursement price https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq205_HTML.gif is equal to https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq206_HTML.gif . It is hard to tell from these two figures whether the value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq207_HTML.gif is optimal, and we address this problem in Figures 5 and 6.
Figures 5 and 6 display the product of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq210_HTML.gif for the resulting different values of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq211_HTML.gif when the relay adopts AF or DF forwarding. To demonstrate the distinct advantage of the proposed strategy, we also plot the situation when https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq212_HTML.gif is equal to a constant value. These figures show that when cooperation happens, https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq213_HTML.gif is maximized only when https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq214_HTML.gif equals to the optimal value https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq215_HTML.gif . This is because the reimbursement price that is paid by the source to the relay is determined variously, by the channel quality between the source and the relay. It is also determined variously between the relay and the BS. With these dynamic values for μ , the relay node will receive a deserved reward if it honestly participates in cooperation. Furthermore, the source also reaps cooperative diversity, thereby producing the revenue maximization for both nodes. However, if the source chooses a small constant value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq216_HTML.gif , as the channel condition between them becomes better, the source will gain more than the relay. As a consequence, in order to increase its revenue, the best reaction for the relay is to forward a smaller fraction of data required by the source. This will lead to diminishment in the product value. On the other hand, if the source adopts a large constant value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq217_HTML.gif , it will lose more than it gains. When the relay is moving toward the source, in the region roughly between 600 m and 1200 m, https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq218_HTML.gif becomes positive. In other words, the cooperation brings advantages for each user. However, when https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq219_HTML.gif  m, https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq220_HTML.gif is almost zero. In this application, whether users cooperate or not will bring no further benefits. This suggests that the source should consider selecting another optimal relay. Moreover, when the relay adopts different forwarding scheme, that is, AF or DF, the results in terms of utilities also differ slightly as depicted in the figures.
Figure 7 illustrates the changing values of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq221_HTML.gif . When https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq222_HTML.gif  m, each node transmits directly, this being denoted by https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq223_HTML.gif . Users start to cooperate when https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq224_HTML.gif  m, which can be interpreted as the point when the channel quality is good enough for cooperation, and the source is willing to pay (the relay) an appropriate reward for forwarding data to the BS. However, when the relay is gradually far from the BS, and as its channel condition becomes worse little by little, the source will decrease the reimbursement price accordingly. It is worth noting that when the relay is very far from the BS, that is, https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq225_HTML.gif  m, the result is equivalent to a noncooperation case even though the source can still choose cooperative transmission. Again, it can be observed that there is a slight difference between the AF forwarding and the DF forwarding schemes.
Figures 8 and 9 show the system's sum utility of the AF and DF cooperation. In the context of cooperation, it can be observed that when the relay moves across the cooperation starting point of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq227_HTML.gif  m, there is a sudden change in the value of the sum utility. This is in accordance with our previous analysis. Besides, it should also be noted that for all the candidate values of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq228_HTML.gif , the cooperating utility is greater than that of the noncooperation case. Moreover, the system's sum utility is maximized when the optimal reward value https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq229_HTML.gif is adopted. As such, the advantage is gradually diminished when the relay moves far from the BS.
Figures 10 and 11 plot the fraction of data that each user has dedicated for the cooperation. Regardless of whether the relay adopts the AF or DF forwarding scheme, when the source chooses a small constant reimbursement price value, then, the relay forwards only a fraction of the data required by the source. On the other hand, and according to the Nash bargaining solution, when the optimal reward value https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq230_HTML.gif is employed, the best relay strategy involves forwarding the same fraction of data originated from the source. This leads to the maximized utilities of both nodes. By utilizing the dynamic value of https://static-content.springer.com/image/art%3A10.1155%2F2009%2F294942/MediaObjects/13638_2009_Article_1628_IEq231_HTML.gif , both nodes win from cooperation, and at the same time the fairness among each participant is also guaranteed.

6. Implementation Issues

Concerning the implementation, it is obvious that the proposed strategy can be applied to current cellular networks. In current researched relay-based cellular networks, when referring to the typical two user cooperation scenarios, most academic papers assumed that once the selection pair is achieved, the selected relay will unconditionally forward data for the other user. Actually, when a mobile is helping a neighbor mobile by forwarding data, it is sacrificing its throughput for the sake of another one, and such behavior has to be taken into consideration when the average user throughput is calculated. In other words, the selected relay sacrifices its throughput without any incentives basis, which is not going to happen in the commercial cellular networks.
The strategy presented in this paper is aimed to address this problem by way of stimulating cooperative behavior. Through signaling channels, when a mobile wants to deploy cooperation with another mobile, it can independently construct its utility function and calculate the optimal fraction of data to be sent cooperatively by the relay as well as the appropriate reimbursement price. On the other hand, the relay can also adaptively decide how much fraction of the data to transmit that originates from the source so as to maximize its utility. This is achieved by utilizing the proposed algorithm to maximize both participants' revenue as well as to maintain fairness.

7. Conclusion

This paper presents a user cooperation stimulating strategy based on cooperative game theory in the context of a cooperative relay network. Using a pricing-based mechanism, an asymmetric model is comprehensively discussed, consisting of two nodes and a BS. In this framework, each node is treated as a rational decision-maker, determining its own choice of whether, to cooperate and how. In order to provide an optimal system utility while keeping fairness among users, we turn to cooperative game theory. Under different cooperative forwarding modes, the questions "what is each node's best reaction to maximize its utility?" and "what is the appropriate reimbursement the source should pay to encourage cooperation?" have been systematically addressed. Finally, simulation results demonstrate the benefit that the nodes derive from the proposed strategy in terms of utility, and the fairness among each user is guaranteed.

Acknowledgments

This work is supported by the National 863 High Tech R&D Program of China (Project no. 2009AA01Z262), Chinese 973 Project under the Grant no. 2009CB320400, Natural Science Foundation of China (key Project no. 60632030, 60832009).
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://​creativecommons.​org/​licenses/​by/​2.​0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Literatur
1.
Zurück zum Zitat Politis C, Oda T, Dixit S, et al.: Cooperative networks for the future wireless world. IEEE Communications Magazine 2004, 42(9):70-79. 10.1109/MCOM.2004.1336723CrossRef Politis C, Oda T, Dixit S, et al.: Cooperative networks for the future wireless world. IEEE Communications Magazine 2004, 42(9):70-79. 10.1109/MCOM.2004.1336723CrossRef
2.
Zurück zum Zitat Pabst R, Walke BH, Schultz DC, et al.: Relay-based deployment concepts for wireless and mobile broadband radio. IEEE Communications Magazine 2004, 42(9):80-89. 10.1109/MCOM.2004.1336724CrossRef Pabst R, Walke BH, Schultz DC, et al.: Relay-based deployment concepts for wireless and mobile broadband radio. IEEE Communications Magazine 2004, 42(9):80-89. 10.1109/MCOM.2004.1336724CrossRef
3.
Zurück zum Zitat Zhang Z, Shi J, Chen HH, et al.: A cooperation strategy based on nash bargaining solution in cooperative relay networks. IEEE Transactions on Vehicular Technology 2008, 57(4):2570-2577.CrossRef Zhang Z, Shi J, Chen HH, et al.: A cooperation strategy based on nash bargaining solution in cooperative relay networks. IEEE Transactions on Vehicular Technology 2008, 57(4):2570-2577.CrossRef
4.
Zurück zum Zitat Ileri O, Mau SC, Mandayam NB: Pricing for enabling forwarding in self-configuring ad hoc networks. IEEE Journal on Selected Areas in Communications 2005, 23(1):151-161.CrossRef Ileri O, Mau SC, Mandayam NB: Pricing for enabling forwarding in self-configuring ad hoc networks. IEEE Journal on Selected Areas in Communications 2005, 23(1):151-161.CrossRef
5.
Zurück zum Zitat Lu D, Wu H, Zhang Q, et al.: PARS: stimulating cooperation for power-aware routing in ad-hoc networks. Proceedings of the IEEE International Conference on Communications (ICC '05), May 2005, Seoul, South Korea 5: 3187-3191. Lu D, Wu H, Zhang Q, et al.: PARS: stimulating cooperation for power-aware routing in ad-hoc networks. Proceedings of the IEEE International Conference on Communications (ICC '05), May 2005, Seoul, South Korea 5: 3187-3191.
6.
Zurück zum Zitat Saraydar CU, Mandayam NB, Goodman DJ: Efficient power control via pricing in wireless data networks. IEEE Transactions on Communications 2002, 50(4):291-303.CrossRef Saraydar CU, Mandayam NB, Goodman DJ: Efficient power control via pricing in wireless data networks. IEEE Transactions on Communications 2002, 50(4):291-303.CrossRef
7.
Zurück zum Zitat Shastry N, Adve RS: Stimulating cooperative diversity in wireless ad hoc networks through pricing. Proceedings of the IEEE International Conference on Communications (WCNC '06), June 2006, Istanbul, Turkey 8: 3747-3752. Shastry N, Adve RS: Stimulating cooperative diversity in wireless ad hoc networks through pricing. Proceedings of the IEEE International Conference on Communications (WCNC '06), June 2006, Istanbul, Turkey 8: 3747-3752.
8.
Zurück zum Zitat Ji J, Adve RS: Evaluation of game theoretic approaches to cooperative wireless network design. Proceedings of the 23rd Biennial Symposium on Communications, June 2006, Kingston, Canada 75-79. Ji J, Adve RS: Evaluation of game theoretic approaches to cooperative wireless network design. Proceedings of the 23rd Biennial Symposium on Communications, June 2006, Kingston, Canada 75-79.
9.
Zurück zum Zitat Katoozian M, Navaie K, Yanikomeroglu H: Utility-based adaptive radio resource allocation in OFDM wireless networks with traffic prioritization. IEEE Transactions on Wireless Communications 2009, 8(1):66-71.CrossRef Katoozian M, Navaie K, Yanikomeroglu H: Utility-based adaptive radio resource allocation in OFDM wireless networks with traffic prioritization. IEEE Transactions on Wireless Communications 2009, 8(1):66-71.CrossRef
10.
Zurück zum Zitat Han Z, Ji Z, Liu KJR: Fair multiuser channel allocation for OFDMA networks using Nash bargaining solutions and coalitions. IEEE Transactions on Communications 2005, 53(8):1366-1376. 10.1109/TCOMM.2005.852826CrossRef Han Z, Ji Z, Liu KJR: Fair multiuser channel allocation for OFDMA networks using Nash bargaining solutions and coalitions. IEEE Transactions on Communications 2005, 53(8):1366-1376. 10.1109/TCOMM.2005.852826CrossRef
11.
Zurück zum Zitat Chen Y, Kishore S: A game-theoretic analysis of decode-and-forward user cooperation. IEEE Transactions on Wireless Communications 2008, 7(5):1941-1951.CrossRef Chen Y, Kishore S: A game-theoretic analysis of decode-and-forward user cooperation. IEEE Transactions on Wireless Communications 2008, 7(5):1941-1951.CrossRef
12.
Zurück zum Zitat Host-Madsen A, Zhang J: Capacity bounds and power allocation for wireless relay channels. IEEE Transactions on Information Theory 2005, 51(6):2020-2040. 10.1109/TIT.2005.847703MathSciNetCrossRefMATH Host-Madsen A, Zhang J: Capacity bounds and power allocation for wireless relay channels. IEEE Transactions on Information Theory 2005, 51(6):2020-2040. 10.1109/TIT.2005.847703MathSciNetCrossRefMATH
13.
Zurück zum Zitat Goodman D, Mandayam N: Power control for wireless data. IEEE Personal Communications 2000, 7(2):48-54. 10.1109/98.839331CrossRefMATH Goodman D, Mandayam N: Power control for wireless data. IEEE Personal Communications 2000, 7(2):48-54. 10.1109/98.839331CrossRefMATH
14.
Zurück zum Zitat Laneman JN, Tse DNC, Wornell GW: Cooperative diversity in wireless networks: efficient protocols and outage behavior. IEEE Transactions on Information Theory 2004, 50(12):3062-3080. 10.1109/TIT.2004.838089MathSciNetCrossRefMATH Laneman JN, Tse DNC, Wornell GW: Cooperative diversity in wireless networks: efficient protocols and outage behavior. IEEE Transactions on Information Theory 2004, 50(12):3062-3080. 10.1109/TIT.2004.838089MathSciNetCrossRefMATH
15.
Zurück zum Zitat Rosenmüller J: Game Theory: Stochastics, Information, Strategies and Cooperation. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2000.CrossRefMATH Rosenmüller J: Game Theory: Stochastics, Information, Strategies and Cooperation. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2000.CrossRefMATH
16.
Zurück zum Zitat Osborne MJ: An Introduction to Game Theory. Oxford University, New York, NY, USA; 2004. Osborne MJ: An Introduction to Game Theory. Oxford University, New York, NY, USA; 2004.
17.
Zurück zum Zitat Grosu D, Chronopoulos AT, Leung MY: Load balancing in distributed systems: an approach using cooperative games. Proceedings of the 16th International Symposium on Parallel and Distributed Processing (IPDPS '02), April 2002, Fort Lauderdale, Fla, USA 52-61. Grosu D, Chronopoulos AT, Leung MY: Load balancing in distributed systems: an approach using cooperative games. Proceedings of the 16th International Symposium on Parallel and Distributed Processing (IPDPS '02), April 2002, Fort Lauderdale, Fla, USA 52-61.
Metadaten
Titel
A User Cooperation Stimulating Strategy Based on Cooperative Game Theory in Cooperative Relay Networks
verfasst von
Fan Jiang
Hui Tian
Ping Zhang
Publikationsdatum
01.12.2009
Verlag
Springer International Publishing
DOI
https://doi.org/10.1155/2009/294942

Weitere Artikel der Ausgabe 1/2009

EURASIP Journal on Wireless Communications and Networking 1/2009 Zur Ausgabe