 Research
 Open Access
 Published:
Multiple carrier frequency offset compensation for cooperative HAPS IoT systems
EURASIP Journal on Wireless Communications and Networking volume 2020, Article number: 157 (2020)
Abstract
Due to the deployment flexibility and broad coverage capabilities, High Altitude Platform Station is an efficiency solution of communication access for underserved areas like remote areas. However, for some special scenarios, multiple platforms may need to collaborate to overcome the effects of terrain. But the interferences introduced by multiple carriers and access links may hinder the process and restrict its practicability. In order to eliminate these interferences, a proposal on multiple carrier frequency offsets (MCFO) compensation algorithm was provided in this paper. Furthermore, this paper analyzed the lower bound of bit error ratio (BER) for cooperative HAPS systems. Simulation was also carried out, and the results validate the correctness of our theoretical analysis results.
Introduction
Due to the lack of telecommunications infrastructure and high density of trees and peaks, the signal coverage of rural and remote areas are restricted. However, these areas occupy an equally important position in the development of the country especially in Internet of Things (IoT) [1]. In many countries, rural and remote areas play an important role, such as protecting natural resources, forest fire prevention, in which the IoT network can play a crucial part. Therefore, the network should cover a wide range by employing huge number of base stations, and it will raise the network cost significantly.
In this case, special telecommunication technologies are required in rural and remote areas [2], especially because of their unique isolation environment, few population, large terrain, and inability to make productive investments [3]. Although various telecommunication methods have been proposed for rural areas where these services are lacking, efforts are needed to achieve Internet and cellular access [4].
Common rural telecommunication [5] infrastructure solutions are VSAT (Very Small Aperture Terminal) [6, 7] and microwave radio. Common solutions such as VSAT [8] and microwave links [9] bring high investment and operating costs, such as onsite acquisition, onsite visits, and technology costs, and are faced with low user density and low affordability in the return. Many operators therefore invest less in their development.
High Altitude Platform Station (HAPS) [10, 11] is also known as stratosphere repeaters. Traditional ground systems have problems like small coverage and strict propagation environment. However, these problems can be eliminated by using HAPS systems [12, 13]. It is a new approach to telecommunication infrastructure solutions in rural and remote areas based on the stratospheric airborne platform. So HAPS is very suitable for Internet of Things applications in remote areas.
However, in some special scenarios, the coverage of HAPS may be affected due to the obstacle from topography such as mountains and forests [14] and the communication between the platform and the device. Coordination between multiple HAPS stations may be need in these scenarios. However, there are interference challenges between multiple HAPS stations in the cooperative HAPS systems due to intercarrier interference (ICI) and multiple access interference (MAI).
Orthogonal frequency division multiplexing (OFDM) is a basic technology for IoT systems, such as NBIoT. In OFDMbased IoT systems [15], the channels are divided into orthogonal sub channels, and the data is converted into several parallel data streams, which are modulated to the sub channels for transmission. Multiple carrier frequency offsets (MCFO) [16] may result in ICI [17] and MAI [18] and will hinder the synchronization between the device and HAPS.
In this paper, we propose a new frequency offset compensation algorithm for HAPS IoT systems employing spacefrequency block code orthogonal frequency division multiplexing (SFBCOFDM), which can provide nearly the ideal performance under certain conditions. Furthermore, the performance of the algorithm was analyzed, and simulation was also carried out to verify the result.
This paper is organized as description in the follows. The system model and the proposed MCFO compensation algorithm are depicted in Section II. Section III describes the theoretical analysis on BER (bit error ratio) performance and the simulation results, and finally the conclusion is depicted in section IV.
Methods
System model
The system model is defined in this subsection. In this paper, we assumed that two HAPS stations collaborate to provide coverage for the same terminal through SFBCOFDM mode. In SFBCOFDM mode, two HAPS stations can be divided into main station and assist station. To simplify the system model, the system model can be abstracted as a relay system, in which the main HAPS is the source node and the assist HAPS is the relay node, as shown in Fig. 1.
All stations and device work in half duplex mode. The cooperative HAPS systems will listen and then transmit to the device. When listening, the source HAPS broadcasts the information to the assist HAPS and the device. And we assume that the transmitted data can be ideally detected by the assist HAPS. When transmitting, the two HAPS can transmit the data to the device cooperatively. In this paper, we assume that SFBC is employed. According to the SFBC scheme [19] that employs Altamonte strategy [20], the encoded vectors corresponding to the two nodes can be expressed as:
Then, the coded data are both OFDM modulated as \( {\mathbf{x}}_{\alpha }={\mathbf{F}}_N^{1}{\mathbf{X}}_{\alpha } \) (α ∈ {sd, rd}), where \( {\mathbf{F}}_N^{1} \) is the inverse Fourier matrix. Finally, a cyclic prefix (CP) is added to the top of x_{α}, which is utilized to eliminate the intersymbol interference (ISI). And N_{g} is the length of the CP.
The discrete time model of the received signal after removing the CP is as described in formula (2)
where L is the length of the frequency selective channel
In consequence, the frequency domain received signals can be expressed as
where H_{α} (α ∈ {sd, rd}) is the diagonal channel transform function (CTF) matrix given by H_{α} = diag {H_{α}(0), H_{α}(1), ⋯, H_{α}(N − 1)}, which is assumed to be unchanged during at least 2 subcarriers. It is assumed that the CTF on every subcarriers are independent, and they are Rayleigh random variables. Λ_{α} denotes the ICI coefficient matrix caused by MCFO, in which Λ_{α}[k, l] is defined as
In which, ε_{α} is the normalized frequency offset. And it is obvious that when k = l, \( {\Lambda}_{\varepsilon_{\alpha }}\left[k,l\right] \) is a constant value for fixed ε_{α}, which is denoted as \( {\Lambda}_{\varepsilon_{\alpha },0} \) and \( {\boldsymbol{\varLambda}}_{\varepsilon_{\alpha },0}=\mathit{\operatorname{diag}}\left\{\underset{N}{\underbrace{\varLambda_{\varepsilon_{\alpha },0},\cdots, {\varLambda}_{\varepsilon_{\alpha },0}}}\right\} \). It is known that the diagonal elements of Λ_{α} are the power weighting coefficients of subcarrier k, which can be depicted as \( {\boldsymbol{\Lambda}}_{\varepsilon_{\alpha },0} \) and the other elements are power leakage weighting coefficients caused by the MCFO, which is expressed as Π_{α} with elements of:
From formula (3), it can be observed that due to the existence of MCFO, not only ICI, but also MAI emerges, and the orthogonality of SFBC is destroyed. Consequently, the SFBC decode is much more complicated than conventional methods, which should be processed with an efficient MCFO compensation filter.
Proposed MCFO compensation algorithm
It is assumed that the multiple carrier frequency offsets and channel transfer functions of two links are ideally estimated by using the properties transmitted known pilots (see [21] and references therein). In the scenario in which HAPS stations collaborate, the measurement of simple mixing procedure has no effect on multiple frequency offsets compensation, as performed in a single out system [22] (Fig. 2).
MCFO mixing and modified SFBC decoding
As shown in formula (3), the received signal is interfered by the interference signal from both sourcedevice link and assistdevice link. In order guarantee the performance of SFBC, the received signals should be mixed with the two link’s CFO independently as:
where α = sd, rd. If we transform the above formula to frequency domain, the expression can be:
in which the signals on the successive two subcarriers k and k + 1 are repressed as:
Because of the existing of ICI coefficients, the conventional SFBC decoder is illfitted and designed. In the algorithm, the decoded signals on successive two subcarriers are defined as follows:
Minimum Euclidean Distance Decision Criterion
As is shown in formula (9), two signals, i.e., \( {\hat{\mathbf{X}}}_{sd} \) and \( {\hat{\mathbf{X}}}_{rd} \), are obtained. But they are both not accurate enough. As a result, there should be a suitable criterion to decide the reliability. In this paper, the criterion is chosen as Minimum Euclidean Distance Decision Criterion (MEDDC). With this criterion, we can compare the Euclidean distances from the two signals to their respectively nearest constellation point to select the output, which can be written as:
in which, ϑ_{i} is the coordinate of the ith constellation point for Mary modulation, for instance, as shown in Fig. 4. Because the Euclidean distances from \( {\hat{X}}_{sd,k} \) to ϑ_{0} is less than that from \( {\hat{X}}_{rd,k} \) to ϑ_{3}. Therefore, ϑ_{0} is selected to be the demodulated result (Fig. 3).
Interference reconstructing eliminator
After MEDDC, the ICI and MAI are proposed to be reconstructed and then eliminated. The quasitransmitted SFBC signals \( {\hat{\mathbf{X}}}_Q={\left[{\mathbf{X}}_Q^{sd},{\mathbf{X}}_Q^{rd}\right]}^T \) can be reconstructed with \( {\hat{\mathbf{X}}}_{MEDDC} \) through utilizing formula (1). Then, the ICI and MAI components in (8) can be calculated with \( {\hat{\mathbf{X}}}_Q \), the estimated ICI and CTF matrixes as:
Finally, the transmitted signal can be decoded again through reemploying formula (9) as:
Proposed MCFO compensation algorithm with iterative MEDDC
The proposed algorithm in this paper can be iteratively utilized to further increase the BER performance. Figure 4 gives the illustration of proposed algorithm with two iterations, in which the ICI eliminating and modified SFBC decoder would be independently implemented after quasitransmitted SFBC signals reconstructing. At last, the MEDDC is proposed to be utilized again for decreasing the BER of the systems.
Results and discussion
BER analysis results
BER derivation of cooperative communication systems
It is assumed that each subcarrier is modulated by Mary phase shift keying (PSK) with Gray bit mapping. The received signals, which are interfered by MCFO, can be rewritten the Eq. (3) in element expression as:
Take \( {\hat{X}}_{sd,k} \), for example, its decoded result can be depicted as:
Then, the instantaneous signal to interference plus noise ratio (SINR) of the k ‐ th subcarrier can be written as:
where ξ(k) denotes the ICI/MAI power components. Because the CTF on every subcarriers are assumed to be independent, it can be concluded that ξ(k) is independent with \( {\left{H}_{sd,k}{\Lambda}_{\varepsilon_{sd},0}\right}^2+{\left{H}_{rd,k}{\Lambda}_{\varepsilon_{rd},0}\right}^2 \). Furthermore, it is easy to know that ξ(k) is nonnegative. Average power allocation is assumed so that \( {\sigma}_x^2={\sigma}_s^2/M \) with M transmitter nodes. Therefore, according to [20], the instantaneous BER of the k ‐ th subcarrier can be approximately written as
In consequence, the average BER for the k ‐ th subcarrier can be expressed:
where \( {z}_k={\left{H}_{sd,k}{\Lambda}_{\varepsilon_{sd},0}\right}^2+{\left{H}_{rd,k}{\Lambda}_{\varepsilon_{rd},0}\right}^2 \), p(z_{k}) denotes the probability density function (PDF) of z_{k}. P_{b}(ξ(k), γ) can be obtained as formula (17)
where ς = sin^{2}(π/M), \( \gamma ={\sigma}_x^2/{\sigma}_W^2 \), \( \beta ={\sigma}_x^2/\left({\sigma}_W^2+\xi (k)\right) \), and \( \vartheta =1/4{\beta \varsigma \sigma}_1^2 \). The proof is as Appendix 1.
Finally, we average P_{b}(ξ(k), γ) over all subcarriers with index k as follows to get the BER:
BER analysis
Theorem 1: The function P_{b}(ξ(k), γ) in formula (17) is a monotonically increasing function with respect to ξ(k).
Proof See Appendix 2.
It can be seen from Theorem 1 and in equation ξ(k) ≥ 0 that when ξ(k) = 0, the system can achieve the optimal BER performance with specified signal to noise ratio (SNR) γ. Therefore, the lower bound to the BER performance of the SFBC collaborative communication systems with errors caused by Gaussian noise and multiple CFO can be depicted as formula (19):
where ς = sin^{2}(π/M), \( \gamma ={\sigma}_x^2/{\sigma}_W^2 \), \( {\sigma}_1^2={\left{\Lambda}_{\varepsilon_{sd},0}\right}^2{\sigma}_H^2 \), and \( {\sigma}_2^2={\left{\Lambda}_{\varepsilon_{rd},0}\right}^2{\sigma}_H^2 \).
Theorem 2: The function P_{b}(ξ(k), γ) in formula (17) is a monotonically decreasing function with respect to γ.
Proof See Appendix 3.
Through employing Theorem 2, it can be concluded that the BER performance of cooperative systems goes better along with the increase of SNR.
BER analysis of proposed MCFO compensation algorithm
When the proposed MCFO compensation algorithm is employed, the received signals are mixed with the one link’s CFO before decoding. Therefore, take being mixed with the sourcedestination link for instance, the MCFO of the two links would be adjusted to be 0 and ε_{rd} − ε_{sd}. Thus, \( {\sigma}_1^2 \) and \( {\sigma}_2^2 \) in formula (17) would be changed to \( {\sigma}_H^2 \) and \( {\sigma}_p^2={\left{\Lambda}_{\varepsilon_{rd}{\varepsilon}_{sd},0}\right}^2{\sigma}_H^2 \). Consequently, formula (17) can be rewritten as formula (20):
where ς = sin^{2}(π/M), \( \gamma ={\sigma}_x^2/{\sigma}_W^2 \). As shown in the above formula, the BER performance of the algorithm is not depending on the value of ε_{sd} and ε_{rd} but the difference of them. Therefore, it can be concluded that the proposed equalizer not only can compensate the fractional parts of the MCFO but also can compensate the integral parts.
Simulation results
For simulating the wireless channel and mobile environment, the channel B of M.1225 Pedestrian (PB), in which the terminal velocity is 30 km/h, is utilized. Both fixed and random MCFO are taken into consideration in the simulation. The utilization of fixed MCFO is aimed at verifying the correctness of theoretical analysis, and the random MCFO is for more realistic scenario.
The comparison between the theoretical worst BER performance and that from simulation is depicted in Fig. 5, which shows that the BER curve obtained from the theoretical analysis can gracefully match those in the simulation. We can also see that the BER lower bound degrades along with the increasing of ε_{α}, (α = sd, rd). The degradation is with the reason that the SINR shown in (14) is reduced due to power leakage caused by MCFO.
Figure 6 shows the BER of systems without SFBC versus SNR for the proposed MCFO compensation algorithm, where the MCFO are assumed to be random. The results of proposed algorithm with 1 MEDDC and proposed algorithm with 2 MEDDC are presented. The result shows that the proposed algorithm can eliminate the MCFO effectively even when the MCFO is distributed in a relatively large range. It can also be found that when the MCFO range increases, the performance of proposed algorithm with 2 MEDDC is better than that with 1 MEDDC. Therefore, if the MCFO ranges continuously increase, the algorithm is proposed to be employed with more MEDDC iterations (Fig. 7).
When the SNR is fixed at 10 dB, 15 dB, and 20 dB respectively, the relationship between the normalized MCFO difference range and the BER obtained by using the proposed MCFO equalizer is depicted in Fig. 8. It can be observed that the proposed algorithm can reduce the error floor. From the illustration, it is concluded that through using the proposed equalizer, the ICI and ISI introduced by MCFO can be almost eliminated.
In this paper, we propose a new frequency offset compensation algorithm for HAPS IoT systems employing spacefrequency block code orthogonal frequency division multiplexing (SFBCOFDM), which can provide nearly the ideal performance under the condition that the multiple carrier frequency offsets and channel transfer functions of two links can be ideally estimated by using the properties transmitted known pilots. However, all proposed methods and algorithms are based on the usage of HAPS IoT systems. And much work remains to be done on the usage of HAPS IoT systems.
Conclusion
In the cooperative HAPS IoT systems, MCFO caused by the multiple carriers may introduce ICI and MAI, which may be impediment in the usage of the systems. To solve the problem caused by ICI and MAI, a MCFO compensation algorithm is proposed in this paper. The proposed algorithm eliminates the interference through utilizing modified SFBC decoder and MEDDC. Furthermore, the BER performance of cooperative communication systems utilizing MCFO is analyzed. Simulation is also carried out to verify the performance of the algorithm. The BER performance loss degraded to around 1 dB when ε_{rd} − ε_{sd} ≤ 0.5 in multipath Rayleigh channel. Therefore, it is concluded that the proposed compensation algorithm can effectively solve the problem of frequency offset in cooperative HAPS systems. Thus, the coordination between HAPS stations can provide better communication service in the special scenarios described in the introduction section through coordination by employing the algorithm.
Availability of data and materials
The corresponding author shall keep the analysis and simulation data set. If necessary, the data set can be requested from the corresponding author according to reasonable requirements.
Abbreviations
 BER:

