a stochastic geometric analysis of device-to-device ... · recently, stochastic geometry has...

16
A Stochastic Geometric Analysis of Device-to-Device Communications Operating over Generalized Fading Channels Chun, Y. J., Cotton, S., Dhillon, H., Ghrayeb, A., & Hasna, M. (2017). A Stochastic Geometric Analysis of Device-to-Device Communications Operating over Generalized Fading Channels. IEEE Transactions on Wireless Communications. https://doi.org/10.1109/TWC.2017.2689759, https://doi.org/10.1109/TWC.2017.2689759 Published in: IEEE Transactions on Wireless Communications Document Version: Publisher's PDF, also known as Version of record Queen's University Belfast - Research Portal: Link to publication record in Queen's University Belfast Research Portal Publisher rights © 2017 IEEE. This is an open access article published under a Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution and reproduction in any medium, provided the author and source are cited. General rights Copyright for the publications made accessible via the Queen's University Belfast Research Portal is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The Research Portal is Queen's institutional repository that provides access to Queen's research output. Every effort has been made to ensure that content in the Research Portal does not infringe any person's rights, or applicable UK laws. If you discover content in the Research Portal that you believe breaches copyright or violates any law, please contact [email protected]. Download date:21. Aug. 2020

Upload: others

Post on 12-Jul-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

A Stochastic Geometric Analysis of Device-to-DeviceCommunications Operating over Generalized Fading Channels

Chun, Y. J., Cotton, S., Dhillon, H., Ghrayeb, A., & Hasna, M. (2017). A Stochastic Geometric Analysis ofDevice-to-Device Communications Operating over Generalized Fading Channels. IEEE Transactions onWireless Communications. https://doi.org/10.1109/TWC.2017.2689759,https://doi.org/10.1109/TWC.2017.2689759

Published in:IEEE Transactions on Wireless Communications

Document Version:Publisher's PDF, also known as Version of record

Queen's University Belfast - Research Portal:Link to publication record in Queen's University Belfast Research Portal

Publisher rights© 2017 IEEE.This is an open access article published under a Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0/),which permits unrestricted use, distribution and reproduction in any medium, provided the author and source are cited.

General rightsCopyright for the publications made accessible via the Queen's University Belfast Research Portal is retained by the author(s) and / or othercopyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associatedwith these rights.

Take down policyThe Research Portal is Queen's institutional repository that provides access to Queen's research output. Every effort has been made toensure that content in the Research Portal does not infringe any person's rights, or applicable UK laws. If you discover content in theResearch Portal that you believe breaches copyright or violates any law, please contact [email protected].

Download date:21. Aug. 2020

Page 2: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 16, NO. 7, JULY 2017 4151

A Stochastic Geometric Analysis ofDevice-to-Device Communications Operating

Over Generalized Fading ChannelsYoung Jin Chun, Member, IEEE, Simon L. Cotton, Senior Member, IEEE, Harpreet S. Dhillon, Member, IEEE,

Ali Ghrayeb, Senior Member, IEEE, and Mazen O. Hasna, Senior Member, IEEE

Abstract— Device-to-device (D2D) communications are nowconsidered an integral part of future 5G networks, which willenable direct communication between user equipments andachieve higher throughputs than conventional cellular networks,but with the increased potential for co-channel interference. Thephysical channels, which constitute D2D communications, canbe expected to be complex in nature, experiencing both line-of-sight (LOS) and non-LOS conditions across closely located D2Dpairs. In addition to this, given the diverse range of operatingenvironments, they may also be subject to clustering of thescattered multipath contribution, i.e., propagation characteristicswhich are quite dissimilar to conventional Rayleigh fading envi-ronments. To address these challenges, we consider two recentlyproposed generalized fading models, namely κ-μ and η-μ,to characterize the fading behavior in D2D communications.Together, these models encompass many of the most widelyutilized fading models in the literature such as Rayleigh,Rice (Nakagami-n), Nakagami-m, Hoyt (Nakagami-q), andOne-sided Gaussian. Using stochastic geometry, we evaluatethe spectral efficiency and outage probability of D2D networksunder generalized fading conditions and present new insightsinto the tradeoffs between the reliability, rate, and modeselection. Through numerical evaluations, we also investigatethe performance gains of D2D networks and demonstrate theirsuperiority over traditional cellular networks.

Index Terms— 5G, device-to-device network, η-μ fading,κ-μ fading, rate-reliability trade-off, stochastic geometry.

Manuscript received May 13, 2016; revised October 29, 2016 andFebruary 26, 2017; accepted March 13, 2017. Date of publication March 30,2017; date of current version July 10, 2017. The work of Y. J. Chunand S. L. Cotton was supported in part by the Engineering and PhysicalSciences Research Council under Grant EP/L026074/1 and the Departmentfor the Economy Northern Ireland under Grant USI080. The work ofH. S. Dhillon was supported by the U.S. National Science Foundationunder Grants CCF-1464293 and CNS-1617896. The work of M. O. Hasnawas supported by the NPRP Grant 4-1119-2-427 from the Qatar NationalResearch Fund (a member of Qatar Foundation). The statements madeherein are solely the responsibility of the authors. The associate editorcoordinating the review of this paper and approving it for publicationwas J. M. Romero Jerez. (Corresponding author: Young Jin Chun.)

Y. J. Chun and S. L. Cotton are with the Wireless CommunicationsLaboratory, ECIT Institute, Queen’s University Belfast, Belfast, BT3 9DT,U.K. (e-mail: [email protected]; [email protected]).

H. S. Dhillon is with Wireless@VT, Department of Electrical and Com-puter Engineering, Virginia Tech, Blacksburg, VA 24061 USA (e-mail:[email protected]).

A. Ghrayeb is with the Department of Electrical and ComputerEngineering, Texas A&M University at Qatar, Doha, Qatar (e-mail:[email protected]).

M. O. Hasna is with the Department of Electrical Engineering, QatarUniversity, Doha, Qatar (e-mail: [email protected]).

Color versions of one or more of the figures in this paper are availableonline at http://ieeexplore.ieee.org.

Digital Object Identifier 10.1109/TWC.2017.2689759

I. INTRODUCTION

A. Related Works

THE recent unprecedented growth in mobile traffic hascompelled the telecommunications industry to come

up with new and innovative ways to improve cellularnetwork performance to meet the ever increasing datademands. This has led to the introduction of fifth gener-ation (5G) networks which are expected to provide 1000fold gains in capacity while achieving latencies of less than1 millisecond [1]. Device-to-device communications are astrong contender for 5G networks [2] that allow direct commu-nication between user equipments (UEs) without unnecessaryrouting of traffic through the network infrastructure, resultingin shorter transmission distances and improved data rates thantraditional cellular networks [3].

Currently, D2D communication is standardized by the3rd Generation Partnership Project (3GPP) in LTE Release 12to provide proximity based services and public safetyapplications [4]. In parallel to the standardization efforts, D2Dcommunications have been actively studied by the researchcommunity. For example, in [5], the authors have proposedD2D as a multi-hop scheme, while in [6] and [7], the workconducted in [5] has been extended to demonstrate thatD2D communications can improve spectral efficiency andthe coverage of conventional cellular networks. Additionally,D2D has also been applied to multi-cast scenarios [8],machine-to-machine (M2M) communications [9], and cellularoff-loading [10].

While D2D communications offer many advantages, theyalso come with numerous challenges. These include thedifficulties in accurately modeling the interference inducedby cellular and D2D UEs, and consequently optimizingthe resource allocation based on the interference model.Most of the previous works published in this area haverelied on system-level simulations with a large parameterset [11], meaning that it is difficult to draw general con-clusions. Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling. Specifically, stochastic geometry treats thelocations of the interferers as points distributed accordingto a spatial point process [12]. Such an approach capturesthe topological randomness in the network geometry, offershigh analytical flexibility and achieves accurate performanceevaluation [13]–[17].

This work is licensed under a Creative Commons Attribution 3.0 License. For more information, see http://creativecommons.org/licenses/by/3.0/

Page 3: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

4152 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 16, NO. 7, JULY 2017

Much work has also been done on evaluating theperformance of D2D networks over Rayleigh fading channels.In [18], the authors have compared two D2D spectrum sharingschemes (overlay and underlay) and evaluated the averageachievable rate for each scheme based on the stochasticgeometric framework. In [19], the authors extended the workconducted in [18] by considering a D2D link whose lengthdepends on the user density. In [20], the authors proposed aflexible mode selection scheme which makes use of truncatedchannel inversion based power control for underlaid D2Dnetworks. Notwithstanding these advances, limited work hasbeen conducted to consider D2D networks with general fadingchannels, for example in [21], the authors have consideredunderlaid D2D networks over Rician fading channels andevaluated the success probability and average achievable rate.

B. Motivation and Contributions

In 5G networks and especially for D2D communications,fading environments will range from homogeneous and cir-cularly symmetric through to non-homogeneous and non-circularly symmetric. For example, the METIS project hasalready demonstrated that the physical channels of 5G net-works can be inhomogeneous with clusters of non-circularlysymmetric scattered waves [22]. Clearly in this case, theassumption of traditional, homogeneous, linear and singlecluster fading models such as Rayleigh will no longer besufficient and we must look towards other more general andrealistic models such as κ-μ [23]–[25] and η-μ [23], [26].Influenced by this, we consider the κ-μ fading model whichaccounts for homogeneous, linear environments with line-of-sight (LOS) components and multiple clusters of scat-tered signal contributions, while the η-μ fading model rep-resents inhomogeneous, linear environments with non-line-of-sight (NLOS) conditions and multiple clusters of scatteredsignal contributions.

As discussed earlier, most of the existing work in stochasticgeometry for wireless networks has been focused on Rayleighfading environments, owing to its tractability and favorableanalytical characteristics. The signal-to-noise-plus-interferenceratio (SINR) distributions for general fading environmentsrequire evaluating the sum-products of aggregate interferencewhere several approaches have been proposed to facilitate thederivation, most notably:

