 Research
 Open Access
 Published:
Classes of sumofcisoids processes and their statistics for the modeling and simulation of mobile fading channels
EURASIP Journal on Wireless Communications and Networking volume 2013, Article number: 125 (2013)
Abstract
In this paper, we present a fundamental study on the stationarity and ergodicity of eight classes of sumofcisoids (SOC) processes for the modeling and simulation of frequencynonselective mobile Rayleigh fading channels. The purpose of this study is to determine which classes of SOC models enable the design of channel simulators that accurately reproduce the channel’s statistical properties without demanding information on the time origin or the timeconsuming computation of an ensemble average. We investigate the widesense stationarity, firstorder stationarity of the envelope, mean ergodicity, and autocorrelation ergodicity of the underlying random processes characterizing the different classes of stochastic SOC simulators. The obtained results demonstrate that only the class of SOC models comprising cisoids with constant gains, constant frequencies, and random phases is defined by a set of stationary and ergodic random processes. The analysis presented here can easily be extended with respect to the modeling and simulation of frequencyselective singleinput singleoutput (SISO) and multipleinput multipleoutput channels. For the case of frequencyselective SISO channels, we investigate the stationarity and ergodicity in both time and frequency of 16 different classes of SOC simulation models. The findings presented in this paper can be used in the laboratory as guidelines to design efficient simulation platforms for the performance evaluation of modern mobile communication systems.
1 Introduction
Computer simulators have become fundamental tools for the design, test, and optimization of modern mobile communication systems [1]. They provide a powerful, affordable, and reproducible means to assess the system performance. An important component of any computer simulator employed for system analysis is the model chosen to simulate the channel. This is indeed a critical component as most of the problems affecting the performance of wireless communication systems, e.g., intersymbol interference and cross modulation, are caused by the channel [2]. There exist several different approaches to the design of fading channel simulators, such as those described in [3–6]. While the underlying methodology may differ, the principal objective of all stochastic channel simulators is the same: synthesizing a random process that can efficiently be realized on a software or hardware simulation platform under the constraint that its statistical properties resemble those of a nonrealizable reference channel model. A typical nonrealizable reference channel model is, for example, the Rayleigh fading channel model under isotropic scattering conditions ([7], Sec. 2.1.2). A realizable random process constitutes the socalled channel simulation model ([8], Sec. 4.1).
Two often desirable properties of any stochastic simulation model for smallscale multipath radio channels are stationarity and ergodicity. These properties enable the channel simulator to accurately emulate the channel’s statistical properties on the basis of a single simulation run (ergodicity) without requiring information on the time origin (stationarity). In the strict sense, a channel simulator is stationary if all marginal and joint probability density functions (PDFs) of the underlying random process characterizing the simulation model are independent of a timeshift ([9], pp. 297–303). On the other hand, a channel simulator is ergodic if the time averages of the simulation model are equal to the ensemble averages ([9], Sec. 13.1). These conditions are too stringent and can hardly be met in practice. However, the information about the channel’s statistics of order higher than 2 is rarely required to assess the performance of wireless communication systems. Hence, for most practical purposes, it suffices if the channel simulator is widesense stationary (WSS) and ergodic with respect to (w.r.t.) the mean value and the autocorrelation function (ACF). In [10, 11], the advantages of ergodic channel simulators versus nonergodic simulation models for the performance analysis w.r.t. the bit error probability have been demonstrated. More specifically, in [10], this observation has been done for noncoherent differential phase shift keying since the bit error probability depends on the ACF of the underlying complex Gaussian process. If the channel simulator is nonergodic, time ACF of the simulation model does not fit well with ensemble ACF of the reference model. In this case, one needs to average over different realizations of the underlying stochastic process to increase the performance, which also drastically increases the complexity of the channel simulator. Indeed, an important aspect of the statistical characterization of a channel simulator consists in determining whether the simulation model is a WSS, a meanergodic (ME), or an autocorrelationergodic (AE) random process. For some applications, such as the evaluation of diversity systems ([7], Ch. 6), it is also very important to know whether the envelope of the simulation model is a firstorder stationary (FOS) process. An interesting study of the relation between the coherence interval and the spectral spread of a zeromean WSS process and its application to mobile fading channels can be found in [12]. In addition, an investigation of the time interval within which the fading process is expected to fulfill the stationarity assumption in realworld channels can be found in [13, 14].
Among the variety of channel simulation models proposed in the literature, those based on Rice’s sumofsinusoids (SOS) principle [15, 16] have widely been in use as a basis for the design of multipath radio channel simulators (e.g., see [17–21]). In the conventional SOS channel simulation approach, it is assumed that the inphase and quadrature (IQ) components of the channel’s complex envelope are statistically independent Gaussian processes. Under this consideration, the simulation of the channel’s IQ components is carried out by means of two uncorrelated SOS processes having disjoint sets of parameters  gains, frequencies, phases, and number of sinusoids. This approach has been applied for over four decades to the simulation of a variety of mobile fading channels, ranging from simple singleinput singleoutput (SISO) channels [18] to sophisticated multipleinput multipleoutput (MIMO) channels [19]. It is important to notice that the conventional SOS simulation approach suffers from a serious limitation, that is, it can only be used to simulate fading channels characterized by symmetrical Doppler power spectral densities (DPSDs), leaving aside the more realistic case of channels having asymmetrical DPSDs.^{a} A solution to overcome this limitation provides a variation of the conventional SOS approach, where a finite sum of complex sinusoids (cisoids) is used to simulate the channel’s complex envelope [22]. Basically, SOC models differ from conventional SOS models such that the IQ components of the former models are characterized by the same set of parameters [22]. This feature of SOC models enables the simulation of fading channels having symmetrical and asymmetrical DPSDs [23–26]. Another important feature of SOC models is that they have a clear physical meaning as they are related to the electromagnetic plane wave model [8, 27]. This is in contrast to the conventional SOS model, which cannot be interpreted physically.
Despite the significant attention that SOC channel simulation models have attracted, a comprehensive study on their stationary and ergodic properties is still lacking in the literature. To close this gap, we present in this paper a systematic analysis of the widesense stationarity, firstorder stationarity of the envelope, mean ergodicity, and autocorrelation ergodicity of eight fundamental classes of SOC simulation models for frequencynonselective SISO Rayleigh fading channels. This analysis can easily be extended with respect to the modeling and simulation of frequencyselective SISO and MIMO channels. For the case of frequencyselective SISO channels, we provide in this paper a concise investigation of the stationarity and ergodicity in both time and frequency of 16 different classes of SOC simulation models. The presented results are intended to serve as guidelines for the design of efficient channel simulators for the performance evaluation of mobile communication systems.
The rest of the paper is organized as follows. In Section 2, we discuss the related work and highlight the novelty and importance of our paper. In Sections 3 and 4, we briefly review the reference model and the SOC model, respectively. In Section 5, we summarize the characteristics of stationary and ergodic processes. Section 6 introduces eight classes of SOCbased simulation models and investigates their stationary and ergodic properties. An extension to frequencyselective channels can be found in Section 7. A discussion of the obtained results and their applications to widely used parameter computation methods can be found in Section 8. Finally, the conclusions are drawn in Section 9.
2 Related work
Even though the stationary and ergodic properties of SOC channel simulation models are not fully known, those of conventional SOS simulators have thoroughly been analyzed in [28–30]. In these papers, the authors have analyzed the ME and AE properties of eight classes of deterministic and stochastic SOS simulation models for Rayleigh fading channels. They also investigated the widesense stationarity and the firstorder stationarity of the IQ components of all eight classes of SOS channel simulators. It is shown in [28–30] that an SOS process is stationary and ergodic if and only if the sinusoids’ gains and Doppler frequencies are constant quantities and the phases are random variables. We notice, nonetheless, that the conclusions drawn in these papers cannot be extrapolated to the case of SOC simulators. The reason is that the investigations performed in [28–30] were carried out in the framework of the conventional SOS channel simulation approach, implying the condition that the IQ components of the channel simulation model are uncorrelated. This condition does not necessarily hold for SOC simulators, meaning that their IQ components are in general correlated [31]. It is precisely this particular feature that enables SOC models to simulate fading channels characterized not only by symmetrical DPSDs but also by asymmetrical ones. It is therefore necessary to revisit the analysis in [28–30] to shed light on the peculiar and important case of SOC channel simulators. The results presented in this paper will demonstrate that the distribution of the envelope and the autocorrelation properties of SOC models differ completely from what is known from conventional SOS models.
3 The reference model
A Rayleigh process ζ(t) is defined as
where μ_{1}(t) and μ_{2}(t) are zeromean real Gaussian processes, each with variance {\sigma}_{0}^{2}.^{b} The process μ(t)=μ_{1}(t)+j μ_{2}(t) will be considered as a complex Gaussian process. In general, it is usually assumed that μ_{1}(t) and μ_{2}(t) are uncorrelated, but in this paper, we have allowed them to be correlated. The correlation properties are described by the correlation matrix in ([32], eq. (17)). Here, a process X(t) is called a complex Gaussian process if each finitedimensional vector {\left[\mathit{X}\right({t}_{1}),\dots ,\mathit{X}({t}_{n}\left)\right]}^{T} is a complex Gaussian vector. A complex random vector is said to be Gaussian if its real and imaginary parts are jointly Gaussian [33]. Therein, it is shown that if the process μ(t) is proper (or circularly symmetric), the density of the mentioned complex Gaussian vector is completely described by the ACF {r}_{\mathrm{\mu \mu}}\left(\tau \right)\triangleqE{μ^{∗}(t)μ(t+τ)}.
According to the correlation model proposed by Clarke in [34] for twodimensional scattering environments, the ACF r_{ μ μ }(τ) of μ(t) can be expressed as
In the equation above, f_{max} is referred to as the maximum Doppler frequency, and p_{ α }(α) denotes the density function of the angle of arrival (AOA) of the incoming waves.
4 The SOC model
It is well known (see, e.g., [35–37]) that Rayleigh fading channel models, characterized by the complex Gaussian process μ(t), can be modeled and efficiently simulated using the SOC process
where N denotes the number of cisoids, c_{ n } is called the gain, f_{ n } designates the Doppler frequency, and θ_{ n } denominates the phase of the n th cisoid. The phases θ_{ n } are independent and identically distributed (i.i.d.) random variables, each following a uniform distribution over [0,2π). It is worth mentioning that the frequencies f_{ n } are related to the maximum Doppler frequency f_{max} and AOAs α_{ n } of the waves that reach the receiver antenna by means of the transformation
These parameters have a strong influence on the temporal correlation properties of SISO channels and also on the spatial and temporal correlation properties of MIMO channels. Furthermore, in [25], it is shown that the cisoids’ frequencies are directly related to the angles of departure of transmitted waves in mobiletomobile double Rayleigh fading channels.
Owing to the central limit theorem ([9], p. 278), the stochastic process \widehat{\mathit{\mu}}\left(t\right) tends to the complex Gaussian process μ(t) as N→∞. From the results obtained in [22], it is straightforward to show that the obtained process μ(t) is proper. If the phases θ_{ n } are outcomes (realizations) of a random generator with a uniform distribution in the interval (0,2π], then the stochastic process \widehat{\mathit{\mu}}\left(t\right) results in the sample function
which is completely deterministic.
The SOC model depends on three types of parameters, namely the gains c_{ n }, the frequencies f_{ n }, and the phases θ_{ n }. In principle, each type of these parameters can be introduced as a random variable or constant. Hence, altogether, 2^{3}=8 classes of SOC models for Rayleigh fading channels can be defined. If all parameters are constants, we obtain a completely deterministic process, denoted by \stackrel{~}{\zeta}\left(t\right)=\left\stackrel{~}{\mu}\right(t\left)\right=\left{\stackrel{~}{\mu}}_{1}\right(t)+j{\stackrel{~}{\mu}}_{2}(t\left)\right. As opposed to this, at least one random variable is required to obtain a stochastic process, denoted by \widehat{\mathit{\zeta}}\left(t\right)=\left\widehat{\mathit{\mu}}\right(t\left)\right=\left{\widehat{\mathit{\mu}}}_{1}\right(t)+j{\widehat{\mathit{\mu}}}_{2}(t\left)\right. For the performance evaluation of SOC simulation models with random/constant parameters, it is important to know the conditions for which the resulting stochastic process \widehat{\mathit{\zeta}}\left(t\right) is stationary. Also, it is important to know under which conditions the stochastic process \widehat{\mathit{\mu}}\left(t\right) results in an ergodic process. In the next section, we will review briefly the characteristics of stationary and ergodic processes.
5 Stationarity and ergodicity
A stochastic process \widehat{\mathit{\zeta}}\left(t\right) is called strictsense stationary (SSS) ([9], p. 387) if its statistical properties are invariant to a shift of the origin. This means that the stochastic processes \widehat{\mathit{\zeta}}\left(t\right) and \widehat{\mathit{\zeta}}(t+c) have the same statistics for any c\in \mathbb{R}. It follows that the m thorder density function must satisfy the equation
for all values of {t}_{1},\dots ,{t}_{m}, and c.
A stochastic process \widehat{\mathit{\zeta}}\left(t\right) is called FOS ([9], p. 392) if the density of \widehat{\mathit{\zeta}}\left(t\right) satisfies
for all values of t and c. This implies that the mean and the variance of \widehat{\mathit{\zeta}}\left(t\right) are independent of time. If a stochastic process is SSS, then the process is also FOS. The inverse statement is not always true. For simplicity and brevity, we only investigate the FOS properties of \widehat{\mathit{\zeta}}\left(t\right). A stochastic process \widehat{\mathit{\zeta}}\left(t\right) is called asymptotically FOS if the density {p}_{\widehat{\zeta}}(x;t+c) tends to a limit, which is independent of c as c→∞ ([9], p. 392).
A stochastic process \widehat{\mathit{\mu}}\left(t\right) is said to be WSS ([9], p. 388) if \widehat{\mathit{\mu}}\left(t\right) satisfies the following conditions:

1.
The mean of \widehat{\mathit{\mu}}\left(t\right) is constant, i.e.,
E\left\{\widehat{\mathit{\mu}}\right(t\left)\right\}={m}_{\widehat{\mu}}=\text{const}\phantom{\rule{0.3em}{0ex}}.(8) 
2.
The ACF of \widehat{\mathit{\mu}}\left(t\right) depends only on the time difference τ=t _{2}−t _{1}, i.e.,
\begin{array}{l}{r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2})={r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right)\end{array}(9)where
\begin{array}{l}{r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2})=E\left\{{\widehat{\mathit{\mu}}}^{\ast}\right({t}_{1}\left)\widehat{\mathit{\mu}}\right({t}_{2}\left)\right\}\end{array}(10)\begin{array}{l}{r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right)=E\left\{{\widehat{\mathit{\mu}}}^{\ast}\right(t\left)\widehat{\mathit{\mu}}\right(t+\tau \left)\right\}\phantom{\rule{0.3em}{0ex}}.\end{array}(11)
Note that all SSS processes are WSS, but the converse need not be true. Following ([38], p. 422), we define a stochastic process \widehat{\mathit{\mu}}\left(t\right) to be asymptotically WSS if its mean is constant and its ACF {r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2}) depends only on the time difference τ=t_{2}−t_{1} as t_{1}→±∞ and/or t_{2}→±∞.
Furthermore, a stochastic process \widehat{\mathit{\mu}}\left(t\right) is said to be mean ergodic if its ensemble average {m}_{\widehat{\mu}} equals the time average {m}_{\stackrel{~}{\mu}} of \stackrel{~}{\mu}\left(t\right), i.e.,
The stochastic process \widehat{\mathit{\mu}}\left(t\right) is said to be autocorrelation ergodic if its ACF {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right) equals the time ACF {r}_{\stackrel{~}{\mu}\stackrel{~}{\mu}}\left(\tau \right) of \stackrel{~}{\mu}\left(t\right), i.e.,
6 Classification of channel simulators
In this section, eight classes of SOC simulation models for frequencynonselective Rayleigh fading channels will be introduced, seven of which are stochastic simulation models and one is completely deterministic. Before presenting a detailed analysis of the various classes of simulation models, some constraints are imposed on the three types of parameters. These constraints are as follows.
In cases, where the gains c_{ n }, frequencies f_{ n }, and phases θ_{ n } are random variables, it is reasonable to assume that their values are real and they are mutually independent. Also, it is assumed that the gains {\mathit{c}}_{1},{\mathit{c}}_{2},\dots ,{\mathit{c}}_{N} are i.i.d. random variables. The same is assumed for the sequences of random Doppler frequencies {\mathit{f}}_{1},{\mathit{f}}_{2},\dots ,{\mathit{f}}_{N} and phases {\mathit{\theta}}_{1},{\mathit{\theta}}_{2},\dots ,{\mathit{\theta}}_{N}.
Whenever the gains c_{ n } and frequencies f_{ n } are constant quantities, it is assumed that they are different from 0, such that c_{ n }≠0 and f_{ n }≠0 hold for all values of n=1,2,\dots ,N. Further constraints might also be imposed on the SOC model. For example, it is required that all frequencies f_{ n } are different. This latter condition is introduced to avoid correlations within the inphase (quadrature) component of \stackrel{~}{\mu}\left(t\right).
6.1 Class I channel simulators
The channel simulators of Class I are defined by a set of deterministic processes \stackrel{~}{\mu}\left(t\right) (see (5)) with constant gains c_{ n }, constant frequencies f_{ n }, and constant phases θ_{ n }. Since all model parameters are constants, there is no meaning to examine the stationary and ergodic properties of this class of channel simulators. However, in the following, the mean and ACF of \stackrel{~}{\mu}\left(t\right) will be investigated.
Since \stackrel{~}{\mu}\left(t\right) is a deterministic process, its mean {m}_{\stackrel{~}{\mu}} has to be determined using time averages instead of statistical averages. Using (5) and taking into account that f_{ n }≠0, we obtain {m}_{\stackrel{~}{\mu}}=0. Hence, we realize that the deterministic process \stackrel{~}{\mu}\left(t\right) of the simulation model has the same mean value as the stochastic process μ(t) of the reference model, i.e.,
Similarly, the ACF {r}_{\stackrel{~}{\mu}\stackrel{~}{\mu}}\left(\tau \right) of \stackrel{~}{\mu}\left(t\right) has to be determined using time averages. By taking into account that all frequencies f_{ n } are different, we can express the ACF {r}_{\stackrel{~}{\mu}\stackrel{~}{\mu}}\left(\tau \right) of \stackrel{~}{\mu}\left(t\right) in the following form
The mean {m}_{\stackrel{~}{\mu}} and the ACF {r}_{\stackrel{~}{\mu}\stackrel{~}{\mu}}\left(\tau \right) will be intensively used in the next subsections.
6.2 Class II channel simulators
The channel simulators of Class II are defined by a set of stochastic processes \widehat{\mathit{\zeta}}\left(t\right) with constant gains c_{ n }, constant frequencies f_{ n }, and random phases θ_{ n }, which are uniformly distributed in the interval (0,2π]. Using our notation, the complex process \widehat{\mathit{\mu}}\left(t\right)={\widehat{\mathit{\mu}}}_{1}\left(t\right)+j{\widehat{\mathit{\mu}}}_{2}\left(t\right) can be written as
In [22], it has been shown that the density {p}_{\widehat{\zeta}}\left(z\right) of the stochastic process \widehat{\mathit{\zeta}}\left(t\right)=\left\widehat{\mathit{\mu}}\right(t\left)\right can be represented as
Also, in [22], it has been shown that the density {p}_{\widehat{\zeta}}\left(z\right) approaches the Rayleigh density as N→∞ and {c}_{n}={\sigma}_{0}\sqrt{2/N}.
The mean {m}_{\widehat{\mu}} and the ACF {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right) of \widehat{\mathit{\mu}}\left(t\right) can be easily expressed as
With reference to (17), we notice that the density {p}_{\widehat{\zeta}}\left(z\right) is independent of time. Furthermore, from (18) and (19), we can realize that conditions 1 and 2 (see (8) and (9)) are fulfilled, respectively. Hence, the stochastic process \widehat{\mathit{\zeta}}\left(t\right) is FOS, and the stochastic process \widehat{\mathit{\mu}}\left(t\right) is WSS. A specific realization of the random phases θ_{ n } converts the stochastic process \widehat{\mathit{\mu}}\left(t\right) into a deterministic process (sample function) \stackrel{~}{\mu}\left(t\right). This allows us to interpret Class I as a subset of Class II. The stochastic process \widehat{\mathit{\mu}}\left(t\right) is ME since the identity {m}_{\widehat{\mu}}={m}_{\stackrel{~}{\mu}} holds. Also, the stochastic process \widehat{\mathit{\mu}}\left(t\right) is AE. This statement follows from a comparison of (19) and (15), which reveals that the criterion {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right)={r}_{\stackrel{~}{\mu}\stackrel{~}{\mu}}\left(\tau \right) is fulfilled.
6.3 Class III channel simulators
The channel simulators of Class III are defined by a set of stochastic processes \widehat{\mathit{\zeta}}\left(t\right) with constant gains c_{ n }, random frequencies f_{ n }, and constant phases θ_{ n }. Hence, the complex process \widehat{\mathit{\mu}}\left(t\right)={\widehat{\mathit{\mu}}}_{1}\left(t\right)+j{\widehat{\mathit{\mu}}}_{2}\left(t\right) has the following form
To obtain the density {p}_{\widehat{\zeta}}(z;t) of the stochastic process \widehat{\mathit{\zeta}}\left(t\right), we continue as follows. In the first step, we consider a single complex cisoid at a fixed time instant t=t_{0}. Thus,
describes a complex random variable. From [29], in the limit t_{0}→∞, the density {p}_{{\widehat{\mu}}_{1,n}}\left({x}_{1}\right) of {\widehat{\mathit{\mu}}}_{1,n}\left({t}_{0}\right)=\text{Re}\left\{{\widehat{\mathit{\mu}}}_{n}\right({t}_{0}\left)\right\}={c}_{n}cos(2\pi {\mathit{f}}_{n}{t}_{0}+{\theta}_{n}) can be expressed as
Now, by following the same procedure as described in [22], we can conclude that the density {p}_{\widehat{\zeta}}(z;\pm \infty ) is given by (17). If t is finite, we must replace the expression in (22) by ([29], Eq. (32)). In this case, it turns out that the density {p}_{\widehat{\zeta}}(z;t) depends on time t so that the stochastic process \widehat{\mathit{\zeta}}\left(t\right) is not FOS. Thus, we can conclude that a Class III channel simulator is an asymptotically FOS process.
In the following, we assume that the random frequencies f_{ n } are given by
where the AOAs α_{ n }, n=1,\dots ,N, are i.i.d. random variables, each having a density p_{ α }(α) identical to that characterizing the reference model’s AOA statistics.
The mean {m}_{\widehat{\mu}}\left(t\right) of the stochastic process \widehat{\mathit{\mu}}\left(t\right) is obtained by computing the statistical average of (20) with respect to the random characteristics of the frequencies f_{ n }. Hence, we can write
where r_{ μ μ }(t) is the ACF of the reference model described in (2). From (24), we see that the mean {m}_{\widehat{\mu}}\left(t\right) changes generally with time. To avoid this, we impose the following boundary condition on the phases
The condition above can easily be fulfilled if the number of cisoids N is even; the gains c_{ n } are constants given by {c}_{n}={\sigma}_{0}\sqrt{2/N}, and θ_{ n }=−θ_{n+N/2}=π/2 for n=1,\dots ,N/2. If the condition in (25) is fulfilled, then the mean {m}_{\widehat{\mu}}\left(t\right) is not only constant but also equal to zero, i.e., {m}_{\widehat{\mu}}=0.
The ACF {r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2}) of \widehat{\mathit{\mu}}\left(t\right) is obtained by substituting (20) in (10). In general, {r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2}) is timeshift sensitive since it is given as
However, {r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2}) becomes timeshift insensitive if we impose the following boundary condition on the gains and phases
In case that the above boundary condition is fulfilled and the gains c_{ n } are equal to {c}_{n}={\sigma}_{0}\sqrt{2/N}, we easily see that the ACF {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right) of the stochastic simulation model is identical to the ACF r_{ μ μ }(τ) of the reference model.
In Appendix Appendix 1, it is shown that conditions (25) and (27) cannot be simultaneously satisfied. However, if we let t_{1}→±∞ and/or t_{2}→±∞, then the ACFs {r}_{\mathrm{\mu \mu}}^{\ast}\left({t}_{1}\right) and/or r_{ μ μ }(t_{2}) tend to zero, and hence the ACF {r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2}) depends only on the time difference τ=t_{2}−t_{1}. In this case, together with the condition given in (25), we can conclude that the stochastic process \widehat{\mathit{\mu}}\left(t\right) is an asymptotically WSS process. Furthermore, if t→±∞, then \widehat{\mathit{\mu}}\left(t\right) tends to an asymptotically FOS process. The stochastic process \widehat{\mathit{\mu}}\left(t\right) is ME since the condition {m}_{\widehat{\mu}}={m}_{\stackrel{~}{\mu}} is fulfilled. However, the stochastic processes \widehat{\mathit{\mu}}\left(t\right) of Class III channel simulators are always nonAE because the inequality {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right)\ne {r}_{\stackrel{~}{\mu}\stackrel{~}{\mu}}\left(\tau \right) holds.
6.4 Class IV channel simulators
The channel simulators of Class IV are defined by a set of stochastic processes \widehat{\mathit{\zeta}}\left(t\right) with constant gains c_{ n }, random frequencies f_{ n }, and random phases θ_{ n }, which are uniformly distributed in the interval (0,2π]. In this case, the complex process \widehat{\mathit{\mu}}\left(t\right)={\widehat{\mathit{\mu}}}_{1}\left(t\right)+j{\widehat{\mathit{\mu}}}_{2}\left(t\right) is given by
The density {p}_{\widehat{\zeta}}\left(z\right) of \widehat{\mathit{\zeta}}\left(t\right)=\left\widehat{\mathit{\mu}}\right(t\left)\right is still given by (17), as the random frequencies f_{ n } have no effect on the density {p}_{\widehat{\zeta}}\left(z\right) in (17). The mean {m}_{\widehat{\mu}}\left(t\right) is given by (18). If the gains c_{ n } are equal to {c}_{n}={\sigma}_{0}\sqrt{2/N} and the frequencies f_{ n } are given by (23), then it is straightforward to show that the ACF {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right) of the stochastic simulation model is identical to the ACF r_{ μ μ }(τ) of the reference model, i.e., {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right)={r}_{\mathrm{\mu \mu}}\left(\tau \right). The stochastic processes \widehat{\mathit{\mu}}\left(t\right) of Class IV channel simulators are nonAE since the inequality {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right)\ne {r}_{\stackrel{~}{\mu}\stackrel{~}{\mu}}\left(\tau \right) holds.
6.5 Class V channel simulators
A Class V channel simulator is determined by a stochastic process \widehat{\mathit{\zeta}}\left(t\right) with random gains c_{ n }, constant frequencies f_{ n }, and constant phases θ_{ n }. Thus, the complex process \widehat{\mathit{\mu}}\left(t\right)={\widehat{\mathit{\mu}}}_{1}\left(t\right)+j{\widehat{\mathit{\mu}}}_{2}\left(t\right) has the following form
In Appendix Appendix 2, it is shown that the density {p}_{\widehat{\zeta}}(z;t) of the stochastic process \widehat{\mathit{\zeta}}\left(t\right)=\left\widehat{\mathit{\mu}}\right(t\left)\right is given by
where p_{ c }(·) denotes the density of the gains c_{ n }. From the equation above, we realize that the density {p}_{\widehat{\zeta}}(z;t) is a function of time. Hence, the stochastic process \widehat{\mathit{\zeta}}\left(t\right) is not an FOS process.
In the following, we will impose on the stochastic channel simulator that the i.i.d. random variables c_{ n } have zero mean and variance {\sigma}_{c}^{2}, i.e., m_{ c }=E{c_{ n }}=0 and {\sigma}_{c}^{2}=\text{Var}\left\{{\mathit{c}}_{n}\right\}=E\left\{{\mathit{c}}_{n}^{2}\right\}. Thus, for the mean {m}_{\widehat{\mu}}\left(t\right) of the stochastic process \widehat{\mathit{\mu}}\left(t\right), we obtain {m}_{\widehat{\mu}}\left(t\right)=0. The ACF {r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2}) of \widehat{\mathit{\mu}}\left(t\right) can be expressed as
By taking into account that the gains c_{ n } have zero mean, i.e., m_{c=0}, we obtain
Despite the fact that the ACF of \widehat{\mathit{\mu}}\left(t\right) depends only on the time difference τ=t_{2}−t_{1} if m_{ c }=0, the stochastic process \widehat{\mathit{\mu}}\left(t\right) turns out to be nonAE as the inequality {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right)\ne {r}_{\stackrel{~}{\mu}\stackrel{~}{\mu}}\left(\tau \right) holds.
6.6 Class VI channel simulators
The channel simulators of Class VI comprise a set of stochastic processes \widehat{\mathit{\zeta}}\left(t\right) with random gains c_{ n }, constant frequencies f_{ n }, and random phases θ_{ n }. In this case, the complex process \widehat{\mathit{\mu}}\left(t\right)={\widehat{\mathit{\mu}}}_{1}\left(t\right)+j{\widehat{\mathit{\mu}}}_{2}\left(t\right) is of type
In order to find the density {p}_{\widehat{\zeta}}\left(z\right) of \widehat{\mathit{\zeta}}\left(t\right)=\left\widehat{\mathit{\mu}}\right(t\left)\right of Class VI channel simulators, we make use of the conditional density {p}_{\widehat{\zeta}}\left(z\right{\mathit{c}}_{n}={c}_{n}) of Class II channel simulators. The density {p}_{\widehat{\zeta}}\left(z\right) of Class VI channel simulators can then be obtained by averaging the conditional density {p}_{\widehat{\zeta}}\left(z\right{\mathit{c}}_{n}={c}_{n}) over the distribution p_{ c }(y) of the N i.i.d. random variables {\mathit{c}}_{1},{\mathit{c}}_{2},\dots ,{\mathit{c}}_{N}, i.e.,
From (34), we can conclude that the density {p}_{\widehat{\zeta}}\left(z\right) is independent of time. Hence, the stochastic process \widehat{\mathit{\zeta}}\left(t\right) is FOS. The mean {m}_{\widehat{\mu}}\left(t\right) of the stochastic process \widehat{\mathit{\mu}}\left(t\right) is still given by (18) since the behavior of the random gains c_{ n } has no effect on the mean in (18).
The ACF {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right) of the stochastic process \widehat{\mathit{\mu}}\left(t\right) can be expressed as
Without imposing any specific distribution on the random gains c_{ n }, we can conclude that the stochastic process \widehat{\mathit{\mu}}\left(t\right) is nonAE since the inequality {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right)\ne {r}_{\stackrel{~}{\mu}\stackrel{~}{\mu}}\left(\tau \right) holds.
6.7 Class VII channel simulators
This class of channel simulators involves all stochastic processes \widehat{\mathit{\zeta}}\left(t\right)=\left\widehat{\mathit{\mu}}\right(t\left)\right with random gains c_{ n }, random frequencies f_{ n }, and constant phases θ_{ n }, i.e.,
To obtain the density {p}_{\widehat{\zeta}}\left(z\right) of the stochastic process \widehat{\mathit{\zeta}}\left(t\right), we consider first the case t→±∞. The density {p}_{\widehat{\zeta}}\left(z\right) can be considered as the conditional density {p}_{\widehat{\zeta}}\left(z\right{\mathit{c}}_{n}={c}_{n}) obtained for Class III channel simulators. By following the same procedure described in SubSection 6.6, we can conclude that the density {p}_{\widehat{\zeta}}\left(z\right) is given by (34). If t is finite, we have to repeat the procedure described in SubSection 6.6 using ([29], Eq. (32)) instead of (22). In this case, it turns out that the density {p}_{\widehat{\zeta}}(z;t) is a function of t. Hence, the stochastic processes \widehat{\mathit{\zeta}}\left(t\right) of Class VII channel simulators are asymptotically FOS processes.
The mean {m}_{\widehat{\mu}}\left(t\right) of this class of channel simulators is given by
It follows from (37) that the mean value is time independent if any of the boundary conditions m_{ c }=0, t→±∞, or (25) are fulfilled.
Let us assume that the random frequencies f_{ n } are given by (23). Then, the ACF {r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2}) of the stochastic process \widehat{\mathit{\mu}}\left(t\right) is obtained by computing the statistical average of (31) with respect to the random characteristics of the frequencies f_{ n }. Thus, we obtain
From the equation above, it follows that the ACF {r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2}) depends only on the time difference τ=t_{2}−t_{1} if we impose on this class of channel simulators any of the boundary conditions m_{ c }=0 or (27). In addition, similar to the explanations given in SubSection 6.3, we can conclude that the ACF {r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2}) depends only on the time difference τ=t_{2}−t_{1} if t_{1}→±∞ and/or t_{2}→±∞. Furthermore, remember from SubSection 6.3 that the conditions (25) and (27) cannot be fulfilled simultaneously. If any of the boundary conditions m_{ c }=0 or (27) is fulfilled and if {\sigma}_{c}^{2}=2{\sigma}_{0}^{2}/N{m}_{c}^{2}, then {r}_{\widehat{\mu}\widehat{\mu}}({t}_{1},{t}_{2}) in (38) reduces to
which states that the channel simulators of Class VII and the reference model have identical correlation properties. However, the stochastic process \widehat{\mathit{\mu}}\left(t\right) is nonAE since the inequality {r}_{{\widehat{\mu}}_{i}{\widehat{\mu}}_{i}}\left(\tau \right)\ne {r}_{{\stackrel{~}{\mu}}_{i}{\stackrel{~}{\mu}}_{i}}\left(\tau \right) holds.
6.8 Class VIII channel simulators
The channel simulators of Class VIII are defined by a set of stochastic processes \widehat{\mathit{\zeta}}\left(t\right)=\left\widehat{\mathit{\mu}}\right(t\left)\right with random gains c_{ n }, random frequencies f_{ n }, and random phases θ_{ n }, i.e.,
The density {p}_{\widehat{\zeta}}\left(z\right) of the stochastic process \widehat{\mathit{\zeta}}\left(t\right) is given by (34) because the random behavior of the frequencies f_{ n } has no influence on {p}_{\widehat{\zeta}}\left(z\right). Hence, a Class VIII channel simulator is FOS.
For this class of channel simulators, it is straightforward to show that the mean {m}_{\widehat{\mu}}\left(t\right) of the stochastic process \widehat{\mathit{\mu}}\left(t\right) is constant and equal to zero, i.e., {m}_{\widehat{\mu}}=0. From (38), we can easily obtain the ACF {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right) for this class of channel simulators by taking into account the random characteristics of the phases θ_{ n }, i.e.,
Hence, {r}_{\widehat{\mu}\widehat{\mu}}\left(\tau \right)={r}_{\mathrm{\mu \mu}}\left(\tau \right) holds if {\sigma}_{c}^{2}=2{\sigma}_{0}^{2}/N{m}_{c}^{2}. Note that in contrast to Class VII channel simulators, the ACF of Class VIII channel simulators only depends on the time difference τ=t_{2}−t_{1} even if m_{ c }≠0. However, the channel simulators of Class VIII prove to be nonAE since the inequality {r}_{{\widehat{\mu}}_{i}{\widehat{\mu}}_{i}}\left(\tau \right)\ne {r}_{{\stackrel{~}{\mu}}_{i}{\stackrel{~}{\mu}}_{i}}\left(\tau \right) holds.
7 Extension with respect to frequency selectivity
In this section, we extend our fundamental study on the stationarity and ergodicity of SOC simulation models for frequencynonselective channels to SOC simulation models for frequencyselective channels. The timevariant impulse response, denoted by \stackrel{~}{h}({\tau}^{\prime},t), of deterministic SOC simulation models for frequencyselective channels can be expressed in the equivalent complex baseband by the following ([8], Eq. (3.9))
where {\tau}_{n}^{\prime} is the propagation delay of the n th path. For reasons of causality, we impose that {\tau}_{n}^{\prime}\ge 0 for n=1,\dots ,N. Furthermore, the timevariant channel transfer function, denoted by \stackrel{~}{H}({f}^{\prime},t), is obtained by taking the Fourier transform of \stackrel{~}{h}({\tau}^{\prime},t) with respect to τ^{′}, i.e.,
The timevariant channel transfer function \stackrel{~}{H}({f}^{\prime},t) depends on four types of parameters, namely the gains c_{ n }, the frequencies f_{ n }, the phases θ_{ n }, and the propagation delays {\tau}_{n}^{\prime}. Each of these parameters can be defined either as a random variable or as a constant quantity. Hence, altogether, 2^{4}=16 classes of SOC models for frequencyselective Rayleigh fading channels can now be defined. The ACF, denoted by {\stackrel{~}{r}}_{\mathit{\text{HH}}}({f}^{\prime},{f}^{\prime}+{\nu}^{\prime};t,t+\tau ), of the timevariant channel transfer function \stackrel{~}{H}({f}^{\prime},t), defined by ([8], Eq. (7.144))
is called the timefrequency correlation function. After substituting (43) in (44) and taking into account that all frequencies f_{ n } are supposed to be different, we obtain
From (45), we can easily express the frequency correlation function {\stackrel{~}{r}}_{\mathit{\text{HH}}}\left({\nu}^{\prime}\right) and the time correlation function {\stackrel{~}{r}}_{\mathit{\text{HH}}}\left(\tau \right) as
and
respectively. We notice that the two expressions in (46) and (47) are dual to each other. The duality allows us to deduce the properties of the frequency correlation function {\stackrel{~}{r}}_{\mathit{\text{HH}}}\left({\nu}^{\prime}\right) directly from the properties of the time correlation function {\stackrel{~}{r}}_{\mathit{\text{HH}}}\left(\tau \right) if we replace the deterministic (random) frequencies f_{ n }(f_{ n }) by deterministic (random) propagation delays {\tau}_{n}^{\prime}\left({\mathit{\tau}}_{n}^{\prime}\right). After a straightforward investigation of the widesense stationarity, mean ergodicity, autocorrelation ergodicity with respect to both frequency and time, and the firstorder stationarity of the envelope of the underlying random processes characterizing the 16 different classes of frequencyselective SOC simulators, we obtain the results presented in Table 1. For reasons of brevity, we have omitted the detailed calculations leading to the results in Table 1.
8 Discussion and applications to the design of channel simulators
Based on the results presented in the previous sections, we can analyze and compare the stationary and ergodic properties of the most relevant frequencynonselective and frequencyselective SOC channel simulators proposed in the literature. In [39], Schulze proposed a stochastic SOC model with random delays, constant gains, random frequencies, and random phases to simulate wideband Rayleigh fading channels satisfying the widesense stationary uncorrelated scattering (WSSUS) condition ([40], Sec. 2.3). This model, which is inspired by the Monte Carlo approach for the simulation of physical and mathematical systems, was refined and further developed by Höher in [41]. The channel simulators by Schulze and Höher can be categorized into the 12th class of frequencyselective SOC simulation models. They are therefore characterized by a WSS and ME random process having an FOS envelope. However, from the results presented in Section 7, we can conclude that the channel simulators developed by Schulze and Höher are not AE. This is graphically demonstrated in Figure 1, where we present a comparison between the ensemble ACF and the time ACF of the channel simulator proposed in [41] with N=20 cisoids, {\sigma}_{0}^{2}=1, and f_{max}=100 Hz. Here, we assume that all the delays are equal to zero so we only consider frequencynonselective channels. The curves depicted in this figure were obtained by considering the simulation of a mobile fading channel satisfying the isotropic scattering condition. Unless stated otherwise, the same setup is considered for all simulation examples presented throughout this section. Figure 2 provides a comparison between the Rayleigh distribution and the envelope PDF of the SOC model in [41] evaluated at three randomly chosen observation time instants t_{1}, t_{2}, and t_{3}. The graphs shown in Figure 2 demonstrate that the envelope of the SOC simulation model is an FOS process.
A different type of frequencynonselective SOC model was introduced in [42] by Crespo and Jimenez to simulate WSSUS channels by applying a harmonic decomposition technique to compute the model parameters. The SOC simulator considered in that paper is defined by cisoids with constant (null) phases, constant frequencies, and random gains, where it is assumed that the cisoids’ gains have zero mean. The underlying simulation model is thus a Class V SOC process that satisfies the conditions for widesense stationarity and mean ergodicity. However, it does not fulfill the conditions for autocorrelation ergodicity, and its envelope is not an FOS process. This is numerically demonstrated in Figures 3 and 4, where we have again considered the simulation of a mobile fading channel under isotropic scattering conditions. The graphs presented in Figures 3 and 4 where obtained by setting the relevant parameters p and T of the method in [42] equal to p=0.05 and T=20/f_{max}. For this simulation setup, the resulting number of cisoids in SOC model equals N=281. It should be mentioned that the computational complexity by applying a harmonic decomposition technique has been addressed in [43].
The authors of [44] proposed a deterministic simulator for directionselective and frequencyselective mobile radio channels. The generated waveforms of the simulator can be interpreted as sample functions of the frequencyselective Class II SOC model having cisoids with random phases uniformly distributed over the interval (0,2π]. A channel simulator of frequencynonselective or frequencyselective Class II SOC model corresponds in practice to scenarios where the scatterers around the receiver introduce constant gains and random phases. Furthermore, in these scenarios, the AOAs of the incoming waves are considered as constants due to the constant Doppler frequencies. Frequencyselective SOC channel models of Class II play an important role in the design of measurementbased channel simulators [45, 46]. The correlation functions of such channel simulators match the correlation functions of measured channels accurately over a wide range determined by the length of the measured data. This can be achieved using the iterative nonlinear least square approximation method [47], which results in constant delays, constant gains, and constant Doppler frequencies, corresponding to constant AOAs. As the phases have no influence on the correlation functions, they are usually assumed to be i.i.d. uniform random variables. The assumption of constant AOAs has been applied in the wellknown onering scattering model as demonstrated in [48, 49]. Therein, the statistical properties of the presented channel simulator can be fitted nearly perfectly to the corresponding statistical properties of a reference model where the AOAs are continuous random variables with a given distribution. Hence, by considering constant AOAs in the channel simulator, we are able to simulate a large number of different propagation environments. From Sections 6 and 7, it follows that a random process characterizing a channel simulator as a frequency nonselective or frequencyselective Class II SOC model is WSS, ME, and AE [49]. In addition, the envelope of the generated complex waveforms proves to be an FOS process. These observations are supported by the simulation results shown in Figures 5 and 6, where we present plots of the ensemble ACF, time ACF, and envelope PDF of the frequencyselective Class II SOC simulation model proposed in [44]. For the simulation results presented in Figures 5 and 6, we have again considered the case that all the delays are equal to zero.
Building upon the simulation models introduced in [39, 41, 42, 44], other researchers have developed new parameter computation methods to increase the simulator’s accuracy and to reduce the simulation setup time. The characteristics of some noteworthy parameter computation methods are summarized in Table 2. We refer the interested reader to [8, 26, 36] for a detailed discussion on the performance of the parameter computation methods listed in Table 2.
Before closing this section, it is worth noticing that the stationary and ergodic properties of the eight classes of frequencynonselective stochastic SOC and SOS models bear strong similarities as one may observe from the results presented in this paper and those obtained in [28–30]. A summary of the results obtained in this paper and those presented in [28–30] is given in Table 3.
This table shows that there exist some subtle but important differences between SOC and SOS models. For example, we have demonstrated that the SOC models of Class III are strictly nonWSS processes, whereas the SOS models of Class III are WSS if some boundary conditions are fulfilled [29]. On the other hand, we have shown that the SOC models of Class V are WSS if the random gains of the cisoids have zero mean. In contrast, it is demonstrated in [30] that the SOS models of Class V are strictly nonWSS.
9 Conclusions
In this paper, we provided a comprehensive analysis of the stationary and ergodic properties of eight classes of deterministic and stochastic SOC simulation models for frequencynonselective mobile Rayleigh fading channels. We conclusively demonstrated that only the class defined by SOC models having cisoids with constant gains, constant Doppler frequencies, and random phases enables the design of channel simulators possessing the desired WSS, ME, AE, and FOS properties. In practice, this corresponds to scenarios where the scatterers around the receiver introduce constant gains and random phases. Furthermore, in these scenarios, the AOAs of the incoming waves are considered as constants due to the constant Doppler frequencies. Also, such a channel simulator can have nearly the same statistical properties as a given reference model where the AOAs are random variables with a given distribution. Furthermore, such a channel simulator that is extended to frequencyselective channels plays an important role in the design of measurementbased channel simulators. Hence, the channel simulator can be applied to a wide range of different propagation environments. The main focus of our work is on providing a solid and comprehensive framework that researchers can use to determine if a particular class of SOC models is well suited for the simulation of a given type of channel. For example, if one aims to simulate a fading channel having an FOS envelope, then it follows from the results presented in this paper that the SOC models of Class V are not a suitable option. A comparison with the results obtained in other papers for the stationary and ergodic properties of conventional SOS models shows that the stochastic SOC models and the SOS models have similar properties. However, there exist some important differences between the properties of both types of simulation models. Furthermore, we investigated the WSS, ME, AE, and FOS properties of SOC processes for the modeling and simulation of frequencyselective channels. Our investigations are of fundamental importance for the modeling and simulation of both SISO and MIMO channels.
The ergodic properties of Class II simulators for both frequencynonselective and frequencyselective channels hold, provided that the lengths of the generated waveforms (sample functions) are infinite. Unfortunately, this condition cannot be fulfilled in practice. In order to determine whether the aforementioned properties hold under realistic simulation conditions, it is necessary to revisit the analysis presented in this paper by considering waveforms of finite length. We leave this important open problem for future research.
Appendix 1
In this appendix, we will prove that the boundary conditions in (25) and (27) cannot be satisfied simultaneously. To that end, we observe that the equation in (27) is equivalent to
Now, if (25) holds, then we have from (48) that
The equation above poses a condition that cannot be satisfied because the cisoids’ gains c_{ n } are different from zero, and therefore, \sum _{n=1}^{N}{c}_{n}^{2}>0. This concludes the proof.
Appendix 2
In the following, we derive the density function of a stochastic process \widehat{\mathit{\zeta}}\left(t\right) with random gains c_{ n }, constant frequencies f_{ n }, and constant phases θ_{ n }. The starting point for the derivation of the density of the stochastic process \widehat{\mathit{\zeta}}\left(t\right)=\left\widehat{\mathit{\mu}}\right(t\left)\right is a single complex cisoid of the form
For fixed values of t=t_{0}, {\widehat{\mathit{\mu}}}_{1,n}\left({t}_{0}\right)=\text{Re}\left\{{\widehat{\mathit{\mu}}}_{n}\right(t\left)\right\}={\mathit{c}}_{n}cos(2\pi {f}_{n}{t}_{0}+{\theta}_{n}) and {\widehat{\mathit{\mu}}}_{2,n}\left({t}_{0}\right)=\text{Im}\left\{{\widehat{\mathit{\mu}}}_{n}\right(t\left)\right\}={\mathit{c}}_{n}sin(2\pi {f}_{n}{t}_{0}+{\theta}_{n}) represent two dependent random variables. From ([9], Eq. (518)), the density {p}_{{\widehat{\mu}}_{1,n}}({x}_{1};{t}_{0}) of {\widehat{\mathit{\mu}}}_{1,n}\left({t}_{0}\right) can be expressed as
where p_{ c }(·) denotes the common density of the gains c_{ n }. Using ([50], Eq. (3.15)), the joint density {p}_{{\widehat{\mu}}_{1,n}{\widehat{\mu}}_{2,n}}({x}_{1},{x}_{2};{t}_{0}) of the dependent random variables {\widehat{\mathit{\mu}}}_{1,n}\left({t}_{0}\right) and {\widehat{\mathit{\mu}}}_{2,n}\left({t}_{0}\right) can be obtained as
where g(x_{1};t_{0})=x_{1} tan(2π f_{ n }t_{0}+θ_{ n }). The joint characteristic function {\Psi}_{{\widehat{\mu}}_{1,n}{\widehat{\mu}}_{2,n}}({\nu}_{1},{\nu}_{2};{t}_{0}) of the random variables {\widehat{\mathit{\mu}}}_{1,n}\left({t}_{0}\right) and {\widehat{\mathit{\mu}}}_{2,n}\left({t}_{0}\right) is defined by the Fourier transformation
After substituting (52) in (53) and carrying out some algebraic computations, we find
Since we have assumed that the gains c_{ n } are i.i.d. random variables, it follows that the quantities μ_{ n }(t_{0}) are also i.i.d. random variables. Hence, the joint characteristic function {\Psi}_{{\widehat{\mu}}_{1}{\widehat{\mu}}_{2}}({\nu}_{1},{\nu}_{2};{t}_{0}) of {\widehat{\mathit{\mu}}}_{1}\left({t}_{0}\right) and {\widehat{\mathit{\mu}}}_{2}\left({t}_{0}\right) can be expressed as the product of the joint characteristic functions {\Psi}_{{\widehat{\mu}}_{1,n}{\widehat{\mu}}_{2,n}}({\nu}_{1},{\nu}_{2};{t}_{0}) of {\widehat{\mathit{\mu}}}_{1,n}\left({t}_{0}\right) and {\widehat{\mathit{\mu}}}_{2,n}\left({t}_{0}\right), i.e.,
From this and the twodimensional inversion formula for Fourier transforms, it follows that the joint density {p}_{{\widehat{\mu}}_{1}{\widehat{\mu}}_{2}}({x}_{1},{x}_{2};{t}_{0}) of the statistically dependent random variables {\widehat{\mathit{\mu}}}_{1}\left({t}_{0}\right) and {\widehat{\mathit{\mu}}}_{2}\left({t}_{0}\right) can be expressed as
If we now transform the Cartesian coordinates (x_{1},x_{2}) into polar coordinates (z,φ) by means of x_{1}=z cosφ and x_{2}=z sinφ, then we obtain the joint density {p}_{\widehat{\zeta}\widehat{\vartheta}}(z,\phi ;{t}_{0}) of the envelope \widehat{\mathit{\zeta}}\left({t}_{0}\right)=\left\widehat{\mathit{\mu}}\right({t}_{0}\left)\right and the phase \widehat{\mathit{\vartheta}}\left({t}_{0}\right)=arg\left\{\widehat{\mathit{\mu}}\right({t}_{0}\left)\right\} as
for z≥0 and φ∈(−π,π). Finally, the density {p}_{\widehat{\zeta}}(z;{t}_{0}) of the envelope \widehat{\mathit{\zeta}}\left({t}_{0}\right) can be obtained from the joint density {p}_{\widehat{\zeta}\widehat{\vartheta}}(z,\theta ;{t}_{0}) by integrating over φ. By following this procedure, using ([51], Eq. (3.937.2)) and transforming the Cartesian coordinates (ν_{1},ν_{2}) into polar coordinates (r,θ), we finally obtain
Endnotes
^{a} We notice, nonetheless, that the conventional SOS simulation approach can be applied to the simulation of fading channels with asymmetrical DPSDs if the conventional approach is used in connection with the Hilbert transform ([8], Sec. 6.1.4).
^{b} For clarity, we will use bold letters to indicate stochastic processes as well as random variables, and normal letters are used for deterministic processes (sample functions) and realizations (outcomes) of random variables.
References
Fleury BH, Leuthold PE: Radiowave propagation in mobile communications: an overview of European research. IEEE Commun. Mag 1996, 34: 7081.
Sklar B: Digital Communications: Fundamentals and Applications. Prentice Hall, New Jersey; 2001.
Sharma P: Timeseries model for wireless fading channels in isotropic and nonisotropic scattering environments. IEEE Commun. Lett 2005, 9: 4648.
Smith JI: A computer generated multipath fading simulation for mobile radio. IEEE Trans. Veh. Technol 1975, 24(3):3940.
Ertel RB, Reed JH: Generation of two equal power correlated Rayleigh fading envelopes. IEEE Commun. Lett 1998, 2(10):276278.
Yip KW, Ng TS: KarhunenLoève expansion of the WSSUS channel output and its application to efficient simulation. IEEE J. Select. Areas Commun 1997, 15(4):640646. 10.1109/49.585774
Stüber GL: Principles of Mobile Communication. Kluwer Academic Publishers, Boston; 2011.
Pätzold M: Mobile Radio Channels. John Wiley and Sons, Chichester; 2011.
Papoulis A, Pillai SU: Probability, Random Variables and Stochastic Processes. McGrawHill, New York; 2002.
Pätzold M, Laue F: The performance of deterministic Rayleigh fading channel simulators with respect to the bit error probability. Vehicular Technology Conference Proceedings, VTC 2000Spring, Tokyo, IEEE. Piscataway 2000, 19982003.
Ma Y, Pätzold M: Performance analysis of wideband sumofcisoidsbased channel simulators with respect to the bit error probability of DPSK OFDM systems. Vehicular Technology Conference Proceedings, VTC 2009Spring, Barcelona IEEE. Piscataway 2009, 16.
Fleury BH: An uncertainty relation for WSS processes and its application to WSSUS systems. IEEE Trans. Commun 1996, 44: 16321634. 10.1109/26.545890
Paier A, Zemen T, Bernado L, Matz G, Karedal J, Czink N, Dumard C, Tufvesson F, Molisch AF, Mecklenbräuker CF: NonWSSUS vehicular channel characterization in highway and urban scenarios at 5.2 GHz using the local scattering function. International Workshop on Smart Antennas, (WSA 2008). 915.
Umansky D, Pätzold M: Stationarity test for wireless communication channels. In IEEE Global Communications Conference Proceedings GLOBECOM. IEEE, Piscataway, Honolulu; 2009:16.
Rice SO: Mathematical analysis of random noise. Bell Syst. Tech. J 1944, 23: 282332.
Rice SO: Mathematical analysis of random noise. Bell Syst. Tech. J 1945, 24: 46156.
Jakes WC: Microwave Mobile Communications. IEEE Press, Piscataway; 1994.
Pätzold M, Killat U, Laue F: Deterministic digital simulation model for Suzuki processes with application to a shadowed Rayleigh land mobile radio channel. IEEE Trans. Veh. Technol 1996, 45(2):318331. 10.1109/25.492906
Xiao C, Wu J, Leong SY, Zheng YR, Letaief KB: A discretetime model for triply selective MIMO Rayleigh fading channels. IEEE Trans. Wireless Commun 2004, 3(5):16781688. 10.1109/TWC.2004.833444
Patel CS, Stüber GL, Pratt TG: Comparative analysis of statistical models for the simulation of Rayleigh faded cellular channels. IEEE Trans. Commun 2005, 53(6):10171026. 10.1109/TCOMM.2005.849735
Alimohammad A, Cockburn BF: Modeling and hardware implementation aspects of fading channel simulators. IEEE Trans. Veh. Technol 2008, 57(4):20552069.
Pätzold M, Talha B: On the statistical properties of sumofcisoidsbased mobile radio channel models, in Proceeding of the 10th International Symposium on Wireless Personal Multimedia Communications, WPMC. Jaipur 2007, 394400.
Gutiérrez CA: Channel Simulation Models for Mobile Broadband Communication Systems. University of Agder, Doctoral Dissertation; 2009.
Zheng YR: A nonisotropic model for mobiletomobile fading channel simulations. In Proceedings of the 2006 IEEE Conference on Military Communications (MILCOM’06), Washington, DC. IEEE, Piscataway; 2006:17.
Pätzold M, Hogstad BO, Youssef N: Modeling, analysis, and simulation of MIMO mobiletomobile fading channels. IEEE Trans. Wireless Commun 2008, 7(2):510520.
Gutiérrez CA, Pätzold M: The generalized method of equal areas for the design of sumofcisoids simulators for mobile Rayleigh fading channels with arbitrary Doppler spectra. Wirel. Commun. Mob. Comput. 2011. 10.1002/wcm.1154
Durgin GD: SpaceTime Wireless Channels. Prentice Hall, New Jersey; 2003.
Pätzold M: On the stationarity and ergodicity of fading channel simulators basing on Rice’s sumofsinusoids. In Proceeding of the 14th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2003. IEEE, Piscataway, Beijing; 2003:15211525.
Pätzold M, Hogstad BO: Classes of sumofsinusoids Rayleigh fading channel simulators and their stationary and ergodic properties–part I. WSEAS Trans. on Math. 2006, 5: 222230.
Pätzold M, Hogstad BO: Classes of sumofsinusoids Rayleigh fading channel simulators and their stationary and ergodic properties–part II. WSEAS Trans. Math 2005, 4(4):441449.
Gutiérrez CA, Pätzold M: On the correlation and ergodic properties of the squared envelope of SOC Rayleigh fading channel simulators. Wireless Personal Commun 2013, 68(3):963979. 10.1007/s1127701104932
Pätzold M, Killat U, Laue F: An extended Suzuki model for land mobile satellite channels and its statistical properties. IEEE Trans. Veh. Technol 1998, 47(2):617630. 10.1109/25.669099
Neeser FD, Massey JL: Proper complex random processes with applications to information theory. IEEE Trans. Inform. Theory 1993, 39(4):12931302. 10.1109/18.243446
Clarke RH: A statistical theory of mobileradio reception. Bell Syst. Tech. J 1968, 47: 9571000.
Gutiérrez CA, Pätzold M: Sumofsinusoidsbased simulation of flat fading wireless propagation channels under nonisotropic scattering conditions. In Proceedings of the 50th IEEE Global Telecommunications Conference, GLOBECOM 2007. IEEE, Piscataway, Washington DC; 2007:38423846.
Gutiérrez CA, Pätzold M: The design of sumofcisoids Rayleigh fading channel simulators assuming nonisotropic scattering conditions. IEEE Trans. Wireless Commun 2010, 9(4):13081314.
Cheng X, Wang CX, Laurenson DI, Salous S, Vasilakos AV: New deterministic and stochastic simulation models for nonisotropic scattering mobiletomobile Rayleigh fading channels. Wireless Commun. and Mobile Computing July 2011, 11(7):829842.
Shynk JJ: Probability, Random Variables, and Random Processes: Theory and Signal Processing Applications. WileyInterscience, Hoboken; 2012.
Schulze H: Stochastische Modelle und digitale Simulation von Mobilfunkkanälen, vol.32. In Proceedings of, Kleinheubacher Reports of the German PTT, U.R.S.I/ITG Conference in Kleinheubach. Darmstadt; 1988:473483.
Schulze H, Lüders L: Theory and Applications of OFDM and CDMA. John Wiley and Sons, Chichester; 2005.
Höher P: A statistical discretetime model for the WSSUS multipath channel. IEEE Trans. Veh. Technol 1992, 41(4):461468. 10.1109/25.182598
Crespo P, Jiménez J: Computer simulation of radio channels using a harmonic decomposition technique. IEEE Trans. Veh. Technol 1995, 44(3):414419. 10.1109/25.406607
ParraMichel R, Kontorovich VY, OrozcoLugo AG, Lara M: Computational complexity of narrow band and wide band channel simulators. In Proceedings of IEEE 58th Vehicular Technology Conference, VTC 2003Fall, Orlando,. IEEE, Piscataway; 2003:143148.
Pätzold M, Youssef N: Modelling and simulation of directionselective and frequencyselective mobile radio channels. Int. J. Electron. Commun. 2001, AEÜ55(6):433442.
Umansky D, Pätzold M: Design of measurementbased wideband mobile radio channel simulators. In Proceedings of the 4th IEEE International Symposium on Wireless Communication Systems, ISWCS 2007, Trondheim. IEEE, Piscataway, 2007; 229235.
Umansky D, Pätzold M: Design of wideband mobile radio channel simulators based on realworld measurement data. In Proceedings of the 67th IEEE Vehicular Technology Conference, VTC 2008Spring, Singapore. IEEE, Piscataway; 2008:319324.
Fayziyev A, Pätzold M: An improved iterative nonlinear least square approximation method for the design of SISO wideband mobile radio channel simulators. REV J. Electron. Commun 2012, 2(12):1925.
Chen TA, Fitz MP, Kuo WY, Zoltowski MD, Grimm JH: A spacetime model for frequency nonselective Rayleigh fading channels with applications to spacetime modems. IEEE J. Select. Areas Commun 2000, 18(7):11751190.
Pätzold M, Hogstad BO: A spacetime simulator for MIMO channels based on the geometrical onering scattering model. Wirel. Commun. Mob. Comput 2004, 4: 727737. 10.1002/wcm.252
Primak S, Kontorovich VY, Lyandres V: Stochastic Methods and their Applications to Communications – Stochastic Differential Equations Approach. John Wiley & Sons, Chichester; 2004.
Gradshteyn IS, Ryzhik IM: Tables of Series, Products, and Integrals, Volume I and II. Harri Deutsch, Frankfurt; 1981.
Acknowledgements
This paper was presented in parts at IEEE 67th Vehicular Technology Conference, VTC2008Spring, Singapore, May 2008, and European Wireless Conference, Vienna, Austria, April 2011. This work was supported in part by the Basque Government through the INFOLIMITS project (PI201210), and by the Spanish Ministry of Science and Innovation through the projects COSIMA(TEC201019545C0402) and COMONSENS (CSD200800010).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Hogstad, B.O., Gutiérrez, C.A., Pätzold, M. et al. Classes of sumofcisoids processes and their statistics for the modeling and simulation of mobile fading channels. J Wireless Com Network 2013, 125 (2013). https://doi.org/10.1186/168714992013125
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168714992013125
Keywords
 Mobile Fading Channels
 Channel Simulation
 Cisoid
 Firstorder Stationarity
 Modern Mobile Communication Systems