This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

System Outage Probability of PS-SWIPT Enabled Two-Way AF Relaying with Hardware Impairments

Zhipeng Liu, Guangyue Lu, Yinghui Ye, and Xiaoli Chu Zhipeng Liu ([email protected]), Guangyue Lu ([email protected]) and Yinghui Ye ([email protected]) are with the Shaanxi Key Laboratory of Information Communication Network and Security, Xi’an University of Posts & Telecommunications, China.Xiaoli Chu ([email protected]) is with the Department of Electronic and Electrical Engineering, The University of Sheffield, U.K.This work was supported by the Postgraduate Innovation Fund of Xi’an University of Posts & Telecommunications (CXJJLZ2019026), the Science and Technology Innovation Team of Shaanxi Province for Broadband Wireless and Application (2017KCT-30-02).
Abstract

In this paper, we investigate the system outage probability of a simultaneous wireless information and power transfer (SWIPT) based two-way amplify-and-forward (AF) relay network, where transceiver hardware impairments (HIs) are considered. The energy-constrained relay node processes the received signals based on a power splitting protocol and the two terminals employ a selection combining (SC) scheme to exploit the signals from the direct and relaying links. Assuming independent but non-identically distributed Nakagami-mm fading channels, we derive the system outage probability in a closed-form, which enables us to identify two crucial ceiling effects on the system outage probability caused by HIs in the high data rate regions, i.e., relay cooperation ceiling (RCC) and overall system ceiling (OSC). Specifically, the RCC prevents the relaying link from participating in cooperative communications, while the OSC leaves the overall system in outage. Furthermore, we derive the achievable diversity gain of the considered network, which shows that the diversity gain equals either the shape parameter of the direct link or zero. Computer simulations are provided to validate the correctness of our analytical results, and study the effects of various system parameters on the system outage performance and the optimal power splitting ratio, as well as the energy efficiency.

Index Terms:
Amplify-and-forward, hardware impairments, Nakagami-mm fading, outage probability, simultaneous wireless information and power transfer.

I Introduction

Simultaneous wireless information and power transfer (SWIPT) has been incorporated into relay networks to prolong the operation time of energy-constrained relay nodes via a time switching (TS) or power splitting (PS) scheme [1, 2, 3]. Due to the potential in improving spectrum efficiency, SWIPT enabled two-way relaying, which allows two terminals to exchange their information through a relay, has been widely used in wireless sensor networks [4]. For SWIPT enabled two-way relay networks (TWRNs), two popular protocols have been widely adopted by the existing works [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]. The multiple access broadcast (MABC) protocol requires only two time slots to accomplish information interchange between both terminals, but the direct link between the two terminals can not be utilized due to the half-duplex constraint. The time division broadcast (TDBC) protocol makes use of the direct link, but the information interchange needs three time slots [5].

I-1 Related Works on SWIPT Enabled TWRNs with MABC

In [6], the authors derived the exact terminal-to-terminal (T2T) outage probability, system outage probability and system ergodic capacity for a PS-SWIPT enabled two-way amplify-and-forward (AF) relay system. For a TS-SWIPT two-way AF relay network, the closed-form system outage probability, ergodic sum-rate and sum symbol error rate were derived in [7]. Song et al. considered a SWIPT based two-way decode-and-forward (DF) relay network in [8], in which the PS/TS and time allocation ratios were jointly optimized to minimize the system outage probability. The sum-rate was maximized by optimizing the PS ratio in SWIPT based two-way DF relaying [9]. In [10], the authors proposed a relay selection strategy for a PS-SWIPT based two-way multiple relay network.

I-2 Related Works on SWIPT Enabled TWRNs with TDBC

The T2T outage performance for three wireless power transfer policies in TS-SWIPT enabled two-way AF relay networks was analyzed in [11]. In [12], the authors investigated the T2T performance for a TS-SWIPT enabled two-way relay system, where the relay node follows a hybrid-decode-amplify-forward (HDAF) strategy. The system outage performance of a PS-SWIPT based two-way DF relay system was studied in [13, 14]. For a TS-SWIPT based two-way DF relay system, the authors of [15] proposed an optimal combining scheme at the relay to minimize the system outage probability.

We note that most of the existing works on SWIPT enabled TWRNs have assumed ideal hardware at all nodes [8, 10, 7, 9, 6, 13, 12, 15, 14, 11]. In practical systems, the radio frequency (RF) transceivers are afflicted with hardware impairments (HIs), such as I/Q imbalance, phase noise, high power amplifier (HPA) nonlinearities, etc [16, 17, 18]. Several sophisticated algorithms have been developed to mitigate the effects of HIs, but the residual impairments remain and cause a substantial performance loss to the TWRNs in the medium and high data rate regions [19, 20]. The authors in [21] derived the T2T outage probability for TS-SWIPT based two-way cognitive relay networks (TWCRNs) with MABC/TDBC. Afterwards, this work was extended to PS-SWIPT based TWCRNs [22]. It was shown that the HIs deteriorate substantially the T2T outage performance. For a TS-SWIPT based two-way HDAF relay system with TDBC, Solanki et al. [23] derived the T2T outage probability in the presence of HIs, and studied the impacts of HIs as well as various network parameters on the T2T outage performance. The T2T outage probability considers only the outage event of one terminal, while the system outage probability jointly considers the outage evens of both terminals, as well as the correlation between the two links. Accordingly, quantifying the system outage probability is critical and is much more challenging than the T2T outage probability. However, the system outage probability of SWIPT enabled TWRNs under HIs has not been studied by any of the existing work.

In this paper, we study the system outage probability for a PS-SWIPT based two-way AF relay network, while considering the hardware impairments of all transceivers and the existence of a direct link between the two terminals. Different from MABC, TDBC leverages the direct link and has a low operational complexity at the relay node [13], thus this work considers TDBC instead of MABC. All the channels follow independent but non-identically distributed Nakagami-mm fading. Our main contributions are listed below.

  • Based on the instantaneous end-to-end signal-to-noise-plus-distortion ratios (SNDRs), we derive a closed-form expression for the system outage probability to characterize the influence of HIs.

  • Based on the derived system outage probability, we identify two crucial ceiling effects caused by HIs, viz., relay cooperation ceiling (RCC) and overall system ceiling (OSC). More specifically, when the data rate is larger than the RCC threshold, the AF relaying operation ceases; when the data rate goes beyond the OSC threshold that is larger than the RCC threshold, the system goes in outage. For a given transmission rate requirement, we obtain the maximum tolerable level of HIs for maintaining an acceptable system outage probability.

  • We derive the diversity gain for the considered network. It shows that when the date rate is larger than the OSC threshold, the diversity gain is zero; otherwise, the diversity gain equals the shape parameter of the direct link. This indicates that HIs would prevent the relaying link from contributing to the diversity gain, and that the diversity gain of the considered network with HIs is only determined by the direct link.

The rest of this paper is summarized as follows. In Section II, we first describe the system and channel models, and then obtain the end-to-end SNDRs. Section III derives a closed-form expression for the system outage probability to quantify the impact of HIs on system outage performance, and thereafter analyze the diversity gain of the considered network. In Section IV, simulation results are provided to validate the derived expressions and obtain some insights about system outage performance. Finally, Section V concludes the paper.

Notation: xNaka(ϕ,φ)x\sim{\rm{Naka}}(\phi,\varphi) denotes a Nakagami random variable xx with fading severity parameter ϕ\phi and average power φ\varphi. y𝒞𝒩(ϑ,ψ){y}\sim\mathcal{CN}\left({\vartheta,\psi}\right) represents a Gaussian random variable yy with mean ϑ\vartheta and variance ψ\psi. Pr()\Pr\left(\cdot\right) and ||\left|\cdot\right| denote the probability of an event and the absolute value of a number, respectively. fH(h)f_{H}(h) and FH(h)F_{H}(h) denote the probability density function (PDF) and the cumulative distribution function (CDF) of a random variable HH, respectively. Γ(n)=(n1)!\Gamma(n)=(n-1)! is the complete gamma function. γ(n,z)=0zun1eu𝑑u\gamma\left({n,z}\right)=\int_{0}^{z}{{u^{n-1}}{e^{-u}}du} and Γ(n,z)=zun1eu𝑑u\Gamma\left({n,z}\right)=\int_{z}^{\infty}{{u^{n-1}}{e^{-u}}du} denote the lower and upper incomplete gamma functions, respectively. Kn(z){K_{n}}(z) denotes the nn-th order modified Bessel function of the second kind.

II System Model and Working Flow

II-A System Model and Channel Model

As illustrated in Fig. 1, we consider a SWIPT based two-way AF relay network with TDBC, where the energy-constrained relay RR harvests energy from the RF signal via a PS protocol and adopts the “harvest-then-forward” scheme to assist the information interchange between the two terminals SaS_{a} and SbS_{b} [13, 14]. A direct link exists between the two terminals. All involved nodes are equipped with a single antenna and work in the half-duplex mode. Each transmission block TT is divided into three phases [24, 25]: two broadcast (BC) phases (2T/32T/3) and one relay (RL) phase (T/3T/3), as shown in Fig. 2. In the first BC phase, terminal SaS_{a} broadcasts its own signal xax_{a} to relay RR and terminal SbS_{b}. In the second BC phase, terminal SbS_{b} transmits its signal xbx_{b} to relay RR and terminal SaS_{a}. After receiving the signal from SiS_{i} (i=ai\!=\!a or bb), relay RR splits the received power into two parts according to a PS ratio, i.e., a β\beta (β(0,1))\left(\beta\in(0,1)\right) portion of the received power for energy harvesting (EH) and the rest for information processing (IP). In the RL phase, relay RR amplifies the received signals and broadcasts them to the two terminals SaS_{a} and SbS_{b} using all the harvested energy.

Refer to caption
Figure 1: System model of PS-SWIPT based two-way AF relay network with TDBC.
Refer to caption
Figure 2: Transmission block structure for TDBC protocol.
Refer to caption
Figure 3: Block diagram of relaying link with HIs.

All the channels are quasi-static, reciprocal and subject to independent but non-identically distributed Nakagami-mm fading. Specifically, the channel fading coefficient between SiS_{i} and SjS_{j} is denoted by hijNaka(md,Ωd)h_{ij}\sim{\rm{Naka}}(m_{d},\Omega_{d}), with i,j{a,b},iji,j\in\left\{{a,b}\right\},\;i\neq j. The channel fading coefficient of the SiS_{i} to RR link is denoted by hirNaka(mi,Ωi)h_{ir}\sim{\rm{Naka}}(m_{i},\Omega_{i}). Since hijh_{ij} and hirh_{ir} follow the Nakagami distribution, the corresponding channel gains |hij|2|{h_{ij}}{|^{2}} and |hir|2|{h_{ir}}{|^{2}} follow the gamma distribution [26], and their PDF and CDF are expressed as

fV(v)=1Γ(m)θmvm1evθ,\displaystyle{f_{V}}\left(v\right)=\frac{1}{{\Gamma\left({{m}}\right)\theta^{{m}}}}{v^{{m}-1}}{e^{-\frac{v}{{{\theta}}}}}, (1)
FV(v)=1Γ(m)γ(m,vθ),\displaystyle{F_{V}}\left(v\right)=\frac{1}{{\Gamma\left({{m}}\right)}}\gamma\left({{m},\;\frac{v}{{{\theta}}}}\right), (2)

where V{|hij|2,|hir|2}V\in\left\{{|{h_{ij}}{|^{2}},|{h_{ir}}{|^{2}}}\right\}, mm and θ\theta denote the shape parameter and the scale parameter of the variable VV, respectively. Note that when V=|hij|2V{\rm{=}}|{h_{ij}}{|^{2}} (|hir|2)\left({|{h_{ir}}{|^{2}}}\right), m=mdm={m_{d}} (mi)\left({{m_{i}}}\right) and θ=Ωd/md\theta{\rm{=}}{\Omega_{d}}/{m_{d}} (Ωi/mi)\left({{\Omega_{i}}/{m_{i}}}\right) respectively.

II-B TDBC Protocol

In the first and second BC phases, SaS_{a} and SbS_{b} broadcast the information signal xax_{a} and xbx_{b}, respectively. For the direct link, the received signal at SjS_{j} from SiS_{i} (i,j{a,b},iji,j\in\left\{{a,b}\right\},i\neq j), under the presence of HIs, is expressed as

yij=hijPi(xi+τti)+τrj+nij,\displaystyle{y_{ij}}={h_{ij}}\sqrt{{P_{i}}}\left({{x_{i}}+{\tau_{ti}}}\right)+{\tau_{rj}}+{{n_{ij}}}, (3)

where xi{x_{i}} is the unit-power signal transmitted by SiS_{i}; PiP_{i} denotes the transmit power of SiS_{i}; τti𝒞𝒩(0,k12){\tau_{ti}}\sim\mathcal{CN}\left({0,k_{1}^{2}}\right) denotes the hardware distortion noise caused by the transmitter of SiS_{i} and τrj𝒞𝒩(0,k22Pi|hij|2){\tau_{rj}}\sim\mathcal{CN}\left({0,k_{2}^{2}{P_{i}}|{h_{ij}}{|^{2}}}\right) denotes the hardware distortion noise caused by the receiver of SjS_{j}; nij𝒞𝒩(0,σij2){{n_{ij}}}\sim\mathcal{CN}\left({0,\sigma_{ij}^{2}}\right) is the additive white Gaussian noise (AWGN) at SjS_{j}. Hereby, the parameters k1k_{1} and k2k_{2} characterize the HIs levels of the transmitter and receiver respectively [20]. Note that the product term in (3), Pihijτti{\sqrt{{P_{i}}}{h_{ij}}{\tau_{ti}}}, follows a Gaussian distribution111Under the assumption of quasi-static fading channels, the channel fading coefficient hijh_{ij} is constant in each transmission block [20]. Meanwhile, the hardware distortion noise τti\tau_{ti} caused by the transmitter of SiS_{i} follows a Gaussian distribution with zero mean and variance k12k^{2}_{1} [23, 21]. Thence, Pihijτti𝒞𝒩(0,k12Pi|hij|2){\sqrt{{P_{i}}}{h_{ij}}{\tau_{ti}}}\sim\mathcal{CN}\left({0,k_{1}^{2}{P_{i}}|{h_{ij}}{|^{2}}}\right). with zero mean and variance k12Pi|hij|2k_{1}^{2}{P_{i}}|{h_{ij}}{|^{2}}. For simplicity, we assume that Pa=Pb=PoP_{a}=P_{b}=P_{o} and σab2=σba2=σ2\sigma_{ab}^{2}=\sigma_{ba}^{2}={\sigma^{2}} [13].

Based on (3), the SNDR of the direct link at SjS_{j} is given as

γij=ρ|hij|2(k12+k22)ρ|hij|2+1,\displaystyle{\gamma_{ij}}=\frac{{{\rho}|{h_{ij}}{|^{2}}}}{{\left({k_{1}^{2}+k_{2}^{2}}\right){\rho}|{h_{ij}}{|^{2}}+1}}, (4)

where ρ=Poσ2\rho=\frac{{{P_{o}}}}{{{\sigma^{2}}}} denotes the input SNR.

As shown in Fig. 3, the received signal at RR from SiS_{i} (i=ai\!=\!a or bb), under the presence of HIs, can be written as