1) The conversion method based on displacement theoremwas used in [27]–[30]. This method treats the channelrandomness as a perturbation in the location of thetransmitter and transforms the original network witharbitrary fading into an equivalent network without fad-ing. Although the conversion method can be applied toany fading distribution, it is more tractable for handlinglarge-scale shadowing effects. Specifically, if one appliesthe conversion method to small-scale fading, the result-ing equivalent model will have no fading, thereby theLaplace transform-based approach can not be utilized.

2) The series representation method was used in[21] and [31]. This approach expresses the interferencefunctionals as an infinite series of higher order

derivative terms [32] given by the Laplace transform ofthe interference power. While the series representationmethod provides a tractable alternative for handlinggeneral fading, it often leads to situations where it isdifficult to derive closed form expressions.

3) The integral transform based approach was usedin [33]–[35], where either the Fourier transform (FT),Laplace transform (LT), characteristic function (CF)or moment generating function (MGF) is utilized.For instance, Gil-Pelaez’s inversion formula was usedin [33] to find the distribution of the SINR usingthe MGF. However, Gil-Pelaez’s inversion formulainvolves an integral over the complex plane and theMGFs of the related random variables may not alwaysexist. The Plancherel-Parseval theorem was used in[34] and [35] to calculate the expectation of an arbitraryfunction of the interference using the FT (or LT).Although the Plancherel-Parseval theorem provides ageneral framework, it often involves complex multi-foldintegration and results in intractable expressions.

Motivated by these approaches and their limitations, weadopt a stochastic geometric framework to facilitate the per-formance evaluation of D2D networks over generalized fadingchannels; namely, κ-μ and η-μ. We consider a D2D networkoverlaid upon a cellular network where the spatial locations ofthe mobile UEs as well as the base stations (BSs) are modeledas Poisson point processes (PPPs). The adopted frameworkcan evaluate the average of an arbitrary function of the SINR,thereby enabling the estimation of the average rate and outageprobability.

The main contributions of this paper may be summarizedas follows.

1) We consider generalized fading conditions, namely,(i) κ-μ and (ii) η-μ fading, to account for various small-scale fading effects, such as LOS/NLOS conditions,multipath clustering, and power imbalance betweenthe in-phase and quadrature signal components. Thesetwo models together encompass most of the popularfading models proposed in the literature. We utilize theseries representation of the κ-μ and η-μ distributionsto improve tractability and achieve closed formexpressions.

2) We analyze the Laplace transform of the interferenceover κ-μ and η-μ fading channels and derive a closedform expression for the D2D and cellular links. Byusing a channel inversion based power control, wederive the Laplace transform of the interference in aclosed form that does not involve an integral expression.

3) We exploit a novel stochastic geometric approach forevaluating the performance of D2D networks overgeneralized fading channels. This approach enablesus to evaluate the average of an arbitrary function ofthe SINR as a closed form expression. We invoke theproposed stochastic geometric approach to evaluatethe spectral efficiency and outage probability of D2Dnetworks and compare that to the performance ofconventional cellular networks. Furthermore, we studythe trade-off among a number of performance metrics,

Page 4: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

CHUN et al.: STOCHASTIC GEOMETRIC ANALYSIS OF D2D COMMUNICATIONS OPERATING OVER GENERALIZED FADING CHANNELS 4153

Fig. 1. System Model for Overlaid D2D Network.

which can provide invaluable insights that may be usedto optimize future network design.

The remainder of this paper is organized as follows. Wedescribe the system model in Section II and the generalizedfading models in Section III. We introduce the interferenceof cellular and D2D networks in Section IV, then utilizea stochastic geometric approach to evaluate the spectralefficiency and the outage probability of D2D networks inSection V. We present numerical results in Section VI andconclude the paper in Section VII with some closing remarks.

II. SYSTEM MODEL

A. Network Model

We consider a D2D network overlaid upon an uplink cellularnetwork where a UE can directly communicate with otherUEs without relying on the cellular infrastructure if a certaincriterion is met. The overlaid spectrum access scheme allocatesorthogonal time/frequency resources to the cellular and D2Dtransmitters by dividing the uplink spectrum into two non-overlapping portions. The overlay D2D network excludescross-mode interference between cellular and D2D UEs andachieves a reliable link quality at the cost of lower spec-trum utilization. Specifically, a fraction β of the spectrum isassigned for D2D communications and the remaining 1 −β isallocated to cellular communications, where 0 ≤ β ≤ 1.

Fig. 1 depicts a high level overview of the system modelwhere the locations of the nodes are modeled as a spatial pointprocess in R

2. The UEs are assumed to form a homogeneousPPP � ≡ {Xi }1 with intensity λ and each UE Xi hasassociated parameters that collectively form a marked PPP �̃as follows

�̃ = {(Xi , �i , Li , Pi )}, (1)

where Li is the distance between the i -th UE and its intendedreceiver (referred to henceforth as the link distance), andPi is the transmit power of the i -th UE. The parameter �i

indicates the inherent type of the i -th transmit UE which maybe a potential D2D UE with probability q = P(�i = 1),or a cellular UE with probability 1 − q , where q ∈ [0, 1].For notational simplicity, we denote by Lc the link lengthbetween a typical cellular UE and the associated BS. Similarly,

1 Xi will be used to denote both the i-th UE and the coordinate of itsposition.

Ld represents the link length between a typical D2D UE andthe D2D receiver UE. The receiver can be either a cellular BSor D2D receiver UE depending on the associated UE type.The cellular BSs are assumed to be uniformly distributed asPPP � with intensity λb. The D2D receiver UEs are randomlydistributed around their associated D2D UE according to thedistribution of the link length Ld , which is described laterin (6). The performance analysis is performed for the typicalreceiver, which is assumed to be located at the origin due tothe stationarity of this setup. The notations used in this paperare summarized in Table I.

B. Mode Selection and UE Classification

The operating mode of the UE Xi ∈ �̃ is determined bytwo factors; 1) the inherent type (�i ) and 2) the mode selectionpolicy. If �i = 0, then the UE Xi is a cellular UE and alwaysconnects to its closest BS (which is equivalent to the so-calledmaximum average received power association). If �i = 1, thenXi is a potential D2D UE which may use either cellular orD2D mode based on the adopted mode selection policy.

We assume a distance-based mode selection scheme [18].That is, a potential D2D UE chooses the D2D mode if theD2D link length is smaller than or equal to a predefined modeselection threshold θ , i.e., Ld ≤ θ . Otherwise, cellular modeis selected. Therefore, the complete set of transmit UEs �̃ canbe divided into two spatial point processes as follows

• UEs operating in cellular mode:

�c with intensity λc = [(1 − q) + qP(Ld > θ)] λ, (2)

• UEs operating in D2D mode:

�d with intensity λd = qP(Ld ≤ θ)λ. (3)

1) Cellular Mode: We assume full-buffer transmission andorthogonal multiple access in the cellular uplink implyingthat at most one transmitter is active per cell over a givenresource block. The locations of the active UEs (in the cellularmode) scheduled over the same resource block as the typicalreceiver are assumed to follow the point process �e

c ⊂ �c.Due to the restriction that at most one point of �e

c canlie in each cell of the Poisson Voronoi tessellation formedby � , it is not straightforward to characterize �e

c. This isone of the key reasons why the exact uplink analysis forthis setup has not yet been performed. Interested readers areadvised to refer to [36] for more detailed discussion on user

Page 5: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

4154 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 16, NO. 7, JULY 2017

TABLE I

COMMON SYSTEM PARAMETERS

distributions in cellular networks. For high user densities, onegenerative model that closely emulates this scenario whilealso being quite realistic from the actual system perspectiveis to assume that there is exactly one point of �e

c in eachcell of the Poisson Voronoi tessellation formed by � (alsoassumed to be uniformly distributed in that cell). Viewed thisway, �e

c can be thought of as a Poisson-Voronoi perturbedlattice [37]. However, due to the correlation between �e

cand � (which correlates various link distances), the exactanalysis for even this setup is also not known. That beingsaid, it is possible to capture some of this correlation byapproximating �e

c with a non-homogeneous PPP �̂c with adistance-dependent intensity function. This uplink model wasintroduced and exploited in [13] and [38]–[40] and has beenshown to provide a reasonable approximation for the SINRdistribution of the cellular link. Please refer to [13] and [38] formore details about the uplink problem and this approximationapproach.

Assumption 1: Given that the typical receiver is located atthe origin, the set of active interfering UEs �e

c in the cellularmode that are scheduled within the same resource block isapproximated by a non-homogeneous PPP �̂c with intensityλ̂c = λb

(1 − exp

(−πλbd2))

where ‖Xi‖ = d is the distancebetween the interfering UE and the origin, as illustrated inFig. 1(c). The link distances Lc and Li can be approximatelymodeled by the Rayleigh distribution [13] as follows

fLc (r) = 2πλbr exp(−λbπr2

),

P (Lc ≤ r) = 1 − exp(−λbπr2

),

(4)

fLi (r |d ) = 2πλbr exp(−λbπr2

)

1 − exp(−λbπd2

) , 0 ≤ r ≤ d, (5)

where Lc is the link distance between the typical cellularUE and the connected BS at the origin, Li represents thelink distance between the interfering cellular UE Xi andits associated BS, and ‖Xi‖ is the distance between theinterfering UE Xi and the BS located at the origin.2

2) D2D Mode: We model the D2D link length Ld using aRayleigh distribution [18]

fLd (r) = 2πλr

ξexp

(−πλr2

ξ

)

= 2πλ′r exp(−λ′πr2

),

P (Ld ≤ r) = 1 − exp(−λ′πr2

), r ≥ 0,

(6)

where λ′ = λξ and ξ is a fitting parameter that affects the

average D2D link distance. Specifically, the scale parameter

2Since each UE connects to the closest BS, the distance between aninterfering UE and the BS at the origin is larger than the interfering UE’s linkdistance, i.e., Li ≤ ‖Xi ‖. The interested reader is referred to [13] and [38] fora detailed description of (4) and (5). More discussions on the user distributionsappear in [36].