Bit error ratio
 CP:

Cyclic prefix
 CTF:

Channel transform function
 HAPS:

High Altitude Platform Station
 ICI:

Intercarrier interference
 IoT:

Internet of Things
 ISI:

Intersymbol interference
 MAI:

Multiple access interference
 MCFO:

Multiple carrier frequency offsets
 MEDDC:

Minimum Euclidean Distance Decision Criterion
 NBIoT:

Narrow Band Internet of Things
 OFDM:

Orthogonal frequency division multiplexing
 PB:

Channel B of M.1225 Pedestrian
 PDF:

Probability density function
 PSK:

Phase shift keying
 SFBC:

Spacefrequency block code
 SFBCOFDM:

Spacefrequency block code orthogonal frequency division multiplexing
 SINR:

Signal to interference plus noise ratio
 SNR:

Signal to noise ratio
References
 1.
Sivarajan, Kumar N. “LTE for rural applications and humanitarian relief.” International Conference on Wireless Technologies for Humanitarian Relief 2011.
 2.
R.S. Wolff, E. Andrews, Broadband access, citizen enfranchisement, and telecommunications services in rural and remote areas: a report from the American frontier. IEEE Commun. Mag. 48(5), 128–135 (2010)
 3.
Takaki, Ricardo , et al. Integration between LTE and satellite networks. Long Term Evolution. Springer International Publishing, 2016.
 4.