yir=hirPo(xi+τti)+nir1,\displaystyle{y_{ir}}={h_{ir}}\sqrt{{P_{o}}}\left({{x_{i}}+{\tau_{ti}}}\right)+{n_{i{r_{1}}}}, (5)

where nir1𝒞𝒩(0,σir12){n_{ir_{1}}}\sim\mathcal{CN}\left({0,\sigma_{ir_{1}}^{2}}\right) denotes the antenna noise at RR, τti𝒞𝒩(0,k12){\tau_{ti}}\sim\mathcal{CN}\left({0,k_{1}^{2}}\right) denotes the hardware distortion noise caused by the transmitter of SiS_{i}.

Following the PS protocol, the received signal yir{y_{ir}} is divided into two parts: βyir\sqrt{\beta}{y_{ir}} for EH and 1βyir\sqrt{1-\beta}{y_{ir}} for IP. Thus, the total harvested energy 222For analytical tractability, this work considers the linear EH model [6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 21, 22, 23] instead of non-linear EH model [27, 28, 29]. Please note that some non-linear EH models can be decomposed into piecewise linear EH models, where each segment of the EH model is linear and the results obtained based on linear EH models can be applied to each segment [30, 31]. Combining the derived results in this work and the Law of Total Probability, the system outage probability under the non-linear EH model can be obtained by following [30, 31]. from both terminals can be expressed as [22]

Eh=T3ηβPo(|har|2+|hbr|2),\displaystyle{E_{h}}=\frac{T}{3}\eta\beta{P_{o}}\left({|{h_{ar}}{|^{2}}+|{h_{br}}{|^{2}}}\right), (6)

where η(0,1)\eta\in(0,1) denotes the energy conversion efficiency at relay RR. Here we ignore the energy harvested from the hardware distortion noise or the AWGN as it is much smaller than that from the RF signals transmitted by the two terminals [23, 21].

Based on the “harvest-then-forward” scheme, the transmit power of RR is given as

Pr=EhT/3=ηβPo(|har|2+|hbr|2).\displaystyle{P_{r}}=\frac{{{E_{h}}}}{{T/3}}=\eta\beta{P_{o}}\left({|{h_{ar}}{|^{2}}+|{h_{br}}{|^{2}}}\right). (7)

Furthermore, the received signal for IP is written as

yRIP=\displaystyle{y_{\rm{R}}^{\rm{IP}}}= har(1β)Po(xa+τta)\displaystyle{h_{ar}}\sqrt{\left({1-\beta}\right){P_{o}}}\left({{x_{a}}+{\tau_{ta}}}\right)
+\displaystyle+ hbr(1β)Po(xb+τtb)+τrr+nar+nbr,\displaystyle{h_{br}}\sqrt{\left({1-\beta}\right){P_{o}}}\left({{x_{b}}+{\tau_{tb}}}\right)+{\tau_{rr}}+{n_{ar}}+{n_{br}}, (8)

where τrr𝒞𝒩(0,k22(1β)Po(|har|2+|hbr|2)){\tau_{rr}}\sim\mathcal{CN}\left({0,k_{2}^{2}(1-\beta){P_{o}}\left({|{h_{ar}}{|^{2}}+|{h_{br}}{|^{2}}}\right)}\right) denotes the hardware distortion noise333In practice, the majority of the distortion noises at receiver is considered to be caused after the down-conversion process of the received antenna signal to baseband. Considering the complexity of theoretical analysis, the distortion noises cased by receiving process are neglected. caused by the receiver of RR, nir𝒞𝒩(0,σir2){n_{ir}}\sim\mathcal{CN}\left({0,\sigma_{ir}^{2}}\right) for i{a,b}i\in\left\{{a,b}\right\} denotes the AWGN at RR.

In the RL phase, the relay firstly amplifies yRIP{y_{\rm{R}}^{\rm{IP}}} using an amplification gain GG and broadcasts the amplified signal to both terminals. The received signal at the node SiS_{i} from the relay can be written as

yri=hriGyRIP+hriPrτtr+τri+nri,\displaystyle{y_{ri}}={h_{ri}}Gy_{\rm{R}}^{{\rm{IP}}}+{h_{ri}}\sqrt{{P_{r}}}{\tau_{tr}}+{\tau_{ri}}+{n_{ri}}, (9)

where GPr(1β)(1+k12+k22)Po(|har|2+|hbr|2)G\approx\sqrt{\frac{{{P_{r}}}}{{\left({1-\beta}\right)\left({1+k_{1}^{2}+k_{2}^{2}}\right){P_{o}}\left({|{h_{ar}}{|^{2}}+|{h_{br}}{|^{2}}}\right)}}} [23], τtr𝒞𝒩(0,k12){\tau_{tr}}\sim\mathcal{CN}\left({0,k_{1}^{2}}\right) denotes the distortion noise caused by the transmitter of RR, τri𝒞𝒩(0,k22Pr(|hri|2)){\tau_{ri}}\sim\mathcal{CN}\left({0,k_{2}^{2}{P_{r}}\left({|{h_{ri}}{|^{2}}}\right)}\right) denotes the distortion noise caused by the receiver of SiS_{i} and nri𝒞𝒩(0,σri2){n_{ri}}\sim\mathcal{CN}\left({0,\sigma_{ri}^{2}}\right) denotes the AWGN at SiS_{i}. For simplicity, we assume that σar2=σbr2=σra2=σrb2=σ2\sigma_{ar}^{2}=\sigma_{br}^{2}=\sigma_{ra}^{2}=\sigma_{rb}^{2}={\sigma^{2}} [13].

After self-interference cancellation, the SNDR of the relaying link444Our derivations under the TDBC protocol can be applied to SWIPT based TWRNs with MABC, because under the MABC protocol, the SNDR of the relaying link at SiS_{i} can be written as γri=I1ρ|hir|2|hjr|2I2ρ|hir|2(|har|2+|hbr|2)+I3|hir|2/2+1{\gamma_{ri}}=\frac{{{I_{1}}{\rho}|{h_{ir}}{|^{2}}|{h_{jr}}{|^{2}}}}{{{I_{2}}{\rho}|{h_{ir}}{|^{2}}\left({|{h_{ar}}{|^{2}}+|{h_{br}}{|^{2}}}\right)+{I_{3}}|{h_{ir}}{|^{2}}/2+1}}. at SiS_{i} can be calculated as

γri=I1ρ|hir|2|hjr|2I2ρ|hir|2(|har|2+|hbr|2)+I3|hir|2+1,\displaystyle{\gamma_{ri}}=\frac{{{I_{1}}{\rho}|{h_{ir}}{|^{2}}|{h_{jr}}{|^{2}}}}{{{I_{2}}{\rho}|{h_{ir}}{|^{2}}\left({|{h_{ar}}{|^{2}}+|{h_{br}}{|^{2}}}\right)+{I_{3}}|{h_{ir}}{|^{2}}+1}}, (10)

with

I1\displaystyle{I_{1}} =ηβ1+k12+k22,\displaystyle=\frac{{\eta\beta}}{{1{\rm{+}}k_{1}^{2}{\rm{+}}k_{2}^{2}}},
I2\displaystyle{I_{2}} =ηβ(k12+k221+k12+k22+k12+k22),\displaystyle=\eta\beta\left({\frac{{k_{1}^{2}+k_{2}^{2}}}{{1{\rm{+}}k_{1}^{2}{\rm{+}}k_{2}^{2}}}+k_{1}^{2}+k_{2}^{2}}\right),
I3\displaystyle{I_{3}} =2ηβ(1β)(1+k12+k22).\displaystyle=\frac{{2\eta\beta}}{{\left({1-\beta}\right)\left({1{\rm{+}}k_{1}^{2}{\rm{+}}k_{2}^{2}}\right)}}.
21=\displaystyle{\mathbb{P}_{2}^{1}}= 12Γ(ma)θamaeI3I4γthθbl=0mb1s=0lt=0ls(ls)(lst)1l!(I2ρ)sI3lst(I4γthθb)l(I4γthθaI2I4ργthθa+θb)s+mat2\displaystyle 1-\frac{2}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}{e^{-\frac{{{I_{3}}{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}}{\sum\limits_{l=0}^{{m_{b}}-1}{\sum\limits_{s=0}^{l}{\sum\limits_{t=0}^{l-s}{\left(\begin{array}[]{l}l\\ s\end{array}\right)\left(\begin{array}[]{l}l-s\\ t\end{array}\right)\frac{1}{{l!}}{{\left({{I_{2}}\rho}\right)}^{s}}I_{3}^{l-s-t}{{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)}^{l}}\left({\frac{{{I_{4}}{\gamma_{th}}{\theta_{a}}}}{{{I_{2}}{I_{4}}\rho{\gamma_{th}}{\theta_{a}}+{\theta_{b}}}}}\right)}}}^{\frac{{s+{m_{a}}-t}}{2}}} (22)
×Ks+mat(2(I4γthθb)(I2I4ργthθb+1θa)).\displaystyle\times{K_{s+{m_{a}}-t}}\left({2\sqrt{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)\left({\frac{{{I_{2}}{I_{4}}\rho{\gamma_{th}}}}{{{\theta_{b}}}}+\frac{1}{{{\theta_{a}}}}}\right)}}\right). (23)
31=\displaystyle{\mathbb{P}_{3}^{1}}= 12Γ(mb)θbmbeI3I4γthθal=0ma1s=0lt=0ls(ls)(lst)1l!(I2ρ)sI3lst(I4γthθa)l(I4γthθbI2I4ργthθb+θa)s+mbt2\displaystyle 1-\frac{2}{{\Gamma\left({{m_{b}}}\right)\theta_{b}^{{m_{b}}}}}{e^{-\frac{{{I_{3}}{I_{4}}{\gamma_{th}}}}{{{\theta_{a}}}}}}{\sum\limits_{l=0}^{{m_{a}}-1}{\sum\limits_{s=0}^{l}{\sum\limits_{t=0}^{l-s}{\left(\begin{array}[]{l}l\\ s\end{array}\right)\left(\begin{array}[]{l}l-s\\ t\end{array}\right)\frac{1}{{l!}}{{\left({{I_{2}}\rho}\right)}^{s}}I_{3}^{l-s-t}{{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{a}}}}}\right)}^{l}}\left({\frac{{{I_{4}}{\gamma_{th}}{\theta_{b}}}}{{{I_{2}}{I_{4}}\rho{\gamma_{th}}{\theta_{b}}+{\theta_{a}}}}}\right)}}}^{\frac{{s+{m_{b}}-t}}{2}}} (24)
×Ks+mbt(2(I4γthθa)(I2I4ργthθa+1θb)).\displaystyle\times{K_{s+{m_{b}}-t}}\left({2\sqrt{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{a}}}}}\right)\left({\frac{{{I_{2}}{I_{4}}\rho{\gamma_{th}}}}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)}}\right). (25)

Based on (4) and (10), the end-to-end SNDRs after selection combination at SaS_{a} and SbS_{b} can be written respectively as

γa=max{γba,γra},\displaystyle{\gamma_{a}}=\max\left\{{{\gamma_{ba}},\;{\gamma_{ra}}}\right\}, (11)
γb=max{γab,γrb}.\displaystyle{\gamma_{b}}=\max\left\{{{\gamma_{ab}},\;{\gamma_{rb}}}\right\}. (12)

Note that γab=γba{\gamma_{ab}=\gamma_{ba}} due to the reciprocity of the SaS_{a} to SbS_{b} channel.

III System Outage Probability Analysis

In this section, we derive a closed-form expression for the system outage probability and identify two crucial ceiling effects, viz., RCC and OSC. In addition, we analyze the diversity gain of our considered network.

III-A System Outage Probability

The considered network will be in outage when either the transmission rate Ra\rm R_{a} from SaS_{a} to SbS_{b} or the transmission rate Rb\rm R_{b} from SbS_{b} to SaS_{a} is less than a given threshold Rth\rm R_{th}. Thus, the system outage probability555From (6), we can see that relay RR may harvest insufficient energy EbE_{b} if the two terminals transmit at a low power level. According to (7)-(10), this will lead to a low SNDR at both terminals and a high system outage probability., out\mathbb{P}_{\rm out}, can be expressed as

out=\displaystyle{\mathbb{P}_{\rm out}}= Pr(min(Ra,Rb)<Rth)\displaystyle\Pr\left({\min\left(\rm{{R_{a}},\;\rm{R_{b}}}\right)<{\rm R_{th}}}\right)
=\displaystyle= Pr(min(γa,γb)<γth)\displaystyle\Pr\left({\min\left({{\gamma_{a}},\;{\gamma_{b}}}\right)<{\gamma_{th}}}\right)
=\displaystyle= Pr(γab<γth)(Pr(γra<γth)+Pr(γrb<γth)\displaystyle\Pr\left({{\gamma_{ab}}<{\gamma_{th}}}\right)\big{(}\Pr\left({{\gamma_{ra}}<{\gamma_{th}}}\right)+\Pr\left({{\gamma_{rb}}<{\gamma_{th}}}\right)
Pr(γra<γth,γrb<γth)).\displaystyle-\Pr\left({{\gamma_{ra}}<{\gamma_{th}},{\gamma_{rb}}<{\gamma_{th}}}\right)\big{)}. (13)

where γth=23Rth/T1{\gamma_{th}}={2^{{{3{{\rm{R}}_{{\rm{th}}}}}\mathord{\left/{\vphantom{{3{{\rm{R}}_{{\rm{th}}}}}T}}\right.\kern-1.2pt}T}}}-1 denotes the SNDR threshold and Ri=T3log2(1+γi){\rm{R}}_{i}=\frac{T}{3}{\log_{2}}\left({1+{\gamma_{i}}}\right), i{a,b}i\in\{a,b\}.

41=\displaystyle\mathbb{P}_{4}^{1}= 12Γ(ma)θamaeI3I4γthθbl=0mb1s=0lt=0ls(ls)(lst)1l!(I2ρ)sI3lst(I4γthθb)l(I4γthθaI2I4ργthθa+θb)s+mat2\displaystyle 1-\frac{2}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}{e^{-\frac{{{I_{3}}{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\sum\limits_{s=0}^{l}{\sum\limits_{t=0}^{l-s}{\left(\begin{array}[]{l}l\\ s\end{array}\right)\left(\begin{array}[]{l}l-s\\ t\end{array}\right)\frac{1}{{l!}}{{\left({{I_{2}}\rho}\right)}^{s}}I_{3}^{l-s-t}{{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)}^{l}}{{\left({\frac{{{I_{4}}{\gamma_{th}}{\theta_{a}}}}{{{I_{2}}{I_{4}}\rho{\gamma_{th}}{\theta_{a}}+{\theta_{b}}}}}\right)}^{{}^{\frac{{s+{m_{a}}-t}}{2}}}}}}} (26)
×Ks+mat(2(I4γthθb)(I2I4ργthθb+1θa))2Γ(mb)θbmbeI3I4γthθal=0ma1s=0lt=0ls(ls)(lst)1l!(I2ρ)s\displaystyle\times{K_{s+{m_{a}}-t}}\left({2\sqrt{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)\left({\frac{{{I_{2}}{I_{4}}\rho{\gamma_{th}}}}{{{\theta_{b}}}}+\frac{1}{{{\theta_{a}}}}}\right)}}\right)-\frac{2}{{\Gamma\left({{m_{b}}}\right)\theta_{b}^{{m_{b}}}}}{e^{-\frac{{{I_{3}}{I_{4}}{\gamma_{th}}}}{{{\theta_{a}}}}}}\sum\limits_{l=0}^{{m_{a}}-1}{\sum\limits_{s=0}^{l}{\sum\limits_{t=0}^{l-s}{\left(\begin{array}[]{l}l\\ s\end{array}\right)\left(\begin{array}[]{l}l-s\\ t\end{array}\right)\frac{1}{{l!}}{{\left({{I_{2}}\rho}\right)}^{s}}}}} (31)
×I3lst(I4γthθa)l(I4γthθbI2I4ργthθb+θa)s+mbt2Ks+mbt(2(I4γthθa)(I2I4ργthθa+1θb)).\displaystyle\times I_{3}^{l-s-t}{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{a}}}}}\right)^{l}}{\left({\frac{{{I_{4}}{\gamma_{th}}{\theta_{b}}}}{{{I_{2}}{I_{4}}\rho{\gamma_{th}}{\theta_{b}}+{\theta_{a}}}}}\right)^{{}^{\frac{{s+{m_{b}}-t}}{2}}}}{K_{s+{m_{b}}-t}}\left({2\sqrt{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{a}}}}}\right)\left({\frac{{{I_{2}}{I_{4}}\rho{\gamma_{th}}}}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)}}\right). (32)