Page 6: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

CHUN et al.: STOCHASTIC GEOMETRIC ANALYSIS OF D2D COMMUNICATIONS OPERATING OVER GENERALIZED FADING CHANNELS 4155

of the Rayleigh distribution in (6) is σ =√

ξ2πλ and the

average D2D link distance is given by E [Ld ] = σ√

π2 =

√ξ

4λ ,

i.e., ξ = 4λE [Ld ]2. D2D mode utilizes ALOHA with transmitprobability ε on each time slot, where 0 ≤ ε ≤ 1. Since thepotential D2D UEs in D2D mode follow a location indepen-dent thinning process [18], the set of UEs operating in theD2D mode is distributed according to a homogeneous PPP �d

with intensity λd = qP(Ld ≤ θ)λ, which is independentto the set of UEs in the cellular mode. Similarly, due tothe location independent thinning induced by the ALOHAscheme, the set of active interfering UEs that gain access tothe channel resource is distributed as a homogeneous PPPε�d with intensity ελd , where ε�d is a subset of �d , i.e.,ε�d ⊂ �d .

Assumption 2: In order to maintain tractability, we assumethat ε�d and �̂c are independent.

C. Channel Inversion-Based Power Control

The received power at the origin from the UE Xi isW = Pi τ‖Xi‖−α Gi , where Pi is the transmit power of theUE Xi , ‖Xi‖ is the distance from Xi to the origin, α is thepath-loss exponent, τ is the path-loss intercept at unit distance‖Xi‖ = 1, and Gi represents the small-scale fading.3 Thecoefficients {Gi } of each link are assumed to be independentof one another.

We assume channel inversion based power control, i.e.,Pi = Li

α . Then, the received power is W = τGi (Li/‖Xi‖)αfor an interference link and W = τGi for the intended link.The transmit power of the UEs operating in the cellular modeXi ∈ �̂c is Pc = Lα

c , whereas that of the potential D2D UEs inthe D2D mode Xi ∈ �d is Pd = Lα

d given that Ld ≤ θ . Sincea potential D2D UE may use either a D2D mode or a cellularmode, for the purpose of our calculations, its transmit powercan be interpreted as the weighted average of the two operatingmode events, i.e., P̄d = P(Ld ≤ θ)Pd + P(Ld > θ)Pc.Higher order moments of the transmit power for each modeare evaluated in the following lemma.

Lemma 1: The l-th moments of the transmit power of acellular UE (Pc), a potential D2D UE in D2D mode (Pd ),and a potential D2D UE (P̄d) are respectively given by

E

[Pc

l]

= �( l

δ + 1)

(λbπ)lδ

,

E

[Pd

l]

= 1

(λ′π)lδ

[γ( l

δ + 1, λ′πθ2)

1 − exp(−λ′πθ2

)

]

,

E

[P̄l

d

]= exp

(−λ′πθ2)

(λbπ)lδ

(l

δ+ 1

)

+ 1

(λ′π)lδ

γ

(l

δ+ 1, λ′πθ2

),

(7)

where δ = 2α , l > 0 is a positive real-valued constant, λ′ = λ

ξ ,θ is the mode selection threshold, �(t) is the gamma function,

3We have isolated and focused on studying the impact of the smallscale fading upon the system model proposed here. Nonetheless, themodel can be readily adapted to include shadowing by using the approachin [29, Lemma 1].

TABLE II

SPECIAL CASES OF THE κ -μ AND η-μ FADING MODELS

and γ (s, x) is the lower incomplete gamma function (SeeAppendix I).

Proof: See Appendix II. �Under this assumption, the received SINR for the two modes

at the origin are given by⎧⎪⎪⎪⎪⎪⎨

⎪⎪⎪⎪⎪⎩

D2D : SINRd = G0∑

X j ∈ε�d\{X0}G j Lα

j ‖X j‖−α + N,

Cellular : SINRc = G0∑

X j ∈�̂c\{X0}G j Lα

j ‖X j ‖−α + N,

(8)

where X0 represents the typical UE, G0 is the channelcoefficient between the typical UE and the origin and N = N0

τis determined by the noise power spectral density N0 and thereference path-loss τ at a unit distance.

III. THE κ -μ AND η-μ FADING MODELS

The physical channels of D2D networks are often character-ized as inhomogeneous environments with clusters of scatteredwaves [22]. For example, strong line-of-sight (LOS) com-ponents, correlated in-phase and quadrature scattered waveswith unequal-power, and non-circular symmetry are frequentlyobserved in the physical channel of wireless networks [25].Therefore, to evaluate the transmission performance over real-istic channels, we adopt two very general fading distributionswhich together can model both homogeneous and inhomoge-neous radio environments. These are:

1) The κ-μ Distribution: The κ-μ distribution representsthe small-scale variation of the fading signal under LOS con-ditions, propagated through a homogeneous, linear, circularlysymmetric environment [23]–[25]. The κ-μ distribution isa general fading distribution that includes Rayleigh, Rician,Nakagami-m, and One-sided Gaussian distributions as specialcases (See Table II).

The received signal in a κ-μ fading channel consists of clus-ters of multipath waves, where the signal within each clusterhas an elective dominant component and scattered waves withidentical powers. The parameters κ and μ are related to thephysical properties of the fading channel: κ represents the ratiobetween the total power of the dominant components and thetotal power of the scattered waves, whereas μ is the numberof multipath clusters.4

4Note that μ is initially assumed to be a natural number, however for theκ-μ fading model, this restriction is relaxed to allow μ to assume any positivereal value.

Page 7: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

4156 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 16, NO. 7, JULY 2017

The PDF, l-th moment and Laplace transform of G arerespectively given by [23], [24], [41]

fG(x) = μ xμ−1

2

κμ−1

2 eμκ �μ+1

2κμ

e− x

�κμ Iμ−1

(2√

κμ

�κμx

),

E

[Gl

]= �l

κμ

eμκ

�(μ + l)

�(μ)1 F1(μ + l; μ; μκ),

LG(s) = E[exp(−sG)

]

= (1 + s�κμ

)−μ exp

(

− μκ

1 + 1s�κμ

)

,

(9)

where w̄ = E[G], κ , μ and l are positive real values,�κμ � w̄

μ(1+κ) , (x)n = �(x+n)�(x) represents the Pochhammer

symbol, Iν(x) is the modified Bessel function of the first kind,and 1 F1(a; b; x) is the confluent hypergeometric function.

2) The η-μ Distribution: The η-μ distribution is used torepresent small scale fading under non-line-of-sight (NLOS)conditions in inhomogeneous, linear, non-circularly symmetricenvironments [23], [26]. It is a general fading distribution thatincludes Hoyt (Nakagami-q), One-sided Gaussian, Rayleigh,and Nakagami-m as special cases (See Table II).

The received signal in an η-μ fading channel is composed ofclusters of multipath waves. The in-phase and quadrature com-ponents of the fading signal within each cluster are assumed tobe either independent with unequal powers or correlated withidentical powers. The parameter η denotes the scattered-wavepower ratio between the in-phase and quadrature componentsand 2μ represents the real valued extension of the number ofmultipath clusters.

The PDF, l-th moment and Laplace transform of G arerespectively given by [23], [24], [41]

fG (x) = 2√

πμμ+ 12 hμ

�(μ)H μ− 12 w̄μ+ 1

2

xμ− 12 e

− x�ημ Iμ− 1

2

(x

�ημ

),

E

[Gl

]= �l

ημ

�(2μ + l)

�(2μ)

× 2 F1

(

μ + l

2+ 1

2, μ + l

2; μ + 1

2;(

H

h

)2)

,

LG(s) = 1

[(1 + s�ημ

)2 −(

H

h

)2]−μ

,

(10)

where w̄ = E[G], η, μ and l are positive real values,5

h = 2+η−1+η4 , H = η−1−η

4 , �ημ � w̄2μh and 2 F1(a, b; c; x)

is the Gaussian hypergeometric function.

IV. INTERFERENCE MODEL OF THE

OVERLAY D2D NETWORK

In this section, we introduce the interference of cellular andD2D links and derive the Laplace transform of the interferencefor the generalized fading channels considered here.

5h and H have two formats: format 1 is h = 2+η−1+η4 , H = η−1−η

4 for0 < η < ∞, whereas format 2 is h = 1

1−η2 , H = η

1−η2 for −1 < η < 1. Inthis paper, we will only consider format 1 for notational simplicity.

A. D2D Mode

Let us consider a D2D link, where co-channel interferenceis generated by potential D2D UEs operating in D2D mode.Based on (8), the effective interference at the intended D2Dreceiver is

Id =∑

X j ∈ε�d\{X0}G j Lα

j ‖X j‖−α. (11)

The point process �d in (11) is similar to the D2D processin [18] since both models assume distance-based modeselection as well as Rayleigh distributed D2D link lengths.Nonetheless, the fading model in (11) affects the distrib-ution of the aggregate interference and the correspondingdistribution parameters, which is characterized by the Laplacetransform of Id as follows.

Lemma 2: For overlay D2D, the Laplace transform of theinterference at the D2D receiver is

LId (s) = exp(−cd · sδ

), (12)

where the constant terms cd for the κ-μ and η-μ fadingdistributions are respectively given by⎧⎪⎪⎪⎪⎪⎪⎪⎨

⎪⎪⎪⎪⎪⎪⎪⎩

κ − μ : c0�δκμ

eμκ

(μ + δ − 1

δ

)

1 F1(μ + δ; μ; μκ),

η − μ : c0�δημ

(2μ + δ − 1

δ

)

×2 F1

(μ + δ + 1

2, μ + δ

2; μ + 1

2; H 2

h2

),

(13)

with c0 � qεξsinc(δ) · γ

(2, λπθ2 · ξ−1

), δ = 2

α , w̄ = E[G], thefitting parameter ξ and ALOHA transmit probability ε.

Proof: See Appendix III. �B. Cellular Mode