H. AbdzadehZiabari, W.P. Zhu, M.N.S. Swamy, Joint carrier frequency offset and doubly selective channel estimation for MIMOOFDMA uplink with Kalman and particle filtering. IEEE Transactions on Signal Processing PP. 99, 1–1 (2018)
 5.
J. Pokorny et al., Concept design and performance evaluation of UAVbased backhaul link with antenna steering. J. Commun. Netw. 20(5), 473–483 (2018)
 6.
MITRA, and MONOJIT, Satellite Communication. Iete Journal of Education 38(1), 3–10 (2018)
 7.
C. Joo, J. Choi, Lowdelay broadband satellite communications with highaltitude unmanned aerial vehicles. J. Commun. Netw. 20(1), 102–108 (2018)
 8.
“Satellite communications integration with terrestrial networks.” China Communications v.15.08(2018):3248.
 9.
Ahuna, M. N and T. J. Afullo. “Effects of storm attenuation over satellite links in subtropical Africa.” 2018 Progress in Electromagnetics Research Symposium (PIERSToyama) (2018). doi:10.23919/PIERS.2018.8597964.
 10.
A.K. Widiawan, R. Tafazolli, High altitude platform station (HAPS): a review of new infrastructure development for future wireless communications. Wirel. Pers. Commun. 42(3), 387–404 (2007)
 11.