Define |har|2=X|{h_{ar}}{|^{2}}=X, |hbr|2=Y|{h_{br}}{|^{2}}=Y and |hab|2=Z|{h_{ab}}{|^{2}}=Z. Then the system outage probability out\mathbb{P}_{\rm out} can be re-expressed as

out=Pr((1(k12+k22)γth)ρZ<γth)1\displaystyle{\mathbb{P}_{\rm out}}=\underbrace{\Pr\left({\left({1-\left({k_{1}^{2}+k_{2}^{2}}\right){\gamma_{th}}}\right)\rho Z<{\gamma_{th}}}\right)}_{{\mathbb{P}_{1}}}
×(Pr((I1γthI2)ρY<ργthI2X+I3γth+γthX)2\displaystyle\times\Bigg{(}\underbrace{\Pr\left({\left({{I_{1}}-{\gamma_{th}}{I_{2}}}\right)\rho Y<\rho{\gamma_{th}}{I_{2}}X+{I_{3}}{\gamma_{th}}+\frac{{{\gamma_{th}}}}{X}}\right)}_{{\mathbb{P}_{2}}}
+Pr((I1γthI2)ρX<ργthI2Y+I3γth+γthY)3\displaystyle+\underbrace{\Pr\left({\left({{I_{1}}-{\gamma_{th}}{I_{2}}}\right)\rho X<\rho{\gamma_{th}}{I_{2}}Y+{I_{3}}{\gamma_{th}}+\frac{{{\gamma_{th}}}}{Y}}\right)}_{{\mathbb{P}_{3}}}
Pr((I1γthI2)ρY<ργthI2X+I3γth+γthX,(I1γthI2)ρX<ργthI2Y+I3γth+γthY)4).\displaystyle-\underbrace{\Pr\left(\begin{array}[]{l}\left({{I_{1}}-{\gamma_{th}}{I_{2}}}\right)\rho Y<\rho{\gamma_{th}}{I_{2}}X+{I_{3}}{\gamma_{th}}+\frac{{{\gamma_{th}}}}{X},\\ \left({{I_{1}}-{\gamma_{th}}{I_{2}}}\right)\rho X<\rho{\gamma_{th}}{I_{2}}Y+{I_{3}}{\gamma_{th}}+\frac{{{\gamma_{th}}}}{Y}\end{array}\right)}_{\mathbb{P}_{4}}\Bigg{)}. (16)

Based on (1) and (2), we derive the four probabilities on the right-hand side of (16) to obtain the closed-form expression for the system outage probability out\mathbb{P}_{\rm out}, respectively. The first term, 1\mathbb{P}_{1}, can be calculated as