Based on Assumption 1, we model the interference atthe cellular BS by a non-homogeneous PPP �̂c with inten-sity λb

(1 − exp

(−πλbd2))

[13], [38], where the interferencein (8) is

Ic =∑

X j ∈�̂c\{X0}G j Lα

j ‖X j ‖−α, (14)

and the Laplace transform of Ic is evaluated as follows.Lemma 3: For overlay D2D, the Laplace transform of the

interference at the cellular BS is

LIc (s) = exp (−W (s)) , (15)

where W (s) for each channel is respectively given by

W (s) = μ · s �κμ

(1 − δ)eμκ 2 F1(μ + 1, 1 − δ; 2 − δ; −s�κμ)

+ (1 + s�κμ

)−μ exp

(−μκ · s�κμ

s�κμ + 1

)− 1,

(16)

for the κ-μ fading and

W (s) = 2s�ημhμ

(1 − δ)H 2μ

∞∑

n=μ

n

(H

h

)2n (n − 1

μ − 1

)

× 2 F1(1, 1 − δ − 2n; 2 − δ; −s�ημ)

+ h−μ

( (1 + s�ημ

)2 −(

H

h

)2)−μ

− 1,

(17)

Page 8: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

CHUN et al.: STOCHASTIC GEOMETRIC ANALYSIS OF D2D COMMUNICATIONS OPERATING OVER GENERALIZED FADING CHANNELS 4157

for the η-μ fading, δ = 2α , �κμ � w̄

μ(1+κ) and �ημ � w̄2μh .

Proof: See Appendix IV. �Remark 1: The Laplace transform of the interference in the

cellular uplink is invariant to the node density λb. A similarbehavior was observed in [38] for Rayleigh fading and Lemma3 extends this invariance property to any fading model that canbe represented by the κ-μ and η-μ distributions.

Remark 2: The invariance property and analyticaltractability of Lemma 3 are special properties that onlyhold for the full channel-inversion based power control, i.e.,Pc = Lα

c . If we use fractional power control [13], [38], i.e.,Pc = Lαε

c with 0 ≤ ε ≤ 1, then the Laplace transform ofthe aggregate interference depends on the BS density andthe integral in (48) can not be easily partitioned into twosingle integral expressions, which significantly complicatesthe derivation.

V. STOCHASTIC GEOMETRIC FRAMEWORK FOR

SYSTEM PERFORMANCE EVALUATION

To evaluate the network performance, one normally needsto calculate the average of some function of the SINR γfor a given SINR distribution fγ (x). The average of anarbitrary function of the SINR represents the most commonlyused characteristics, such as the spectral efficiency, errorprobability, statistical moments, etc. Quite often this can bea challenging task because, within the stochastic geometryframework, a closed form expression for fγ (x) is known onlyfor some special cases, such as Rayleigh [16] or Nakagami-mfading [31]. Instead, we can evaluate the Laplace transformof the interference LI (s) using the PDF of the channel fG (x).

To this end, we exploit a novel method to evaluate theaverage of an arbitrary function of the SINR by usingLI (s) and fG (x) only, without fγ (x). The original idea wasproposed by Hamdi [42] for Nakagami-m fading and wasutilized in [43] to evaluate the network performance overcomposite Nakagami-m fading and Log-Normal shadowingchannels, composite Rice fading and Log-Normal shadowingchannels and correlated Log-Normal shadowing. In this paper,we apply Hamdi’s approach to κ-μ and η-μ fading, therebyextending the applicability to the majority of the fading modelsknown in the literature.

Theorem 1: The average E

[g(

G0I+N

)]of an analytic func-

tion g(x) can be evaluated as follows

E

[g

(G0

I + N

)]= g(0) +

∞∑

n=0

(μκ)n

n! eμκϕκμ(n), (18)

for the κ-μ distributed signal envelope, where κ , μ, η are non-negative real valued constants, ϕκμ(n) and gi (z) represent thefollowing expressions

ϕκμ(n) �∫ ∞

0gμ+n (z) LI

(z

�κμ

)exp

(− Nz

�κμ

)dz,

gi (z) = 1

�(μ + n)

di

dzi

(zμ+n−1g(z)

).

(19)

Similarly, for the η-μ faded signal envelope,

E

[g

(G0

I + N

)]= g(0) +

∞∑

n=0

anϕημ(n),

an =(

n + μ − 1

n

)(H/h)2n

hμ,

(20)

where ϕημ(n) and gi(z) denote the following expressions

ϕημ(n) �∫ ∞

0g2μ+2n (z) LI

(z

�ημ

)exp

(− Nz

�ημ

)dz,

gi (z) = 1

�(2μ + 2n)

di

dzi

(z2μ+2n−1g(z)

).

(21)

Proof: See Appendix V. �Theorem 1 provides a general framework to evaluate arbi-

trary system performance measures when the received signalpower G0 follows either a Gamma distribution or a mixtureof Gamma distributions, which includes κ-μ and η-μ and themajority of the most popular linear fading models utilized inthe literature.6 We note that Theorem 1 makes no assumptionon the underlying distribution of the constituent interferencechannels. Therefore it can be applied even when the intendedsignal and interfering links are described by different fadingmodels.

In the following, we apply Theorem 1 and Lemmas 1-3to evaluate various performance measures for overlaid D2Dnetworks.

A. Spectral Efficiency

The spectral efficiency R of an overlaid D2D network isdetermined in part by the amount of accessible radio resources,denoted by �, to each operating mode as follows

R = � · E

[log

(1 + G0

I + N

)]. (22)

In D2D mode, due to the ALOHA medium access, ε percentof the transmitting UEs will gain access to the spectrumresource for the D2D transmission, which is β fraction ofthe available spectrum. In cellular mode, 1 − β fraction ofthe available spectrum is allocated to the cellular transmissionand only one uplink transmitter within each cell can stayactive at any given resource block due to the orthogonalmultiple access. Thereby, the amount of accessible spectrumresource is �d = βε for the D2D transmission and �c =(1 − β)E

[ 1M

]for the cellular transmission, where M is the

number of potential cellular UEs within a cell. The average

E[ 1

M

]is evaluated in [18] as E

[ 1M

] = λbλc

(1 − e

− λcλb

)where

λc = [(1 − q) + qP(Ld > θ)] λ.Since a potential D2D UE may choose either cellular or

D2D mode, the spectral efficiency of an arbitrary poten-tial D2D UE is the average of the two operating modes.By using Theorem 1 and Lemmas 2, 3, the average termE

[log

(1 + G0

I+N

)]in (22) can be calculated and the spectral

6The interested reader is referred to [44] for a detailed description of thefading models that can be represented as a mixture of Gamma distributions.

Page 9: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

4158 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 16, NO. 7, JULY 2017

efficiency of the D2D and cellular modes can be evaluated asfollows.

Theorem 2: For an overlaid D2D network, the spectralefficiency of a cellular UE (Rc), a potential D2D UE operatingin D2D modes (Rd), and a potential D2D UE (R̄d ) are givenby

Rc =(1 − β)

(1 − e

− λcλb

)λb

λcE

[log

(1 + G0

Ic + N

)],

Rd = βεE

[log

(1 + G0

Id + N

)],

R̄d = P (Ld > θ) Rc + P (Ld ≤ θ) Rd ,

(23)

where β is the spectrum partition factor, ε is the ALOHAtransmit probability, ξ is a fitting parameter for the D2D linklength distribution and P (Ld ≤ θ) = 1 − exp

(−λπθ2 · ξ−1)

from (6). The average term E

[log

(1 + G0

I+N

)]can be evalu-

ated using Theorem 1 as follows

E[log (1 + γ )

] =

⎧⎪⎪⎪⎪⎨

⎪⎪⎪⎪⎩

1

eμκ

∞∑

n=0

(μκ)n

n! ϕκμ(n) for κ − μ

∞∑

n=0

anϕημ(n) for η − μ

(24)

where an is defined in (21), ϕκμ(n) and ϕημ(n) are definedin Theorem 1, LI (s) is given by (12) for the D2D modeand (15) for the cellular mode. The derivative terms gi (x)for the logarithm function g(x) = log(1 + SINR) is evaluatedin [42] as gi (x) = 1

x

(1 − 1

(1+x)i

).

Remark 3: We observe that Rc in (23) is a decreasingfunction of the spectrum partition factor β, whereas Rd and R̄d

are increasing functions of β. For a UE operating in cellularmode, Rc is an increasing function of the mode selectionthreshold θ : Given a large θ , more UEs will choose the D2Dmode and the average number of the cellular UEs in a cellE [N] will decrease. On the other hand, Rd is a decreasingfunction of θ due to the increased D2D interference. Since R̄d

is the average of Rc and Rd , R̄d is concave function of θ .(See Section VI)

Remark 4: Theorem 2 can be applied to the general casewhen different types of fading affect the intended and interfer-ing links. For example, if the fading observed in the intendedlink is κ-μ distributed and that of the interference link is η-μdistributed, then the average of the logarithm function canbe evaluated using (24) where the Laplace transform of theinterference LI (s) is given by (12) and (13) for the D2D mode(or (15) and (17) for the cellular mode).

Remark 5: Theorem 1 can be utilized to evaluate anyperformance measures that are represented as a functionof SINR. The analytic function g(x) and the correspondinggi (x) for several performance measures are summarized inTable III,7 where one can substitute i = μ+n to gi (x) for theκ-μ distribution and i = 2μ + 2n for the η-μ distribution.

7The detailed proof of Table III is given in [42].

TABLE III

DIFFERENT g(x) AND gi (x) FOR EVALUATING VARIOUS SYSTEM MEA-SURES

B. Outage Probability

The outage probability is defined for the D2D and cellularmode as follows

Po(To) =

⎧⎪⎪⎨

⎪⎪⎩

P

(G0

Id + N< To

)for D2D mode,

P

(G0

Ic + N< To

)for Cellular mode,

(25)