M.D. Zakaria et al., Exploiting usercentric joint transmission – coordinated multipoint with a high altitude platform system architecture. IEEE Access 7, 38957–38972 (2019)
 12.
Sheikh, Javaid A. , et al. “Impact of antenna and beam selection based sectored relay planning for performance evaluation of 4G LTEA tri sectored cell.” Digital Communications and Networks (2017):S2352864816300864.
 13.
Hu, Sha , et al. “Improving the performance of OTDOA based positioning in NBIoT systems.” GLOBECOM 2017  2017 IEEE Global Communications Conference IEEE, 2018.
 14.
D. Veronesi and D.L. Goeckel, “Multiple frequency offset compensation in cooperative wireless systems,” in Proc. IEEE Global Telecommun. Conf., San Francisco, California, USA, Nov. 2006
 15.
Rao, R. S. Suriavel, and P. Malathi . “A low complex cuckoo search optimizer based OFDM carrier frequency offset estimation for 5G wireless technology.” International Journal of Dynamics and Control (2019). doi: 10.1007/s40435019005269.
 16.
Van Yem, Vu , and T. T. Huong. “ICI mitigation by estimation of double carrier frequency offsets in highspeedrailway communication systems for smart cities.” Mobile Networks and Applications (2018).
 17.
Z. Qifei et al., Joint channel and carrier frequency offset estimation and correction for coherent optical FBMC/OQAM system. Acta Opt. Sin. 38(2), 0206003 (2018)
 18.