1={11,γth<1k12+k22,1,γth1k12+k22,\displaystyle{\mathbb{P}_{1}}=\left\{\begin{array}[]{l}{\mathbb{P}_{1}^{1}}\;,\;\;{\gamma_{th}}<\frac{1}{{k_{1}^{2}+k_{2}^{2}}},\\ \;1\;\;,\;\;{\gamma_{th}}\geq\frac{1}{{k_{1}^{2}+k_{2}^{2}}},\end{array}\right. (19)

where 11{\mathbb{P}_{1}^{1}} is given by

11=\displaystyle{\mathbb{P}_{1}^{1}}= 1eγthθdρ(1γth(k12+k22))\displaystyle 1-{e^{-\frac{{{\gamma_{th}}}}{{{\theta_{d}}\rho\left({1-{\gamma_{th}}\left({k_{1}^{2}+k_{2}^{2}}\right)}\right)}}}}
×l=0md11l!(γthθdρ(1γth(k12+k22)))l.\displaystyle\times\sum\limits_{l=0}^{{m_{d}}-1}{\frac{1}{{l!}}}{\left({\frac{{{\gamma_{th}}}}{{{\theta_{d}}\rho\left({1-{\gamma_{th}}\left({k_{1}^{2}+k_{2}^{2}}\right)}\right)}}}\right)^{l}}. (20)
Proof 1

See Appendix A.

Remark 1

In the considered TWRNs, 1\mathbb{P}_{1} denotes the outage probability of the direct link between SaS_{a} and SbS_{b}. As exhibited in (19), due to the effects of HIs, the direct link will be in outage when γth\gamma_{th} exceeds a certain value, i.e., γth1k12+k22{\gamma_{th}}\geq\frac{1}{{k_{1}^{2}+k_{2}^{2}}}, where the maximum allowed value γthmax1k12+k22{\gamma_{th}^{\max}}\approx\frac{1}{{k_{1}^{2}+k_{2}^{2}}} decreases as the levels of HIs increase. This is intuitive since the instantaneous SNDR for the direct link in (4) is upper bounded by γij<1k12+k22{\gamma_{ij}}<\frac{1}{{k_{1}^{2}+k_{2}^{2}}}, i,j{a,b}i,j\in\{a,b\} and iji\neq j.

The second term, 2\mathbb{P}_{2} can be calculated as

2={21,γth<I1I2,1,γthI1I2,\displaystyle{\mathbb{P}_{2}}=\left\{{\begin{array}[]{*{20}{l}}{{\mathbb{P}_{2}^{1}}\;,\;\;{\gamma_{th}}<\frac{{{I_{1}}}}{{{I_{2}}}}},\\ {\;1\;\;,\;\;{\gamma_{th}}\geq\frac{{{I_{1}}}}{{{I_{2}}}},}\end{array}}\right. (23)

where 21{\mathbb{P}_{2}^{1}} is shown in (22) at the top of this page.

Proof 2

See Appendix B.

Similarly, the third term, 3\mathbb{P}_{3}, can be calculated as

3={31,γth<I1I2,1,γthI1I2,\displaystyle{\mathbb{P}_{3}}=\left\{{\begin{array}[]{*{20}{l}}{{\mathbb{P}_{3}^{1}}\;,\;\;{\gamma_{th}}<\frac{{{I_{1}}}}{{{I_{2}}}}},\\ {\;1\;\;,\;\;{\gamma_{th}}\geq\frac{{{I_{1}}}}{{{I_{2}}}},}\end{array}}\right. (21)

where 31{\mathbb{P}_{3}^{1}} is given in (24) at the top of this page.

Remark 2

The terms 2\mathbb{P}_{2} and 3\mathbb{P}_{3} denote the T2T outage probabilities of the SbRSa{S_{b}}\mathop{\to}\limits^{R}{S_{a}} and SaRSb{S_{a}}\mathop{\to}\limits^{R}{S_{b}} links, respectively. As shown in (23) and (21), the HIs pose undesirable constraint on γth\gamma_{th}, which inhibits information transmission from the relaying links when γth\gamma_{th} exceeds a certain value, viz., γthI1I2=1(k12+k22)(2+k12+k22){\gamma_{th}}\geq\frac{{{I_{1}}}}{{{I_{2}}}}=\frac{1}{{\left({k_{1}^{2}+k_{2}^{2}}\right)\left({2+k_{1}^{2}+k_{2}^{2}}\right)}}. This is because the instantaneous SNDRs of the SbRSa{S_{b}}\mathop{\to}\limits^{R}{S_{a}} and SaRSb{S_{a}}\mathop{\to}\limits^{R}{S_{b}} links, given in (10), exist an upper bound, i.e, γri<I1I2{\gamma_{ri}}<\frac{{{I_{1}}}}{{{I_{2}}}}. Similarly, the maximum allowed γthmax1(k12+k22)(2+k12+k22){\gamma_{th}^{\max}}\approx\frac{1}{{\left({k_{1}^{2}+k_{2}^{2}}\right)\left({2+k_{1}^{2}+k_{2}^{2}}\right)}} decreases as the levels of HIs increase.

The fourth term, 4\mathbb{P}_{4}, can be calculated as

4={4,γth<I12I2,41,I12I2γth<I1I2,1,γthI1I2.\displaystyle{\mathbb{P}_{4}}=\left\{\begin{array}[]{l}\mathbb{P}_{4}^{*}\;,\;\;{\gamma_{th}}<\frac{{{I_{1}}}}{{2{I_{2}}}},\\ \mathbb{P}_{4}^{1}\;,\;\;\frac{{{I_{1}}}}{{2{I_{2}}}}\leq{\gamma_{th}}<\frac{{{I_{1}}}}{{{I_{2}}}},\\ \;1\;\;,\;\;{\gamma_{th}}\geq\frac{{{I_{1}}}}{{{I_{2}}}}.\end{array}\right. (24)

In (24), 41\mathbb{P}_{4}^{1} is shown in (26) at the top of the this page; 4\mathbb{P}_{4}^{*} equals either 42\mathbb{P}^{2}_{4} or 43\mathbb{P}^{3}_{4}, as shown respectively in (III-A) and (III-A) at the top of the next page. 42\mathbb{P}^{2}_{4} corresponds to the case that the quartic function (C.3) in Appendix C have only one real root, and 43\mathbb{P}^{3}_{4} corresponds to the case that the quartic function (C.3) have three different positive real roots.

Proof 3

See Appendix C.

42=11Γ(ma)θamal=0mb11l!(1θb)l(1θa+1θb)(l+ma)Γ(l+ma,xin(1θa+1θb))πxin2NΓ(ma)θama\displaystyle{\mathbb{P}_{4}^{2}}=1-\frac{1}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\frac{1}{{l!}}}{\left({\frac{1}{{{\theta_{b}}}}}\right)^{l}}{\left({\frac{1}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)^{-\left({l+{m_{a}}}\right)}}\Gamma\left({l+{m_{a}},{x_{in}}\left({\frac{1}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)}\right)-\frac{{\pi{x_{in}}}}{{2N\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}
×eγthI3I4θbl=0mb1n=1N1l!(I4γthθb)l1vn2(kn1)ma1(ρI2kn1+I3+1kn1)le(ργthI2I4θb+1θa)kn1γthI4θbkn1\displaystyle\;\;\;\;\;\;\;\;\times{e^{-\frac{{{\gamma_{th}}{I_{3}}{I_{4}}}}{{{\theta_{b}}}}}}{\sum\limits_{l=0}^{{m_{b}}-1}{\sum\limits_{n=1}^{N}{\frac{1}{{l!}}\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)}}^{l}}\sqrt{1-v_{n}^{2}}{\left({k_{n}^{1}}\right)^{{m_{a}}-1}}{\left({\rho{I_{2}}k_{n}^{1}+{I_{3}}+\frac{1}{{k_{n}^{1}}}}\right)^{l}}{e^{-\left({\frac{{\rho{\gamma_{th}}{I_{2}}{I_{4}}}}{{{\theta_{b}}}}+\frac{1}{{{\theta_{a}}}}}\right)k_{n}^{1}-\frac{{{\gamma_{th}}{I_{4}}}}{{{\theta_{b}}k_{n}^{1}}}}}
1Γ(mb)θbmbl=0ma11l!(1θa)l(1θa+1θb)(l+mb)Γ(l+mb,xin(1θa+1θb))πxin2NΓ(mb)θbmb\displaystyle\;\;\;\;\;\;\;\;-\frac{1}{{\Gamma\left({{m_{b}}}\right)\theta_{b}^{{m_{b}}}}}\sum\limits_{l=0}^{{m_{a}}-1}{\frac{1}{{l!}}}{\left({\frac{1}{{{\theta_{a}}}}}\right)^{l}}{\left({\frac{1}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)^{-\left({l+{m_{b}}}\right)}}\Gamma\left({l+{m_{b}},{x_{in}}\left({\frac{1}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)}\right)-\frac{{\pi{x_{in}}}}{{2N\Gamma\left({{m_{b}}}\right)\theta_{b}^{{m_{b}}}}}
×eγthI3I4θal=0ma1n=1N1l!(I4γthθa)l1vn2(kn1)mb1(ρI2kn1+I3+1kn1)le(ργthI2I4θa+1θb)kn1γthI4θakn1.\displaystyle\;\;\;\;\;\;\;\;\times{e^{-\frac{{{\gamma_{th}}{I_{3}}{I_{4}}}}{{{\theta_{a}}}}}}{\sum\limits_{l=0}^{{m_{a}}-1}{\sum\limits_{n=1}^{N}{\frac{1}{{l!}}\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{a}}}}}\right)}}^{l}}\sqrt{1-v_{n}^{2}}{\left({k_{n}^{1}}\right)^{{m_{b}}-1}}{\left({\rho{I_{2}}k_{n}^{1}+{I_{3}}+\frac{1}{{k_{n}^{1}}}}\right)^{l}}{e^{-\left({\frac{{\rho{\gamma_{th}}{I_{2}}{I_{4}}}}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)k_{n}^{1}-\frac{{{\gamma_{th}}{I_{4}}}}{{{\theta_{a}}k_{n}^{1}}}}}. (23)
43\displaystyle\mathbb{P}_{4}^{3} =U(K1K2)(1+1Γ(ma)θamal=0mb11l!(1θb)l(θa+θbθaθb)(l+ma)Γ(l+ma,xin(θa+θb)θaθb)\displaystyle=U\left({{K_{1}}-{K_{2}}}\right)\Bigg{(}1+\frac{1}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\frac{1}{{l!}}{{\left({\frac{1}{{{\theta_{b}}}}}\right)}^{l}}}{\left({\frac{{{\theta_{a}}+{\theta_{b}}}}{{{\theta_{a}}{\theta_{b}}}}}\right)^{-\left({l+{m_{a}}}\right)}}\Gamma\left({l+{m_{a}},\frac{{{x_{in}}\left({{\theta_{a}}+{\theta_{b}}}\right)}}{{{\theta_{a}}{\theta_{b}}}}}\right)
+1Γ(mb)θbmbl=0ma11l!(1θa)l(θa+θbθaθb)(l+mb)Γ(l+mb,xin(θa+θb)θaθb)\displaystyle+\frac{1}{{\Gamma\left({{m_{b}}}\right)\theta_{b}^{{m_{b}}}}}\sum\limits_{l=0}^{{m_{a}}-1}{\frac{1}{{l!}}{{\left({\frac{1}{{{\theta_{a}}}}}\right)}^{l}}}{\left({\frac{{{\theta_{a}}+{\theta_{b}}}}{{{\theta_{a}}{\theta_{b}}}}}\right)^{-\left({l+{m_{b}}}\right)}}\Gamma\left({l+{m_{b}},\frac{{{x_{in}}\left({{\theta_{a}}+{\theta_{b}}}\right)}}{{{\theta_{a}}{\theta_{b}}}}}\right)
π(Φ1xin)2NΓ(ma)θamaeγthI3I4θbl=0mb1n=1N1l!(I4γthθb)l1vn2(kn2)ma1(ρI2kn2+I3+1kn2)le(ργthI2I4θb+1θa)kn2γthI4θbkn2\displaystyle-\frac{{\pi\left({{\Phi_{1}}-{x_{in}}}\right)}}{{2N\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}{e^{-\frac{{{\gamma_{th}}{I_{3}}{I_{4}}}}{{{\theta_{b}}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\sum\limits_{n=1}^{N}{\frac{1}{{l!}}{{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)}^{l}}}}\sqrt{1-v_{n}^{2}}{\left({k_{n}^{2}}\right)^{{m_{a}}-1}}{\left({\rho{I_{2}}k_{n}^{2}+{I_{3}}+\frac{1}{{k_{n}^{2}}}}\right)^{l}}{e^{-\left({\frac{{\rho{\gamma_{th}}{I_{2}}{I_{4}}}}{{{\theta_{b}}}}+\frac{1}{{{\theta_{a}}}}}\right)k_{n}^{2}-\frac{{{\gamma_{th}}{I_{4}}}}{{{\theta_{b}}k_{n}^{2}}}}}
π(Φ2xin)2NΓ(mb)θbmbeγthI3I4θal=0ma1n=1N1l!(I4γthθa)l1vn2(kn2)mb1(ρI2kn2+I3+1kn2)le(ργthI2I4θa+1θb)kn2γthI4θakn2\displaystyle-\frac{{\pi\left({{\Phi_{2}}-{x_{in}}}\right)}}{{2N\Gamma\left({{m_{b}}}\right)\theta_{b}^{{m_{b}}}}}{e^{-\frac{{{\gamma_{th}}{I_{3}}{I_{4}}}}{{{\theta_{a}}}}}}\sum\limits_{l=0}^{{m_{a}}-1}{\sum\limits_{n=1}^{N}{\frac{1}{{l!}}{{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{a}}}}}\right)}^{l}}}}\sqrt{1-v_{n}^{2}}{\left({k_{n}^{2}}\right)^{{m_{b}}-1}}{\left({\rho{I_{2}}k_{n}^{2}+{I_{3}}+\frac{1}{{k_{n}^{2}}}}\right)^{l}}{e^{-\left({\frac{{\rho{\gamma_{th}}{I_{2}}{I_{4}}}}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)k_{n}^{2}-\frac{{{\gamma_{th}}{I_{4}}}}{{{\theta_{a}}k_{n}^{2}}}}}
π24NΓ(ma)θamal=0mb1n=1N1l!(1θb)l1vn2(tankn3+Φ1)ma1Gl(tankn3+Φ1)sec2(kn3)e(G(tankn3+Φ1)θb+tankn3+Φ1θa)\displaystyle\!-\!\frac{{{\pi^{2}}}}{{4N\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}\sum\limits_{l=0}^{{m_{b}}\!-\!1}{\sum\limits_{n=1}^{N}{\frac{1}{{l!}}{{\left({\frac{1}{{{\theta_{b}}}}}\right)}^{l}}}}\sqrt{1\!-\!v_{n}^{2}}{\left({\tan k_{n}^{3}\!+\!{\Phi_{1}}}\right)^{{m_{a}}\!-\!1}}{G^{l}}\left({\tan k_{n}^{3}\!+\!{\Phi_{1}}}\right){\sec^{2}}\left({k_{n}^{3}}\right){e^{-\left({\frac{{G\left({\tan k_{n}^{3}+{\Phi_{1}}}\right)}}{{{\theta_{b}}}}+\frac{{\tan k_{n}^{3}+{\Phi_{1}}}}{{{\theta_{a}}}}}\right)}}
π24NΓ(mb)θbmbl=0ma1n=1N1l!(1θa)l1vn2(tankn3+Φ2)mb1Gl(tankn3+Φ2)sec2(kn3)e(G(tankn3+Φ2)θa+tankn3+Φ2θb))\displaystyle\!-\!\frac{{{\pi^{2}}}}{{4N\Gamma\left({{m_{b}}}\right)\theta_{b}^{{m_{b}}}}}\sum\limits_{l=0}^{{m_{a}}\!-\!1}{\sum\limits_{n=1}^{N}{\frac{1}{{l!}}{{\left({\frac{1}{{{\theta_{a}}}}}\right)}^{l}}}}\sqrt{1\!-\!v_{n}^{2}}{\left({\tan k_{n}^{3}\!+\!{\Phi_{2}}}\right)^{{m_{b}}\!-\!1}}{G^{l}}\left({\tan k_{n}^{3}\!+\!{\Phi_{2}}}\right){\sec^{2}}\left({k_{n}^{3}}\right){e^{-\left({\frac{{G\left({\tan k_{n}^{3}+{\Phi_{2}}}\right)}}{{{\theta_{a}}}}+\frac{{\tan k_{n}^{3}+{\Phi_{2}}}}{{{\theta_{b}}}}}\right)}}\Bigg{)}
+(1U(K1K2))42.\displaystyle+(1-U\left({{K_{1}}-{K_{2}}}\right))\mathbb{P}_{4}^{2}. (24)

Substituting (19), (23), (21) and (24) into (16), the system outage probability, out\mathbb{P}_{\rm out}, can be expressed as

out={11(21+314),γth<I12I2,11,I12I2γth<1k12+k22,          1,γth1k12+k22,\displaystyle{\mathbb{P}_{\rm out}}=\left\{\begin{array}[]{l}\mathbb{P}_{1}^{1}\left({\mathbb{P}_{2}^{1}+\mathbb{P}_{3}^{1}-\mathbb{P}_{4}^{*}}\right),\;{\gamma_{th}}<\frac{{{I_{1}}}}{{2{I_{2}}}},\\ \;\;\;\;\;\;\;\;\;\mathbb{P}_{1}^{1}\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;,\;\;\frac{{{I_{1}}}}{{2{I_{2}}}}\leq{\gamma_{th}}<\frac{1}{{k_{1}^{2}+k_{2}^{2}}},\\ \;\;\;\;\;\;\;\;\;\;1\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;,\;\;{\gamma_{th}}\geq\frac{1}{{k_{1}^{2}+k_{2}^{2}}},\end{array}\right. (28)

where the inequality 1k12+k22I1I2I12I2\frac{1}{{k_{1}^{2}+k_{2}^{2}}}\geq\frac{{{I_{1}}}}{{{I_{2}}}}\geq\frac{{{I_{1}}}}{{2{I_{2}}}} always holds.

Remark 3

The derived expressions in (28) can serve for the following purposes. Firstly, the closed-form expressions can be used to quantify the impact of HIs on the system outage probability instead of the Monte Carlo simulations. Secondly, based on (28), we can determine two crucial ceiling effects in high data rate regions, which provide guidelines for practical system design. This will be discussed in the next subsection. Lastly, we can obtain some key insights into the effects of various system parameters on the system outage performance by numerically calculating (28). Note that such an approach has been widely adopted in existing works [6, 7, 8, 9, 10, 11, 12, 13, 14, 15].

III-B Ceiling Effects

The first line on the right-hand side of (28), 11(21+314)\mathbb{P}_{1}^{1}\left({\mathbb{P}_{2}^{1}+\mathbb{P}_{3}^{1}-\mathbb{P}_{4}^{*}}\right), accounts for the cooperative information exchange via both the direct and relaying links, whereas the second line, 11\mathbb{P}_{1}^{1}, arises from the information exchange via the direct link only. From (28), we can observe that the HIs pose undesirable constraints on γth\gamma_{th}, which in turn causes ceiling effects on the considered network. Specifically, when γthI12I2=12(k12+k22)(2+k12+k22){\gamma_{th}}\geq\frac{{{I_{1}}}}{{2{I_{2}}}}=\frac{1}{{2\left({k_{1}^{2}+k_{2}^{2}}\right)\left({2+k_{1}^{2}+k_{2}^{2}}\right)}}, the relaying link ceases cooperative information exchange, and hence the outage performance of the system depends only on the direct link. This effect is referred to as RCC. When γth1k12+k22{\gamma_{th}}\geq\frac{1}{{k_{1}^{2}+k_{2}^{2}}}, the information exchange through the direct link also fails and the system goes in outage, which is called OSC. Obviously, the thresholds of γth\gamma_{th} corresponding to RCC and OSC are both determined by HIs levels. Note that RCC always appears before OSC due to I12I21k12+k22\frac{{{I_{1}}}}{{2{I_{2}}}}\leq\frac{1}{{k_{1}^{2}+k_{2}^{2}}}. This indicates that the relaying link is more sensitive to transceiver HIs than the direct link.

III-C Diversity Gain

The diversity gain of our considered network can be calculated as

d=limρlog(out)log(ρ).\displaystyle d=-\mathop{\lim}\limits_{\rho\to\infty}\frac{{\log\left({{\mathbb{P}_{\rm out}}}\right)}}{{\log\left(\rho\right)}}. (29)

Based on (28), the diversity gain can be calculated separately for the following three cases.

III-C1

When γth1k12+k22{\gamma_{th}}\geq\frac{1}{{k_{1}^{2}+k_{2}^{2}}}, d=0d=0.

III-C2

When I12I2γth<1k12+k22\frac{{{I_{1}}}}{{2{I_{2}}}}\leq{\gamma_{th}}<\frac{1}{{k_{1}^{2}+k_{2}^{2}}}, we have

d\displaystyle d =limρlog(1eaρl=0md11l!(aρ)l)log(ρ)\displaystyle=-\mathop{\lim}\limits_{\rho\to\infty}\frac{{\log\left({1-{e^{-\frac{a}{\rho}}}\sum\limits_{l=0}^{{m_{d}}-1}{\frac{1}{{l!}}}{{\left({\frac{a}{\rho}}\right)}^{l}}}\right)}}{{\log\left(\rho\right)}}
=x=1ρlimx0log(1eaxl=0md11l!(ax)l)log(x)\displaystyle\mathop{=}\limits^{x=\frac{1}{\rho}}\mathop{\lim}\limits_{x\to 0}\frac{{\log\left({1-{e^{-ax}}\sum\limits_{l=0}^{{m_{d}}-1}{\frac{1}{{l!}}}{{\left({ax}\right)}^{l}}}\right)}}{{\log\left(x\right)}}
=limx01(md1)!(ax)mdeaxl=0md11l!(ax)l,\displaystyle=\mathop{\lim}\limits_{x\to 0}\frac{{\frac{1}{{\left({{m_{d}}-1}\right)!}}{{\left({ax}\right)}^{{m_{d}}}}}}{{{e^{ax}}-\sum\limits_{l=0}^{{m_{d}}-1}{\frac{1}{{l!}}{{\left({ax}\right)}^{l}}}}}, (30)

where a=γthθd(1γth(k12+k22))a=\frac{{{\gamma_{th}}}}{{{\theta_{d}}\left({1-{\gamma_{th}}\left({k_{1}^{2}+k_{2}^{2}}\right)}\right)}}.

Using the Taylor series for eax{{e^{ax}}}, (III-C2) can be re-expressed as

d\displaystyle d =limx01(md1)!(ax)mdl=01l!(ax)ll=0md11l!(ax)l\displaystyle=\mathop{\lim}\limits_{x\to 0}\frac{{\frac{1}{{\left({{m_{d}}-1}\right)!}}{{\left({ax}\right)}^{{m_{d}}}}}}{{\sum\limits_{l=0}^{\infty}{\frac{1}{{l!}}{{\left({ax}\right)}^{l}}}-\sum\limits_{l=0}^{{m_{d}}-1}{\frac{1}{{l!}}{{\left({ax}\right)}^{l}}}}}
=limx01(md1)!(ax)mdl=md1l!(ax)l=md.\displaystyle=\mathop{\lim}\limits_{x\to 0}\frac{{\frac{1}{{\left({{m_{d}}-1}\right)!}}{{\left({ax}\right)}^{{m_{d}}}}}}{{\sum\limits_{l={m_{d}}}^{\infty}{\frac{1}{{l!}}{{\left({ax}\right)}^{l}}}}}={m_{d}}. (31)

III-C3

When γth<I12I2{\gamma_{th}}<\frac{{{I_{1}}}}{{2{I_{2}}}}, we have

d\displaystyle d =limρlog(11(21+314))log(ρ),\displaystyle=-\mathop{\lim}\limits_{\rho\to\infty}\frac{{\log\left(\mathbb{P}_{1}^{1}\left({\mathbb{P}_{2}^{1}+\mathbb{P}_{3}^{1}-\mathbb{P}_{4}^{*}}\right)\right)}}{{\log\left(\rho\right)}},
=limρlog(11)log(ρ)limρlog(21+314)log(ρ)\displaystyle=-\mathop{\lim}\limits_{\rho\to\infty}\frac{{\log\left(\mathbb{P}_{1}^{1}\right)}}{{\log\left(\rho\right)}}-\mathop{\lim}\limits_{\rho\to\infty}\frac{{\log\left({\mathbb{P}_{2}^{1}+\mathbb{P}_{3}^{1}-\mathbb{P}_{4}^{*}}\right)}}{{\log\left(\rho\right)}}
=mdlimρlog(21+314)log(ρ).\displaystyle={m_{d}}-\mathop{\lim}\limits_{\rho\to\infty}\frac{{\log\left({\mathbb{P}_{2}^{1}+\mathbb{P}_{3}^{1}-\mathbb{P}_{4}^{*}}\right)}}{{\log\left(\rho\right)}}. (32)

In what follows, we will prove limρlog(21+314)log(ρ)=0\mathop{\lim}\limits_{\rho\to\infty}\frac{{\log\left({\mathbb{P}_{2}^{1}+\mathbb{P}_{3}^{1}-\mathbb{P}_{4}^{*}}\right)}}{{\log\left(\rho\right)}}=0. Based on (B) in Appendix B, we have limρ21=00γthI2I1γthI2xfX(x)fY(y)𝑑y𝑑x=C1\mathop{\lim}\limits_{\rho\to\infty}{\mathbb{P}_{2}^{1}}=\int_{0}^{\infty}{\int_{0}^{\frac{{{\gamma_{th}}{I_{2}}}}{{{I_{1}}-{\gamma_{th}}{I_{2}}}}x}{{f_{X}}\left(x\right){f_{Y}}\left(y\right)}}dydx={C_{1}}, where 0<C1<10<{C_{1}}<1. Similarly, limρ31=00γthI2I1γthI2yfY(y)fX(x)𝑑x𝑑y=C2\mathop{\lim}\limits_{\rho\to\infty}\mathbb{P}_{3}^{1}=\int_{0}^{\infty}{\int_{0}^{\frac{{{\gamma_{th}}{I_{2}}}}{{{I_{1}}-{\gamma_{th}}{I_{2}}}}y}{{f_{Y}}\left(y\right){f_{X}}\left(x\right)}}dxdy={C_{2}}, where 0<C2<10<{C_{2}}<1. In addition, due to limρxin=0\mathop{\lim}\limits_{\rho\to\infty}{x_{in}}=0, the integral for 4\mathbb{P}_{4}^{*} approaches 0 when ρ{\rho\to\infty}.

According to the above analysis, dd can be summarized as

d={md,γth<1k12+k22,0,γth1k12+k22.\displaystyle d=\left\{\begin{array}[]{l}{m_{d}}\;,\;{\gamma_{th}}<\frac{1}{{k_{1}^{2}+k_{2}^{2}}},\\ \;0\;\;\;,\;{\gamma_{th}}\geq\frac{1}{{k_{1}^{2}+k_{2}^{2}}}.\end{array}\right. (35)

IV Simulation Results

In this section, we present simulation results to validate the above theoretical analysis and evaluate the impacts of various parameters on the considered network. Unless specifically stated, the simulation parameters are set as follows [14, 32, 23]. We assume that η=0.6\eta=0.6, β=0.8\beta=0.8, T=1T=1 ​sec and k1=k2=kave{k_{1}}={k_{2}}={k_{ave}}. The distances of SaRS_{a}-R, SbRS_{b}-R and SaSbS_{a}-S_{b} links are set as dar=5d_{ar}=5 m, dbr=5d_{br}=5 m and dab=10d_{ab}=10 m, respectively. The average powers Ωa\Omega_{a}, Ωb\Omega_{b} and Ωab\Omega_{ab} are expressed as Ωa=darα1{\Omega_{a}}=d_{ar}^{-{\alpha_{1}}}, Ωb=dbrα1{\Omega_{b}}=d_{br}^{-{\alpha_{1}}} and Ωd=dabα2{\Omega_{d}}=d_{ab}^{-{\alpha_{2}}}, where α1=2.7\alpha_{1}=2.7 and α2=3\alpha_{2}=3 denote the path loss exponents of the relaying link and the direct link, respectively.

Fig. 4(a) depicts the system outage probability versus the input SNR to verify the correctness of the derivations in all three cases of (28). Four different data rates are considered, viz., 11 bit/Hz, 1.51.5 bit/Hz, 1.751.75 bit/Hz and 22 bit/Hz, corresponding to four SNDR thresholds, viz. 77 dB, 2222 dB, 3737 dB and 6363 dB, respectively. We also determine three threshold constraints caused by the HIs, viz., I12I2=12\frac{{{I_{1}}}}{{2{I_{2}}}}=12 dB, I1I2=24\frac{{{I_{1}}}}{{{I_{2}}}}=24 dB and 1k12+k22=50\frac{1}{{k_{1}^{2}+k_{2}^{2}}}=50 dB. Based on (28) and the used parameters, the system outage probability is computed as

out={11(21+314),γth=7dB11,γth=22dBor 37dB1,γth=63dB.\displaystyle{\mathbb{P}_{{\rm{out}}}}=\left\{{\begin{array}[]{*{20}{c}}{\mathbb{P}_{1}^{1}\left({\mathbb{P}_{2}^{1}+\mathbb{P}_{3}^{1}-\mathbb{P}_{4}^{*}}\right),\;{\gamma_{th}}=7\;{\rm{dB}}}\\ {\;\;\mathbb{P}_{1}^{1},\;\;\;\;\;\;\;\;\;\;\;\;{\gamma_{th}}=22\;{\rm{dB}}\;{\rm{or}}\;37\;{\rm{dB}}}\\ {1,\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;{\gamma_{th}}=63\;{\rm{dB}}}\end{array}}\right.. (39)

One observation from Fig. 4(a) is that the analytical results (‘\triangledown, +, \Box, \lozenge’ marked results) match the simulation results (the solid line curves) well. This verifies the accuracy of the derived closed-form expression in (28). Fig. 4(b) shows the relative approximate error against parameter NN (which determines the tradeoff between complexity and accuracy for the Gaussian-Chebyshev quadrature, as defined in (C) in Appendix C) to illustrate the accuracy of the Gaussian-Chebyshev quadrature approximation approach, which is used to obtain the approximate system outage probability in (28) when γth<I12I2{\gamma_{th}}<\frac{{{I_{1}}}}{{2{I_{2}}}}.

Refer to caption
Refer to caption
Figure 4: Verification of the derived system outage probability, where kave=0.1k_{ave}=0.1 and {ma,mb,md}={2,2,1}\{m_{a},m_{b},m_{d}\}=\{2,2,1\}.

Accordingly, in Fig. 4(a), the Gaussian-Chebyshev quadrature is only used for the data rate of 11 bit/Hz. In Fig. 4(b), we consider three data rates, viz., 0.50.5 bit/Hz, 0.750.75 bit/Hz and 11 bit/Hz. Following [14], the relative approximate error is expressed as

δ=|analyticalresultsimulationresultsimulationresult|,\displaystyle\delta=\left|{\frac{{{\rm{analytical\;result-simulation\;result}}}}{{{\rm{simulation\;result}}}}}\right|,

where the analytical and simulation results are obtained from (28) and Monte-Carlo simulations, respectively. As shown in Fig. 4(b), with the increase of NN, δ\delta approaches zero. For N=8N=8 and Rth=1\rm R_{th}=1 bit/Hz, the corresponding δ\delta is 0.0021480.002148, which indicates a sufficient accuracy for the system outage probability. Therefore, the derived expression based on the Gaussian-Chebyshev approach in (28) can be used to evaluate the system outage performance of the considered network.

Refer to caption
Figure 5: out\mathbb{P}_{\rm{out}} vs. ρ\rho for various HI levels and shape parameters, where Rth=0.5\rm R_{th}=0.5 bit/Hz.
Refer to caption
Figure 6: out\mathbb{P}_{\rm{out}} vs. ρ\rho for various data rate requirements, where kave=0.1k_{ave}=0.1.

Fig. 5 compares the system outage performance among three transmission protocols, namely the TDBC, the MABC, and the direct transmission, under different HIs levels and shape parameters of relaying links. In the direct transmission protocol, each transmission block is divided into two equal phases. In the first phase, terminal SaS_{a} transmits its signal to terminal SbS_{b}, while terminal SbS_{b} transmit its signal to terminal SaS_{a} in the second phase. We set β=0.8\beta=0.8 and Rth=0.5\rm R_{th}=0.5 bit/Hz, where the corresponding SNDR threshold is maintained below that of OSC, i.e., γth<1k12+k22\gamma_{th}<\frac{1}{k^{2}_{1}+k^{2}_{2}}. For a fair comparison, the three transmission protocols assume the same energy consumption and the same transmission rate threshold at each terminal. We can see that the TDBC achieves the lowest system outage probability while the system outage probability of the MABC is the highest. This is because TDBC leverages both the direct and relaying links, but, the MABC and direct transmission rely only on the relaying link and the direct link, respectively. For the given HIs levels, the system outage probability of the TWRN with TDBC decreases with the increase of shape parameters mam_{a} and mbm_{b}. This is because the relaying link quality improves with the increase of mam_{a} and mbm_{b}, leading to a reduced system outage probability. For the given shape parameters, the system outage probability of the TWRN with TDBC under HIs (kave=0.1k_{ave}=0.1) is much higher than that with ideal hardware (kave=0k_{ave}=0). This indicates that the HIs seriously deteriorates the system outage performance.

Refer to caption
Figure 7: out\mathbb{P}_{\rm{out}} vs. β\beta for various HI levels and shape parameters, where Rth=0.5\rm R_{th}=0.5 bit/Hz and ρ=50\rho=50 dB.
Refer to caption
Figure 8: out\mathbb{P}_{\rm{out}} vs. kavek_{ave} for various shape parameters, where Rth=1.5\rm R_{th}=1.5 bps/Hz.

Fig. 6 validates the analysis of the diversity gain in Section III-C. We set the data rates as 0.5 bit/Hz, 1.5 bit/Hz and 2.5 bit/Hz, corresponding to third SNDR thresholds, i.e., 1.8 dB, 21.6 dB and 180 dB respectively. Also, kavek_{ave} is set as 0.1, in this case, the thresholds for RCC and OSC are I12I2=12\frac{{{I_{1}}}}{{2{I_{2}}}}=12 dB and 1k12+k22=50\frac{1}{{k_{1}^{2}+k_{2}^{2}}}=50 dB, respectively. Clearly, when Rth=2.5{\rm R_{th}}=2.5 bit/Hz, the system outage probability equals to one and the diversity gain is zero, as expected in (35). While for Rth=0.5{\rm R_{th}}=0.5 or 1.51.5 bit/s, the achievable diversity gain equals to mdm_{d}. In other words, the relaying link has no contribution to the diversity gain when the HIs exist.

Fig. 7 shows the system outage probability with the increase of PS ratio β\beta. Firstly, as shown in this figure, the system outage probability firstly decreases, and then increases. Thus there is an optimal PS ratio to minimize the system outage probability. This phenomenon can be explained as following. When β\beta is smaller than the optimal PS ratio, the relay harvests less power, leading to a small transmit power and a large system outage probability. When β\beta is greater than the optimal PS ratio, the more received signal power is wasted on EH and less power is used for the SiR{S_{i}}\to R link. Accordingly, a poor signal strength and the harmful signal are amplified simultaneously, leading to a low SDNR at both terminals. In addition, we can observe that, for the given kavek_{ave}, the shape parameters has little effect on optimal PS ratio. Particular, the optimal PS ratio increases with the shape parameters of relaying links.

Fig. 8 validates the RCC and OSC with different HIs levels, kave[0,0.2]k_{ave}\in[0,0.2]. We set Rth=1.5\rm R_{th}=1.5 bps/Hz, viz., γth22\gamma_{th}\approx 22 dB. Based on the discussion in Section III-B and this figure, we can identify three hardware impairment regions as follows:

1) When kave[0,0.0758)k_{ave}\in[0,0.0758), the considered network can achieve better system outage performance duo to cooperation information exchange via both the direct and relaying links. Specially, kave=0.0758k_{ave}=0.0758 is the RCC threshold with respect to HIs levels;

2) When kave[0.0758,0.152)k_{ave}\in[0.0758,0.152), although the system outage performance degrade because of the outage of relaying link, the information exchange can be achieved via direct link only. This suggests that the relaying link is more sensitive to HIs than the direct link. Specially, kave=0.152k_{ave}=0.152 is the OSC threshold;

3) When kave[0.152,0.2)k_{ave}\in[0.152,0.2), no matter what value SNR takes, the system outage probability is always 1.

Refer to caption
Figure 9: out\mathbb{P}_{\rm{out}} vs. γth\gamma_{th} for various HIs levels, where ρ=50\rho=50 dB.

Fig. 9 studies the impacts of γth\gamma_{th} on the RCC and OSC with different HIs levels. Let’s take kave=0.15k_{ave}=0.15 as an example, for this, the RCC and OSC effects occur at the SNDRs threshold γth5.4\gamma_{th}\approx 5.4 dB (γth12(k12+k22)(2+k12+k22){\gamma_{th}}\geq\frac{1}{{2\left({k_{1}^{2}+k_{2}^{2}}\right)\left({2+k_{1}^{2}+k_{2}^{2}}\right)}}) and γth22.2\gamma_{th}\approx 22.2 dB (γth1k12+k22{\gamma_{th}}\geq\frac{1}{{k_{1}^{2}+k_{2}^{2}}}), respectively. Referring to the analysis in section III-B and Fig. 9, we can be sure that as γth\gamma_{th} across the RCC threshold (γth5.4\gamma_{th}\geq 5.4 dB), the system outage performance depends only on that of the direct link. Apparently, the direct link partially compensates for RCC effect ( in the threshold region 5.45.4 dBγth<22.2\leq\gamma_{th}<22.2 dB) until the appearance of OSC effect. When γth\gamma_{th} further exceeds the OSC threshold (γth22.2\gamma_{th}\geq 22.2 dB), the system outage probability is equal to 1. Moreover, as shown in figure, the gap between the ideal hardware case (kave=0k_{ave}=0) and impairment cases (kave=0.15k_{ave}=0.15 and 0.20.2.) is relatively small at low γth\gamma_{th} region but other can be very large. Therefore, we can conclude that HIs are detrimental for system to keep with its outage performance standards, specially in high-data-rate applications.

Refer to caption
Figure 10: out\mathbb{P}_{\rm{out}} vs. dard_{ar} for various HIs levels and shape parameters, where Rth=0.5\rm R_{th}=0.5 bit/Hz, ρ=50\rho=50 dB and dbr=10dard_{br}=10-d_{ar}.
Refer to caption
Figure 11: Optimal PS ratio vs. β\beta for various energy conversion efficiency and shape parameters, where kave=0.1k_{ave}=0.1 and dbr=10dard_{br}=10-d_{ar}.
Refer to caption
Figure 12: Energy efficiency vs. ρ\rho for various data rates, where {ma,mb,md}={2,2,1}\{m_{a},m_{b},m_{d}\}=\{2,2,1\}.

Fig. 10 studies the impacts of relay location on the system outage probability. From this figure, we can see that the optimal relay location varies with respect to the channel quality of two relaying links, i.e., SaRS_{a}-R and SbRS_{b}-R links. Specifically, for a fixed kavek_{ave}, the optimal relay location is close to the terminal, where its corresponding relaying link has a smaller shape parameter. This is beneficial for the relay to harvest more energy from both terminals and increase its transmit power. We can also see that the optimal relay location is closer to the middle as the increase of kavek_{ave}. The above two observations provide guidances on how to place relay node in the system design.

Fig. 11 plots the optimal PS ratio that minimises the system outage probability versus the relay location. We can see that the optimal PS ratio first increases and then decreases after reaching the maximum value. When dar=5d_{ar}=5 m, i.e., the relay locates at the middle of the two terminals, the optimal PS ratio reaches the maximum. This indicates that a larger proportion of the received power at the relay is used for EH due to the poorer channel quality of SaRS_{a}-R and SbRS_{b}-R links. In addition, for the given shape parameter, the optimal PS ratio decreases as the energy conversion efficiency η\eta increases. This is because the relay with a higher η\eta can convert more energy from EH, which in turn leaves more of the received power for IP.

Fig. 12 plots the energy efficiency against the input SNR with different data rates and HIs levels. The energy efficiency is computed as EE=T(1out)Rth2TPo/3=3(1out)Rth2PoEE=\frac{{T\left({1-{\mathbb{P}_{\rm out}}}\right){\rm R_{th}}}}{{2T{P_{o}}/3}}=\frac{{3\left({1-{\mathbb{P}_{\rm out}}}\right){\rm R_{th}}}}{{2{P_{o}}}} [23]. One can see that as the increase of SNR, the energy efficiency for all curves firstly increases and then decreases. This indicates that an optimal SNR exists to maximize the energy efficiency, and that the selection of appropriate transmit power at terminals is crucial to balance between spectral efficiency and energy efficiency. From this figure, we can also observe that, for a given data rate, the optimal energy efficiency decreases as kavek_{ave} increases. This is duo to the detrimental impact caused by HIs on system outage performance is more serious with the increase of kavek_{ave}, which further degrades the energy efficiency. Similarly, for a fixed kavek_{ave}, the optimal energy efficiency decreases with data rate increases.

We summarize the main observations from the simulation results as follows. On the one hand, HIs cause two ceiling effects, i.e., RCC and OSC, which degrade the achievable system outage probability of the considered system. In particular, when γth\gamma_{th} exceeds the OSC, the considered system will be in outage and the diversity gain reduces to zero; when γth\gamma_{th} lies between the RCC and the OSC, the relaying link will be blocked, in which case the system outage probability is only determined by the direct link and the diversity gain is mdm_{d}; when γth\gamma_{th} falls below the RCC, both the relaying link and the direct link will contribute to reducing the system outage probability but the diversity gain is still determined only by the direct link, i.e., d=mdd=m_{d}. On the other hand, the system parameters have a big impact on the optimal PS ratio and the desirable relay location. Specifically, the optimal PS ratio that minimises the system outage probability increases as the shape parameters of relaying links increase, as well as the relay approaches the middle between the two terminals; The system outage probability decreases as the relay locates closer to the terminal that has a smaller shape parameter of its relaying link.

V Conclusion

In this paper, we have investigated the system outage performance of a PS-SWIPT based two-way AF relay network with TDBC under Nakagami-mm fading channels, while considering the hardware impairments at transceivers. We derived a closed-form expression for the system outage probability as a function of HIs. Based on the derived expression, we determined two ceiling effects, viz., RCC and OSC, and derived the achievable diversity gain for our considered network. Besides, our analytical and simulation results have revealed the impact of various system parameters on the system outage performance and the optimal PS ratio, as well as the desirable relay location. The key insights have been summarized in the last paragraph of Section IV. Finally, we have also provided insights on the adjustment of transmit power at terminals to maximize the energy efficiency.

Appendix A

According to the expression for 1\mathbb{P}_{1}, we derive its closed-form expression in the following two cases.

Case 1: When γth1k12+k22{\gamma_{th}}\geq\frac{1}{{k_{1}^{2}+k_{2}^{2}}}, (1(k12+k22)γth)ρZ<γth{\left({1-\left({k_{1}^{2}+k_{2}^{2}}\right){\gamma_{th}}}\right)\rho Z<{\gamma_{th}}} is always satisfied no matter what the value of ZZ (Z>0Z>0) is. Thus, the outage probability, 1\mathbb{P}_{1}, is equal to 1.

Case 2: When γth<1k12+k22{\gamma_{th}}<\frac{1}{{k_{1}^{2}+k_{2}^{2}}}, 1\mathbb{P}_{1} can be rewritten as 11\mathbb{P}_{1}^{1}, given by

11\displaystyle{\mathbb{P}_{1}^{1}} =Pr(Z<γthρ(1γth(k12+k22)))\displaystyle=\Pr\left({Z<\frac{{{\gamma_{th}}}}{\rho{\left({1-{\gamma_{th}}\left({k_{1}^{2}+k_{2}^{2}}\right)}\right)}}}\right)
=0γthρ(1γth(k12+k22))1Γ(md)θdmdzmd1ezθd𝑑z.\displaystyle=\int_{0}^{\frac{{{\gamma_{th}}}}{\rho{\left({1-{\gamma_{th}}\left({k_{1}^{2}+k_{2}^{2}}\right)}\right)}}}{\frac{1}{{\Gamma\left({{m_{d}}}\right)\theta_{d}^{{m_{d}}}}}}{z^{{m_{d}}-1}}{e^{-\frac{z}{{{\theta_{d}}}}}}dz. (A.1)

where θd=Ωdmd{\theta_{d}}=\frac{{{\Omega_{d}}}}{{{m_{d}}}}. Using [34, eq.(3.381.1)] and [34, eq.(8.352.6)] to solve the integration of (A), we can obtain the closed-form expression for 11{\mathbb{P}_{1}^{1}} as shown in (III-A).

Appendix B

Similar to the analysis of 1\mathbb{P}_{1}, the derivation of 2\mathbb{P}_{2} can also be divided into the following two cases.

Case 1: When γthI1I2{{\gamma_{th}}\geq\frac{{{I_{1}}}}{{{I_{2}}}}}, (I1γthI2)ρY<ργthI2X+I3γth+γthX\left({{I_{1}}-{\gamma_{th}}{I_{2}}}\right)\rho Y<\rho{\gamma_{th}}{I_{2}}X+{I_{3}}{\gamma_{th}}+\frac{{{\gamma_{th}}}}{X} holds no matter what the value of XX (X>0X>0) is. Thus, the outage probability, 2\mathbb{P}_{2}, is equal to 1.

Case 2: When γth<I1I2{{\gamma_{th}}<\frac{{{I_{1}}}}{{{I_{2}}}}} is satisfied, 2\mathbb{P}_{2} can be re-expressed as 21\mathbb{P}_{2}^{1}, given by

21=Pr(Y<I4γth(ρI2X+I3+1X))\displaystyle{\mathbb{P}_{2}^{1}}=\Pr\left({Y<{I_{4}}{\gamma_{th}}\left({\rho{I_{2}}X+{I_{3}}+\frac{1}{X}}\right)}\right)
=00Q(x)fX(x)fY(y)𝑑y𝑑x\displaystyle=\int_{0}^{\infty}{\int_{0}^{Q(x)}{{f_{X}}\left(x\right){f_{Y}}\left(y\right)dydx}}
=1Γ(ma)Γ(mb)θama\displaystyle=\frac{1}{{\Gamma\left({{m_{a}}}\right)\Gamma\left({{m_{b}}}\right)\theta_{a}^{{m_{a}}}}}
×0xma1exθaγ(mb,I4γthθb(ρI2x+I3+1x))dx,\displaystyle\times\int_{0}^{\infty}{{x^{{m_{a}}-1}}{e^{-\frac{x}{{{\theta_{a}}}}}}}\gamma\left({{m_{b}},\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}\left({\rho{I_{2}}x+{I_{3}}+\frac{1}{x}}\right)}\right)dx, (B.1)

where θa=Ωama{\theta_{a}}=\frac{{{\Omega_{a}}}}{{{m_{a}}}}, θb=Ωbmb{\theta_{b}}=\frac{{{\Omega_{b}}}}{{{m_{b}}}}, I4=1(I1γthI2)ρI_{4}=\frac{1}{{\left({{I_{1}}-{\gamma_{th}}{I_{2}}}\right)\rho}} and Q(x)=I4γth(ρI2x+I3+1x)Q(x)={I_{4}}{\gamma_{th}}\left({\rho{I_{2}}x+{I_{3}}+\frac{1}{x}}\right).

Using [34, eq.(3.381.1)] and polynomial expansion for (ρI2x+I3+1x)l{\left({\rho{I_{2}}x+{I_{3}}+\frac{1}{x}}\right)}^{l}, 21\mathbb{P}_{2}^{1} can be given as

21=\displaystyle{\mathbb{P}_{2}^{1}}= 11Γ(ma)θamaeI3I4γthθbl=0mb1s=0lt=0ls(ls)\displaystyle 1-\frac{1}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}{e^{-\frac{{{I_{3}}{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\sum\limits_{s=0}^{l}{\sum\limits_{t=0}^{l-s}{\left(\begin{array}[]{l}l\\ s\end{array}\right)}}} (32)
×(lst)1l!(I2ρ)sI3lst(I4γthθb)l\displaystyle\times\left(\begin{array}[]{l}l-s\\ t\end{array}\right)\frac{1}{{l!}}{\left({{I_{2}}\rho}\right)^{s}}I_{3}^{l-s-t}{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)^{l}} (35)
×0xs+mat1e(I2I4ργthθb+1θa)xI4γthθbxdx.\displaystyle\times\int_{0}^{\infty}{{x^{s+{m_{a}}-t-1}}{e^{-\left({\frac{{{I_{2}}{I_{4}}\rho{\gamma_{th}}}}{{{\theta_{b}}}}+\frac{1}{{{\theta_{a}}}}}\right)x-\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}x}}}}dx}. (B.2)

Utilizing [34, eq.(3.471.9)] to address the integration of (32), we can also obtain the closed-form expression for 21\mathbb{P}_{2}^{1} as given in (22).

Appendix C

Referring to the derivation of 1\mathbb{P}_{1} and 2\mathbb{P}_{2}, we can also derive the closed-form expression for 4\mathbb{P}_{4} in the following two cases.

Case 1: When γthI1I2{{\gamma_{th}}\geq\frac{{{I_{1}}}}{{{I_{2}}}}}, both inequalities of 4\mathbb{P}_{4} hold regardless of the value of XX and YY. Thus, the outage probability, 4\mathbb{P}_{4}, is equal to 1.

Case 2: When γth<I1I2{{\gamma_{th}}<\frac{{{I_{1}}}}{{{I_{2}}}}}, the 4\mathbb{P}_{4} can be re-expressed as 4=Pr(Y<Δa,X<Δb){\mathbb{P}_{4}}=\Pr\left({Y<{\Delta_{a}},X<{\Delta_{b}}}\right), where Δa=I4γth(ρI2X+I3+1X){\Delta_{a}}={I_{4}}{\gamma_{th}}\left({\rho{I_{2}}X+{I_{3}}+\frac{1}{X}}\right) and Δb=I4γth(ρI2Y+I3+1Y){\Delta_{b}}={I_{4}}{\gamma_{th}}\left({\rho{I_{2}}Y+{I_{3}}+\frac{1}{Y}}\right). Due to the high correlation between Δa{\Delta_{a}} and Δb{\Delta_{b}}, it is hard to derive 4\mathbb{P}_{4} directly. Therefore, we first analyze and determine the integral region. Based on the integral region, we further obtain the close-form expression for 4\mathbb{P}_{4} by calculating the integral value.

Let X=xX=x and Y=yY=y. From the expression of 4\mathbb{P}_{4} in (16), the integral region of 4\mathbb{P}_{4} is bounded by two line, which are l1:y=I4γth(ρI2x+I3+1x){l_{1}}:y={I_{4}}{\gamma_{th}}\left({\rho{I_{2}}x+{I_{3}}+\frac{1}{x}}\right) and l2:x=I4γth(ρI2y+I3+1y){l_{2}}:x={I_{4}}{\gamma_{th}}\left({\rho{I_{2}}y+{I_{3}}+\frac{1}{y}}\right). In addition, we define l3{l_{3}} as y=xy=x. Through observation and some mathematical calculations for the above three curves, we draw the following conclusions:

1) the curves l1l_{1} and l2l_{2} are symmetric about l3l_{3};

2) for the curve l1l_{1} (or l2l_{2}), yy (or xx) decreases monotonically when xx (or yy) increases from 0 to 1ρI2\frac{1}{{\sqrt{\rho{I_{2}}}}}, whereas increases monotonically when xx (or yy) grows from 1ρI2\frac{1}{{\sqrt{\rho{I_{2}}}}} to \infty;

3) x=1ρI2x=\frac{1}{{\sqrt{\rho{I_{2}}}}} (or y=1ρI2y=\frac{1}{{\sqrt{\rho{I_{2}}}}}) is the unique minimum of curve l1l_{1} (or l2l_{2});

4) limx0/(I4γth(ρI2x+I3+1x))=\mathop{\lim}\limits_{x\to 0/\infty}\left({{I_{4}}{\gamma_{th}}\left({\rho{I_{2}}x+{I_{3}}+\frac{1}{x}}\right)}\right)=\infty and limy0/(I4γth(ρI2y+I3+1y))=\mathop{\lim}\limits_{y\to 0/\infty}\left({{I_{4}}{\gamma_{th}}\left({\rho{I_{2}}y+{I_{3}}+\frac{1}{y}}\right)}\right)=\infty;

5) when I12I2γth<I1I2\frac{{{I_{1}}}}{{2{I_{2}}}}\leq{\gamma_{th}}<\frac{{{I_{1}}}}{{{I_{2}}}}, there is no intersection between curve l1l_{1} and curve l3l_{3} in the first quadrant;

6) when γth<I12I2{\gamma_{th}}<\frac{{{I_{1}}}}{{2{I_{2}}}}, curve l1l_{1} and curve l3l_{3} have only one intersection xinx_{in} in the first quadrant, and xin=I3γth(I3γth)24ργth(2I2γthI1)2ρ(2I2γthI1){x_{in}}=\frac{{-{I_{3}}{\gamma_{th}}-\sqrt{{{\left({{I_{3}}{\gamma_{th}}}\right)}^{2}}-4\rho{\gamma_{th}}\left({2{I_{2}}{\gamma_{th}}-{I_{1}}}\right)}}}{{2\rho\left({2{I_{2}}{\gamma_{th}}-{I_{1}}}\right)}}.

Refer to caption
Figure 13: The integral region for 4\mathbb{P}_{4}, where l1l_{1} and l2l_{2} have no intersection point.

Based on the number of intersection points between curve l1l_{1} and curve l3l_{3}, there can be two cases for 4\mathbb{P}_{4}, discussed as follows.

i): When the curves l1l_{1} and l3l_{3} have no intersection point, viz., I12I2γth<I1I2\frac{{{I_{1}}}}{{2{I_{2}}}}\leq{\gamma_{th}}<\frac{{{I_{1}}}}{{{I_{2}}}}, there is also no intersection point between curve l1l_{1} and curve l2l_{2} in the first quadrant. In this case, the integral region for 4\mathbb{P}_{4} is shown in Fig. 13 and 4\mathbb{P}_{4} can be written as 41\mathbb{P}_{4}^{1}, given by