with a predefined SINR threshold To. Although Theorem 1presents a generalized framework to calculate any performancemeasure that is represented as an analytic function of theSINR, it can not be used for evaluating SINR distributionbased performance measures, such as the outage probabil-ity or rate coverage probability. For the outage probability,g(x) = I(x < T0) is a step function and its higher orderderivative is an unbounded impulse signal.

Instead of using Theorem 1, we use the series representationof the κ-μ and η-μ fading distributions and employCampbell’s theorem [12], [14] to represent the SINRdistribution in terms of the Laplace transform of theaggregate interference as follows. The SINR distributionsP (SINR < To) in (25) can be evaluated as

∞∑

n=0

∞∑

m=0

bκμn,mE

[(To (I + N )

)n+μ+m

e− To(I+N )�

]

=∞∑

n=0

∞∑

m=0

bκμn,mEt

[tn+μ+m e−t] ,

(26)

for κ-μ fading, where we applied (60) with To(I+N )� = t ,

�κμ = w̄μ(1+κ) and bκμ

n,m = (μκ)ne−μκ

n!·�(n+μ+m+1) . The termEt

[tne−t

]in (26) can be evaluated as follows

Et[tne−t] = (−1)n ∂nLt (s)

∂sn

∣∣∣∣s=1

,

Lt (s) = E

[e−s To(I+N )

]= e− sTo N

� LI

(sTo

),

(27)

where LI (s) is derived in Lemma 2 for the D2D linkand Lemma 3 for the cellular link. Therefore, the outageprobability of an overlaid D2D network is derived as follows

P (SINR < To)

=

⎧⎪⎪⎪⎪⎨

⎪⎪⎪⎪⎩

∞∑

n=0

∞∑

m=0

bκμn,mK (n+m+μ) (To) for κ − μ,

∞∑

n=0

∞∑

m=0

bημn,mK (2n+2μ+m) (To) for η − μ,

(28)

Page 10: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

CHUN et al.: STOCHASTIC GEOMETRIC ANALYSIS OF D2D COMMUNICATIONS OPERATING OVER GENERALIZED FADING CHANNELS 4159

Fig. 2. Spectral efficiency of an overlaid D2D network for various channel parameters (κ,μ, w̄); (a)-(h) assume λb = 1π5002 , λ = 10λb , ε = 0.8, α = 4,

β = 0.2, θ = 100m, q = 0.2 and N = N0τ = −60 (dBm/Hz).

Page 11: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

4160 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 16, NO. 7, JULY 2017

where (61) is used for the η-μ fading and K (l) (To) denotesthe higher order derivative terms as

K (l) (To) = (−1)l ∂ l

∂sl

[e− sTo N

� LI

(sTo

)]∣∣∣∣s=1

. (29)

The outage probability of the D2D mode (or cellular mode)can be evaluated by substituting LId (s) from Lemma 2(or LIc (s) from Lemma 3) into (29). The higher orderderivative in (29) can be numerically evaluated by usingFaa di Bruno’s formula [45], as used in some relatedstudies [31], [46].

VI. NUMERICAL RESULTS

In the following, we compare numerical results for differentfading models. All of the simulations were carried out usingMATLAB with the following parameters: BS node intensityλb = 1

π5002 , UE node intensity λ = 10π5002 , ALOHA transmit

probability ε = 0.8, path-loss exponent α = 4, spectrumpartition factor β = 0.2, mode selection threshold θ = 100m,probability of potential D2D UEs q = 0.2, and effectivenoise N = N0

τ = −60 (dBm/Hz), where N0 is the noisespectral density and τ is the reference path-loss at a unitdistance. Without loss of generality, we assume identicalfading parameters across the intended and interference links.

We have assumed ξ = λ in Figs 2(a)-(d) and respectivelyused w̄ = 1 for Fig. 2(a), μ = 1.2 for Fig. 2(b), μ = 1for Fig. 2(c) and κ = 1 for Fig. 2(d). We observe thata dominant LOS component (large κ), a large number ofscattering clusters (large μ) and higher average of the channelcoefficients (large w̄) collectively achieve a higher spectralefficiency. In a weak LOS condition, the D2D links achievehigher spectral efficiency than the cellular links because, onaverage, D2D links have a closer transmission range thancellular links. In a strong LOS condition, the cellular linksachieve higher spectral efficiency than the D2D links. In thiscase, the rate performance of the D2D link deteriorates due tothe increased interference power from closely located D2DUEs. On the other hand, cellular links employ orthogonalmedium access to ensure only one active transmitter withinthe cell at a given resource block. The received signal ofthe cellular links is protected against the elevated interferencepower, achieving higher cellular rate than the D2D links. Wealso note that the spectral efficiency is an increasing functionof w̄. Here, the rate increment of the D2D link is notable overthe whole range of κ , whereas the increment of cellular linkis distinguishable only after κ ≥ 5.

In Figs 2(e)-(h), we have assumed ξ = 1 and w̄ = 1 and usedμ = 1 for Fig. 2(e), κ = 2 for Fig. 2(f), μ = 1 for Fig. 2(g) andκ = 1 for Fig. 2(h), respectively. Since the spectral efficiencyof a cellular UE Rc is a decreasing function of the spectrumpartition factor β (and R̄d is an increasing function of β),there is a crossover point β∗ between the spectral efficienciesof the D2D and cellular link, which depends on the fadingparameters. On average, D2D links have a closer transmissionrange than cellular links, hence if a minimum amount ofspectrum is allocated to the D2D link, which is β ≥ β∗,D2D UEs achieve higher transmission rates than cellular UEs.

On the other hand, if β < β∗, D2D transmission does nothave enough radio resources to achieve rate gains against thecellular link. As the number of scattering clusters increases,the spectral efficiency of the cellular UE becomes larger thanthat of the D2D UE and the crossover point β∗ shifts towardsthe right.

Figs 2(g)-(h) show the effect of the mode selection thresholdθ on the spectral efficiency for κ-μ fading. As shown in thefigure, increasing θ results in less potential D2D UEs choosingto operate in the cellular mode, leading to a higher averagerate for the cellular link. The spectral efficiency of a potentialD2D UE in D2D mode Rd is a decreasing function of θ dueto the increased co-channel interference over the D2D link.Since the spectral efficiency of a potential D2D UE R̄d is aweighted average of Rc and Rd , R̄d is concave function of θas indicated in Figs 2(g)-(h).

VII. CONCLUSION

In this paper, we have considered a D2D network overlaidon an uplink cellular network, where the locations of themobile UEs as well as the BSs are modeled as PPP. In partic-ular, we exploited a novel stochastic geometric approach forevaluating the D2D network performance under the assump-tion of generalized fading conditions described by the κ-μand η-μ fading models. Using these methods, we evaluatedthe spectral efficiency and outage probability of the overlaidD2D network. Specifically, we observed that the D2D linkprovides higher rates than those of the cellular link whenthe spectrum partition factor was appropriately chosen. Underthese circumstances, setting a large mode selection thresholdwill encourage more UEs to use the D2D mode, whichincreases the average rate at the cost of a higher level ofinterference and degraded outage probability. However, forsmaller values of the spectrum partition factor, the D2D linkhas smaller rates than those of the cellular link. In terms ofthe fading parameters, a dominant LOS component (large κ)or a large number of scattering clusters (large μ) improvethe network performance, i.e., a higher rate and lower outageprobability are achieved. Finally, we also provided numericalresults to demonstrate the performance gains of overlaid D2Dnetworks compared to traditional cellular networks, where thelatter corresponds to the β = 0 case.

APPENDIX I

For conciseness, in this appendix, we summarize the oper-ational equalities of some special functions, which are usedin this paper.8 The following properties hold for non-negativereal constants x and y

�(x)�

(x + 1

2

)= 21−2x√π�(2x),

(x

y

)= �(x + 1)

�(y + 1)�(x − y + 1),

�(1 + x)�(1 − x) = 1

sinc (x), �

(1

2

)= √

π. (30)

8Most of the expressions in Appendix I were introduced in [47], except for(38) and (39), which were proved in [48].

Page 12: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

CHUN et al.: STOCHASTIC GEOMETRIC ANALYSIS OF D2D COMMUNICATIONS OPERATING OVER GENERALIZED FADING CHANNELS 4161

The following properties of the hypergeometric function holdfor real constants a, b and c

1 F1(a; b; t) = et1 F1(b − a; b; −t),

2 F1(a, b; c; z) = (1 − z)−a2 F1

(a, c − b; c; z

z − 1

), (31)

∫ ∞

0

tα−1

ect 1 F1(a; b; −t)dt = �(α)

cα 2 F1

(a, α; b; −1

c

), (32)

((a − b)z + c − 2a) 2 F1(a, b; c; z)

= (c − a) 2 F1(a − 1, b; c; z) + a (z − 1) 2 F1(a + 1, b; c; z),

(33)∫ ∞

0xd−1e−bxγ (c, ax) dx

= ac�(d + c)

c(a + b)d+c 2 F1

(1, d + c; c + 1; a

a + b

), (34)

where (32) holds for α > 0 and c > 0, (34) holds for a+b > 0,b > 0, and c + d > 0. The modified Bessel function Iν(x)and incomplete gamma function γ (s, x) = ∫ x

0 ts−1e−t dt canbe represented by the hypergeometric function with arbitrarypositive real constants ν, s, b as follows

Iν−1(2√

bt) = 0 F1(; ν; bt)

�(ν)(bt)

ν−12 ,

γ (s, x) = s−1xse−x1 F1(1; 1 + s; x),

(35)

where

Iν(x) =∞∑

n=0

1

n! �(n + ν + 1)

( x

2

)2n+ν,

γ (s, x)

�(s)=

∞∑

n=0

xs+ne−x

�(s + n + 1),

(36)

0 F1(; ν; bt) = lima→∞ 1 F1

(a; ν; bt

a

). (37)

Appell’s function F2 (·) is defined via the Pochhammer symbol(x)n = �(x+n)

�(x) as follows

F2(α; β, β ′; γ, γ′; x, y

) =∞∑

m=0

∞∑

