Average bit error probability for the λ-MRC detector under Rayleigh fading

Mitchell Omar Calderon Inga; Gustavo Fraidenraich

doi:10.1186/1687-1499-2011-166

Impact Factor 1.529

EURASIP Journal on Wireless Communications and Networking Cover Image

Research

Open Access

Average bit error probability for the λ-MRC detector under Rayleigh fading

Mitchell Omar Calderon Inga¹ and
Gustavo Fraidenraich¹Email author

EURASIP Journal on Wireless Communications and Networking20112011:166

https://doi.org/10.1186/1687-1499-2011-166

Received: 11 February 2011

Accepted: 10 November 2011

Published: 10 November 2011

Abstract

In this paper, an exact expression for the average bit error probability was obtained for the λ-MRC detector, proposed in Sendonaris et al. (IEEE Trans Commun 51: 1927-1938, IEEE Trans. Commun 51: 1939-1948), under Rayleigh fading channel. In addition, a very accurate approximation was obtained to calculate the average bit error probability for any power allocation scheme. Our expressions allow to investigate the possible gains and situations where cooperation can be beneficial.

Keywords

User cooperation Virtual MIMO Bit error probability Rayleigh fading

I. Introduction

Diversity techniques have been widely accepted as one of effective ways of combat multipath fading in wireless communications [1], in particular spatial diversity is specially effective at mitigating these multipath situation. However, in many wireless applications, the use of multiple antennas is not practical due to size and cost limitations of the terminals. One possible way to have diversity without increasing the number of antennas is through the use of cooperative diversity.

Cooperative diversity has root in classical information theory work on relay channels [2], [3]. Cooperative networks achieve diversity gain by allowing the users to cooperate, and thus, each wireless user is assumed to transmit data as well as act as a cooperative agent for another user [4], [5]. The first implementation strategy for cooperation was introduced in [1], [6], where the achievable rate region, outage probability, and coverage area were analyzed.

In this pioneering work, assuming a suboptimal receiver called λ-MRC, the bit error probability was computed assuming a fixed channel. This kind of receiver combines the signal from the first period of transmission with the signal transmitted jointly by the both users in the second period of transmission. The variable λ ∈ [0,1] establishes the degree of confidence in the bits estimated by the partner. For situations where the inter-user channel presents favorable conditions, the variable λ should be close to unity; on the other hand, for very severe channels conditions, the parameter λ should tend to zero. Unfortunately, the bit error probability was computed only for a fixed channel and remained open for the situation where all the fading coefficients are Rayleigh distributed.

In this paper, an exact and approximate expression is computed for the average bit error probability assuming a Rayleigh fading for the inter-user channel and for the direct channel between users and base station (BS).

II. System Model

This section summarizes the system model that was employed in [1], [6].

A. System Model

The channel model used in [6] can be mathematically expressed as

Y_{0} (t) = K_{10} X_{1} (t) + K_{20} X_{2} (t) + Z_{0} (t)

(1)

Y_{1} (t) = K_{21} X_{2} (t) + Z_{1} (t)

(2)

Y_{2} (t) = K_{12} X_{1} (t) + Z_{2} (t)

(3)

where Y₀(t), Y₁(t), and Y₂(t) are the baseband models of the received signal at the BS, user 1, and user 2, respectively, during one symbol period. Also, X_i(t) is the signal transmitted by user i under power constraint P_i, for i = 1, 2, and Z_i(t) are white zero-mean Gaussian noise random processes with spectral height $N_{i} ∕ 2$ for i = 0, 1, 2, and the fading coefficients K_ijare Rayleigh distributed with $E [K_{i j}^{2}] = 2 α_{i j}^{2}$ . We also assume that the BS can track perfectly the variations in K₁₀ and K₂₀, user 1 can track K₂₁ and user 2 can track K₁₂.

The system proposed in [6] is based on a conventional code division multiple access (CDMA) system and divides the transmission into two parts: the first without cooperation and the second with cooperation. For a given coherence time of L symbols and cooperation time of 2L_csymbols, the transmitted signals can be expressed as shown in (5), where L_n= L-2L_c,

b_{j}^{(i)}

is user j's i th bit,