41=\displaystyle{\mathbb{P}_{4}^{1}}= 10Q(x)fX(x)fY(y)𝑑y𝑑x\displaystyle 1-\int_{0}^{\infty}{\int_{Q(x)}^{\infty}{{f_{X}}\left(x\right){f_{Y}}\left(y\right)dydx}}
0Q(y)fY(y)fX(x)𝑑x𝑑y.\displaystyle-\int_{0}^{\infty}{\int_{Q(y)}^{\infty}{{f_{Y}}\left(y\right){f_{X}}\left(x\right)dxdy}}. (C.1)

Similar to the derivation of 21\mathbb{P}^{1}_{2} and 31\mathbb{P}^{1}_{3}, 41\mathbb{P}_{4}^{1} can be calculated as (26).

ii): When the curves l1l_{1} and l3l_{3} have only one intersection point, viz., γth<I12I2{\gamma_{th}}<\frac{{{I_{1}}}}{2{{I_{2}}}}, there exist one or three intersection point(s) between curve l1l_{1} and curve l2l_{2} in the first quadrant. In this case, it is difficult to determine the integral region for P4P_{4} directly.The intersection points can be obtained by solving the following equations, given by

{y=I4γth(ρI2x+I3+1x)x=I4γth(ρI2y+I3+1y).\displaystyle\left\{\begin{array}[]{l}y={I_{4}}{\gamma_{th}}({\rho{I_{2}}x+{I_{3}}+\frac{1}{x}})\\ x={I_{4}}{\gamma_{th}}({\rho{I_{2}}y+{I_{3}}+\frac{1}{y}})\end{array}\right.. (C.2)

Through some mathematical manipulation, (C.2) can be re-expressed as the following quartic function, given as

c4x4+c3x3+c2x2+c1x+c0=0,\displaystyle{c_{4}}{x^{4}}+{c_{3}}{x^{3}}+{c_{2}}{x^{2}}+{c_{1}}x+{c_{0}}=0, (C.3)

where

c0\displaystyle{c_{0}} =ρI2I42γth3,c1=I3I4γth2(1+2ργthI2I4),\displaystyle=\rho{I_{2}}I_{4}^{2}\gamma_{th}^{3},\;{c_{1}}={I_{3}}{I_{4}}\gamma_{th}^{2}\left({1+2\rho{\gamma_{th}}{I_{2}}{I_{4}}}\right),
c2\displaystyle{c_{2}} =I4γth2(ργthI2I4I32+2γthI4ρ2I22+I32),\displaystyle={I_{4}}\gamma_{th}^{2}\left({\rho{\gamma_{th}}{I_{2}}{I_{4}}I_{3}^{2}+2{\gamma_{th}}{I_{4}}{\rho^{2}}I_{2}^{2}+I_{3}^{2}}\right),
c3\displaystyle{c_{3}} =I3γth(2ρ2γth2I22I42+ργthI2I41),\displaystyle={I_{3}}{\gamma_{th}}\left({2{\rho^{2}}\gamma_{th}^{2}I_{2}^{2}I_{4}^{2}+\rho{\gamma_{th}}{I_{2}}{I_{4}}-1}\right),
c4\displaystyle{c_{4}} =ργthI2(ρ2γth2I22I421).\displaystyle=\rho{\gamma_{th}}{I_{2}}\left({{\rho^{2}}\gamma_{th}^{2}I_{2}^{2}I_{4}^{2}-1}\right).
Refer to caption
Figure 14: The integral region for 4\mathbb{P}_{4}, where l1l_{1} and l2l_{2} have only one intersection point.

Obviously, the quartic function (C.3) has at most four positive real roots. Combined with the above conclusions, we can determine that (C.3) has one positive real (xinx_{in}) root or three different positive real roots (x1x_{1}, x2x_{2} and xinx_{in} ), where the closed-form real root(s) can be easily obtained [33]. In other words, curves l1l_{1} and l2l_{2} has one or three different intersection points in the first quadrant. According to the number of positive real root for (C.3), there can be two scenarios for 4\mathbb{P}_{4}, discussed as follows.

1): When the quartic function (C.3) have only one positive real root xinx_{in}, the integral region for 4\mathbb{P}_{4} can be shown in Fig. 14. Thus, 4\mathbb{P}_{4} can be computed as 42\mathbb{P}_{4}^{2}, given by

42=\displaystyle{\mathbb{P}_{4}^{2}}= 1(0xinQ(x)fX(x)fY(y)𝑑y𝑑x4_12\displaystyle 1-\Bigg{(}\underbrace{\int_{0}^{{x_{in}}}{\int_{Q(x)}^{\infty}{{f_{X}}\left(x\right){f_{Y}}\left(y\right)dydx}}}_{\mathbb{P}_{4\_1}^{2}}
+xinxfX(x)fY(y)𝑑y𝑑x4_22\displaystyle+\underbrace{\int_{{x_{in}}}^{\infty}{\int_{x}^{\infty}{{f_{X}}\left(x\right){f_{Y}}\left(y\right)dydx}}}_{\mathbb{P}_{4\_2}^{2}}
+0xinQ(y)fY(y)fX(x)𝑑x𝑑y4_32\displaystyle+\underbrace{\int_{0}^{{x_{in}}}{\int_{Q(y)}^{\infty}{{f_{Y}}\left(y\right){f_{X}}\left(x\right)dxdy}}}_{\mathbb{P}_{4\_3}^{2}}
+xinyfY(y)fX(x)𝑑x𝑑y4_42).\displaystyle+\underbrace{\int_{{x_{in}}}^{\infty}{\int_{y}^{\infty}{{f_{Y}}\left(y\right){f_{X}}\left(x\right)dxdy}}}_{\mathbb{P}_{4\_4}^{2}}\Bigg{)}. (C.4)
4_13+4_23=1Γ(ma)θamaeγthI3I4θbl=0mb11l!(I4γthθb)lxinΦ1xma1(ρI2x+I3+1x)le(ργthI2I4θb+1θa)xγthI4θbx𝑑xΞ3\displaystyle\mathbb{P}_{4\_1}^{3}+\mathbb{P}_{4\_2}^{3}=\underbrace{\frac{1}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}{e^{-\frac{{{\gamma_{th}}{I_{3}}{I_{4}}}}{{{\theta_{b}}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\frac{1}{{l!}}{{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)}^{l}}}\int_{{x_{in}}}^{{\Phi_{1}}}{{x^{{m_{a}}-1}}{{\left({\rho{I_{2}}x+{I_{3}}+\frac{1}{x}}\right)}^{l}}{e^{-\left({\frac{{\rho{\gamma_{th}}{I_{2}}{I_{4}}}}{{{\theta_{b}}}}+\frac{1}{{{\theta_{a}}}}}\right)x-\frac{{{\gamma_{th}}{I_{4}}}}{{{\theta_{b}}x}}}}dx}}_{{\Xi_{3}}}
+1Γ(ma)θamal=0mb11l!(1θb)lΦ1xma1Gl(x)e(G(x)θb+xθa)𝑑xΞ41Γ(ma)θamal=0mb11l!(1θb)lxinxl+m11e(θa+θbθaθb)x𝑑xΞ5.\displaystyle+\underbrace{\frac{1}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\frac{1}{{l!}}{{\left({\frac{1}{{{\theta_{b}}}}}\right)}^{l}}}\int_{{\Phi_{1}}}^{\infty}{{x^{{m_{a}}-1}}{G^{l}}\left(x\right){e^{-\left({\frac{{G\left(x\right)}}{{{\theta_{b}}}}+\frac{x}{{{\theta_{a}}}}}\right)}}}dx}_{{\Xi_{4}}}-\underbrace{\frac{1}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\frac{1}{{l!}}{{\left({\frac{1}{{{\theta_{b}}}}}\right)}^{l}}}\int_{{x_{in}}}^{\infty}{{x^{l+{m_{1}}-1}}{e^{-\left({\frac{{{\theta_{a}}+{\theta_{b}}}}{{{\theta_{a}}{\theta_{b}}}}}\right)x}}}dx}_{{\Xi_{5}}}. (C.11)