n=0

(α)m+n (β)m(β ′)

n

m! n! (γ )m (γ′)nxm yn.

(38)Appell’s function can be reduced to the hypergeometricfunction using the following properties

F2(d; a, a′; c, c′; 0, y

) = 2 F1(d, a′; c′; y),

F2(d; a, a′; c, c′; x, 0

) = 2 F1(d, a; c; x).(39)

The following integration holds under the followingconstraints d > 0 and |k| + |k|′ < |h|

∫ ∞

0td−1e−ht

1 F1(a; b; kt)1 F1(a′; b′; k ′t)dt

= h−d�(d)F2

(d; a, a′; b, b′; k

h,

k ′

h

).

(40)

Gaussian-Laguerre quadratures can be used to evaluate theintegral for a given analytic function g(x) as

∫ ∞

0e−x g(x)dx =

N∑

n=1

wn f (xn) + RN , (41)

where xn and wn are the n-th abscissa and weight of the N-thorder Laguerre polynomial, respectively. The remainder RN

rapidly converges to zero [47].

APPENDIX II

In this appendix, we provide a proof for Lemma 1. First,the transmit power of a cellular UE is Pc = Lc

α and the pdfof Lc is given by (4). Then, the l-th moment of Pc is givenby

E

[Pc

l]

=∫ ∞

0

(xα

)lfLc (x)dx

= 2πλb

∫ ∞

0xαl+1 exp

(−λbπx2

)dx

= (λbπ)−lδ �

(l

δ+ 1

),

(42)

where we applied a change of variable, i.e., λbπx2 = t , andused the notion of the gamma function �(t) = ∫∞

0 xt−1e−xdxin the last equality. Similarly, the transmit power of D2D modeis Pd = Ld

α , given that the criterion Ld ≤ θ is met. Then,the l-th moment of Pd is given by

E

[Pd

l]

= E

[Ld

αl |Ld ≤ θ]

=∫ θ

0xαl fLd (x)

P (Ld ≤ θ)dx

= 2πλ′

1 − e−λ′πθ2

∫ θ

0xαl+1 exp

(−λ′πx2

)dx

= 1

(λ′π)lδ

[γ( l

δ + 1, λ′πθ2)

1 − e−λ′πθ2

]

,

(43)

where we substituted (6) in the second equality, applied achange of variable, i.e., λ′πx2 = t , and used the notion ofthe lower incomplete gamma function γ (s, x) = ∫ x

0 ts−1e−t dtwith λ′ = λ

ξ in the last equality. Since a potential D2D UEmay choose either cellular or D2D mode, the average transmitpower of an arbitrary potential D2D UE is the average of thetwo operating modes as follows

E

[P̄l

d

]= P(Ld ≤ θ)E

[Pd

l]

+ P(Ld > θ)E[

Pcl]. (44)

where we obtain (7) by substituting (42) and (43) in (44). Thiscompletes the proof.

APPENDIX III

In this appendix, we provide a proof for Lemma 2. TheLaplace transform of the interference at the D2D receiverLId (s) is evaluated as follows

exp

(−2πελd

∫ ∞

0

(1 − E

[exp

(−sGLαd r−α

)])rdr

), (45)

where we considered the location independent thinning byALOHA transmit probability ε and used the probability gen-erating functional (PGFL) of PPP [12]. Then, by applying achange of variable, i.e., sGLα

d r−α = t , and integration byparts, the Laplace transform LId (s) simplifies as

exp

(−πελdE

[(sG)δ L2

d

∫ ∞

0δt−δ−1 (1 − e−t) dt

])

= exp(−πελd sδ� (1 − δ)E

[L2

d

]E[Gδ

]),

(46)

Page 13: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

4162 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 16, NO. 7, JULY 2017

where we used the gamma function �(t) = ∫∞0 xt−1e−xdx in

the last equality. Hence, (13) for κ-μ fading can be obtained bysubstituting λd = qP(Ld ≤ θ)λ, (7), (9) into (46) as follows

cd = πελd� (1 − δ)E

[L2

d

]E[Gδ

]

= qεξ

sinc (δ)· γ

(2, λπθ2 · ξ−1

)1 F1(μ + δ; μ; μκ)

eμκ

×(

(1 + κ)μ

)δ (μ + δ − 1

δ

), (47)

where we used (30) in the last equality. Similarly, the Laplacetransform of Id for the η-μ distribution can be evaluated byusing (10). This completes the proof.

APPENDIX IV

In this appendix, we provide a proof for Lemma 3. TheLaplace transform of the interference at the cellular BS LIc (s)is evaluated as follows [13], [38]

LIc (s) = exp (−2πλbφ(s)) , (48)

where φ(s) is defined as follows

φ(s) =∫ ∞

0

(1 − e−πλb x2

)E

[1 − e−sG Lα

j x−α]

xdx

=∫ ∞

0

∫ x

0re−πλbr2

E

[1 − e−sGrαx−α

]dr · xdx

=∫ ∞

0re−πλbr2

∫ ∞

rx · E

[1 − e−sGrα x−α

]dx dr

= I1 · I2, (49)

where the PGFL of non-homogeneous PPP with intensityfunction λb

(1 − exp

(−πλbd2))

is used in the first equality,(5) is applied in the second equality, Fubini’s theorem [49] isutilized to change the order of integration in the third equalityand a change of variable, i.e., (r/x)2 = t , is used in the lastequality. I1 and I2 in (49) represent the following integrals

I1 �∫ ∞

0r3 exp

(−πλbr2

)dr,

I2 � EG

{∫ 1

0t−2

(1 − exp

(−sGt

))dt

}, (50)

which convert the double integral into a multiplication of twosingle integrals that are independent to each other.

The first integral I1 in (49) can be evaluated by using achange of variable, i.e., πλbr2 = t , and the definition of thegamma function �(t) = ∫∞

0 xt−1e−xdx as follows

I1 = 1

2 (πλb)2

∫ ∞

0t exp (−t) dt = �(2)

2 (πλb)2 = 1

2 (πλb)2 .

(51)

The second integral I2 can be simplified by using a change ofvariable, i.e., sGt

1δ = u, integration by parts and the definition

of the lower incomplete gamma function γ (s, x) as follows

I2 = EG

{(sG)δ

∫ sG

0δu−δ−1 (1 − exp (−u)) du

}

= EG{(sG)δ γ (1 − δ, sG) − (1 − exp (−sG))

}

= I3 + LG(s) − 1,

(52)

where LG(s) represents the Laplace transform of the channelcoefficient G and I3 � EG

[(sG)δ γ (1 − δ, sG)

].

For κ-μ fading, the integral I3 can be evaluated as follows

I3 = (s�)δ (μκ)1−μ

2 e−μκ

×∫ ∞

0tδ+

μ−12 γ (1 − δ, s�t)Iμ−1

(2√

μκ t)

e−t dt

= s� · e−μκ

(1 − δ)�(μ)

×∫ ∞

0tμe−(1+s�)t

1 F1(1; 2 − δ; s�t)0 F1(; μ; μκ t)dt

= s�μ·e−μκ

(1 − δ)2 F1(μ + 1, 1 − δ; 2 − δ; −s�),

(53)

where we applied (9) with �κμ = w̄μ(1+κ) in the first equality,

utilized (35) in the second equality, then used (37), (39)and (40) in the last equality. By substituting LG(s) of (9), (51),(52), (53) to (48), we obtain (16) for the κ-μ distribution.

Similarly for η-μ fading,

I3 = sδ

∞∑

n=0

(H

h

)2n (n + μ − 1

μ − 1

)�−2n−2μ

�(2n + 2μ)

×∫ ∞

0xδ+2n+2μ−1γ (1 − δ, sx)e− x

� dx

= s�

hμ(1 − δ)

∞∑

n=0

(2n + 2μ)

(H

h

)2n (n + μ − 1

μ − 1

)

× 2 F1(1, 1 − δ − 2n − 2μ; 2 − δ; −s�)

= 2s�hμ

(1 − δ)H 2μ

∞∑

n′=μ

n′(

H

h

)2n′ (n′ − 1

μ − 1

)

× 2 F1(1, 1 − δ − 2n′; 2 − δ; −s�),

(54)

where we used the series representation of the Besselfunction (36) in the first equality, applied (34) in the secondequality and used a change of variable, i.e., n +μ = n′, in thelast equality. The corresponding Laplace transform of interfer-ence over η-μ fading can be obtained by substituting LG(s)of (10), (51), (52), (54) to (48). This completes the proof.

APPENDIX VIn this appendix, we provide a proof for Theorem 1. First,

we consider κ-μ fading and obtain the series representationof the κ-μ distribution by using (9) and (36) as follows

fG (x) = 1

eμκ

∞∑

n=0

(μκ)n

n!�−n−μ

�(n + μ)xn+μ−1 exp

(− x

). (55)

Then, the average of an arbitrary function of the SINRγ = G0

I+N for a given interference I is

E

[g

(G0

I + N

)∣∣∣∣ I

]= 1

eμκ

∞∑

n=0

(μκ)n

n!

×∫ ∞

0

xμ+n−1

�(μ + n)g

(x

I + N

)�−n−μ exp

(− x

)dx

= 1

eμκ

∞∑

n=0

(μκ)n

n!∫ ∞

0

zμ+n−1

�(μ + n)g (z) bμ+ne−bzdz,

(56)

Page 14: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

CHUN et al.: STOCHASTIC GEOMETRIC ANALYSIS OF D2D COMMUNICATIONS OPERATING OVER GENERALIZED FADING CHANNELS 4163

where we applied (55) in the first equality and used a changeof variable, i.e., x

I+N = z and b = (I+N)� , in the second

equality. The integral in (56) can be evaluated as follows∫ ∞

0

zμ+n−1

�(μ + n)g (z)

︸ ︷︷ ︸u

bμ+ne−bz

︸ ︷︷ ︸v ′

dz

= −μ+n−1∑

i=0

gi (z)bμ+n−i−1e−bz

∣∣∣∣∣∣