{\hat{b}}_{j}^{(i)}

is the partner's estimate of user j's i th bit, and c_j(t) is user j's spreading code. The parameters a_ijrepresent the power allocation scheme, and they must maintain an average power constraint that can be expressed as

\begin{gathered} \frac{1}{L} (L_{n} a_{11}^{2} + L_{c} (a_{12}^{2} + a_{13}^{2} + a_{14}^{2})) = P_{1} \\ \frac{1}{L} (L_{n} a_{21}^{2} + L_{c} (a_{22}^{2} + a_{13}^{2} + a_{14}^{2})) = P_{2} \end{gathered}

(4)

\begin{gathered} X_{1} (t) = \{\begin{matrix} a_{11} b_{1}^{(i)} c_{1} (t), & i = 1, 2, . . ., L_{n} \\ a_{12} b_{1}^{(L_{n} + 1 + i) ∕ 2} c_{1} (t), & i = L_{n} + 1, L_{n} + 3, . . ., L - 1 \\ a_{13} b_{1}^{(L_{n} + i) ∕ 2} c_{1} (t) + a_{14} {\hat{b}}_{2}^{(L_{n + i}) ∕ 2} c_{2} (t), & i = L_{n} + 2, L_{n} + 4, . . ., L \end{matrix} \\ X_{2} (t) = \{\begin{matrix} a_{21} b_{2}^{(i)} c_{2} (t), & i = 1, 2, . . ., L_{n} \\ a_{22} b_{1}^{(L_{n} + 1 + i) ∕ 2} c_{2} (t), & i = L_{n} + 1, L_{n} + 3, . . ., L - 1 \\ a_{23} {\hat{b}}_{1}^{(L_{n} + i) ∕ 2} c_{1} (t) + a_{24} b_{2}^{(L_{n + i}) ∕ 2} c_{2} (t), & i = L_{n} + 2, L_{n} + 4, . . ., L \end{matrix} \end{gathered}

(5)

In the first L_n= L - 2L_csymbol periods, each user transmits its own bits to the BS. The remaining 2L_cperiods are dedicated to cooperation: odd periods for transmitting its bits to both the partner and the BS; even periods for transmitting a linear combination of its own bit and the partner's bit estimate.

B. Error Calculations

1) Error Rate for Cooperative Periods: During the 2L_c cooperative periods, we have a distinction between "odd" and "even" periods. During the "odds" periods, each user sends only their own bit, which is received and detected by the partner as well as by the BS.

The partner's hard estimate of b₁ is given by

{\hat{b}}_{1} = sign ((1 ∕ N_{c}) c_{1}^{T} Y_{2})

, resulting in a probability of bit error equals to

P_{e_{12}} = Q (K_{12} a_{12} \frac{\sqrt{N_{c}}}{σ_{2}})

(6)

where Q (·) is the Gaussian error integral, N_cis the CDMA spreading gain, $σ_{2}^{2} = N_{2} ∕ (2 T_{c})$ , T_cis the chip period, and $N_{2} ∕ 2$ is the spectral height of Z₂(t).

The BS forms a soft decision statistic by calculating

y_{odd} = \frac{1}{N_{c}} c_{1}^{T} Y_{0}^{odd}

(7)

where $Y_{0}^{odd} = K_{10} X_{1} + K_{20} X_{2} + Z_{0}^{odd}$ .

During the "even" periods, each user send a cooperative signal to BS according to

Y_{0}^{even} = K_{10} X_{1} + K_{20} X_{2} + Z_{0}^{even}

, and the BS extracts a soft decision statistic by calculating

y_{even} = \frac{1}{N_{c}} c_{1}^{T} Y_{0}^{even}

(8)

The combined statistics at BS for user 1 is therefore given by

\begin{gathered} y_{odd} = K_{10^{a} 12} b_{1} + n_{odd} \\ y_{even} = K_{10^{a} 13} b_{1} + K_{20^{a} 23} {\hat{b}}_{1} + n_{even} \end{gathered}

(9)

where n_odd and n_even are statistically independent and both distributed according to a Gaussian distribution $N (0, σ_{0}^{2} ∕ N_{c})$ .

The optimal detector shown in [1] is rather complex and does not have a closed-form expression for the resulting bit error probability. Thus, they consider the following suboptimum detector

{\hat{b}}_{1} = {sign([K}_{10} a_{12} {λ(K}_{10} a_{13} {+K}_{20} a_{23})]y)

(10)

where

y = {[y_{odd} y_{even}]}^{T} \sqrt{N_{c}} ∕ σ_{0}

and λ ∈ [0,1]. They call this suboptimum detector as the λ-MRC. The probability of bit error for this detector is given by

P_{e_{1}} = (1 - P_{e_{12}}) Q (\frac{v_{λ}^{T} v_{1}}{\sqrt{v_{λ}^{T} v_{λ}}}) + P_{e_{12}} Q (\frac{v_{λ}^{T} v_{2}}{\sqrt{v_{λ}^{T} v_{λ}}})

(11)

where $v_{λ} = {[K_{10} a_{12} λ (K_{10} a_{13} + K_{20} a_{23})]}^{T}, v_{1} = {[K_{10} a_{12} λ (K_{10} a_{13} + K_{20} a_{23})]}^{T} \sqrt{N_{c}} ∕ σ_{0}$ and $v_{2} = {[K_{10} a_{12} (K_{10} a_{13} - K_{20} a_{23})]}^{T} \sqrt{N_{c}} ∕ σ_{0}$ .

III. Rayleigh fading calculations

The expression presented in (11) is only valid for a fixed (time-invariant) channel, that is, the fading coefficients K_ijare fixed. The aim of this paper is to obtain an expression for the bit error probability when the fading coefficients vary according to a Rayleigh distribution.

A. Bit Error Probability

The bit error probability associated with the signal from user 1, at user 2, for a fixed gain is described in (6). Now assuming a nonstatic situation, the average bit error probability can be computed averaging (6) with respect to a Rayleigh distribution

{\bar{P}}_{e_{12}} = E [P_{e_{12}}] = \frac{1}{2} (1 - \sqrt{\frac{γ_{12}}{2 + γ_{12}}})

(12)

where γ₁₂ is the average signal-to-noise ratio, defined as

γ_{12} = \frac{2 a_{12}^{2} α_{12}^{2} N_{c}}{σ_{2}^{2}}

(13)

From (11), we can define two random variables U₁ and U₂, respectively, as

\frac{v_{λ}^{T} v_{1}}{\sqrt{v_{λ}^{T} v_{λ}}} = \sqrt{U_{1}} = \frac{({(K_{10} a_{12})}^{2} + λ {(K_{10} a_{13} + K_{20} a_{23})}^{2}) \sqrt{N_{c}}}{({(K_{10} a_{12})}^{2} + λ^{2} {(K_{10} a_{13} + K_{20} a_{23})}^{2}) σ_{0}}

(14)

\frac{v_{λ}^{T} v_{2}}{\sqrt{v_{λ}^{T} v_{λ}}} = \sqrt{U_{2}} = \frac{({(K_{10} a_{12})}^{2} + λ ({(K_{10} a_{13})}^{2} - {(K_{20} a_{23})}^{2})) \sqrt{N_{c}}}{({(K_{10} a_{12})}^{2} + λ^{2} {(K_{10} a_{13} + K_{20} a_{23})}^{2}) σ_{0}}

(15)

since K₁₀ and K₂₀ are Rayleigh distributed, the support of (14) will be always greater than zero. On the other hand, since we have negative values in the numerator of (15), its support will be all the real line. Taking this into account, we can rewrite (11) as

P_{e_{1}} = (1 - P_{e_{12}}) Q (\sqrt{U_{1}}) + P_{e_{12}} Q (U_{2})

(16)

To obtain the error probability, we must average

P_{e_{1}}

, over the probability density function (PDF) of U₁ and U₂[7]. Thus, we have to evaluate the integral

\begin{gathered} P_{e_{f}} = (1 - {\bar{P}}_{e_{12}}) \int_{0}^{\infty} Q (\sqrt{u_{1}}) f_{u_{1}} (u_{1}) d u_{1} + \\ {\bar{P}}_{e_{12}} \int_{- \infty}^{\infty} Q (u_{2}) {f_{u}}_{_{2}} (u_{2}) d u_{2} \end{gathered}

(17)

In order to calculate P_ef, we have to know the distribution of U₁ and U₂, thus to facilitate the calculations, we assume an equal power allocation situation, where a₁₂ = a₁₃ = a₂₃ = a. With this assumption the random variables U₁ and U₂ will be simplified to

U_{1} = \frac{a^{2} (K_{10}^{2} + λ {(K_{10} + K_{20})}^{2}) N_{c}}{(K_{10}^{2} + λ^{2} {(K_{10} + K_{20})}^{2}) σ_{0}^{2}}

(18)

U_{2} = \frac{a (K_{10}^{2} + λ (K_{_{10}}^{2} + K_{_{20}}^{2})) \sqrt{N_{c}}}{(\sqrt{K_{10}^{2} + λ^{2} {(K_{10} + K_{20})}^{2}}) σ_{0}}

(19)

Since U₁ depends on K₁₀ and K₂₀, it is possible to write the cumulative distribution function (CDF) and the PDF of U₁, respectively, as

F_{u_{1}} (u_{1}) = \int \int_{k_{10}, k_{20} \in D_{u_{1}}} f_{u_{1}} (k_{10}, k_{20}) d k_{10} d k 20

(20)

f_{u_{1}} (u_{1}) = \frac{d F_{u_{1}} (u_{1})}{d u_{1}}

(21)

In this case,

D_{u_{1}}

is the region of the K₁₀ × K₂₀ plane where

\frac{a^{2} (k_{10}^{2} + λ {(k_{10} + k_{20})}^{2}) N_{c}}{(k_{10}^{2} + λ^{2} {(k_{10} + k_{20})}^{2}) σ_{0}^{2}} \leq u_{1}

(22)

Note that this region is very similar to a rotated ellipse but not exactly an ellipse.

Since K₁₀ and K₂₀ are independent Rayleigh distribution with parameters α₁₀ and α₂₀, respectively, we have

F_{u_{1}} (u_{1}) = \int_{k_{10} = 0}^{a (u_{1})} \int_{k_{20} = 0}^{b (u_{1})} f_{k_{10} k_{20}} (k_{10,} k_{20}) d k_{20} d k_{10}

(23)

where

a (u_{1}) = \frac{1}{λ_{1}} \sqrt{\frac{u_{1} λ_{2}}{A_{1}}}

(24)

b (u_{1}) = \frac{\sqrt{2 A_{1} (B_{1} - (2 A_{1} k_{10}^{2} - u_{1}) λ)} - 2 A_{1} k_{10} λ^{2}}{2 A_{1} λ}

(25)

A_{1} = \frac{a^{2} N_{c}}{σ_{0}^{2}}

(26)

B_{1} = λ \sqrt{u_{1} (u_{1} λ^{2} - 4 A_{1} k_{10}^{2} (λ - 1))}

(27)

now it is possible to derive the PDF of U₁ easily as

f_{u_{1}} (u_{1}) = \int_{k_{10} = 0}^{a (u_{1})} \frac{\partial b (u_{1})}{\partial u_{1}} \frac{b (u_{1})}{α_{20}^{2}} e^{- \frac{b {(u_{1})}^{2}}{2 α_{20}^{2}}} \frac{k_{10}}{α_{10}^{2}} e^{- \frac{k_{10}^{2}}{2 α_{10}^{2}}} d k_{10}

(28)

and unfortunately, it is not possible to evaluate (28) in a closed-form solution.

In order to validate the above formulation, Figure 1 shows the analytical and simulated PDF of U₁. Note the excellent agreement between them showing the correctness of our formulation.

Figure 1
**Comparison between analytical and simulated PDF for U** ₁

Following similar rationale, we now find the CDF and PDF of U₂. Note that in this case, the region of integration,

D_{u_{2}}

, will be given by

\frac{a (k_{10}^{2} + λ (k_{10}^{2} - k_{20}^{2})) \sqrt{N_{c}}}{(\sqrt{k_{10}^{2} + λ^{2} {(k_{10} + k_{20})}^{2}}) σ_{0}} \leq u_{2}

(29)

leading to the following CDF and PDF, respectively, as

F_{u_{2}} (u_{2}) = \{\begin{matrix} \int_{k_{20} = \frac{| u_{_{2}} |}{A_{2}}}^{\infty} \int_{k_{10} = 0}^{\infty} f_{k_{10} k_{20}} (k_{10}, k_{20}) d k_{10} d k_{20} if u_{2} < 0, \\ \int_{k_{20} = 0}^{\infty} \int_{k_{10} = 0}^{a (u_{2})} f_{k_{10} k_{20}} (k_{10}, k_{20}) d k_{10} d k_{20} if u_{2} \geq 0 . \end{matrix}

(30)

and

f_{u_{2}} (u_{2}) = \{\begin{matrix} \int_{\frac{| u_{2} |}{A_{2}}}^{\infty} \frac{\partial b (u_{2})}{\partial u_{2}} f_{k_{10} k_{20}} (b (u_{2}), k_{20}) d k_{20} & if u_{2} < 0, \\ \int_{0}^{\infty} \frac{\partial a (u_{2})}{\partial u_{2}} f_{k_{10} k_{20}} (a (u_{2}), k_{20}) d k_{20} & if u_{2} \geq 0 . \end{matrix}

(31)

where

a (u_{2}) = ℜ (\frac{1}{2 A_{2} λ_{1} \sqrt{3}} (\sqrt{R_{1}} + \sqrt{\frac{R_{2}}{2}}))

(32)

b (u_{2}) = ℜ (\frac{1}{2 A_{2} λ_{1} \sqrt{3}} (\sqrt{R_{1}} + \sqrt{\frac{R_{2}}{2}}))

(33)

A_{2} = \frac{a \sqrt{N_{c}}}{σ_{0}}

(34)

where $ℜ (\cdot)$ denotes the real part of a number, and R₁ and R₂ are described in the Appendix.

In the same way as in the first case, (31) cannot be obtained in a closed-form solution. Figure 2 compares the analytical and simulated PDF of U₂ in order to validate our formulation.

Figure 2
**Comparison between the exact and simulated PDF for U** ₂ .

Once that the PDFs of U₁ and U₂ were exactly computed, it is possible to obtain the average bit error probability by simply substituting (28) and (31) into (17). Figure 3 shows the simulation result of the bit error probability and the result of our theoretical expression given in (17), where we can observe that both curves are almost coincident. In this figure,

SNR = \frac{P}{σ_{0}^{2}}

. According to Section II-B, we consider three symbols periods, each period with an average power of P. Also, for simplicity, we consider that

E [K_{10}^{2}], E [K_{20}^{2}]

and

E [K_{12}^{2}]

are identical.

Figure 3
**Comparison of the exact and simulated bit error probability adopting an equal power allocation scheme with λ = 0.5**.

Although (17) presents the exact solution to the average bit error probability, in some cases, the complexity to compute this expression can be prohibitive. For this reason, we found a very accurate approximation for the bit error probability presented in the sequel.

B. Approximate Bit error Probability

The main problem in order to obtain a simpler expression for the bit error probability is to simplify the PDFs of U₁ and U₂ given, respectively, in (14) and (15). In order to obtain an approximation, the expressions (14) and (15) can be reduced when λ = 1, σ₀ = 1 and a₁₂ = a₁₃ = a₂₃ = 1. Therefore, the new random variables are given by

U_{1}^{'} = N_{c} (K_{10}^{2} + {(K_{10} + K_{20})}^{2})

(35)

U_{2}^{'} = \frac{\sqrt{N_{c}} (2 K_{10}^{2} - K_{20}^{2})}{\sqrt{K_{10}^{2} + {(K_{10} + K_{20})}^{2}}}

(36)

Considering

D_{u^{'} 1}

as the region of the plane K₁₀ × K₂₀ where

N_{c} (k_{10}^{2} + {(k_{10} + k_{20})}^{2}) \leq u_{1}^{'}

, it can be seen that

D_{u^{'} 1}

corresponds to the area of an ellipse whose center is in the origin (0, 0). Unfortunately, the evaluation of the integral (20) is rather complex for the domain

D_{u^{'} 1}

. For this reason, we consider a simplified version of

D_{u^{'} 1}

, as being the area of a circle expressed as

k_{10}^{2} + k_{20}^{2} \leq u_{1}^{'}

. This simplification can be applied since a circle corresponds to a particular case of the general ellipse. Hence

F_{{u^{'}}_{1}} ({u^{'}}_{1}) = \int_{k_{20} = - \sqrt{{u^{'}}_{1}}}^{\sqrt{{u^{'}}_{1}}} \int_{k_{10} = - \sqrt{{u^{'}}_{1} - k_{20}^{2}}}^{\sqrt{{u^{'}}_{1} - k_{20}^{2}}} f_{k_{10} k_{20}} (k_{10}, k_{20}) d k_{10} d k_{20}

(37)

This gives

\begin{gathered} f_{{u^{'}}_{1}} ({u^{'}}_{1}) = \\ \int_{k_{20} = - \sqrt{{u^{'}}_{1}}}^{\sqrt{{u^{'}}_{1}}} \frac{1}{2 \sqrt{{u^{'}}_{1} - k_{20}^{2}}} \{f_{k_{10} k_{20}} (\sqrt{{u^{'}}_{1} - k_{20}^{2}}, k_{20}) + \\ f_{k_{10} k_{20}} (- \sqrt{{u^{'}}_{1} - k_{20}^{2}}, k_{20})\} d k_{20} \end{gathered}

(38)

Since K₁₀ and K₂₀ are independent Rayleigh distributed with parameters α₁ and α₂, respectively, the PDF of U'₁given in (38) will result in a chi-square probability distribution with four degrees of freedom [8]. Therefore, our approximation of U₁ will be given by

f_{u_{1}} (u_{1}) \approx \frac{4 u_{1}}{γ_{1}^{2}} e^{- 2 u_{1} ∕ γ_{1}}

(39)

where γ₁ is the mean of U₁ given in (14)

γ_{1} = E [U_{1}]

(40)

Figure 4 shows the comparison between our approximate PDF given in (39) and the computer simulation for the PDF of U₁ given in (14) for two different values of λ keeping the same values for a₁₂ = 1, a₁₃ = 2, and a₂₃ = 3. We observe that the curves are very close for both values of λ. Although only these two cases are presented here, many other cases were compared and the approximation still remains very good.

Figure 4
**Comparison between the simulated pdf of (14) and our approximation given in (39)**.

A similar rationale can be applied in order to find a good approximation for U₂. The region of the K₁₀ × K₂₀ plane where

U_{2}^{'} \leq u_{2}^{'}

is similar to (29). Note that the range of

{U_{2}}^{'}

varies from

- \infty \leq {u_{2}}^{'} \leq \infty

, discarding all the distributions with positive support. In order to observe the behavior of the PDF of

{U_{2}}^{'}

, a large number of simulations were performed, and the Gaussian distribution proves to fit extremely well in all the cases. Therefore, assuming a Gaussian distribution, the following can be written

P_{e_{f}} \approx \frac{1}{4} (1 + \sqrt{\frac{γ_{12}}{2 + γ_{12}}}) (1 - \frac{\sqrt{γ_{1}} (γ_{1} + 6)}{{(γ_{1} + 4)}^{3 ∕ 2}}) + \frac{1}{2} (1 - \sqrt{\frac{γ_{12}}{2 + γ_{12}}}) Q (\frac{γ_{2}}{\sqrt{1 + v^{2}}})

(41)

f_{u_{2}} (u_{2}) \approx \frac{1}{\sqrt{2 π ν^{2}}} e^{- \frac{{(u_{_{2}} - γ_{_{2}})}^{2}}{2 ν^{2}}}

(42)

where

γ_{2} = E [U_{2}]

(43)

ν^{2} = var (U_{2})

(44)

Figure 5 shows the comparison between the approximate PDF given in (42) and the computer simulation for the PDF of U₂ given in (15), for two different values of λ. Note that the approximation is less accurate for small values of λ, but this inaccuracy does not have a significant influence in the bit error probability. In all the cases, the approximation fits very well the exact PDF of U₂.

Figure 5
**Comparison between the simulated PDF of (15) and our approximation given in (42)**.

Using (39) and (42) into (17), it is possible to obtain a very accurate approximate bit error probability. Fortunately, both integrals can be found in a closed-form solution as

\int_{0}^{\infty} Q (\sqrt{u_{1}}) \frac{4 u_{1}}{γ_{1}^{2}} e^{- 2 u_{1} ∕ γ_{1 {d_{u}}_{_{1}}}} = \frac{1}{2} (1 - \frac{\sqrt{γ_{1}} (γ_{1} + 6)}{{(γ_{1} + 4)}^{3 ∕ 2}})

(45)

and

\int_{- \infty}^{\infty} Q (u_{2}) \frac{1}{\sqrt{2 π ν^{2}}} e^{- \frac{{(u_{2} - γ_{2})}^{2}}{2 ν^{2}}} d u_{2} = Q (\frac{γ_{2}}{\sqrt{1 + ν^{2}}})

(46)

All these calculations lead to the approximate bit error probability for the λ-MRC detector as shown in (41), where γ₁₂ is given in (13), γ₁ is given in (40), γ₂ is given in (43), and ν₂is given in (44).

Assuming an equal power allocation scheme (a₁₂ = a₁₃ = a₂₃ = a), Figure 6 shows the comparison between the theoretical bit error probability presented in (17) using the exact PDFs (28) and (31) and our approximation given in (41). We can observe that both curves are almost the same, validating our approximation.

Figure 6
**Comparison between exact and approximate bit error probability using an equal power allocation scheme with λ = 0.5**.

Our results are quite exact for a different power allocation scheme as well. This can be seen in Figure 7, where a comparison between the exact simulated bit error probability and our approximation given in (41) was performed. In this figure, the following parameters were used α₁₀ = α₂₀ = 1 and α₁₂ = 0.8.

Figure 7
**Comparison between exact and approximate bit error probability for a non equal power scheme allocation λ = 0.5**.

The final approximate expression allows us to determine the optimal value for λ in each case. As stated in [1], when the BS believes that the inter-user channel is "perfect", then λ = 1 and the optimal detector turns out to be the maximal ratio combining [7]. As the inter-user channel becomes more unreliable, i.e., as

P_{e_{12}}

increases, the value of the best λ decreases toward to zero. In order to demonstrate this behavior, Figure 8 shows the optimized λ* versus the inter-user channel parameter α₁₂. This curve was obtained using computational optimization techniques that minimizes our approximate bit error probability (41) with respect to λ for each value of the inter-user channel parameter, α₁₂. The direct channel parameters α₁₀ = α₂₀ = 1 were kept constant, and the equal power allocation scheme (a₁₂ = a₁₃ = a₂₃ = 1) was adopted.

IV. Conclusions

In this paper, an exact and approximate expression for the average bit error probability under Rayleigh fading for the λ-MRC presented in [1] was obtained.

The exact expression was obtained under the condition of an equal power allocation scheme. The expression was validated through simulations showing a perfect agreement between exact and simulated curves.

In order to reduce the complexity of the exact expression, a very accurate approximation was presented as well. The approximate expression is valid for any values of λ, a₁₂, a₁₃, and a₂₃. The expression has been validated by simulation for a variety of values showing a small difference between the exact and approximate curves.

Both expression can be very important in many situations where the performance of a cooperative system employing CDMA should be evaluated.

Appendix

\begin{gathered} R_{1} = 2 M_{1} + M_{2} + \frac{M_{3}}{M_{2}} \\ R_{2} = 24 k_{20} λ^{2} μ_{2}^{2} A_{2} λ_{1} \sqrt{\frac{3}{R_{1}}} + 8 M_{1} - 2 M_{2} - \frac{2 M_{3}}{M_{2}} \\ M_{1} = 2 A_{2}^{2} λ λ_{1} k_{20}^{2} + λ_{2} u_{2}^{2} \\ M_{2} = \sqrt[3]{E + 2 (G + A_{2} k_{20} λ λ_{1} u_{2}^{2} \sqrt{27 F})} \\ M_{3} = 16 A_{2}^{4} λ^{2} λ_{1}^{2} k_{20}^{4} - \\ 4 A_{2}^{2} λ (2 λ^{3} + 5 λ^{2} + 2 λ - 1) u_{2}^{2} k_{20}^{2} + λ_{2}^{2} u_{2}^{4} \\ E = - λ_{2}^{3} u_{2}^{6} + 6 {(A_{2} K_{20})}^{2} λ λ_{5} u_{2}^{4} - \\ 24 {(A_{2} K_{20})}^{4} λ^{2} λ_{1}^{2} λ_{3} u_{2}^{2} \\ F = - 16 {(A_{2} k_{20})}^{6} λ^{2} λ_{1}^{2} λ_{4} + 8 {(A_{2} k_{20})}^{4} λ λ_{7} u_{2}^{2} - \\ {(A_{2} k_{20})}^{2} λ_{6} u_{2}^{4} + λ_{2}^{3} u_{2}^{6} \\ G = 32 {(A_{2} k_{20})}^{6} λ^{3} λ_{1}^{3} \\ λ_{1} = λ + 1 \\ λ_{2} = (λ^{2} + 1) \\ λ_{3} = (2 λ^{2} + 3 λ - 1) \\ λ_{4} = (5 λ^{2} + 2 λ + 1) \\ λ_{5} = (2 λ^{5} + 5 λ^{4} - 5 λ^{3} - 14 λ^{2} - 7 λ - 1) \\ λ_{6} = (13 λ^{6} + 28 λ^{5} - 34 λ^{3} - 12 λ^{2} - 8 λ + 1) \\ λ_{7} = (7 λ^{5} + 22 λ^{4} + 17 λ^{3} + 3 λ^{2} - 1) \end{gathered}

Declarations

Authors' original submitted files for images

Below are the links to the authors’ original submitted files for images.

13638_2011_160_MOESM1_ESM.eps Authors’ original file for figure 1

13638_2011_160_MOESM2_ESM.eps Authors’ original file for figure 2

13638_2011_160_MOESM3_ESM.eps Authors’ original file for figure 3

13638_2011_160_MOESM4_ESM.pdf Authors’ original file for figure 4

13638_2011_160_MOESM5_ESM.pdf Authors’ original file for figure 5

13638_2011_160_MOESM6_ESM.eps Authors’ original file for figure 6

13638_2011_160_MOESM7_ESM.eps Authors’ original file for figure 7

13638_2011_160_MOESM8_ESM.eps Authors’ original file for figure 8

Authors’ Affiliations

(1)

Department of Communications, University of Campinas

References

Sendonaris A, Erkip E, Aazhang B: User cooperation diversity Part II: Implementation aspects and perfomance analysis. IEEE Trans Commun 2003, 51(11):1939-1948. 10.1109/TCOMM.2003.819238View ArticleGoogle Scholar
van der Meulen EC: Three-terminal communication channels. Adv Appl Probab 1971, 3(1):120-154. 10.2307/1426331MathSciNetView ArticleGoogle Scholar
Cover TM, El Gamal A: Capacity theorem for the relay channel. IEEE Trans Inform Theory 1979, 25(5):572-584. 10.1109/TIT.1979.1056084MathSciNetView ArticleGoogle Scholar
Nosratinia A, Hunter TE: A Hedayat, Cooperative communication in wireless networks. IEEE Commun Mag 2004, 42(10):74-80. 10.1109/MCOM.2004.1341264View ArticleGoogle Scholar
Laneman JN, Tse DNC, Wornell GW: Cooperative diversity in wireless networks: Efficient protocols and outage behavior. IEEE Trans Inform Theory 2004, 50(12):3062-3080. 10.1109/TIT.2004.838089MathSciNetView ArticleGoogle Scholar
Sendonaris A, Erkip E, Aazhang B: User cooperation diversity Part I: System description. IEEE Trans Commun 2003, 51(11):1927-1938. 10.1109/TCOMM.2003.818096View ArticleGoogle Scholar
Proakis JG: Digital Communications. 4th edition. McGraw-Hill, New York; 2001.Google Scholar
A Papoulis S: Unnikrishna Pillai, Probability, Random Variables and Stochastic Processes. 4th edition. McGraw-Hill; 2002.Google Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.