According to (1) and (2), 4_12+4_22\mathbb{P}_{4\_1}^{2}+\mathbb{P}_{4\_2}^{2} can be calculated as

4_12+4_22\displaystyle\mathbb{P}_{4\_1}^{2}+\mathbb{P}_{4\_2}^{2} =1xinfX(x)FY(x)𝑑xΞ1\displaystyle=1-\underbrace{\int_{{x_{in}}}^{\infty}{{f_{X}}\left(x\right){F_{Y}}\left(x\right)dx}}_{{\Xi_{1}}}
0xinfX(x)FY(Q(x))𝑑xΞ2.\displaystyle-\underbrace{\int_{0}^{{x_{in}}}{{f_{X}}\left(x\right){F_{Y}}\left({Q(x)}\right)dx}}_{{\Xi_{2}}}. (C.5)

Based on [34, eq.(3.381.1)], the first term of (C), Ξ1{{\Xi_{1}}}, can be written as

Ξ1=\displaystyle{\Xi_{1}}= xinfX(x)𝑑x1Γ(ma)θamal=0mb11l!(1θb)l\displaystyle\int_{{x_{in}}}^{\infty}{{f_{X}}\left(x\right)dx}-\frac{1}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\frac{1}{{l!}}{{\left({\frac{1}{{{\theta_{b}}}}}\right)}^{l}}}
×xinxl+ma1e(1θa+1θb)xdx.\displaystyle\times\int_{{x_{in}}}^{\infty}{{x^{l+{m_{a}}-1}}{e^{-\left({\frac{1}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)x}}}dx. (C.6)

Using (2) and [34, eq.(3.381.3)], Ξ1{\Xi_{1}} can be calculated as

Ξ1=\displaystyle{\Xi_{1}}= 11Γ(ma)γ(ma,xinθa)1Γ(ma)θamal=0mb11l!(1θb)l\displaystyle 1\!-\!\frac{1}{{\Gamma\left({{m_{a}}}\right)}}\gamma\left({{m_{a}},\frac{{{x_{in}}}}{{{\theta_{a}}}}}\right)-\frac{1}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\frac{1}{{l!}}}{\left({\frac{1}{{{\theta_{b}}}}}\right)^{l}}
×(1θa+1θb)(l+ma)Γ(l+ma,xin(1θa+1θb)).\displaystyle\times{\left({\frac{1}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)^{-\left({l+{m_{a}}}\right)}}\Gamma\left({l+{m_{a}},{x_{in}}\left({\frac{1}{{{\theta_{a}}}}+\frac{1}{{{\theta_{b}}}}}\right)}\right). (C.7)

The second term of (C), Ξ2{{\Xi_{2}}}, can be written, using [34, eq.(3.381.1)], as

Ξ2=\displaystyle{\Xi_{2}}= 1Γ(ma)γ(ma,xinθa)1Γ(ma)θamaeγthI3I4θb\displaystyle\frac{1}{{\Gamma\left({{m_{a}}}\right)}}\gamma\left({{m_{a}},\frac{{{x_{in}}}}{{{\theta_{a}}}}}\right)-\frac{1}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}{e^{-\frac{{{\gamma_{th}}{I_{3}}{I_{4}}}}{{{\theta_{b}}}}}}
×l=0mb11l!(I4γthθb)l0xinxma1(ρI2x+I3+1x)l\displaystyle\times{\sum\limits_{l=0}^{{m_{b}}-1}{\frac{1}{{l!}}\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)}^{l}}\int_{0}^{{x_{in}}}{{x^{{m_{a}}-1}}{{\left({\rho{I_{2}}x+{I_{3}}+\frac{1}{x}}\right)}^{l}}}
×e(ργthI2I4θb+1θa)xγthI4θbxdx.\displaystyle\times{e^{-\left({\frac{{\rho{\gamma_{th}}{I_{2}}{I_{4}}}}{{{\theta_{b}}}}+\frac{1}{{{\theta_{a}}}}}\right)x-\frac{{{\gamma_{th}}{I_{4}}}}{{{\theta_{b}}x}}}}dx. (C.8)