0

+∫ ∞

0gμ+n(z)e−bzdz,

(57)

where we applied integration by parts μ + n times, definedgi (z) in (19), and

gi(0) ={

0, for i < μ + n − 1

g(0), for i = μ + n − 1. (58)

Then, the average of an arbitrary function of the SINR for theκ-μ fading is given by

E

[g

(G0

I + N

)]= E

[E

[g

(G0

I + N

)∣∣∣∣ I

]]

= g(0) + 1

eμκ

∞∑

n=0

(μκ)n

n! ϕκμ(n),

(59)

where we applied 1eμκ

∑∞n=0

(μκ)n

n! = 1. Similarly, (20) can beevaluated for η-μ fading by repeatedly applying integration byparts. This completes the proof.

APPENDIX VI

In this appendix, we express the CDF of the κ-μ and η-μdistributions using a series representation. First, we integratethe PDF of the κ-μ distribution in (55) as follows

FG(x) =∫ x

0fG(t)dt = 1

eμκ

∞∑

n=0

(μκ)n

n!γ(n + μ, x

)

�(n + μ)

=∞∑

n=0

∞∑

m=0

(μκ)ne−μκ

n! · �(n + μ + m + 1)

( x

)n+μ+me− x

=∞∑

n=0

∞∑

m=0

bκμn,m

( x

)n+μ+mexp

(− x

),

(60)

where we used the definition of the incomplete gamma func-tion γ (s, x) = ∫ x

0 ts−1e−t dt in the second equality, applied(36) in the third equality, denoted �κμ = w̄

μ(1+κ) and bκμn,m �

(μκ)ne−μκ

n!·�(n+μ+m+1) . Similarly, for the η-μ distribution, the seriesrepresentation of its CDF is given by

FG(x) = 1

∞∑

n=0

(H

h

)2n (n + μ − 1

μ − 1

)γ(2n + 2μ, x

)

�(2n + 2μ)

=∞∑

n=0

∞∑

m=0

bημn,m

( x

)m+2n+2μexp

(− x

),

(61)

where bημn,m � 1

( Hh

)2n (n+μ−1μ−1

) 1�(2n+2μ+m+1) .

REFERENCES

[1] “5G use cases and requirements,” Nokia Netw., White Paper, 2014.[2] M. N. Tehrani, M. Uysal, and H. Yanikomeroglu, “Device-to-device

communication in 5G cellular networks: Challenges, solutions, andfuture directions,” IEEE Commun. Mag., vol. 52, no. 5, pp. 86–92,May 2014.

[3] A. Asadi, Q. Wang, and V. Mancuso, “A survey on device-to-devicecommunication in cellular networks,” IEEE Commun. Surveys Tuts.,vol. 16, no. 4, pp. 1801–1819, 4th Quart., 2014.

[4] 3GPP, “3rd generation partnership project; technical specification groupservices and system aspects; Feasibility study for proximity services(ProSe) (Release 12),” 3GPP, Tech. Rep. TR 22.803 V12.2.0, Jun. 2013.

[5] Y.-D. Lin and Y.-C. Hsu, “Multihop cellular: A new architecturefor wireless communications,” in Proc. 19th Annu. Joint Conf. IEEEComput. Commun. Soc. (INFOCOM), vol. 3. Mar. 2000, pp. 1273–1282.

[6] B. Kaufman and B. Aazhang, “Cellular networks with an overlaid deviceto device network,” in Proc. 42nd Asilomar Conf. IEEE Signals, Syst.Comput., Oct. 2008, pp. 1537–1541.

[7] K. Doppler, M. Rinne, C. Wijting, C. B. Ribeiro, and K. Hugl, “Device-to-device communication as an underlay to LTE-advanced networks,”IEEE Commun. Mag., vol. 47, no. 12, pp. 42–49, Dec. 2009.

[8] B. Zhou, H. Hu, S. Q. Huang, and H. H. Chen, “Intracluster device-to-device relay algorithm with optimal resource utilization,” IEEE Trans.Veh. Technol., vol. 62, no. 5, pp. 2315–2326, Jun. 2013.

[9] S.-Y. Lien, K.-C. Chen, and Y. Lin, “Toward ubiquitous massive accessesin 3GPP machine-to-machine communications,” IEEE Commun. Mag.,vol. 49, no. 4, pp. 66–74, Apr. 2011.

[10] X. Bao, U. Lee, I. Rimac, and R. R. Choudhury, “DataSpotting:Offloading cellular traffic via managed device-to-device data transfer atdata spots,” ACM SIGMOBILE Mobile Comput. Commun. Rev., vol. 14,no. 3, p. 37, Dec. 2010.

[11] H. A. Mustafa, M. Z. Shakir, Y. A. Sambo, K. A. Qaraqe,M. A. Imran, and E. Serpedin, “Spectral efficiency improvements inHetNets by exploiting device-to-device communications,” in Proc. IEEEGlobecom Workshops (GC Wkshps), Dec. 2014, pp. 857–862.

[12] M. Haenggi, Stochastic Geometry for Wireless Networks, vol. 1. Cam-bridge, U.K.: Cambridge Univ. Press, 2012.

[13] J. G. Andrews, A. K. Gupta, and H. S. Dhillon. (2016). “A primer on cel-lular network analysis using stochastic geometry.” [Online]. Available:http://arxiv.org/abs/1604.03183

[14] J. G. Andrews, F. Baccelli, and R. K. Ganti, “A tractable approach tocoverage and rate in cellular networks,” IEEE Trans. Commun., vol. 59,no. 11, pp. 3122–3134, Nov. 2011.

[15] H.-S. Jo, Y. J. Sang, P. Xia, and J. G. Andrews, “Heterogeneous cellularnetworks with flexible cell association: A comprehensive downlinkSINR analysis,” IEEE Trans. Wireless Commun., vol. 11, no. 10,pp. 3484–3494, Oct. 2012.

[16] H. S. Dhillon, R. K. Ganti, F. Baccelli, and J. G. Andrews, “Modelingand analysis of K-tier downlink heterogeneous cellular networks,” IEEEJ. Sel. Areas Commun., vol. 30, no. 3, pp. 550–560, Apr. 2012.

[17] Y. J. Chun, M. O. Hasna, and A. Ghrayeb, “Modeling heterogeneouscellular networks interference using Poisson cluster processes,” IEEE J.Sel. Areas Commun., vol. 33, no. 10, pp. 2182–2195, Oct. 2015.

[18] X. Lin, J. G. Andrews, and A. Ghosh, “Spectrum sharing for device-to-device communication in cellular networks,” IEEE Trans. WirelessCommun., vol. 13, no. 12, pp. 6727–6740, Dec. 2014.

[19] G. George, R. K. Mungara, and A. Lozano, “An analytical frameworkfor device-to-device communication in cellular networks,” IEEE Trans.Wireless Commun., vol. 14, no. 11, pp. 6297–6310, Nov. 2015.

[20] H. ElSawy, E. Hossain, and M. S. Alouini, “Analytical modelingof mode selection and power control for underlay D2D communica-tion in cellular networks,” IEEE Trans. Commun., vol. 62, no. 11,pp. 4147–4161, Nov. 2014.

[21] M. Peng, Y. Li, T. Q. S. Quek, and C. Wang, “Device-to-device underlaidcellular networks under Rician fading channels,” IEEE Trans. WirelessCommun., vol. 13, no. 8, pp. 4247–4259, Aug. 2014.

[22] J. Medbo et al., “Channel modelling for the fifth generation mobilecommunications,” in Proc. 8th Eur. Conf. Antennas Propag. (EuCAP),Apr. 2014, pp. 219–223.

[23] M. Yacoub, “The κ − μ distribution and the η − μ distribution,” IEEEAntennas Propag. Mag., vol. 49, no. 1, pp. 68–81, Feb. 2007.

[24] D. B. Da Costa and M. D. Yacoub, “Moment generating functions ofgeneralized fading distributions and applications,” IEEE Commun. Lett.,vol. 12, no. 2, pp. 112–114, Feb. 2008.

Page 15: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

4164 IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, VOL. 16, NO. 7, JULY 2017

[25] S. L. Cotton, “Human body shadowing in cellular device-to-devicecommunications: Channel modeling using the shadowed κ-μ fadingmodel,” IEEE J. Sel. Areas Commun., vol. 33, no. 1, pp. 111–119,Jan. 2015.

[26] D. B. da Costa and M. D. Yacoub, “The η − μ joint phase-envelope distribution,” IEEE Antennas Wireless Propag. Lett., vol. 6,pp. 195–198, 2007.

[27] B. Blaszczyszyn and H. P. Keeler, “Equivalence and comparison ofheterogeneous cellular networks,” in Proc. IEEE Int. Symp. Pers. IndoorMobile Radio Commun. (PIMRC), Sep. 2013, pp. 153–157.

[28] H. P. Keeler, B. Blaszczyszyn, and M. K. Karray, “SINR-based k-coverage probability in cellular networks with arbitrary shadowing,” inProc. IEEE Int. Symp. Inf. Theory, Jul. 2013, pp. 1167–1171.

[29] H. S. Dhillon and J. G. Andrews, “Downlink rate distribution inheterogeneous cellular networks under generalized cell selection,” IEEEWireless Commun. Lett., vol. 3, no. 1, pp. 42–45, Feb. 2014.

[30] X. Zhang and M. Haenggi, “A stochastic geometry analysis of inter-cellinterference coordination and intra-cell diversity,” IEEE Trans. WirelessCommun., vol. 13, no. 12, pp. 6655–6669, Dec. 2014.

[31] R. Tanbourgi, H. S. Dhillon, J. G. Andrews, and F. K. Jondral,“Dual-branch MRC receivers under spatial interference correlation andNakagami fading,” IEEE Trans. Commun., vol. 62, no. 6, pp. 1830–1844,Jun. 2014.

[32] G. Miel and R. Mooney, “On the condition number of Lagrangiannumerical differentiation,” Appl. Math. Comput., vol. 16, no. 3,pp. 241–252, 1985.

[33] M. Di Renzo and P. Guan, “A mathematical framework to the com-putation of the error probability of downlink MIMO cellular networksby using stochastic geometry,” IEEE Trans. Commun., vol. 62, no. 8,pp. 2860–2879, Aug. 2014.

[34] F. Baccelli, B. Błaszczyszyn, and P. Mühlethaler, “Stochastic analysis ofspatial and opportunistic Aloha,” IEEE J. Sel. Areas Commun., vol. 27,no. 7, pp. 1105–1119, Sep. 2009.

[35] Y. Kim, F. Baccelli, and G. de Veciana, “Spatial reuse and fairness of adhoc networks with channel-aware CSMA protocols,” IEEE Trans. Inf.Theory, vol. 60, no. 7, pp. 4139–4157, Jul. 2014.

[36] M. Haenggi, “User point processes in cellular networks,” IEEE WirelessCommun. Lett., vol. 6, pp. 258–261, Apr. 2017.

[37] B. Błaszczyszyn and D. Yogeshwaran, “Clustering comparison of pointprocesses, with applications to random geometric models,” in StochasticGeometry, Spatial Statistics and Random Fields: Models and Algorithms(Lecture Notes in Mathematics), vol. 2120, V. Schmidt, Ed. Springer,2014, ch. 2, pp. 31–71.

[38] S. Singh, X. Zhang, and J. G. Andrews, “Joint rate and SINRcoverage analysis for decoupled uplink-downlink biased cell associa-tions in HetNets,” IEEE Trans. Wireless Commun., vol. 14, no. 10,pp. 5360–5373, Oct. 2015.

[39] D. Malak, H. S. Dhillon, and J. G. Andrews, “Optimizing data aggre-gation for uplink machine-to-machine communication networks,” IEEETrans. Commun., vol. 64, no. 3, pp. 1274–1290, Mar. 2016.

[40] H. H. Yang, G. Geraci, and T. Q. S. Quek, “Energy-efficient design ofMIMO heterogeneous networks with wireless backhaul,” IEEE Trans.Wireless Commun., vol. 15, no. 7, pp. 4914–4927, Jul. 2016.

[41] N. Ermolova, “Moment generating functions of the generalized η-μand κ-μ distributions and their applications to performance evaluationsof communication systems,” IEEE Commun. Lett., vol. 12, no. 7,pp. 502–504, Jul. 2008.

[42] K. A. Hamdi, “A useful technique for interference analysis in Nakagamifading,” IEEE Trans. Commun., vol. 55, no. 6, pp. 1120–1124, Jun. 2007.

[43] M. Di Renzo, A. Guidotti, and G. E. Corazza, “Average rate of down-link heterogeneous cellular networks over generalized fading channels:A stochastic geometry approach,” IEEE Trans. Commun., vol. 61, no. 7,pp. 3050–3071, Jul. 2013.

[44] H. Al-Hmood and H. Al-Raweshidy, “Unified modeling of compositeκ-μ/gamma, η-μ/gamma, and α-μ/gamma fading channels using amixture gamma distribution with applications to energy detection,” IEEEAntennas Wireless Propag. Lett., vol. 16, pp. 104–108, 2016.

[45] H. N. Huang, S. A. M. Marcantognini, and N. J. Young, “Chain rulesfor higher derivatives,” Math. Intell., vol. 28, no. 2, pp. 61–69, 2006.

[46] H. S. Dhillon, M. Kountouris, and J. G. Andrews, “Downlink MIMOHetNets: Modeling, ordering results and performance analysis,” IEEETrans. Wireless Commun., vol. 12, no. 10, pp. 5208–5222, Oct. 2013.

[47] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, andProducts, 5th ed. San Diego, CA, USA: Academic, 1994.

[48] N. Saad and R. L. Hall, “Integrals containing confluent hypergeometricfunctions with applications to perturbed singular potentials,” J. Phys. A,Math. General, vol. 36, no. 28, p. 7771, Jun. 2003, doi: 10.1088/0305-4470/36/28/307.

[49] J. M. Howie, Real Analysis (Springer Undergraduate MathematicsSeries), vol. 1. London, U.K.: Springer, 2001.

Young Jin Chun (M’12) received the B.S. degreefrom Yonsei University, Seoul, South Korea, in 2004,the M.S. degree from the University of Michigan,Ann Arbor, in 2007, and the Ph.D. degree fromIowa State University, Ames, in 2011, all inelectrical engineering. He was a Post-DoctoralResearcher with Sungkyunkwan University, Suwon,South Korea, from 2011 to 2012, and with QatarUniversity, Doha, Qatar, from 2013 to 2014. In 2015,he joined Queen’s University Belfast, U.K. as aResearch Fellow. His research interests are primarily

in the area of wireless communications with emphasis on stochastic geometry,system-level network analysis, device-to-device communications, and varioususe cases of 5G communications.

Simon L. Cotton (S’04–M’07–SM’14) receivedthe B.Eng. degree in electronics and software fromUlster University, Ulster, U.K., in 2004, and thePh.D. degree in electrical and electronic engineeringfrom the Queen’s University of Belfast, Belfast,U.K., in 2007. He is currently a Reader of Wire-less Communications with the Institute of Electron-ics, Communications and Information Technology,Queen’s University Belfast, and also a Co-Founderand the Chief Technology Officer with ActivWire-less Ltd., Belfast. He has authored and co-authored

over 100 publications in major IEEE/IET journals and refereed internationalconferences, two book chapters, and two patents. Among his research interestsare cellular device-to-device, vehicular, and body-centric communications.His other research interests include radio channel characterization and mod-eling and the simulation of wireless channels. He was a recipient of theH. A. Wheeler Prize, in 2010, from the IEEE Antennas and PropagationSociety for the best applications journal paper in the IEEE TRANSACTIONS

ON ANTENNAS AND PROPAGATION in 2009. In 2011, he was a recipient of theSir George Macfarlane Award from the U.K. Royal Academy of Engineeringin recognition of his technical and scientific attainment since graduating fromhis first degree in engineering.

Harpreet S. Dhillon (S’11–M’13) received theB.Tech. degree in Electronics and CommunicationEngineering from IIT Guwahati, India, in 2008; theM.S. degree in Electrical Engineering from VirginiaTech, Blacksburg, VA, USA, in 2010; and the Ph.D.degree in Electrical Engineering from the Univer-sity of Texas at Austin, TX, USA, in 2013. Aftera postdoctoral year at the University of SouthernCalifornia (USC), Los Angeles, CA, USA, he joinedVirginia Tech in August 2014, where he is currentlyan Assistant Professor of Electrical and Computer

Engineering. He has held internships at Alcatel-Lucent Bell Labs in CrawfordHill, NJ, USA; Samsung Research America in Richardson, TX, USA; Qual-comm Inc. in San Diego, CA, USA; and Cercom, Politecnico di Torino in Italy.His research interests include communication theory, stochastic geometry,geolocation, and wireless ad hoc and heterogeneous cellular networks.

Dr. Dhillon has been a co-author of five best paper award recipients includ-ing the 2016 IEEE Communications Society (ComSoc) Heinrich Hertz Award,the 2015 IEEE ComSoc Young Author Best Paper Award, the 2014 IEEEComSoc Leonard G. Abraham Prize, the 2014 European Wireless Best StudentPaper Award, and the 2013 IEEE International Conference in CommunicationsBest Paper Award in the Wireless Communications Symposium. He wasalso the recipient of the USC Viterbi Postdoctoral Fellowship, the 2013 UTAustin Wireless Networking and Communications Group (WNCG) leadershipaward, the UT Austin Microelectronics and Computer Development (MCD)Fellowship, and the 2008 Agilent Engineering and Technology Award. He iscurrently an Editor of the IEEE TRANSACTIONS ON WIRELESS COMMU-NICATIONS, the IEEE TRANSACTIONS ON GREEN COMMUNICATIONS ANDNETWORKING, and the IEEE WIRELESS COMMUNICATIONS LETTERS.

Page 16: A Stochastic Geometric Analysis of Device-to-Device ... · Recently, stochastic geometry has received consid-erable attention as a useful mathematical tool for interfer-ence modeling

CHUN et al.: STOCHASTIC GEOMETRIC ANALYSIS OF D2D COMMUNICATIONS OPERATING OVER GENERALIZED FADING CHANNELS 4165

Ali Ghrayeb (SM’06) received the Ph.D. degree inelectrical engineering from the University of Ari-zona, Tucson, USA, in 2000.

He is currently a Professor with the Department ofElectrical and Computer Engineering, Texas A&MUniversity at Qatar. He is a co-recipient of the IEEEGlobecom 2010 Best Paper Award. He is the coau-thor of the book Coding for MIMO CommunicationSystems (Wiley, 2008). His research interests includewireless and mobile communications, physical layersecurity, massive MIMO, wireless cooperative net-

works, and ICT for health applications.Dr. Ghrayeb served as an instructor or co-instructor in technical tutorials at

several major IEEE conferences. He served as the Executive Chair of the 2016IEEE WCNC conference, and as the TPC co-chair of the CommunicationsTheory Symposium at the 2011 IEEE Globecom. He serves as an Editorfor the IEEE TRANSACTIONS ON COMMUNICATIONS. He has served on theeditorial board of several IEEE and non-IEEE journals.

Mazen O. Hasna (SM’07) received the B.S. degreefrom Qatar University, Doha, Qatar, in 1994, theM.S. degree from the University of Southern Cal-ifornia, Los Angeles, CA, USA, in 1998, and thePh.D. degree from the University of Minnesota,Twin Cities, Minneapolis, MN, USA, in 2003, allin electrical engineering.

In 2003, he joined the Department of ElectricalEngineering, Qatar University, where he is currentlyan Associate Professor. His research interests includethe general area of digital communication theory

and its application to the performance evaluation of wireless communicationsystems over fading channels. His current specific research interests includecooperative communications, ad hoc networks, cognitive radios, and networkcoding.