Gao, Mingjun, et al. “Blind identification of SFBCOFDM signals using subspace decompositions and random matrix theory.” IEEE Transactions on Vehicular Technology (2018):11.
 19.
J. Han, W. Shi, G. Leus, Spacefrequency coded orthogonal signaldivision multiplexing over underwater acoustic channels. The Journal of the Acoustical Society of America 141(6), EL513–EL518 (2017)
 20.
Tranter, W, et al. A simple transmit diversity technique for wireless communications. 2007.
 21.
Veronesi, Daniele , and D. Goeckel. “Multiple frequency offset compensation in cooperative wireless systems.” Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November  1 December 2006 IEEE, 2006.
 22.
Y. DongDong et al., Design of the matched chaotic stimulation for fault detection of the single input single output system. Acta Phys. Sin. 63(12), 120508–120130 (2014)
Acknowledgements
Not applicable
Funding
The work in this paper was supported by China Mobile Group Design Institute Co., Ltd.
Author information
Affiliations
Contributions
In this paper, Yanyan Zhang conceived and designed the study. And the paper was written by Yanyan Zhang and Baocong Wang. Xing Li, Na Liu, Wenjuan Ji, and Xin Li reviewed and edited the original manuscript. All authors read and revised the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix 1
Proof of formula ( 17 )
Rewrite the average BER of subcarrier k as:
where \( {z}_k={\left{H}_{sd,k}{\Lambda}_{\varepsilon_{sd},0}\right}^2+{\left{H}_{rd,k}{\Lambda}_{\varepsilon_{rd},0}\right}^2 \).
When \( \left{\Lambda}_{\varepsilon_{sd},0}\right \) is equal to \( \left{\Lambda}_{\varepsilon_{rd},0}\right \), z_{k} can be thought as independent chisquare random variable of 4° with mean value of \( 2{\sigma}_1^2 \), where \( {\sigma}_1^2={\sigma}_H^2{\left{\Lambda}_{\varepsilon_{sd},0}\right}^2={\sigma}_H^2{\left{\Lambda}_{\varepsilon_{rd},0}\right}^2 \). In consequence, p(z_{k}) can be expressed as:
Therefore, the theoretical expression for BER is as follows:
where ς = sin^{2}(π/M), \( \gamma ={\sigma}_x^2/{\sigma}_W^2 \), \( \beta ={\sigma}_x^2/\left({\sigma}_W^2+\xi (k)\right) \), and \( \vartheta =1/4{\beta \varsigma \sigma}_1^2 \).
When \( \left{\Lambda}_{\varepsilon_{sd},0}\right \) is equal to \( \left{\Lambda}_{\varepsilon_{rd},0}\right \), z_{k} can be rewritten as:
in which X_{z} and Y_{z} can be thought as independent chisquare random variables of 2° with mean value of \( {\sigma}_1^2={\left{\Lambda}_{\varepsilon_{sd},0}\right}^2{\sigma}_H^2 \) and \( {\sigma}_2^2={\left{\Lambda}_{\varepsilon_{rd},0}\right}^2{\sigma}_H^2 \). Therefore, p(z_{k}) can be calculated as:
Therefore, the BER can be obtained as:
where ς = sin^{2}(π/M), \( \beta ={\sigma}_x^2/\left({\sigma}_W^2+\xi (k)\right) \), and \( \gamma ={\sigma}_x^2/{\sigma}_W^2 \).
Therefore, formula (17) can be proved by combining (25) and (27).
Appendix 2
Proof of Theorem 1
As shown in formula (17), when \( \left{\Lambda}_{\varepsilon_{sd},0}\right \) is equal to \( \left{\Lambda}_{\varepsilon_{rd},0}\right \), we firstly consider the equation
where \( \vartheta \left(\xi (k)\right)=\frac{1}{4{\varsigma \sigma}_1^2}\left(\frac{1}{\gamma }+\frac{\xi (k)}{\sigma_x^2}\right) \); then,
Furthermore, \( \vartheta \left(\xi (k)\right)=\frac{1}{4{\varsigma \sigma}_1^2}\left(\frac{1}{\gamma }+\frac{\xi (k)}{\sigma_x^2}\right) \) is also a monotonically increasing function toξ(k). Therefore, it can be concluded that P_{b}(k, ϑ(γ)) increases along with the increase of ξ(k).
When \( \left{\Lambda}_{\varepsilon_{sd},0}\right \) is unequal to \( \left{\Lambda}_{\varepsilon_{rd},0}\right \)
\( =\frac{\sqrt{2\varsigma }}{\log_2M\left({\sigma}_2^2{\sigma}_1^2\right)}\cdot \sum \limits_{i=1}^2{\left(1\right)}^{i1}\frac{d\left\{\frac{\sigma_i^3}{2{\sigma}_x^2}{\left(2{\varsigma \sigma}_i^2+\frac{\xi (k)}{\sigma_x^2}+\frac{1}{\gamma}\right)}^{\frac{3}{2}}\right\}}{d\xi (k)}=\frac{\sqrt{2\varsigma }}{2{\sigma}_x^2{\log}_2M\left({\sigma}_2^2{\sigma}_1^2\right)}\sum \limits_{i=1}^2{\left(1\right)}^i{\left(2\varsigma +\frac{\xi (k)}{\sigma_i^2{\sigma}_x^2}+\frac{1}{\sigma_i^2\gamma}\right)}^{\frac{3}{2}}>0. \)
Therefore, it can be concluded that the function P_{b}(ξ(k), γ) in formula (17) increases along with the increase of ξ(k).
Appendix 3
Proof of Theorem 2
From formula (17), it is easy to know that the monotonicity of P_{b}(ξ(k), γ) with respect to 1/γ is the same with respect to ξ(k). Thus, it can be similarly proved that P_{b}(ξ(k), γ) decreases along with the increase of γ.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Zhang, Y., Wang, B., Li, X. et al. Multiple carrier frequency offset compensation for cooperative HAPS IoT systems. J Wireless Com Network 2020, 157 (2020). https://doi.org/10.1186/s13638020017586
Received:
Accepted:
Published:
Keywords
 Multiple carrier frequency offsets
 Internet of Things
 High Altitude Platform Station
 Inter carrier interference
 Multiple access interference
 Minimum Euclidean Distance Decision Criterion