1. Introduction
Optical wireless communications using intensity modulation and direct detection (IM/DD) can provide high-speed links for a variety of applications [
1], providing an unregulated spectral segment and high security. Here, the transmit power must be constrained by power consumption concerns and eye-safety considerations. Moreover, these systems are intrinsically bandwidth limited due to the use of large inexpensive optoelectronic components. Recently, the use of atmospheric free-space optical (FSO) transmission is being specially interesting to solve the
"last mile" problem, above all in densely populated urban areas, as well as a supplement to radio-frequency (RF) links [
2] and the recent development of radio on free-space optical links (RoFSOLs) [
3,
4]. However, atmospheric turbulence produces fluctuations in the irradiance of the transmitted optical beam, which is known as
atmospheric scintillation, severely degrading the link performance [
5,
6].
An upper bound on the capacity of the indoor optical wireless channel was determined in [
7] for the specific case of multicarrier systems where the average optical amplitude in each disjoint symbol interval is fixed. By contrast, Hranilovic and Kschischang determine in [
8] an upper bound by not assuming a particular signaling set and allowing for the average optical amplitude of each symbol to vary. This upper bound is improved at low signal-to-noise ratio for IM/DD channels with pulse amplitude modulation in [
9]. In [
10], a new closed-form upper bound on the capacity is found through a sphere-packing argument for channels using equiprobable binary pulse amplitude modulation (PAM) and subject to an average optical power constraint, presenting a tighter performance at lower optical signal-to-noise ratio (SNR) if compared with [
8]. Recently, using a dual expression for channel capacity introduced in [
11], Lapidoth et al. have derived new upper bounds on the capacity of the indoor optical wireless channel when the input is constrained in both its average and its peak power [
12]. In the analysis of the capacity of the atmospheric FSO channel, several works can be cited [
13‐
22]. In [
13], numerical results for the capacity of gamma-gamma atmospheric turbulence channels using on-off keying (OOK) formats are presented by maximizing the mutual information for this channel over a binomial input distribution. In [
14,
15], the capacity of log-normal optical wireless channel with OOK formats is computed for known channel state information (CSI) in a similar way to the capacity of the well-known additive white Gaussian noise (AWGN) channel with binary phase shift keying (BPSK) signaling, assuming the fact that the input distribution that maximizes mutual information is the same regardless of the channel state. In [
16‐
18], closed-form mathematical expressions for the evaluation of the average channel capacity are presented when log-normal and gamma-gamma models are adopted for the atmospheric turbulence, assuming the same considerations as in [
14,
15]. In [
19], the availability of CSI and the effects of channel memory on the capacities of FSO communications channels are investigated by adopting an approach as in [
14‐
18], using a definition of SNR proper to RF fading channels where performance depends on the average power of the electrical current, obtained by the conversion from the optical signal. In [
20], closed form expressions for the bit-error rate and the outage probability are presented when pointing errors effects are considered. In [
21], ergodic capacity is numerically evaluated for turbulence channels with pointing errors using OOK formats. Recently, Farid and Hranilovic have considered in [
22] the design of capacity-approaching, nonuniform optical intensity signaling in the presence of average and peak amplitude constraints, presenting a practical algorithm by using multilevel coding followed by a mapper and multistage decoding at the receiver. The analysis of the channel capacity for alternative FSO scenarios has been considered in [
23‐
25].
In this paper, a new upper bound on the capacity of power- and bandwidth-constrained optical wireless links over gamma-gamma atmospheric turbulence channels with intensity modulation and direct detection is derived when OOK formats are used. Because FSO channel is envisioned as the solution to the convectivity bottleneck problem and as a supplement to RF links, the complexity of transmitter and receiver must be low. Therefore, the use of IM/DD links with OOK formats is proposed as a reasonable choice. In this FSO scenario, unlike previous capacity bounds derived from the classical capacity formula corresponding to the electrical equivalent AWGN channel with uniform input distribution, a new closed-form upper bound on the capacity is found by bounding the mutual information subject to an average optical power constraint and not only to an average electrical power constraint, being considered in our system model the impact of a nonuniform input distribution. This new approach is based on the fact that a necessary and sufficient condition between average optical power and average electrical power constraints is satisfied for OOK signaling where an unidimensional space is assumed with one of the two points of the constellation taking the value of 0, corroborating the nonnegativity constraint. This bound presents a tighter performance at lower optical SNR if compared with previously reported bounds and shows the fact that the input distribution that maximizes the mutual information varies with the turbulence strength and the SNR. Additionally, it is shown that an increase of the peak-to-average optical power ratio (PAOPR) provides higher capacity values. Simulation results for the mutual information are further demonstrated to confirm the analytical results under several turbulence conditions.
2. Atmospheric Turbulence Channel Model
The use of infrared technologies based on IM/DD links is considered, where the instantaneous current in the receiving photodetector,
, can be written as
where the
symbol denotes convolution,
is the detector responsivity, assumed hereinafter to be the unity,
represents the optical power supplied by the source,
the impulse response of an ideal lowpass filter, which cuts out all frequencies greater than
hertz, modelling the fact that these systems are intrinsically bandwidth limited due to the use of large inexpensive optoelectronic components, and
the scintillation at the optical path;
is assumed to include any front-end receiver thermal noise as well as shot noise caused by ambient light much stronger than the desired signal at detector. In this case, the noise can usually be modeled to high accuracy as AWGN with zero mean and variance
, that is,
, independent of the on/off state of the received bit [
1]. Since the transmitted signal is an intensity,
must satisfy for all
. Due to eye and skin safety regulations, the average optical power is limited and, hence, the average amplitude of
is limited. Although limits are placed on both the average and peak optical power transmitted, in the case of most practical modulated optical sources, it is the average optical power constraint that dominates [
26]. The received electrical signal
, however, can assume negative amplitude values. In this fashion, the atmospheric turbulence channel model consists of a multiplicative noise model, where the optical signal is multiplied by the channel irradiance. Here, we consider the gamma-gamma turbulence model proposed in [
5,
27], where the normalized irradiance
is defined as the product of two independent random variables, that is,
,
and
representing large-scale and small-scale turbulent eddies and each of them following a gamma distribution. This leads to the so-called gamma-gamma distribution, whose probability density function (PDF) is given by
where
is the well-known Gamma function, and
is the
th-order modified Bessel function of the second kind [
28]. Assuming spherical wave propagation, the parameters
and
are related to the atmospheric conditions through the following expressions [
27,
29]:
where
and
. Here,
is the optical wave number,
is the wavelength,
is the diameter of the receiver collecting lens aperture, and
is the link distance in meters.
stands for the altitude-dependent index of the refractive structure parameter and varies from
for strong turbulence to
for weak turbulence. Since the mean value of this turbulence model is
and the second moment is given by
, the scintillation index (SI), a parameter of interest used to describe the strength of atmospheric fading, is defined as
We consider OOK formats with any pulse shape and reduced duty cycle, allowing the increase of the PAOPR parameter. A new basis function
is defined as
where
represents any normalized pulse shape satisfying the nonnegativity constraint, with
in the bit period and
otherwise, and
is the electrical energy. In this way, an expression for the optical intensity can be written as
where
f = 0
represents the Fourier transform of
evaluated at frequency
f = 0, that is, the area of the employed pulse shape. The random variable (RV)
follows a Bernoulli distribution with parameter
, taking the values of 0 for the bit "0" (off pulse) and 1 for the bit "1" (on pulse). From this expression, it is easy to deduce that the average optical power transmitted is
. The constellation here defined for the OOK format using any pulse shape consists of two points in a one-dimensional space with an Euclidean distance of
where
represents the square of the increment in Euclidean distance due to the use of a pulse shape of high PAOPR, alternative to the classical rectangular pulse. Assuming maximum-likelihood detection and
as the impulse response of an ideal lowpass filter, which cuts out all frequencies greater than
hertz, the electrical power of
, signal corresponding to
at the detector output, conditionated to the irradiance, can be written as
where
is obtained from
with
, representing the fact that the channel under study is constrained to
degrees of freedom. In this way, the bandwidth constraint in our analysis is subject to the channel and not to the signaling technique, as in [
8]. In our opinion, this is closer to the real scenario. It must be noted that the intersymbol interference between successive code words is considered negligible, assuming that this channel is able to support the transmission of at most
dimensions per symbol. With the aid of the converse to the coding theorem it is easy to show that the intersymbol interference cannot reduce error probability. There is no problem since we can transmit, in principle, only one code word of arbitrarily long duration, showing that arbitrarily small error probabilities can be achieved at any rate less than capacity [
30, Section
]. The channel is assumed to be memoryless, stationary, and ergodic, with independent and identically distributed intensity fast fading statistics. Although scintillation is a slow time varying process relative to typical symbol rates of an FSO system, having a coherence time on the order of milliseconds, this approach is valid because temporal correlation can in practice be overcome by means of long interleavers, being usually assumed both in the analysis from the point of view of information theory and error rate performance analysis of coded FSO links [
13,
29,
31]. This assumption has to be considered like an ideal scenario where the latency introduced by the interleaver is not an inconvenience for the required application, being interpreted the results so obtained as upper bounds on the system performance. We also consider that the channel state information is available at both transmitter and receiver. In this way, the channel capacity must be considered as a random variable following the gamma-gamma distribution corresponding to the atmospheric turbulence model and, hence, its average value, known as ergodic capacity, will indicate the average best rate for error-free transmission [
16‐
19].
3. Upper Bound on Channel Capacity
Considering the channel capacity as a random variable and perfect CSI available at both transmitter and receiver [
14,
32], we can use the theory derived for discrete-time Gaussian channels [
33], expressing the ergodic capacity in bits per channel use as
that is, the maximum, over all distributions on the input that satisfy the average optical power constraint at a level
, of the conditional mutual information between the input and output,
, averaged over the PDF in (2). It must be noted that unlike the approach followed in [
14‐
18], where the capacity is computed in a similar way to the capacity of the well-known AWGN channel with BPSK signaling, assuming the fact that the input distribution that maximizes mutual information is the same regardless of the channel state, we consider in our system model the impact of a nonuniform input distribution. In this way, the exchange of integration and maximization is not possible because the channel we consider does not satisfy a compatibility constraint [
32], since the input distribution that maximizes mutual information is not the same regardless of the channel state, as also considered in [
13,
34,
35].
The constraint in optical domain implies that
, the second moment of
, takes a value of up to
. Additionally, in our channel model, assuming a unidimensional space where the nonnegativity constraint is satisfied and one of the two points of the constellation takes the value of 0, it is easy to deduce that an average electrical power constraint of
, and, hence,
, implies an Euclidean distance as
and, hence, an average optical power constraint of
. Thus, an average electrical power constraint of
is necessary and sufficient condition for satisfying an average optical power constraint of
. This is only valid for OOK signaling, representing the basis of our work in order to achieve a tighter performance if compared with previously reported bounds. In relation to the equivalent discrete-time channel, it must be emphasized that the transmitted optical signal is represented by the random variable
, the atmospheric turbulence-induced signal is represented by the product
and the corresponding signal performed in electrical domain is represented by
, being the latter the signal to be finally considered in our analysis. Applying the fact that the Gaussian distribution maximizes the entropy over all distributions with the same variance [
33, Theorem
], we obtain
where
and represents the variance of the optical signal detected in electrical domain, resulting in
This expression bounds the conditional mutual information of the bandlimited optical intensity channel corrupted by white Gaussian noise with two-sided spectral density of
watts/Hz and average optical power constraint of
watts. Next, assuming that the channel is constrained to
dimensions and even without maximizing over the input distribution, the channel capacity
can be obtained by averaging over the PDF in (2) as follows:
where
is the SNR definition, as in [
8,
10], different to the expression used in [
14,
16‐
19], and
represents the entropy of the Bernoulli RV
in (5), presenting the maximum value achievable because OOK is the signaling technique considered in this analysis. After substituting (2) in (10), we can use Meijer's G-function [
28, equation (
)], available in standard scientific software packages such as Mathematica and Maple, in order to transform the integral expresion to the form in [
36, equation (
)], expressing in (10) the modified Bessel function of the second kind [
36, equation (
)] and the logarithm function [
36, equation (
)] in terms of Meijer's G-function. Finally, after a simple power transformation of the RV
in order to achieve a linear argument for Meijer's G-function related to the logarithm function and using [
36, equation (
)], a closed-form solution for
is derived as can be seen in
Knowing that
is also upper bounded by the binary entropy
, the ergodic capacity in bits per channel use is obtained by maximizing
over the parameter
as
For the sake of easy comparison, we present a closed-form expression in terms of the Meijer's G-function following a similar approach as in works in the same context [
16‐
18]. Nonetheless, it must be commented that Meijer's G-function has to be numerically calculated and, hence, the use of Monte Carlo integration to solve (10) may represent an alternative with less computational load.