Since the closed-form expression for the required integral in (C) can not be obtained directly, we adopt the Guassian-Chebyshev quadrature666In this paper, we adopt the Gaussian-Chebyshev quadrature instead of other approximation methods because it can provide sufficient level of accuracy with very few terms. Thanks to this advantage, the Gaussian-Chebyshev quadrature has been widely used in the state-of-the-art works [13, 14, 15]. to approximate it. Thus, Ξ2{\Xi_{2}} can be approximated as

Ξ2\displaystyle{\Xi_{2}} =1Γ(ma)γ(ma,xinθa)πxin2NΓ(ma)θamaeγthI3I4θb\displaystyle=\frac{1}{{\Gamma\left({{m_{a}}}\right)}}\gamma\left({{m_{a}},\frac{{{x_{in}}}}{{{\theta_{a}}}}}\right)-\frac{{\pi{x_{in}}}}{{2N\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}{e^{-\frac{{{\gamma_{th}}{I_{3}}{I_{4}}}}{{{\theta_{b}}}}}}
×l=0mb1n=1N1l!(I4γthθb)l1vn2(kn1)ma1\displaystyle\times{\sum\limits_{l=0}^{{m_{b}}-1}{\sum\limits_{n=1}^{N}{\frac{1}{{l!}}\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)}}^{l}}\sqrt{1-v_{n}^{2}}{\left({k_{n}^{1}}\right)^{{m_{a}}-1}}
×(ρI2kn1+I3+1kn1)le(ργthI2I4θb+1θa)kn1γthI4θbkn1,\displaystyle\times{\left({\rho{I_{2}}k_{n}^{1}+{I_{3}}+\frac{1}{{k_{n}^{1}}}}\right)^{l}}{e^{-\left({\frac{{\rho{\gamma_{th}}{I_{2}}{I_{4}}}}{{{\theta_{b}}}}+\frac{1}{{{\theta_{a}}}}}\right)k_{n}^{1}-\frac{{{\gamma_{th}}{I_{4}}}}{{{\theta_{b}}k_{n}^{1}}}}}, (C.9)

where vn=cos(2n12Nπ){v_{n}}=\cos\left({\frac{{2n-1}}{{2N}}\pi}\right), kn1=xin2vn+xin2k_{n}^{1}=\frac{{{x_{in}}}}{2}{v_{n}}+\frac{{{x_{in}}}}{2} and NN is the parameter that determines the tradeoff between complexity and accuracy.

Referring to the derivation of 4_12+4_22\mathbb{P}_{4\_1}^{2}+\mathbb{P}_{4\_2}^{2}, we can also obtain the closed-form expression for 4_32+4_42\mathbb{P}_{4\_3}^{2}+\mathbb{P}_{4\_4}^{2}. With this, we can obtain the closed-form expression for 42\mathbb{P}^{2}_{4}, as shown in (III-A).

Refer to caption
Figure 15: The integral region for 4\mathbb{P}_{4}, where l1l_{1} and l2l_{2} have three intersection points.

2): When the quartic function (C.3) have three three different positive real roots (x1x_{1}, x2x_{2} and xinx_{in}), the integral region for 4\mathbb{P}_{4} can be shown in Fig. 15. Obviously, 4\mathbb{P}_{4} can be calculated as 43{\mathbb{P}_{4}^{3}}, given by

43=\displaystyle{\mathbb{P}_{4}^{3}}= U(K1K2)\displaystyle U\left({{K_{1}}-{K_{2}}}\right)
×(1(xinΦ1Q(x)xfX(x)fY(y)𝑑y𝑑x4_13\displaystyle\times\Bigg{(}1-\Bigg{(}\underbrace{\int_{{x_{in}}}^{{\Phi_{1}}}{\int_{Q(x)}^{x}{{f_{X}}\left(x\right){f_{Y}}\left(y\right)dydx}}}_{\mathbb{P}_{4\_1}^{3}}
+Φ1G(x)xfX(x)fY(y)𝑑y𝑑x4_23\displaystyle+\underbrace{\int_{{\Phi_{1}}}^{\infty}{\int_{G\left(x\right)}^{x}{{f_{X}}\left(x\right){f_{Y}}\left(y\right)dydx}}}_{\mathbb{P}_{4\_2}^{3}}
+xinΦ2Q(y)yfY(y)fX(x)𝑑x𝑑y4_33\displaystyle+\underbrace{\int_{{x_{in}}}^{{\Phi_{2}}}{\int_{Q(y)}^{y}{{f_{Y}}\left(y\right){f_{X}}\left(x\right)dxdy}}}_{\mathbb{P}_{4\_3}^{3}}
+Φ2G(y)yfY(y)fX(x)𝑑x𝑑y4_43))\displaystyle+\underbrace{\int_{{\Phi_{2}}}^{\infty}{\int_{G\left(y\right)}^{y}{{f_{Y}}\left(y\right){f_{X}}\left(x\right)dxdy}}}_{\mathbb{P}_{4\_4}^{3}}\Bigg{)}\Bigg{)}
+(1U(K1K2))42,\displaystyle+(1-U\left({{K_{1}}-{K_{2}}}\right))\mathbb{P}_{4}^{2}, (C.10)

with

U(x)={1,x>0,0,x0,\displaystyle U\left(x\right)=\left\{\begin{array}[]{l}1,\;\;x>0,\\ 0,\;\;x\leq 0,\\ \end{array}\right. (44)
Φ1=max{x1,x2},Φ2=max{Q(x1),Q(x2)},\displaystyle{\Phi_{1}}=\max\left\{{{x_{1}},{x_{2}}}\right\},\;{\Phi_{2}}=\max\left\{{Q(x_{1}),Q(x_{2})}\right\},
G(x)=(γthI3I4x)(γthI3I4x)24ργth2I2I422ργthI2I4,\displaystyle G\left(x\right)=\frac{{-\left({{\gamma_{th}}{I_{3}}{I_{4}}-x}\right)-\sqrt{{{\left({{\gamma_{th}}{I_{3}}{I_{4}}-x}\right)}^{2}}-4\rho\gamma_{th}^{2}{I_{2}}I_{4}^{2}}}}{{2\rho{\gamma_{th}}{I_{2}}{I_{4}}}},
K1=G(xin+Φ12),K2=Q(xin+Φ12).\displaystyle{K_{1}}=G\left({\frac{{{x_{in}}+{\Phi_{1}}}}{2}}\right),{K_{2}}=Q\left({\frac{{{x_{in}}+{\Phi_{1}}}}{2}}\right).

Based on (1), (2), and some mathematical calculations, 4_13+4_23\mathbb{P}_{4\_1}^{3}+\mathbb{P}_{4\_2}^{3} can be expressed as (C) at the top of previous page. Similar to (C), the first term of (C), Ξ3{\Xi_{3}}, can be approximated, using the Gaussian-Chebyshev quadrature, as

Ξ3=\displaystyle{\Xi_{3}}= π(Φ1xin)2NΓ(ma)θamaeγthI3I4θbl=0mb1n=1N1l!(I4γthθb)l\displaystyle\frac{{\pi\left({{\Phi_{1}}-{x_{in}}}\right)}}{{2N\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}{e^{-\frac{{{\gamma_{th}}{I_{3}}{I_{4}}}}{{{\theta_{b}}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\sum\limits_{n=1}^{N}{\frac{1}{{l!}}{{\left({\frac{{{I_{4}}{\gamma_{th}}}}{{{\theta_{b}}}}}\right)}^{l}}}}
×1vn2(kn2)ma1(ρI2kn2+I3+1kn2)l\displaystyle\times\sqrt{1-v_{n}^{2}}{\left({k_{n}^{2}}\right)^{{m_{a}}-1}}{\left({\rho{I_{2}}k_{n}^{2}+{I_{3}}+\frac{1}{{k_{n}^{2}}}}\right)^{l}}
×e(ργthI2I4θb+1θa)kn2γthI4θbkn2,\displaystyle\times{e^{-\left({\frac{{\rho{\gamma_{th}}{I_{2}}{I_{4}}}}{{{\theta_{b}}}}+\frac{1}{{{\theta_{a}}}}}\right)k_{n}^{2}-\frac{{{\gamma_{th}}{I_{4}}}}{{{\theta_{b}}k_{n}^{2}}}}}, (C.12)

where kn2=Φ1xin2vn+Φ1+xin2k_{n}^{2}=\frac{{{\Phi_{1}}-{x_{in}}}}{2}{v_{n}}+\frac{{{\Phi_{1}}+{x_{in}}}}{2}.

Utilizing the variable substitution y=tanθy=\tan\theta and the Gaussian-Chebyshev quadrature, the second term, Ξ4{\Xi_{4}}, can be calculated as

Ξ4=\displaystyle{\Xi_{4}}= π24NΓ(ma)θamal=0mb1n=1N1l!(1θb)l\displaystyle\frac{{{\pi^{2}}}}{{4N\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\sum\limits_{n=1}^{N}{\frac{1}{{l!}}{{\left({\frac{1}{{{\theta_{b}}}}}\right)}^{l}}}}
×1vn2(tankn3+Φ1)ma1Gl(tankn3+Φ1)\displaystyle\times\sqrt{1-v_{n}^{2}}{\left({\tan k_{n}^{3}+{\Phi_{1}}}\right)^{{m_{a}}-1}}{G^{l}}\left({\tan k_{n}^{3}+{\Phi_{1}}}\right)
×sec2(kn3)e(G(tankn3+Φ1)θb+tankn3+Φ1θa),\displaystyle\times{\sec^{2}}\left({k_{n}^{3}}\right){e^{-\left({\frac{{G\left({\tan k_{n}^{3}+{\Phi_{1}}}\right)}}{{{\theta_{b}}}}+\frac{{\tan k_{n}^{3}+{\Phi_{1}}}}{{{\theta_{a}}}}}\right)}}, (C.13)

where kn3=π4vn+π4k_{n}^{3}=\frac{\pi}{4}{v_{n}}+\frac{\pi}{4}.

The three term, Ξ5{\Xi_{5}}, can be given, using [34, eq.(3.381.3)], as

Ξ5=\displaystyle{\Xi_{5}}= 1Γ(ma)θamal=0mb11l!(1θb)l(θa+θbθaθb)(l+ma)\displaystyle\frac{1}{{\Gamma\left({{m_{a}}}\right)\theta_{a}^{{m_{a}}}}}\sum\limits_{l=0}^{{m_{b}}-1}{\frac{1}{{l!}}{{\left({\frac{1}{{{\theta_{b}}}}}\right)}^{l}}}{\left({\frac{{{\theta_{a}}+{\theta_{b}}}}{{{\theta_{a}}{\theta_{b}}}}}\right)^{-\left({l+{m_{a}}}\right)}}
×Γ(l+ma,xin(θa+θb)θaθb).\displaystyle\times\Gamma\left({l+{m_{a}},\frac{{{x_{in}}\left({{\theta_{a}}+{\theta_{b}}}\right)}}{{{\theta_{a}}{\theta_{b}}}}}\right). (C.14)

Similar to the derivation of 4_13+4_23\mathbb{P}_{4\_1}^{3}+\mathbb{P}_{4\_2}^{3}, we can also obtain the closed-form expression for 4_33+4_43\mathbb{P}_{4\_3}^{3}+\mathbb{P}_{4\_4}^{3}. With this, we can obtain the closed-form expression for 43\mathbb{P}_{4}^{3}, as shown in (III-A).

References

  • [1] T. D. Ponnimbaduge Perera, D. N. K. Jayakody, S. K. Sharma, S. Chatzinotas, and J. Li, “Simultaneous wireless information and power transfer (SWIPT): Recent advances and future challenges,” IEEE Commun. Surveys Tuts., vol. 20, no. 1, pp. 264–302, First Quarter 2018.
  • [2] Y. Liu, “Joint resource allocation in SWIPT-based multiantenna decode-and-forward relay networks,” IEEE Trans. Veh. Technol., vol. 66, no. 10, pp. 9192–9200, Oct. 2017.
  • [3] A. A. Nasir, X. Zhou, S. Durrani, and R. A. Kennedy, “Relaying protocols for wireless energy harvesting and information processing,” IEEE Trans. Wireless Commun., vol. 12, no. 7, pp. 3622–3636, Jul. 2013.
  • [4] K. Liu and P. Lin, “Toward self-sustainable cooperative relays: State of the art and the future,” IEEE Commun. Mag., vol. 53, no. 6, pp. 56–62, Jun. 2015.
  • [5] M. Ju and I. Kim, “Relay selection with ANC and TDBC protocols in bidirectional relay networks,” IEEE Trans. Commun., vol. 58, no. 12, pp. 3500–3511, Dec. 2010.
  • [6] V. N. Quoc Bao, H. Van Toan, and K. N. Le, “Performance of two-way AF relaying with energy harvesting over Nakagami-m fading channels,” IET Commun., vol. 12, no. 20, pp. 2592–2599, 2018.
  • [7] S. Modem and S. Prakriya, “Performance of analog network coding based two-way EH relay with beamforming,” IEEE Trans. Wireless Commun., vol. 65, no. 4, pp. 1518–1535, Apr. 2017.
  • [8] T. P. Do, I. Song, and Y. H. Kim, “Simultaneous wireless transfer of power and information in a decode-and-forward two-way relaying network,” IEEE Trans. Wireless Commun., vol. 16, no. 3, pp. 1579–1592, Mar. 2017.
  • [9] C. Peng, F. Li, and H. Liu, “Optimal power splitting in two-way decode-and-forward relay networks,” IEEE Commun. Lett., vol. 21, no. 9, pp. 2009–2012, Sep. 2017.
  • [10] A. Alsharoa, H. Ghazzai, A. E. Kamal, and A. Kadri, “Optimization of a power splitting protocol for two-way multiple energy harvesting relay system,” IEEE Trans. Green Commun. Netw., vol. 1, no. 4, pp. 444–457, Dec. 2017.
  • [11] Y. Liu, L. Wang, M. Elkashlan, T. Q. Duong, and A. Nallanathan, “Two-way relaying networks with wireless power transfer: Policies design and throughput analysis,” in Proc. IEEE GLOBECOM, Dec. 2014, pp. 4030–4035.
  • [12] D. S. Gurjar, U. Singh, and P. K. Upadhyay, “Energy harvesting in hybrid two-way relaying with direct link under Nakagami-m fading,” in Proc. IEEE WCNC, Apr. 2018, pp. 1–6.
  • [13] Y. Ye, L. Shi, X. Chu, H. Zhang, and G. Lu, “On the outage performance of SWIPT-based three-step two-way DF relay networks,” IEEE Trans. Veh. Technol., vol. 68, no. 3, pp. 3016–3021, Mar. 2019.
  • [14] L. Shi, Y. Ye, R. Q. Hu, and H. Zhang, “System outage performance for three-step two-way energy harvesting DF relaying,” IEEE Trans. Veh. Technol., vol. 68, no. 4, pp. 3600–3612, Apr. 2019.
  • [15] L. Shi, Y. Ye, X. Chu, Y. Zhang, and H. Zhang, “Optimal combining and performance analysis for two-way EH relay systems with TDBC protocol,” IEEE Wireless Commun. Lett., vol. 8, no. 3, pp. 713–716, Jun. 2019.
  • [16] J. Qi, S. Aissa, and M. Alouini, “Analysis and compensation of I/Q imbalance in amplify-and-forward cooperative systems,” in Proc. IEEE WCNC, Apr. 2012, pp. 215–220.
  • [17] E. Costa and S. Pupolin, “M-QAM-OFDM system performance in the presence of a nonlinear amplifier and phase noise,” IEEE Trans. Commun., vol. 50, no. 3, pp. 462–472, Mar. 2002.
  • [18] D. Dardari, V. Tralli, and A. Vaccari, “A theoretical characterization of nonlinear distortion effects in OFDM systems,” IEEE Trans. Commun., vol. 48, no. 10, pp. 1755–1764, Oct. 2000.
  • [19] E. Björnson, J. Hoydis, M. Kountouris, and M. Debbah, “Massive MIMO systems with non-ideal hardware: Energy efficiency, estimation, and capacity limits,” IEEE Trans. Inf. Theory, vol. 60, no. 11, pp. 7112–7139, Nov. 2014.
  • [20] E. Björnson, M. Matthaiou, and M. Debbah, “A new look at dual-hop relaying: Performance limits with hardware impairments,” IEEE Trans. Commun., vol. 61, no. 11, pp. 4512–4525, Nov. 2013.
  • [21] D. K. Nguyen, M. Matthaiou, T. Q. Duong, and H. Ochi, “RF energy harvesting two-way cognitive DF relaying with transceiver impairments,” in Proc. IEEE ICC Workshop, Jun. 2015, pp. 1970–1975.
  • [22] D. K. Nguyen, D. N. K. Jayakody, S. Chatzinotas, J. S. Thompson, and J. Li, “Wireless energy harvesting assisted two-way cognitive relay networks: Protocol design and performance analysis,” IEEE Access, vol. 5, pp. 21 447–21 460, 2017.
  • [23] S. Solanki, V. Singh, and P. K. Upadhyay, “RF energy harvesting in hybrid two-way relaying systems with hardware impairments,” IEEE Trans. Veh. Technol., vol. 68, no. 12, pp. 11 792–11 805, Dec. 2019.
  • [24] Y. Ye, Y. Li, Z. Wang, X. Chu, and H. Zhang, “Dynamic asymmetric power splitting scheme for SWIPT-based two-way multiplicative AF relaying,” IEEE Signal Process. Lett., vol. 25, no. 7, pp. 1014–1018, Jul. 2018.
  • [25] H. Ding, D. B. da Costa, M. Alouini, J. Ge, and F. Gong, “Distributed role selection with ANC and TDBC protocols in two-way relaying systems,” IEEE Trans. Commun., vol. 63, no. 12, pp. 4727–4742, Dec. 2015.
  • [26] H. Popovic, D. Stefanovic, A. Mitic, I. Stefanovic, and D. Stefanovic, “Some statistical characteristics of Nakagami-m distribution,” in Proc. Int. Conf. Telecommun. Mod. Satell., Cable Broadcast. Serv., Sep. 2007, pp. 509–512.
  • [27] E. Boshkovska, D. W. K. Ng, N. Zlatanov, and R. Schober, “Practical non-linear energy harvesting model and resource allocation for SWIPT systems,” IEEE Commun. Lett., vol. 19, no. 12, pp. 2082–2085, Dec. 2015.
  • [28] Y. Dong, M. J. Hossain, and J. Cheng, “Performance of wireless powered amplify and forward relaying over Nakagami-m fading channels with nonlinear energy harvester,” IEEE Commun. Lett., vol. 20, no. 4, pp. 672–675, Apr. 2016.
  • [29] S. Solanki, P. K. Upadhyay, D. B. da Costa, H. Ding, and J. M. Moualeu, “Non-linear energy harvesting based cooperative spectrum sharing networks,” in Proc. International Symposium on Wireless Communication Systems, 2019, pp. 566–570.
  • [30] L. Shi, W. Cheng, Y. Ye, H. Zhang, and R. Q. Hu, “Heterogeneous power-splitting based two-way DF relaying with non-linear energy harvesting,” in Proc. IEEE GLOBECOM, 2018, pp. 1–7.
  • [31] Y. Liu, Y. Ye, H. Ding, F. Gao, and H. Yang, “Outage performance analysis for SWIPT-based incremental cooperative NOMA networks with non-linear harvester,” IEEE Commun. Lett., vol. 24, no. 2, pp. 287–291, Feb. 2020.
  • [32] A. Mukherjee, T. Acharya, and M. R. A. Khandaker, “Outage analysis for SWIPT-enabled two-way cognitive cooperative communications,” IEEE Trans. Veh. Technol., vol. 67, no. 9, pp. 9032–9036, 2018.
  • [33] L. M. Surhone, M. T. Timpledon, S. F. Marseken, and N. Root, Quartic function.   Betascript Publishing, 2010. [Online]. Available:https://www.morebooks.de/store/es/book/quartic-function/isbn/978-613-0- 34265-4.
  • [34] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products, 7th ed.   New York, NY, USA: Academic, 2007.