Near-Field Wideband Beamforming for Extremely Large Antenna Arrays

Mingyao Cui, , Linglong Dai,  All authors are with the Department of Electronic Engineering, Tsinghua University, Bei**g 100084, China (e-mails: [email protected], [email protected]).This work was funded in part by the National Science Fund for Distinguished Young Scholars (Grant No. 62325106), and in part by the National Key R&D Program of China (No. 2023YFB3811503). (Corresponding author: Linglong Dai.)
Abstract

The natural integration of extremely large antenna arrays (ELAAs) and terahertz (THz) communications can potentially establish Tbps data links for 6G networks. However, due to the extremely large array aperture and wide bandwidth, a new phenomenon termed as “near-field beam split” emerges. This phenomenon causes beams at different frequencies to focus on distinct physical locations, leading to a significant loss of the beamforming gain. To address this challenging problem, we first harness a piecewise-far-field channel model to approximate the complicated near-field wideband channel. In this model, the entire large array is partitioned into several small sub-arrays. While the wireless channel’s phase discrepancy across the entire array is modeled as near-field spherical, the phase discrepancy within each sub-array is approximated as far-field planar. Built on this approximation, a phase-delay focusing (PDF) method employing delay phase precoding (DPP) architecture is proposed. Our PDF method could compensate for the intra-array far-field phase discrepancy and the inter-array near-field phase discrepancy via the joint control of phase shifters and time delayers, respectively. Theoretical and numerical results are provided to demonstrate the efficiency of the proposed PDF method in mitigating the near-field beam split effect. Finally, we define and derive a novel metric termed as the “effective Rayleigh distance” by the evaluation of beamforming gain loss. Compared to classical Rayleigh distance, the effective Rayleigh distance is more accurate in determining the near-field range for practical communications.

Index Terms:
Extremely large antenna array, wideband, near-field beam split, beamforming, Rayleigh distance.

I Introduction

As a key technology for 5G communication systems, large antenna arrays (LAAs) could improve the transmission rate by orders of magnitude via efficient beamforming/precoding [1]. To further reap the benefits of massive antennas, LAAs are evolving to extremely large antenna arrays (ELAAs) for 6G communications [2], where the array aperture is dramatically increased to support ultra-high-speed communications. There are abundant possible implementations of ELAA. For instance, ELAA could be employed in distributed multiple-input-multiple-output (MIMO) systems relying on radio stripes [3] or in reconfigurable intelligent surface (RIS) systems [4] to improve the network capacity. It is also envisioned to coat ELAAs on entire walls to enhance the coverage of wireless signals [5].

In addition, ELAAs are usually combined with high-frequency communications. Benefiting from the abundant spectrum resources, terahertz (THz) communications can provide a very large bandwidth of several GHz, allowing for Tbps data rates for 6G networks[6]. Besides, the extremely small size of THz antennas also favorably facilitates the deployment of ELAAs [7]. As a consequence, the natural integration of THz wideband communications and ELAAs has been regarded as a pivotal candidate for next-generation wireless networks [7].

I-A Prior Works

The evolution from LAA to ELAA not only implies a sharp increment in array aperture, but also leads to a fundamental change in the characteristics of the electromagnetic (EM) field [8]. The electromagnetic radiation field can generally be divided into the far-field and radiation near-field regions [9, 10]. In the far-field region, the wireless channel could be modeled under the planar wave assumption, where the phase of the array response vector is a linear function of the antenna index [11, 12]. In contrast, the wavefront of near-field channel has to be modeled accurately as spherical, where the phase of near-field array response vector is a non-linear function of the antenna index [9]. The boundary between near-field and far-field is typically quantified by the Rayleigh distance [9], also known as the Fraunhofer distance [13], which is proportional to the square of array aperture normalized by wavelength. Since the array aperture is typically not very large in the current 5G systems, the near-field range of 5G LAA is negligible. That is why classical beamforming techniques usually direct a beam with planar wavefront in a specific direction [1]. In contrast, as the number of ELAA’s antennas increases dramatically, the Rayleigh distance will be expanded by orders of magnitude. The near-field range of an ELAA could be up to several hundreds of meters [8], covering a large part of typical cells. In this scenario, it is necessary to perform near-field beamforming to focus the energy of a beam on a desired user location [14] by exploiting the spherical wavefront property. Given this non-negligible near-field range, near-field communications will be of pivotal significance in next-generation communications.

Moreover, when it comes to wideband systems, another critical change in EM waves known as beam split is induced, which also has the terminology “beam squint” [15, 16]. Classically, LAA relies on phased shifter (PS) based analog beamforming architecture, allowing only frequency-independent phase shifting for narrowband beamforming [17]. However, the array response vectors of wireless channels are frequency-dependent, especially for THz wideband networks, causing the wavefront of a beam at different frequencies to deviate from that at the center frequency. To elaborate, in far-field scenarios, the beam split effect makes beams of different frequency components propagate in distinct directions [15]. On the other hand, in near-field scenarios, the beam split effect results in a new phenomenon where beams at different frequencies are focused at varying directions and distances. Consequently, the signal energy fails to converge on the desired receiver’s location. Only signals around the center frequency can be captured by the receiver, while most beams with frequencies far away from the center frequency suffer from an unacceptable beamforming gain loss.

Over the past few years, intensive research has been devoted to studying advanced beamforming technologies to address the far-field beam split effect [16, 18, 19, 20, 21, 22]. Relevant methods fall into two primary categories, i.e., algorithmic methods and hardware-based mitigation methods. In the first category, researchers have endeavored to generate wide beams by carefully optimizing the PSs to achieve flattened beamforming gain across the entire bandwidth [16, 18, 19]. While these algorithms are relatively straightforward to implement in practice, their beamforming performance is severely hindered by the presence of beam split as well. This limitation arises because they still rely on PS-based analog beamforming. The second category of solutions employs true-time-delay (TTD) circuits instead of PSs to generate frequency-dependent beams, which offers the potential to eliminate far-field beam split [20, 21, 22]. Inspired by this idea, several array structures, such as true-time-delay (TTD) arrays [20] and delay-phase precoding (DPP) arrays [21, 22], have been envisioned and developed to counteract the far-field beam split effect. Despite the rapid development of solutions to far-field beam split, it is essential to note that the aforementioned methods are all customized for far-field communications. They are not applicable to tackle the challenges posed by near-field beam split, because the models of far-field channels and near-field channels differ remarkably. To the best of our knowledge, the near-field beam split effect has not been studied in the literature.

I-B Our Contributions

To fill in this gap, a phase-delay focusing (PDF) method is proposed to tackle the near-field beam split problem111Simulation codes are provided to reproduce the results presented in this article: http://oa.ee.tsinghua.edu.cn/dailinglong/publications/publications.html.. Our key contributions are summarized as follows.

  • First, we introduce the near-field beam split effect of ELAA by comparing the loss of beamforming gain resulting from both far-field and near-field beam split effects. We formulate the model of near-field beam split effect and reveal that this effect causes beams at different frequencies to focus on distinct locations.

  • Second, a piecewise-far-field wideband channel model is proposed to approximate the near-field wideband channel model with high accuracy. In this model, the entire ELAA is partitioned into multiple small sub-arrays. In this way, we could reasonably assume that the receiver is located in the far-field region of each small sub-array while being in the near-field region of the entire ELAA. This partition allows us to decompose the complicated phase discrepancy of a near-field channel into two distinct components: the inter-array near-field phase discrepancy and the intra-array far-field phase discrepancy. Leveraging this decomposition, a phase-delay focusing (PDF) method is proposed based on the DPP array architecture, where the inter-array phase and the intra-array phase are compensated by the PSs and TTDs of DPP, respectively. Simulation results validate the efficacy of the proposed PDF method in mitigating the near-field beam split effect.

  • Finally, by evaluating the gain loss of far-field beamforming in the near-field region, a new metric called effective Rayleigh distance is defined to distinguish the far-field and near-field regions. Classical Rayleigh distance, which is defined by evaluating the phase error between planar wave and spherical wave, is not precise enough to capture the near-field region where far-field beamforming methods are not applicable. To tackle this problem, we conduct a theoretical evaluation on the gain loss of far-field beamforming in the physical space. Subsequently, the close-form expression of effective Rayleigh distance is derived, which defines the region where the gain loss of far-field beamforming exceeds a threshold. Since beamforming gain directly affects the received signal power, our proposed effective Rayleigh distance is a more accurate metric for measuring the near-field range for practical communications.

I-C Organization and notation

The rest of the paper is organized as follows. In section II, the wideband ELAA channel model is introduced and the near-field beam split effect is discussed. In section III, the proposed piecewise-far-field channel model and the proposed PDF method are explained in detail. Theoretical analysis on the beamforming gain of the PDF method is also offered. Section IV elaborates on the effective Rayleigh distance. Numerical results are provided in section V. Finally, conclusions are drawn in section VI.

Notation: Lower-case boldface letters 𝐱𝐱{\mathbf{x}}bold_x denote vectors; ()Tsuperscript𝑇(\cdot)^{T}( ⋅ ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, ()Hsuperscript𝐻(\cdot)^{H}( ⋅ ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT, ()superscript(\cdot)^{*}( ⋅ ) start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT and k\|\cdot\|_{k}∥ ⋅ ∥ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT denote the transpose, conjugate transpose, conjugate, and k𝑘kitalic_k-norm of a vector or matrix respectively; |x|𝑥|x|| italic_x | denotes the the amplitude of scalar x𝑥xitalic_x; arg(x)𝑥\arg(x)roman_arg ( italic_x ) denotes the phase of x𝑥xitalic_x; [𝐱]nsubscriptdelimited-[]𝐱𝑛[{\mathbf{x}}]_{n}[ bold_x ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT represents the nthsuperscript𝑛thn^{\rm th}italic_n start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPTh element of vector 𝐱𝐱{\mathbf{x}}bold_x; [𝐗]ijsubscriptdelimited-[]𝐗𝑖𝑗[{\mathbf{X}}]_{ij}[ bold_X ] start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT represents the (i,j)thsuperscript𝑖𝑗th(i,j)^{\rm th}( italic_i , italic_j ) start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT entry of matrix 𝐗𝐗{\mathbf{X}}bold_X; 𝒞𝒩(μ;Σ)𝒞𝒩𝜇Σ\mathcal{CN}(\mu;\Sigma)caligraphic_C caligraphic_N ( italic_μ ; roman_Σ ) and 𝒰(a;b)𝒰𝑎𝑏\mathcal{U}(a;b)caligraphic_U ( italic_a ; italic_b ) denote the Gaussian distribution with mean μ𝜇\muitalic_μ and covariance ΣΣ\Sigmaroman_Σ, and the uniform distribution between a𝑎aitalic_a and b𝑏bitalic_b, respectively; ΞN(x)subscriptΞ𝑁𝑥\Xi_{N}(x)roman_Ξ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( italic_x ) denotes the Dirichlet sinc function ΞN(x)=sin(N2πx)Nsin(12πx)subscriptΞ𝑁𝑥𝑁2𝜋𝑥𝑁12𝜋𝑥\Xi_{N}(x)=\frac{\sin(\frac{N}{2}\pi x)}{N\sin(\frac{1}{2}\pi x)}roman_Ξ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( italic_x ) = divide start_ARG roman_sin ( divide start_ARG italic_N end_ARG start_ARG 2 end_ARG italic_π italic_x ) end_ARG start_ARG italic_N roman_sin ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_π italic_x ) end_ARG.

II Near-Field Beam Split

In this section, we elaborate on the near-field beam-split effect in wideband ELAA systems. We will first introduce the system model based on the conventional hybrid beamforming architecture, and then the near-field beam split effect is discussed from this model.

II-A System Model

Refer to caption
Figure 1: The system layout of ELAA.

In our system, a base station (BS) equipped with an N𝑁Nitalic_N-element uniform linear array (ULA) serves U𝑈Uitalic_U single-antenna users. The BS employs the fully connected hybrid beamforming architecture with NRFsubscript𝑁RFN_{\rm RF}italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT radio frequency (RF) chains, each connected to all antennas via analog phase shifters. To reap the multiplexing gain, U𝑈Uitalic_U data streams are simultaneously transmitted, where UNRFN𝑈subscript𝑁RFmuch-less-than𝑁U\leq N_{\rm RF}\ll Nitalic_U ≤ italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT ≪ italic_N. In this article, we assume U=NRF𝑈subscript𝑁RFU=N_{\rm RF}italic_U = italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT for illustration simplicity. The orthogonal frequency division multiplexing (OFDM) with M𝑀Mitalic_M sub-carriers is adopted. Variables d=λc2𝑑subscript𝜆𝑐2d=\frac{\lambda_{c}}{2}italic_d = divide start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG, λcsubscript𝜆𝑐\lambda_{c}italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT, c𝑐citalic_c, fc=cλcsubscript𝑓𝑐𝑐subscript𝜆𝑐f_{c}=\frac{c}{\lambda_{c}}italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = divide start_ARG italic_c end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG, and B𝐵Bitalic_B denote the antenna spacing, carrier wavelength, speed of light, center carrier, bandwidth, respectively. Besides, let fm=fc+B2(2M1m1)subscript𝑓𝑚subscript𝑓𝑐𝐵22𝑀1𝑚1f_{m}=f_{c}+\frac{B}{2}(\frac{2}{M-1}m-1)italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT + divide start_ARG italic_B end_ARG start_ARG 2 end_ARG ( divide start_ARG 2 end_ARG start_ARG italic_M - 1 end_ARG italic_m - 1 ) for m{0,1,,M1}𝑚01𝑀1m\in\{0,1,\cdots,M-1\}italic_m ∈ { 0 , 1 , ⋯ , italic_M - 1 } be the mthsuperscript𝑚thm^{\rm th}italic_m start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT subcarrier frequency. Accordingly, the user-side received signal 𝐲mU×1subscript𝐲𝑚superscript𝑈1{\mathbf{y}}_{m}\in\mathbb{C}^{U\times 1}bold_y start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_U × 1 end_POSTSUPERSCRIPT on the mthsuperscript𝑚thm^{\rm th}italic_m start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT subcarrier is expressed as

𝐲m=ρ𝐇mT𝐅𝐃m+𝐧m,subscript𝐲𝑚𝜌superscriptsubscript𝐇𝑚𝑇subscript𝐅𝐃𝑚subscript𝐧𝑚\displaystyle{\mathbf{y}}_{m}=\sqrt{\rho}{\mathbf{H}}_{m}^{T}{\mathbf{F}}{% \mathbf{D}}_{m}+{\mathbf{n}}_{m},bold_y start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = square-root start_ARG italic_ρ end_ARG bold_H start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_FD start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + bold_n start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , (1)

where 𝐇N×U𝐇superscript𝑁𝑈{\mathbf{H}}\in\mathbb{C}^{N\times U}bold_H ∈ blackboard_C start_POSTSUPERSCRIPT italic_N × italic_U end_POSTSUPERSCRIPT, 𝐅N×NRF𝐅superscript𝑁subscript𝑁RF{\mathbf{F}}\in\mathbb{C}^{N\times N_{\rm RF}}bold_F ∈ blackboard_C start_POSTSUPERSCRIPT italic_N × italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT end_POSTSUPERSCRIPT, and 𝐃mNRF×Usubscript𝐃𝑚superscriptsubscript𝑁RF𝑈{\mathbf{D}}_{m}\in\mathbb{C}^{N_{\rm RF}\times U}bold_D start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT × italic_U end_POSTSUPERSCRIPT represent the channel matrix, the analog beamformer, and the digital precoder respectively. It is noticeable that since the digital precoding is carried out subcarrier-by-subcarrier on the digital baseband, the digital precoder 𝐃msubscript𝐃𝑚{\mathbf{D}}_{m}bold_D start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT is frequency-dependent. However, the analog precoder realized by PSs can only tune a uniform phase for all subcarriers, making 𝐅𝐅{\mathbf{F}}bold_F frequency-independent. Taking into account the circuit restriction, each entry of 𝐅𝐅{\mathbf{F}}bold_F satisfies the constant modulus constraint, i.e., |[𝐅]i,j|=1Nsubscriptdelimited-[]𝐅𝑖𝑗1𝑁|[{\mathbf{F}}]_{i,j}|=\frac{1}{\sqrt{N}}| [ bold_F ] start_POSTSUBSCRIPT italic_i , italic_j end_POSTSUBSCRIPT | = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_N end_ARG end_ARG. The noise 𝐧msubscript𝐧𝑚{\mathbf{n}}_{m}bold_n start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT follows the complex Gaussian distribution 𝒞𝒩(0,σ2𝐈)𝒞𝒩0superscript𝜎2𝐈\mathcal{CN}(0,\sigma^{2}{\mathbf{I}})caligraphic_C caligraphic_N ( 0 , italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_I ).

We denote the channel matrix as 𝐇m=[𝐡0,m,𝐡1,m,,𝐡U1,m]subscript𝐇𝑚subscript𝐡0𝑚subscript𝐡1𝑚subscript𝐡𝑈1𝑚{\mathbf{H}}_{m}=[{\mathbf{h}}_{0,m},{\mathbf{h}}_{1,m},\cdots,{\mathbf{h}}_{U% -1,m}]bold_H start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = [ bold_h start_POSTSUBSCRIPT 0 , italic_m end_POSTSUBSCRIPT , bold_h start_POSTSUBSCRIPT 1 , italic_m end_POSTSUBSCRIPT , ⋯ , bold_h start_POSTSUBSCRIPT italic_U - 1 , italic_m end_POSTSUBSCRIPT ], where vector 𝐡u,msubscript𝐡𝑢𝑚{\mathbf{h}}_{u,m}bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT stands for the wireless channel from the BS to the uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT user. As shown in Fig. 1, the center of the BS array is located at (0,0)00(0,0)( 0 , 0 ) in the Cartesian coordinates, and then the coordinate of the nthsuperscript𝑛thn^{\rm th}italic_n start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT BS antenna is (0,δN(n)d)0superscriptsubscript𝛿𝑁𝑛𝑑\left(0,\delta_{N}^{(n)}d\right)( 0 , italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ), where δN(n)=nN12superscriptsubscript𝛿𝑁𝑛𝑛𝑁12\delta_{N}^{(n)}=n-\frac{N-1}{2}italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT = italic_n - divide start_ARG italic_N - 1 end_ARG start_ARG 2 end_ARG with n{0,1,,N1}𝑛01𝑁1n\in\{0,1,\cdots,N-1\}italic_n ∈ { 0 , 1 , ⋯ , italic_N - 1 }. Therefore, the array aperture is given as D=(N1)dNd𝐷𝑁1𝑑𝑁𝑑D=(N-1)d\approx Nditalic_D = ( italic_N - 1 ) italic_d ≈ italic_N italic_d. The uthsuperscript𝑢𝑡u^{th}italic_u start_POSTSUPERSCRIPT italic_t italic_h end_POSTSUPERSCRIPT user is located at (xu,yu)subscript𝑥𝑢subscript𝑦𝑢(x_{u},y_{u})( italic_x start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , italic_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ), where its polar coordinate is (ru,θu)=(xu2+yu2,arctanyuxu)subscript𝑟𝑢subscript𝜃𝑢superscriptsubscript𝑥𝑢2superscriptsubscript𝑦𝑢2subscript𝑦𝑢subscript𝑥𝑢(r_{u},\theta_{u})=\left(\sqrt{x_{u}^{2}+y_{u}^{2}},\arctan{\frac{y_{u}}{x_{u}% }}\right)( italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) = ( square-root start_ARG italic_x start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , roman_arctan divide start_ARG italic_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_ARG start_ARG italic_x start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_ARG ). Then, adopting the free space Maxwell equation, the line-of-sight near-field channel 𝐡u,msubscript𝐡𝑢𝑚{\mathbf{h}}_{u,m}bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT can be modeled [9] as

𝐡u,msubscript𝐡𝑢𝑚\displaystyle{\mathbf{h}}_{u,m}bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT =gu,m[ejkmru(0),ejkmru(1),,ejkmru(N1)]Tabsentsubscript𝑔𝑢𝑚superscriptsuperscript𝑒𝑗subscript𝑘𝑚subscriptsuperscript𝑟0𝑢superscript𝑒𝑗subscript𝑘𝑚subscriptsuperscript𝑟1𝑢superscript𝑒𝑗subscript𝑘𝑚subscriptsuperscript𝑟𝑁1𝑢𝑇\displaystyle=g_{u,m}\left[e^{-jk_{m}r^{(0)}_{u}},e^{-jk_{m}r^{(1)}_{u}},% \cdots,e^{-jk_{m}r^{(N-1)}_{u}}\right]^{T}= italic_g start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT [ italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , ⋯ , italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ( italic_N - 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT
=gu,mN𝐚m(ru,θu),absentsubscript𝑔𝑢𝑚𝑁subscript𝐚𝑚subscript𝑟𝑢subscript𝜃𝑢\displaystyle=g_{u,m}\sqrt{N}{\mathbf{a}}_{m}(r_{u},\theta_{u}),= italic_g start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT square-root start_ARG italic_N end_ARG bold_a start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) , (2)

where 𝐚m(ru,θu)subscript𝐚𝑚subscript𝑟𝑢subscript𝜃𝑢{\mathbf{a}}_{m}(r_{u},\theta_{u})bold_a start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) represents the near-field array response vector, km=2πfmcsubscript𝑘𝑚2𝜋subscript𝑓𝑚𝑐k_{m}=\frac{2\pi f_{m}}{c}italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = divide start_ARG 2 italic_π italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG italic_c end_ARG denotes the wavenumber at frequency fmsubscript𝑓𝑚f_{m}italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, and gmsubscript𝑔𝑚g_{m}italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT denotes the complex path loss. Let ru(n)subscriptsuperscript𝑟𝑛𝑢r^{(n)}_{u}italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT be the distance from the nthsuperscript𝑛thn^{\rm th}italic_n start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT BS antenna to the uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT user expressed as

ru(n)subscriptsuperscript𝑟𝑛𝑢\displaystyle r^{(n)}_{u}italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT =(xu2+(yuδN(n)d)2)12absentsuperscriptsubscriptsuperscript𝑥2𝑢superscriptsubscript𝑦𝑢superscriptsubscript𝛿𝑁𝑛𝑑212\displaystyle=(x^{2}_{u}+(y_{u}-\delta_{N}^{(n)}d)^{2})^{\frac{1}{2}}= ( italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT + ( italic_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT
=(ru2+(δN(n)d)22δN(n)drusinθu)12.absentsuperscriptsuperscriptsubscript𝑟𝑢2superscriptsuperscriptsubscript𝛿𝑁𝑛𝑑22superscriptsubscript𝛿𝑁𝑛𝑑subscript𝑟𝑢subscript𝜃𝑢12\displaystyle=(r_{u}^{2}+(\delta_{N}^{(n)}d)^{2}-2\delta_{N}^{(n)}dr_{u}\sin% \theta_{u})^{\frac{1}{2}}.= ( italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT . (3)
Refer to caption
Figure 2: This figure illustrates the normalized beamforming gain in the physical space. We consider four scenarios: (a) the far-field narrowband scenario, (b) the near-field narrowband scenario, (c) the far-field wideband scenario, and (d) the near-field wideband scenario. In each sub-figure, the beam energy of the lowest, the center, and the highest frequencies are plotted (e.g., the three lines in the sub-figures (c) and (d)).

Since the PS-based analog beamformer 𝐅𝐅{\mathbf{F}}bold_F is frequency-independent, each column of 𝐅𝐅{\mathbf{F}}bold_F is generally set to align with the array response vector of the wireless channel at the center frequency fcsubscript𝑓𝑐f_{c}italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT [23, 1]. Thereafter, let 𝐅=[𝐟0,𝐟1,,𝐟U1]𝐅subscript𝐟0subscript𝐟1subscript𝐟𝑈1{\mathbf{F}}=[{\mathbf{f}}_{0},{\mathbf{f}}_{1},\cdots,{\mathbf{f}}_{U-1}]bold_F = [ bold_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , bold_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , ⋯ , bold_f start_POSTSUBSCRIPT italic_U - 1 end_POSTSUBSCRIPT ], then 𝐟usubscript𝐟𝑢{\mathbf{f}}_{u}bold_f start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT can be obtained by

𝐟u=𝐚c(ru,θu)=1N[ejkcru(0),,ejkcru(N1)]T,subscript𝐟𝑢superscriptsubscript𝐚𝑐subscript𝑟𝑢subscript𝜃𝑢1𝑁superscriptsuperscript𝑒𝑗subscript𝑘𝑐subscriptsuperscript𝑟0𝑢superscript𝑒𝑗subscript𝑘𝑐subscriptsuperscript𝑟𝑁1𝑢𝑇\displaystyle{\mathbf{f}}_{u}={\mathbf{a}}_{c}^{*}(r_{u},\theta_{u})=\frac{1}{% \sqrt{N}}[e^{jk_{c}r^{(0)}_{u}},\cdots,e^{jk_{c}r^{(N-1)}_{u}}]^{T},bold_f start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = bold_a start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_N end_ARG end_ARG [ italic_e start_POSTSUPERSCRIPT italic_j italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , ⋯ , italic_e start_POSTSUPERSCRIPT italic_j italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ( italic_N - 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , (4)

where kc=2πfccsubscript𝑘𝑐2𝜋subscript𝑓𝑐𝑐k_{c}=\frac{2\pi f_{c}}{c}italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = divide start_ARG 2 italic_π italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG italic_c end_ARG and 𝐚c(ru,θu)superscriptsubscript𝐚𝑐subscript𝑟𝑢subscript𝜃𝑢{\mathbf{a}}_{c}^{*}(r_{u},\theta_{u})bold_a start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) represent the wavenumber and array response vector on the center frequency fcsubscript𝑓𝑐f_{c}italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT. The fundamental model difference from the near-field array response vector 𝐚m(ru,θu)subscript𝐚𝑚subscript𝑟𝑢subscript𝜃𝑢{\mathbf{a}}_{m}(r_{u},\theta_{u})bold_a start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) to the analog beamformer 𝐟u=𝐚c(ru,θu)subscript𝐟𝑢superscriptsubscript𝐚𝑐subscript𝑟𝑢subscript𝜃𝑢{\mathbf{f}}_{u}={\mathbf{a}}_{c}^{*}(r_{u},\theta_{u})bold_f start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = bold_a start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) causes the near-field beam split effect.

II-B Discussion on Near-Field Beam Split

To delve into the near-field beam split effect, we would like to compare the beamforming properties under far-field/near-field and narrowband/widband conditions. In the upcoming discussions, we will omit the subscript u𝑢uitalic_u for ease of expression. Notice that the phase kmr(n)subscript𝑘𝑚superscript𝑟𝑛k_{m}r^{(n)}italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT in (II-A) and kcr(n)subscript𝑘𝑐superscript𝑟𝑛k_{c}r^{(n)}italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT (4) are non-linear functions with respect to (w.r.t) the antenna index n𝑛nitalic_n. Traditionally, since the array aperture is not very large, the far-field model under the planar wave assumption [11] is widely adopted to simplify this non-linear distance as

r(n)superscript𝑟𝑛\displaystyle r^{(n)}italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT =r(1+(δN(n)d)2r22δN(n)dsinθr)12absent𝑟superscript1superscriptsuperscriptsubscript𝛿𝑁𝑛𝑑2superscript𝑟22superscriptsubscript𝛿𝑁𝑛𝑑𝜃𝑟12\displaystyle=r\left(1+\frac{(\delta_{N}^{(n)}d)^{2}}{r^{2}}-\frac{2\delta_{N}% ^{(n)}d\sin\theta}{r}\right)^{\frac{1}{2}}= italic_r ( 1 + divide start_ARG ( italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG 2 italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ end_ARG start_ARG italic_r end_ARG ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT
(a)r(1δN(n)dsinθr)=rδN(n)dsinθ,𝑎𝑟1superscriptsubscript𝛿𝑁𝑛𝑑𝜃𝑟𝑟superscriptsubscript𝛿𝑁𝑛𝑑𝜃\displaystyle\overset{(a)}{\approx}r\left(1-\frac{\delta_{N}^{(n)}d\sin\theta}% {r}\right)=r-\delta_{N}^{(n)}d\sin\theta,start_OVERACCENT ( italic_a ) end_OVERACCENT start_ARG ≈ end_ARG italic_r ( 1 - divide start_ARG italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ end_ARG start_ARG italic_r end_ARG ) = italic_r - italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ , (5)

where (a) arises because of the first-order Taylor expansion (1+x)121+12xsuperscript1𝑥12112𝑥(1+x)^{\frac{1}{2}}\approx 1+\frac{1}{2}x( 1 + italic_x ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ≈ 1 + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_x and the ignorance of the second-order term (δN(n)d)2r2superscriptsuperscriptsubscript𝛿𝑁𝑛𝑑2superscript𝑟2\frac{(\delta_{N}^{(n)}d)^{2}}{r^{2}}divide start_ARG ( italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG. It is clear from (II-B) that in the far-field region, the phase becomes kmr(n)kmrkmδN(n)dsinθsubscript𝑘𝑚superscript𝑟𝑛subscript𝑘𝑚𝑟subscript𝑘𝑚superscriptsubscript𝛿𝑁𝑛𝑑𝜃k_{m}r^{(n)}\approx k_{m}r-k_{m}\delta_{N}^{(n)}d\sin\thetaitalic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ≈ italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r - italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ, which is a linear function of the antenna index n𝑛nitalic_n. Then the far-field beamforming vector becomes [𝐟]n=1NejkcrejkcδN(n)dsinθ.subscriptdelimited-[]𝐟𝑛1𝑁superscript𝑒𝑗subscript𝑘𝑐𝑟superscript𝑒𝑗subscript𝑘𝑐superscriptsubscript𝛿𝑁𝑛𝑑𝜃[{\mathbf{f}}]_{n}=\frac{1}{\sqrt{N}}e^{jk_{c}r}e^{-jk_{c}\delta_{N}^{(n)}d% \sin\theta}.[ bold_f ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_N end_ARG end_ARG italic_e start_POSTSUPERSCRIPT italic_j italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_r end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ end_POSTSUPERSCRIPT . Because the term ejkcrsuperscript𝑒𝑗subscript𝑘𝑐𝑟e^{jk_{c}r}italic_e start_POSTSUPERSCRIPT italic_j italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_r end_POSTSUPERSCRIPT is independent of the antenna index n𝑛nitalic_n, [𝐟]nsubscriptdelimited-[]𝐟𝑛[{\mathbf{f}}]_{n}[ bold_f ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT can be rewritten as [𝐟]n=1NejkcδN(n)dsinθ=[𝐟far(θ)]nsubscriptdelimited-[]𝐟𝑛1𝑁superscript𝑒𝑗subscript𝑘𝑐superscriptsubscript𝛿𝑁𝑛𝑑𝜃subscriptdelimited-[]superscript𝐟far𝜃𝑛[{\mathbf{f}}]_{n}=\frac{1}{\sqrt{N}}e^{-jk_{c}\delta_{N}^{(n)}d\sin\theta}=[{% \mathbf{f}}^{\text{far}}(\theta)]_{n}[ bold_f ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_N end_ARG end_ARG italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ end_POSTSUPERSCRIPT = [ bold_f start_POSTSUPERSCRIPT far end_POSTSUPERSCRIPT ( italic_θ ) ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, depending only on direction θ𝜃\thetaitalic_θ. As shown in Fig. 2 (a), the beam at the center frequency generated by [𝐟far(θ)]nsubscriptdelimited-[]superscript𝐟far𝜃𝑛[{\mathbf{f}}^{\text{far}}(\theta)]_{n}[ bold_f start_POSTSUPERSCRIPT far end_POSTSUPERSCRIPT ( italic_θ ) ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is transmitting towards a specific direction θ𝜃\thetaitalic_θ.

However, since the linear approximation in (II-B) is not accurate when n𝑛nitalic_n is very large, the above far-field assumption does not hold anymore for ELAAs. The typical near-field range is determined by the Rayleigh distance [24] R=2D2λc=12N2λc.𝑅2superscript𝐷2subscript𝜆𝑐12superscript𝑁2subscript𝜆𝑐R=\frac{2D^{2}}{\lambda_{c}}=\frac{1}{2}N^{2}\lambda_{c}.italic_R = divide start_ARG 2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT . If the number of antennas N𝑁Nitalic_N increases dramatically, the near-field region will expand by orders of magnitude. For instance, for a 512-antenna ULA operating at 100 GHz frequency, the Rayleigh distance is about 400 meters. In this case, the accurate spherical wave model has to be adopted for the channel 𝐡msubscript𝐡𝑚{\mathbf{h}}_{m}bold_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT in (II-A) and the beamforming vector 𝐟𝐟{\mathbf{f}}bold_f in (4). Accordingly, as shown in Fig. 2 (b), the energy of near-field beam at the center frequency is focused on the location (r,θ)𝑟𝜃(r,\theta)( italic_r , italic_θ ) [23], which depends on both the distance r𝑟ritalic_r and direction θ𝜃\thetaitalic_θ of the receiver. Therefore, near-field beamforming also has the terminology “beamfocusing” in the literature [14, 25].

The discussion above assumes that the bandwidth is not very large. As for wideband systems, a severe beam split effect is induced. Specifically, employing the beamforming vector 𝐟=𝐚c(r,θ)𝐟superscriptsubscript𝐚𝑐𝑟𝜃{\mathbf{f}}={\mathbf{a}}_{c}^{*}(r,\theta)bold_f = bold_a start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_r , italic_θ ), we define G(r^,θ^,r,θ,fm)=|𝐚mT(r^,θ^)𝐟|𝐺^𝑟^𝜃𝑟𝜃subscript𝑓𝑚superscriptsubscript𝐚𝑚𝑇^𝑟^𝜃𝐟G(\hat{r},\hat{\theta},r,\theta,f_{m})=|{\mathbf{a}}_{m}^{T}(\hat{r},\hat{% \theta}){\mathbf{f}}|italic_G ( over^ start_ARG italic_r end_ARG , over^ start_ARG italic_θ end_ARG , italic_r , italic_θ , italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) = | bold_a start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ( over^ start_ARG italic_r end_ARG , over^ start_ARG italic_θ end_ARG ) bold_f | as the normalized beamforming gain at frequency fmsubscript𝑓𝑚f_{m}italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT on the location (r^,θ^)^𝑟^𝜃(\hat{r},\hat{\theta})( over^ start_ARG italic_r end_ARG , over^ start_ARG italic_θ end_ARG ) with r^(n)=r^2+(δN(n)d)22δN(n)dr^θ^superscript^𝑟𝑛superscript^𝑟2superscriptsuperscriptsubscript𝛿𝑁𝑛𝑑22superscriptsubscript𝛿𝑁𝑛𝑑^𝑟^𝜃\hat{r}^{(n)}=\sqrt{\hat{r}^{2}+(\delta_{N}^{(n)}d)^{2}-2\delta_{N}^{(n)}d\hat% {r}\hat{\theta}}over^ start_ARG italic_r end_ARG start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT = square-root start_ARG over^ start_ARG italic_r end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d over^ start_ARG italic_r end_ARG over^ start_ARG italic_θ end_ARG end_ARG. According to (II-A), we have

G(r^,θ^,r,θ,fm)=1N|n=0N1ej(kmr^(n)kcr(n))|.𝐺^𝑟^𝜃𝑟𝜃subscript𝑓𝑚1𝑁superscriptsubscript𝑛0𝑁1superscript𝑒𝑗subscript𝑘𝑚superscript^𝑟𝑛subscript𝑘𝑐superscript𝑟𝑛\displaystyle G(\hat{r},\hat{\theta},r,\theta,f_{m})=\frac{1}{N}\left|\sum_{n=% 0}^{N-1}e^{-j(k_{m}\hat{r}^{(n)}-k_{c}r^{(n)})}\right|.italic_G ( over^ start_ARG italic_r end_ARG , over^ start_ARG italic_θ end_ARG , italic_r , italic_θ , italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) = divide start_ARG 1 end_ARG start_ARG italic_N end_ARG | ∑ start_POSTSUBSCRIPT italic_n = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N - 1 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j ( italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT over^ start_ARG italic_r end_ARG start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT - italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ) end_POSTSUPERSCRIPT | . (6)

Clearly, the maximum value of G(r^,θ^,r,θ,fm)𝐺^𝑟^𝜃𝑟𝜃subscript𝑓𝑚G(\hat{r},\hat{\theta},r,\theta,f_{m})italic_G ( over^ start_ARG italic_r end_ARG , over^ start_ARG italic_θ end_ARG , italic_r , italic_θ , italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) is 1. In narrowband systems where fmfcsubscript𝑓𝑚subscript𝑓𝑐f_{m}\approx f_{c}italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ≈ italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT, the beamforming gain G(r^,θ^,r,θ,fm)𝐺^𝑟^𝜃𝑟𝜃subscript𝑓𝑚G(\hat{r},\hat{\theta},r,\theta,f_{m})italic_G ( over^ start_ARG italic_r end_ARG , over^ start_ARG italic_θ end_ARG , italic_r , italic_θ , italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) reaches its zenith when (r^,θ^)=(r,θ)^𝑟^𝜃𝑟𝜃(\hat{r},\hat{\theta})=(r,\theta)( over^ start_ARG italic_r end_ARG , over^ start_ARG italic_θ end_ARG ) = ( italic_r , italic_θ ), signifying that the beam energy is precisely focused at location (r,θ)𝑟𝜃(r,\theta)( italic_r , italic_θ ). However, in wideband systems, when fmfcsubscript𝑓𝑚subscript𝑓𝑐f_{m}\neq f_{c}italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ≠ italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and (r^,θ^)=(r,θ)^𝑟^𝜃𝑟𝜃(\hat{r},\hat{\theta})=(r,\theta)( over^ start_ARG italic_r end_ARG , over^ start_ARG italic_θ end_ARG ) = ( italic_r , italic_θ ), the elements ej(kckm)r(n)superscript𝑒𝑗subscript𝑘𝑐subscript𝑘𝑚superscript𝑟𝑛e^{-j(k_{c}-k_{m})r^{(n)}}italic_e start_POSTSUPERSCRIPT - italic_j ( italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT - italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT exhibit diverse phases, preventing them from being contructively added up on the user location. This phenomenon substantially reduces the beamforming gain G(r^,θ^,r,θ,fm)|(r^,θ^)=(r,θ)evaluated-at𝐺^𝑟^𝜃𝑟𝜃subscript𝑓𝑚^𝑟^𝜃𝑟𝜃G(\hat{r},\hat{\theta},r,\theta,f_{m})|_{(\hat{r},\hat{\theta})=(r,\theta)}italic_G ( over^ start_ARG italic_r end_ARG , over^ start_ARG italic_θ end_ARG , italic_r , italic_θ , italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ) | start_POSTSUBSCRIPT ( over^ start_ARG italic_r end_ARG , over^ start_ARG italic_θ end_ARG ) = ( italic_r , italic_θ ) end_POSTSUBSCRIPT, rendering it much lower than 1. Consequently, the beam energy at fmsubscript𝑓𝑚f_{m}italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT is split from the desired location (r,θ)𝑟𝜃(r,\theta)( italic_r , italic_θ ) [26]. In the far-field scenario where the distance is considerable, as shown in Fig. 2 (c), this beam split effect causes beams at different frequencies to transmit towards different directions. However, in the near-field setting, as shown in Fig. 2 (d), the near-field beam split effect causes beams at different frequencies to focus on different locations. These distinct beamforming properties distinguish the far-field and near-field beam split effects222 Notice that the sub-figures (c) and (d) of Fig. 2 also appear in our earlier work [26], where [26] employs near-field beam split to perform fast beam training, while the objective of this work is to mitigate this phenomenon via energy-efficient beamforming. .

Furthermore, since beams over large bandwidth are split to different locations/directions, the user can only access to signals close to the center frequency. For example, considering fc=100subscript𝑓𝑐100f_{c}=100italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 100 GHz, B=5𝐵5B=5italic_B = 5 GHz, and N=512𝑁512N=512italic_N = 512, the near-field beam-split effect results in over 50%percent5050\%50 % of the sub-carriers experiencing a beamforming gain loss of at least 60%percent6060\%60 %. Recent works mainly concentrate on mitigating the far-field beam-split effect. This is accomplished by either deploying a large number of high power consumption time-delay elements [27], [20] or heavily relying on the linear phase property of the far-field channel [21, 16, 18, 19], which is not applicable in the near field. To the best of our knowledge, the near-field beam-split effect has not been studied in the literature.

III Proposed Methods

In this section, we commence by introducing a piecewise-far-field channel characterized by piecewise-linear phase properties to approximate the intricate near-field channel. Subsequently, a PDF method is built on this approximation to mitigate the near-field beam split effect.

Refer to caption
(a) Far-field channel
Refer to caption
(b) Near-field channel
Refer to caption
(c) Proposed piecewise-far-field channel
Refer to caption
(d) layout of the piecewise-far-field model
Refer to caption
(e) Channel phase against antenna index
Figure 3: Schematic diagrams of (a) far-field channel model, (b) near-field channel model, (c) piecewise-far-field channel model, (d) layout of the piecewise-far-field model, and (e) channel phase against the antenna index. The number of antennas is 256, the carrier frequency is 100 GHz. The user is located at (x,y)=(10m,0m)𝑥𝑦10m0m(x,y)=(10\>\text{m},0\>\text{m})( italic_x , italic_y ) = ( 10 m , 0 m ). With K=4𝐾4K=4italic_K = 4 sub-arrays, the piecewise-far-field channel model can well approximate the near-field channel model.

III-A Piecewise-Far-Field Channel Model

The non-linear phase kmru(n)subscript𝑘𝑚subscriptsuperscript𝑟𝑛𝑢-k_{m}r^{(n)}_{u}- italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT w.r.t the antenna index n𝑛nitalic_n makes it intractable to directly devise near-field wideband beamforming techniques. In order to get a manageable simplification of this non-linear phase while maintaining acceptable accuracy, we observe that the Rayleigh distance 12N2λc12superscript𝑁2subscript𝜆𝑐\frac{1}{2}N^{2}\lambda_{c}divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT scales proportionally with the square of the number of antennas, signifying that fewer antennas corresponds to a better accuracy of the far-field assumption in (II-B).

Inspired by this observation, as depicted in Fig. 3 (a)-(c), a piecewise-far-field channel model is harnessed to approximate the intricate near-field channel. In this model, the entire large array is partitioned into multiple sub-arrays, each equipped with much fewer antennas compared to the entire array. This partition leads to a notable reduction of the near-field range for each sub-array. Consequently, even if the receiver is inside the near-field region of the entire array, we can reasonably assume that the receiver is situated in the far-field region of each sub-array.

To elaborate, as shown in Fig. 3 (d), we divide the entire large array into K𝐾Kitalic_K sub-arrays. For each sub-array, there are P𝑃Pitalic_P adjacent antennas, satisfying N=KP𝑁𝐾𝑃N=KPitalic_N = italic_K italic_P. Then, the near-field channel from the BS to the uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT user is rearranged as follows

𝐡u,m=[𝐡u,m(0)T,𝐡u,m(1)T,,𝐡u,m(K1)T]T,subscript𝐡𝑢𝑚superscriptsuperscriptsubscript𝐡𝑢𝑚superscript0𝑇superscriptsubscript𝐡𝑢𝑚superscript1𝑇superscriptsubscript𝐡𝑢𝑚superscript𝐾1𝑇𝑇\displaystyle{\mathbf{h}}_{u,m}=\left[{{\mathbf{h}}_{u,m}^{\left(0\right)^{T}}% },{{\mathbf{h}}_{u,m}^{\left(1\right)^{T}}},\cdots,{{\mathbf{h}}_{u,m}^{\left(% K-1\right)^{T}}}\right]^{T},bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT = [ bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , ⋯ , bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_K - 1 ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , (7)

where 𝐡u,m(k)P×1superscriptsubscript𝐡𝑢𝑚𝑘superscript𝑃1{\mathbf{h}}_{u,m}^{(k)}\in\mathbb{C}^{P\times 1}bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_P × 1 end_POSTSUPERSCRIPT represents the sub-channel between the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT sub-array and the uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT user. We define δK(k)=kK12superscriptsubscript𝛿𝐾𝑘𝑘𝐾12\delta_{K}^{(k)}=k-\frac{K-1}{2}italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT = italic_k - divide start_ARG italic_K - 1 end_ARG start_ARG 2 end_ARG for k{0,1,,K1}𝑘01𝐾1k\in\{0,1,\cdots,K-1\}italic_k ∈ { 0 , 1 , ⋯ , italic_K - 1 }. Then, the distance and direction from the center of the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT sub-array to the uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT user are expressed as ru,k=xu2+(yuδK(k)Pd)2=ru2+(δK(k)Pd)22δK(k)Pdrusinθusubscript𝑟𝑢𝑘superscriptsubscript𝑥𝑢2superscriptsubscript𝑦𝑢superscriptsubscript𝛿𝐾𝑘𝑃𝑑2superscriptsubscript𝑟𝑢2superscriptsuperscriptsubscript𝛿𝐾𝑘𝑃𝑑22superscriptsubscript𝛿𝐾𝑘𝑃𝑑subscript𝑟𝑢subscript𝜃𝑢r_{u,k}=\sqrt{x_{u}^{2}+(y_{u}-\delta_{K}^{(k)}Pd)^{2}}=\sqrt{r_{u}^{2}+(% \delta_{K}^{(k)}Pd)^{2}-2\delta_{K}^{(k)}Pdr_{u}\sin\theta_{u}}italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT = square-root start_ARG italic_x start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = square-root start_ARG italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_ARG and sinθu,k=yuδK(k)Pdru,ksubscript𝜃𝑢𝑘subscript𝑦𝑢superscriptsubscript𝛿𝐾𝑘𝑃𝑑subscript𝑟𝑢𝑘\sin\theta_{u,k}=\frac{y_{u}-\delta_{K}^{(k)}Pd}{r_{u,k}}roman_sin italic_θ start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT = divide start_ARG italic_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT end_ARG, respectively. We further define δP(p)=pP12superscriptsubscript𝛿𝑃𝑝𝑝𝑃12\delta_{P}^{(p)}=p-\frac{P-1}{2}italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT = italic_p - divide start_ARG italic_P - 1 end_ARG start_ARG 2 end_ARG for p{0,1,,P1}𝑝01𝑃1p\in\{0,1,\cdots,P-1\}italic_p ∈ { 0 , 1 , ⋯ , italic_P - 1 }. Subsequently, according to (II-B), the distance ru,k(p)superscriptsubscript𝑟𝑢𝑘𝑝r_{u,k}^{(p)}italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT from the pthsuperscript𝑝thp^{\rm th}italic_p start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT antenna in the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT sub-array to the uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT user is expressed as

ru,k(p)superscriptsubscript𝑟𝑢𝑘𝑝\displaystyle r_{u,k}^{(p)}italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT =ru,k2+(δP(p)d)22δP(p)dru,ksinθu,kabsentsuperscriptsubscript𝑟𝑢𝑘2superscriptsuperscriptsubscript𝛿𝑃𝑝𝑑22superscriptsubscript𝛿𝑃𝑝𝑑subscript𝑟𝑢𝑘subscript𝜃𝑢𝑘\displaystyle=\sqrt{r_{u,k}^{2}+(\delta_{P}^{(p)}d)^{2}-2\delta_{P}^{(p)}dr_{u% ,k}\sin\theta_{u,k}}= square-root start_ARG italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT italic_d italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT end_ARG
(a)ru,kδP(p)dsinθu,k.𝑎subscript𝑟𝑢𝑘superscriptsubscript𝛿𝑃𝑝𝑑subscript𝜃𝑢𝑘\displaystyle\overset{(a)}{\approx}r_{u,k}-\delta_{P}^{(p)}d\sin\theta_{u,k}.start_OVERACCENT ( italic_a ) end_OVERACCENT start_ARG ≈ end_ARG italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT . (8)

There, the approximation (a) holds because each sub-array is small enough. Accordingly, the near-field channel 𝐡u,m(k)superscriptsubscript𝐡𝑢𝑚𝑘{\mathbf{h}}_{u,m}^{(k)}bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT of the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT sub-array is approximated by a far-field channel 𝐡~u,m(k)superscriptsubscript~𝐡𝑢𝑚𝑘\tilde{{\mathbf{h}}}_{u,m}^{(k)}over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT:

[𝐡u,m(k)]psubscriptdelimited-[]superscriptsubscript𝐡𝑢𝑚𝑘𝑝\displaystyle[{\mathbf{h}}_{u,m}^{(k)}]_{p}[ bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT ] start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT gu,mejkmru,kejkmδP(p)dsinθu,k=[𝐡~u,m(k)]p.absentsubscript𝑔𝑢𝑚superscript𝑒𝑗subscript𝑘𝑚subscript𝑟𝑢𝑘superscript𝑒𝑗subscript𝑘𝑚superscriptsubscript𝛿𝑃𝑝𝑑subscript𝜃𝑢𝑘subscriptdelimited-[]superscriptsubscript~𝐡𝑢𝑚𝑘𝑝\displaystyle\approx g_{u,m}e^{-jk_{m}r_{u,k}}e^{jk_{m}\delta_{P}^{(p)}d\sin% \theta_{u,k}}=[\tilde{{\mathbf{h}}}_{u,m}^{(k)}]_{p}.≈ italic_g start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT = [ over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT ] start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT . (9)

By introducing the parameter ηm=fmfcsubscript𝜂𝑚subscript𝑓𝑚subscript𝑓𝑐\eta_{m}=\frac{f_{m}}{f_{c}}italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = divide start_ARG italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG and plugging d=λc2=c2fc𝑑subscript𝜆𝑐2𝑐2subscript𝑓𝑐d=\frac{\lambda_{c}}{2}=\frac{c}{2f_{c}}italic_d = divide start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG = divide start_ARG italic_c end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG and km=2πfmcsubscript𝑘𝑚2𝜋subscript𝑓𝑚𝑐k_{m}=\frac{2\pi f_{m}}{c}italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = divide start_ARG 2 italic_π italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG italic_c end_ARG into (9), we arrive at [𝐡~u,m(k)]p=ejkmru,kejπηmδP(p)sinθu,ksubscriptdelimited-[]superscriptsubscript~𝐡𝑢𝑚𝑘𝑝superscript𝑒𝑗subscript𝑘𝑚subscript𝑟𝑢𝑘superscript𝑒𝑗𝜋subscript𝜂𝑚superscriptsubscript𝛿𝑃𝑝subscript𝜃𝑢𝑘[\tilde{{\mathbf{h}}}_{u,m}^{(k)}]_{p}=e^{-jk_{m}r_{u,k}}e^{j\pi\eta_{m}\delta% _{P}^{(p)}\sin\theta_{u,k}}[ over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT ] start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j italic_π italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT end_POSTSUPERSCRIPT. Consequently, the intricate near-field channel is approximated by a piecewise-far-field channel:

𝐡u,m𝐡~u,m=[𝐡~u,m(0),𝐡~u,m(1),,𝐡~u,m(K1)].subscript𝐡𝑢𝑚subscript~𝐡𝑢𝑚superscriptsubscript~𝐡𝑢𝑚0superscriptsubscript~𝐡𝑢𝑚1superscriptsubscript~𝐡𝑢𝑚𝐾1\displaystyle{\mathbf{h}}_{u,m}\approx\tilde{{\mathbf{h}}}_{u,m}=\left[\tilde{% {\mathbf{h}}}_{u,m}^{\left(0\right)},\tilde{{\mathbf{h}}}_{u,m}^{\left(1\right% )},\cdots,\tilde{{\mathbf{h}}}_{u,m}^{\left(K-1\right)}\right].bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT ≈ over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT = [ over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT , over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT , ⋯ , over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_K - 1 ) end_POSTSUPERSCRIPT ] . (10)

It is notable from (9) that the phase of [𝐡~u,m(k)]psubscriptdelimited-[]superscriptsubscript~𝐡𝑢𝑚𝑘𝑝[\tilde{{\mathbf{h}}}_{u,m}^{(k)}]_{p}[ over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT ] start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT is a linear function of p𝑝pitalic_p, the antenna index of the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT sub-array. This linear phase property suggests that [𝐡~u,m(k)]psubscriptdelimited-[]superscriptsubscript~𝐡𝑢𝑚𝑘𝑝[\tilde{{\mathbf{h}}}_{u,m}^{(k)}]_{p}[ over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT ] start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT can be regarded as a far-field channel. Furthermore, considering the different rksubscript𝑟𝑘r_{k}italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT and θksubscript𝜃𝑘\theta_{k}italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT in each sub-array, the planar waves im**ing on different sub-arrays come from different directions. This is why we call the entire array’s channel the piecewise-far-field channel. To illustrate the fidelity of the proposed model, Fig. 3 (e) depicts the channel phase as a function of the antenna index for the near-field, far-field, and piecewise-far-field channel models. The phase profile of the piecewise-far-field channel model closely approaches that of the true near-field channel. In essence, our proposed channel model can be recognized as a piecewise-linearization of the intricate near-field channel model, wherein the phase exhibits local linear behavior within each sub-array. Harnessing this piecewise-linear phase characteristics, we proceed to devise a near-field wideband beamforming method referred to as phase-delay focusing to alleviate the near-field beam-split effect in the subsequent subsection.

III-B Proposed Phase-Delay Focusing Method

We first elaborate on overcoming the near-field beam-split for an arbitrary user by analog beamforming, while the extension to multi-user hybrid beamforming is studied in Section III-D. For ease of expression, the subscript u𝑢uitalic_u is omitted in Section III-B to III-C. Accordingly, the variables 𝐡u,msubscript𝐡𝑢𝑚{\mathbf{h}}_{u,m}bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT, 𝐡~u,msubscript~𝐡𝑢𝑚\tilde{{\mathbf{h}}}_{u,m}over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT, 𝐟usubscript𝐟𝑢{\mathbf{f}}_{u}bold_f start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT, rusubscript𝑟𝑢r_{u}italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT, θusubscript𝜃𝑢\theta_{u}italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT, ru,ksubscript𝑟𝑢𝑘r_{u,k}italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT, and θu,ksubscript𝜃𝑢𝑘\theta_{u,k}italic_θ start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT become 𝐡msubscript𝐡𝑚{\mathbf{h}}_{m}bold_h start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, 𝐡~msubscript~𝐡𝑚\tilde{{\mathbf{h}}}_{m}over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, 𝐟𝐟{\mathbf{f}}bold_f, r𝑟ritalic_r, θ𝜃\thetaitalic_θ, rksubscript𝑟𝑘r_{k}italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, and θksubscript𝜃𝑘\theta_{k}italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT.

Specifically, the introduced piecewise-far-field channel model makes it straightforward to decouple the phase in (9) into two components: the inter-array phase discrepancy kmrksubscript𝑘𝑚subscript𝑟𝑘-k_{m}r_{k}- italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT across different sub-arrays, and the intra-array phase discrepancy πηmδP(p)sinθk𝜋subscript𝜂𝑚superscriptsubscript𝛿𝑃𝑝subscript𝜃𝑘\pi\eta_{m}\delta_{P}^{(p)}\sin\theta_{k}italic_π italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT within each sub-array. It is notable that kmrksubscript𝑘𝑚subscript𝑟𝑘-k_{m}r_{k}- italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is a non-linear function of k𝑘kitalic_k, giving rise to a near-field channel phase property, whereas πηmδP(p)sinθk𝜋subscript𝜂𝑚superscriptsubscript𝛿𝑃𝑝subscript𝜃𝑘\pi\eta_{m}\delta_{P}^{(p)}\sin\theta_{k}italic_π italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT follows a linear function in relation to p𝑝pitalic_p, as the same to a far-field model. Both of these two phase components contribute to the near-field beam split effect. The following fact inspires us to neglect the influence of intra-array phase πηmδP(p)sinθk𝜋subscript𝜂𝑚superscriptsubscript𝛿𝑃𝑝subscript𝜃𝑘\pi\eta_{m}\delta_{P}^{(p)}\sin\theta_{k}italic_π italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT on near-field beam split. As suggested in [28, 21], the degree of beam-split effect is proportional to the physical antenna aperture. A larger antenna aperture results in a severer beam-split effect. Although this conclusion is derived in the far-field region, it is valid to near-field as well, because the physical propagation delay always increases with the antenna aperture, no matter far-field or near-field. Following this intuition, we can find that the intra-array phase discrepancy kmδP(p)dsinθksubscript𝑘𝑚superscriptsubscript𝛿𝑃𝑝𝑑subscript𝜃𝑘k_{m}\delta_{P}^{(p)}d\sin\theta_{k}italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT corresponds to a sub-array’s aperture Pd𝑃𝑑{Pd}italic_P italic_d, while the inter-array phase discrepancy kmrksubscript𝑘𝑚subscript𝑟𝑘k_{m}r_{k}italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is related to the entire array’s aperture Nd𝑁𝑑Nditalic_N italic_d. Since PNmuch-less-than𝑃𝑁P\ll Nitalic_P ≪ italic_N, it is reasonable to deduce the near-field beam split is dominated by the inter-array phase discrepancy. Consequently, our target is converted to compensating for the inter-array phase kmrksubscript𝑘𝑚subscript𝑟𝑘-k_{m}r_{k}- italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT.

Refer to caption
Figure 4: A single-user example of the delay-phase precoding architecture [21] for performing the PDF method.

Note that the channel phase kmrk=2πfmrkcsubscript𝑘𝑚subscript𝑟𝑘2𝜋subscript𝑓𝑚subscript𝑟𝑘𝑐-k_{m}r_{k}=-\frac{2\pi f_{m}r_{k}}{c}- italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = - divide start_ARG 2 italic_π italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG start_ARG italic_c end_ARG is equivalent to the frequency response of a time delay of rkcsubscript𝑟𝑘𝑐\frac{r_{k}}{c}divide start_ARG italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT end_ARG start_ARG italic_c end_ARG. Therefore, the delay-phase precoding architecture [21] employing TTD circuits can be used to compensate for the inter-array phase kmrksubscript𝑘𝑚subscript𝑟𝑘-k_{m}r_{k}- italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. As illustrated in Fig. 4, compared to conventional hybrid precoding architecture, one additional TTD circuit is inserted in each sub-array to connect the RF chain and the PS-based sub-array. The frequency response of a TTD at fmsubscript𝑓𝑚f_{m}italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT is ej2πfmτsuperscript𝑒𝑗2𝜋subscript𝑓𝑚superscript𝜏e^{-j2\pi f_{m}\tau^{\prime}}italic_e start_POSTSUPERSCRIPT - italic_j 2 italic_π italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT, where τsuperscript𝜏\tau^{\prime}italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT represents the adjustable time delay parameter. For brevity, let r=cτsuperscript𝑟𝑐superscript𝜏r^{\prime}=c\tau^{\prime}italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_c italic_τ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT be the adjustable distance parameter. Then, the corresponding frequency response is transformed into ejkmrsuperscript𝑒𝑗subscript𝑘𝑚superscript𝑟e^{-jk_{m}r^{\prime}}italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT. Thereby, a TTD is able to compensate for the frequency-dependent phase kmrksubscript𝑘𝑚subscript𝑟𝑘-k_{m}r_{k}- italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT if r=rksuperscript𝑟subscript𝑟𝑘r^{\prime}=-r_{k}italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = - italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. Moreover, as shown in Fig. 4, the main function of the PS-based sub-array is to generate far-field planar waves to match the intra-array far-field phase πηmδP(p)sinθk𝜋subscript𝜂𝑚superscriptsubscript𝛿𝑃𝑝subscript𝜃𝑘\pi\eta_{m}\delta_{P}^{(p)}\sin\theta_{k}italic_π italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. Through the joint manipulation of PSs and TTDs, the beam energy across the entire bandwidth can be focused on the receiver location (r,θ)𝑟𝜃(r,\theta)( italic_r , italic_θ ). We henceforth refer to this method as phase-delay focusing.

Recall that the analog beamformer 𝐟𝐟{\mathbf{f}}bold_f realized by PS is frequency-independent. In contrast, the introduction of TTD makes the corresponding analog beamformer 𝐟msubscript𝐟𝑚{\mathbf{f}}_{m}bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT frequency-dependent. To be specific, similar to the decomposition of wireless channel presented in (7), the beamforming vector 𝐟msubscript𝐟𝑚{\mathbf{f}}_{m}bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT realized by the PDF method at fmsubscript𝑓𝑚f_{m}italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT is composed of K𝐾Kitalic_K sub-vectors, i.e.,

𝐟m=[𝐟m(0)T,𝐟m(1)T,,𝐟m(K1)T]T,subscript𝐟𝑚superscriptsuperscriptsubscript𝐟𝑚superscript0𝑇superscriptsubscript𝐟𝑚superscript1𝑇superscriptsubscript𝐟𝑚superscript𝐾1𝑇𝑇\displaystyle{\mathbf{f}}_{m}=\left[{{\mathbf{f}}_{m}^{\left(0\right)^{T}}},{{% \mathbf{f}}_{m}^{\left(1\right)^{T}}},\cdots,{{\mathbf{f}}_{m}^{\left(K-1% \right)^{T}}}\right]^{T},bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = [ bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , ⋯ , bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_K - 1 ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , (11)

where 𝐟m(k)P×1superscriptsubscript𝐟𝑚𝑘superscript𝑃1{\mathbf{f}}_{m}^{(k)}\in\mathbb{C}^{P\times 1}bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT ∈ blackboard_C start_POSTSUPERSCRIPT italic_P × 1 end_POSTSUPERSCRIPT represents the beamforming vector of the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT sub-array. As illustrated in Fig. 4, 𝐟m(k)superscriptsubscript𝐟𝑚𝑘{\mathbf{f}}_{m}^{(k)}bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT is generated by one TTD element and P𝑃Pitalic_P PSs, which can be expressed as follows:

𝐟m(k)=1Nejkmrk[ejπδP(0)βk,,ejπδP(P1)βk]T.superscriptsubscript𝐟𝑚𝑘1𝑁superscript𝑒𝑗subscript𝑘𝑚superscriptsubscript𝑟𝑘superscriptsuperscript𝑒𝑗𝜋superscriptsubscript𝛿𝑃0superscriptsubscript𝛽𝑘superscript𝑒𝑗𝜋superscriptsubscript𝛿𝑃𝑃1superscriptsubscript𝛽𝑘𝑇\displaystyle{\mathbf{f}}_{m}^{(k)}=\frac{1}{\sqrt{N}}e^{-jk_{m}r_{k}^{\prime}% }[e^{j\pi\delta_{P}^{(0)}\beta_{k}^{\prime}},\cdots,e^{j\pi\delta_{P}^{(P-1)}% \beta_{k}^{\prime}}]^{T}.bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_N end_ARG end_ARG italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT [ italic_e start_POSTSUPERSCRIPT italic_j italic_π italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , ⋯ , italic_e start_POSTSUPERSCRIPT italic_j italic_π italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_P - 1 ) end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT . (12)

Here, rksuperscriptsubscript𝑟𝑘r_{k}^{\prime}italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT denotes the adjustable distance parameter of the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT TTD element and βksuperscriptsubscript𝛽𝑘\beta_{k}^{\prime}italic_β start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT denotes the adjustable phase parameter associated with the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT PS-based sub-array. It is evident from (12) that 𝐟m(k)superscriptsubscript𝐟𝑚𝑘{\mathbf{f}}_{m}^{(k)}bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT includes two distinct components. The first one is the frequency-independent phase πδP(p)βk𝜋superscriptsubscript𝛿𝑃𝑝superscriptsubscript𝛽𝑘\pi\delta_{P}^{(p)}\beta_{k}^{\prime}italic_π italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT generated by the P𝑃Pitalic_P PSs within the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT sub-array. The second one involves the frequency-dependent phase kmrksubscript𝑘𝑚superscriptsubscript𝑟𝑘-k_{m}r_{k}^{\prime}- italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT realized by the k𝑘kitalic_kth TTD element. As discussed earlier, the purpose of πδP(p)βk𝜋superscriptsubscript𝛿𝑃𝑝superscriptsubscript𝛽𝑘\pi\delta_{P}^{(p)}\beta_{k}^{\prime}italic_π italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is to produce planar waves that align with the far-field phase discrepancy πηmδP(p)sinθk𝜋subscript𝜂𝑚superscriptsubscript𝛿𝑃𝑝subscript𝜃𝑘\pi\eta_{m}\delta_{P}^{(p)}\sin\theta_{k}italic_π italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, while the introduction of tk=rkcsuperscriptsubscript𝑡𝑘superscriptsubscript𝑟𝑘𝑐t_{k}^{\prime}=\frac{r_{k}^{\prime}}{c}italic_t start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = divide start_ARG italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG start_ARG italic_c end_ARG serves to compensate for the near-field phase discrepancy kmrksubscript𝑘𝑚subscript𝑟𝑘-k_{m}r_{k}- italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT.

To elaborate, the normalized beamforming gain achieved by the proposed PDF method on the user location is expressed as

Gmsubscript𝐺𝑚\displaystyle G_{m}italic_G start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT =1|gm|N|𝐡~mT𝐟m|=1|gm|N|k=0K1𝐡~m(k)T𝐟m(k)|absent1subscript𝑔𝑚𝑁superscriptsubscript~𝐡𝑚𝑇subscript𝐟𝑚1subscript𝑔𝑚𝑁superscriptsubscript𝑘0𝐾1superscriptsubscript~𝐡𝑚superscript𝑘𝑇superscriptsubscript𝐟𝑚𝑘\displaystyle=\frac{1}{\sqrt{|g_{m}|N}}|\tilde{{\mathbf{h}}}_{m}^{T}{\mathbf{f% }}_{m}|=\frac{1}{\sqrt{|g_{m}|N}}\left|\sum_{k=0}^{K-1}\tilde{{\mathbf{h}}}_{m% }^{(k)^{T}}{\mathbf{f}}_{m}^{(k)}\right|= divide start_ARG 1 end_ARG start_ARG square-root start_ARG | italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | italic_N end_ARG end_ARG | over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | = divide start_ARG 1 end_ARG start_ARG square-root start_ARG | italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | italic_N end_ARG end_ARG | ∑ start_POSTSUBSCRIPT italic_k = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K - 1 end_POSTSUPERSCRIPT over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT |
=1N|k=0K1ejkm(rk+rk)p=0P1ejδP(p)π(βk+ηmsinθk)|absent1𝑁superscriptsubscript𝑘0𝐾1superscript𝑒𝑗subscript𝑘𝑚superscriptsubscript𝑟𝑘subscript𝑟𝑘superscriptsubscript𝑝0𝑃1superscript𝑒𝑗superscriptsubscript𝛿𝑃𝑝𝜋superscriptsubscript𝛽𝑘subscript𝜂𝑚subscript𝜃𝑘\displaystyle=\frac{1}{N}\left|\sum_{k=0}^{K-1}e^{-jk_{m}(r_{k}^{\prime}+r_{k}% )}\sum_{p=0}^{P-1}e^{j\delta_{P}^{(p)}\pi(\beta_{k}^{\prime}+\eta_{m}\sin% \theta_{k})}\right|= divide start_ARG 1 end_ARG start_ARG italic_N end_ARG | ∑ start_POSTSUBSCRIPT italic_k = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K - 1 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_p = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_P - 1 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_j italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_p ) end_POSTSUPERSCRIPT italic_π ( italic_β start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT |
=1K|k=0K1ejkm(rk+rk)ΞP(βk+ηmsinθk)|,absent1𝐾superscriptsubscript𝑘0𝐾1superscript𝑒𝑗subscript𝑘𝑚superscriptsubscript𝑟𝑘subscript𝑟𝑘subscriptΞ𝑃superscriptsubscript𝛽𝑘subscript𝜂𝑚subscript𝜃𝑘\displaystyle=\frac{1}{K}\left|\sum_{k=0}^{K-1}e^{-jk_{m}(r_{k}^{\prime}+r_{k}% )}\Xi_{P}(\beta_{k}^{\prime}+\eta_{m}\sin\theta_{k})\right|,= divide start_ARG 1 end_ARG start_ARG italic_K end_ARG | ∑ start_POSTSUBSCRIPT italic_k = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K - 1 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_β start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | , (13)

where ΞP(x)=sin(P2πx)Psin(12πx)subscriptΞ𝑃𝑥𝑃2𝜋𝑥𝑃12𝜋𝑥\Xi_{P}(x)=\frac{\sin\left(\frac{P}{2}\pi x\right)}{P\sin\left(\frac{1}{2}\pi x% \right)}roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_x ) = divide start_ARG roman_sin ( divide start_ARG italic_P end_ARG start_ARG 2 end_ARG italic_π italic_x ) end_ARG start_ARG italic_P roman_sin ( divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_π italic_x ) end_ARG. To generate planar waves aligning with the sub-array channel, βksuperscriptsubscript𝛽𝑘\beta_{k}^{\prime}italic_β start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is typically devised according to the spatial direction sinθksubscript𝜃𝑘\sin\theta_{k}roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT at the center frequency [29], i.e.,

βk=sinθk.superscriptsubscript𝛽𝑘subscript𝜃𝑘\displaystyle\beta_{k}^{\prime}=-\sin\theta_{k}.italic_β start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = - roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT . (14)

By substituting (14) into (III-B), we obtain

𝐡~m(k)T𝐟m(k)=ekm(rk+rk)ΞP(ϵmsinθk),superscriptsubscript~𝐡𝑚superscript𝑘𝑇superscriptsubscript𝐟𝑚𝑘superscript𝑒subscript𝑘𝑚superscriptsubscript𝑟𝑘subscript𝑟𝑘subscriptΞ𝑃subscriptitalic-ϵ𝑚subscript𝜃𝑘\displaystyle\tilde{{\mathbf{h}}}_{m}^{(k)^{T}}{\mathbf{f}}_{m}^{(k)}=e^{-k_{m% }(r_{k}^{\prime}+r_{k})}\Xi_{P}(\epsilon_{m}\sin\theta_{k}),over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT = italic_e start_POSTSUPERSCRIPT - italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) , (15)

where ϵm=ηm1=Bfc(2M1m1)subscriptitalic-ϵ𝑚subscript𝜂𝑚1𝐵subscript𝑓𝑐2𝑀1𝑚1\epsilon_{m}=\eta_{m}-1=\frac{B}{f_{c}}(\frac{2}{M-1}m-1)italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = italic_η start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - 1 = divide start_ARG italic_B end_ARG start_ARG italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ( divide start_ARG 2 end_ARG start_ARG italic_M - 1 end_ARG italic_m - 1 ). The subsequent objective of our PDF method is to find proper {rk}superscriptsubscript𝑟𝑘\{r_{k}^{\prime}\}{ italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT } to maximize the beamforming gain on the user location (r,θ)𝑟𝜃(r,\theta)( italic_r , italic_θ ) over the entire bandwidth. Hence, the corresponding optimization problem can be formulated as

max{rk}subscriptmaxsubscript𝑟𝑘\displaystyle\mathop{\mbox{max}}\limits_{\{r_{k}\}}\quadmax start_POSTSUBSCRIPT { italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT } end_POSTSUBSCRIPT 1MKm=1M|k=0K1ejkm(rk+rk)ΞP(ϵmsinθk)|1𝑀𝐾superscriptsubscript𝑚1𝑀superscriptsubscript𝑘0𝐾1superscript𝑒𝑗subscript𝑘𝑚superscriptsubscript𝑟𝑘subscript𝑟𝑘subscriptΞ𝑃subscriptitalic-ϵ𝑚subscript𝜃𝑘\displaystyle\frac{1}{MK}\sum_{m=1}^{M}\left|\sum_{k=0}^{K-1}e^{-jk_{m}(r_{k}^% {\prime}+r_{k})}\Xi_{P}(\epsilon_{m}\sin\theta_{k})\right|divide start_ARG 1 end_ARG start_ARG italic_M italic_K end_ARG ∑ start_POSTSUBSCRIPT italic_m = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M end_POSTSUPERSCRIPT | ∑ start_POSTSUBSCRIPT italic_k = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K - 1 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ( italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) | (16)
s.t. rk0k{1,2,,K}.formulae-sequencesuperscriptsubscript𝑟𝑘0𝑘12𝐾\displaystyle r_{k}^{\prime}\geq 0\quad k\in\{1,2,\cdots,K\}.italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≥ 0 italic_k ∈ { 1 , 2 , ⋯ , italic_K } .

We provide the following Lemma 1 to solve problem (16).

Lemma 1

If |ϵm|2Psubscriptitalic-ϵ𝑚2𝑃|\epsilon_{m}|\leq\frac{2}{P}| italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | ≤ divide start_ARG 2 end_ARG start_ARG italic_P end_ARG for m{0,1,,M1}for-all𝑚01𝑀1\forall m\in\{0,1,\cdots,M-1\}∀ italic_m ∈ { 0 , 1 , ⋯ , italic_M - 1 }, then the optimal solution to problem (16) is

rk=Lrk,superscriptsubscript𝑟𝑘𝐿subscript𝑟𝑘\displaystyle r_{k}^{\prime}=L-r_{k},italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_L - italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , (17)

where L𝐿Litalic_L is a global distance parameter chosen to ensure min{rk}0superscriptsubscript𝑟𝑘0\min\{r_{k}^{\prime}\}\geq 0roman_min { italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT } ≥ 0.

Proof:

By substituting (17) into (15), the beamforming gain of the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT sub-array can rewritten as

𝐡~m(k)T𝐟m(k)=PejkmLΞP(ϵmsinθk).superscriptsubscript~𝐡𝑚superscript𝑘𝑇superscriptsubscript𝐟𝑚𝑘𝑃superscript𝑒𝑗subscript𝑘𝑚𝐿subscriptΞ𝑃subscriptitalic-ϵ𝑚subscript𝜃𝑘\displaystyle\tilde{{\mathbf{h}}}_{m}^{(k)^{T}}{\mathbf{f}}_{m}^{(k)}=Pe^{-jk_% {m}L}\Xi_{P}(\epsilon_{m}\sin\theta_{k}).over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT = italic_P italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_L end_POSTSUPERSCRIPT roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) . (18)

The condition |ϵm|2Psubscriptitalic-ϵ𝑚2𝑃|\epsilon_{m}|\leq\frac{2}{P}| italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | ≤ divide start_ARG 2 end_ARG start_ARG italic_P end_ARG means that the parameters |ϵmsinθk||ϵm|subscriptitalic-ϵ𝑚subscript𝜃𝑘subscriptitalic-ϵ𝑚|\epsilon_{m}\sin\theta_{k}|\leq|\epsilon_{m}|| italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | ≤ | italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | are within the main lobe of ΞP()subscriptΞ𝑃\Xi_{P}(\cdot)roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( ⋅ ) for all subcarriers fmsubscript𝑓𝑚f_{m}italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT. Hence, it is obvious that ΞP(ϵmsinθk)>0subscriptΞ𝑃subscriptitalic-ϵ𝑚subscript𝜃𝑘0\Xi_{P}(\epsilon_{m}\sin\theta_{k})>0roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) > 0, and the beamforming gain can be presented as

1N|k𝐡~m(k)T𝐟m(k)|=1KkΞP(ϵmsinθk).1𝑁subscript𝑘superscriptsubscript~𝐡𝑚superscript𝑘𝑇superscriptsubscript𝐟𝑚𝑘1𝐾subscript𝑘subscriptΞ𝑃subscriptitalic-ϵ𝑚subscript𝜃𝑘\displaystyle\frac{1}{N}\left|\sum_{k}\tilde{{\mathbf{h}}}_{m}^{(k)^{T}}{% \mathbf{f}}_{m}^{(k)}\right|=\frac{1}{K}\sum_{k}\Xi_{P}(\epsilon_{m}\sin\theta% _{k}).divide start_ARG 1 end_ARG start_ARG italic_N end_ARG | ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT | = divide start_ARG 1 end_ARG start_ARG italic_K end_ARG ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) . (19)

In addition, according to the Cauchy-Schwarz inequality, the beamforming gain Gmsubscript𝐺𝑚G_{m}italic_G start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT has an upper bound:

Gm1Kk|𝐡~m(k)T𝐟m(k)|=1KkΞP(ϵmsinθk).subscript𝐺𝑚1𝐾subscript𝑘superscriptsubscript~𝐡𝑚superscript𝑘𝑇superscriptsubscript𝐟𝑚𝑘1𝐾subscript𝑘subscriptΞ𝑃subscriptitalic-ϵ𝑚subscript𝜃𝑘\displaystyle G_{m}\leq\frac{1}{K}\sum_{k}\left|\tilde{{\mathbf{h}}}_{m}^{(k)^% {T}}{\mathbf{f}}_{m}^{(k)}\right|=\frac{1}{K}\sum_{k}\Xi_{P}(\epsilon_{m}\sin% \theta_{k}).italic_G start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ≤ divide start_ARG 1 end_ARG start_ARG italic_K end_ARG ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | over~ start_ARG bold_h end_ARG start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT bold_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT | = divide start_ARG 1 end_ARG start_ARG italic_K end_ARG ∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) . (20)

It is clear from (19) and (20) that rksuperscriptsubscript𝑟𝑘r_{k}^{\prime}italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is the optimal solution to maximize Gmsubscript𝐺𝑚G_{m}italic_G start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT at frequency fmsubscript𝑓𝑚f_{m}italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT. Moreover, since rksuperscriptsubscript𝑟𝑘r_{k}^{\prime}italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is frequency independent, it is the optimal solution to all sub-carriers and thus optimal to problem (16), which completes the proof. ∎

To sum up, (14) and (17) complete the beamforming design for the proposed PDF method. In the next subsection, theoretical analysis will be provided to validate the efficiency of the proposed PDF method in alleviating the near-field beam split effect.

III-C Analysis of Beamforming Gain Performance

This subsection presents an analysis of the performance of the proposed PDF method for large numbers M𝑀Mitalic_M and K𝐾Kitalic_K. We begin by introducing Lemma 2, which provides the average beamforming gain over all sub-carriers achieved by the PDF method.

Lemma 2

Suppose the user is located in the far-field region of each sub-array and |ϵm|2Psubscriptitalic-ϵ𝑚2𝑃|\epsilon_{m}|\leq\frac{2}{P}| italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | ≤ divide start_ARG 2 end_ARG start_ARG italic_P end_ARG for mfor-all𝑚\forall m∀ italic_m, then the average beamforming gain over all sub-carriers achieved by (11) can be approximated as

1Mm=0M1Gm11ΞP(B2fc)MKm=0M1ϵm2(B2fc)2k=0K1sin2θk.1𝑀superscriptsubscript𝑚0𝑀1subscript𝐺𝑚11subscriptΞ𝑃𝐵2subscript𝑓𝑐𝑀𝐾superscriptsubscript𝑚0𝑀1superscriptsubscriptitalic-ϵ𝑚2superscript𝐵2subscript𝑓𝑐2superscriptsubscript𝑘0𝐾1superscript2subscript𝜃𝑘\displaystyle\frac{1}{M}\sum_{m=0}^{M-1}G_{m}\approx 1-\frac{1-\Xi_{P}(\frac{B% }{2f_{c}})}{MK}\sum_{m=0}^{M-1}\frac{\epsilon_{m}^{2}}{(\frac{B}{2f_{c}})^{2}}% \sum_{k=0}^{K-1}\sin^{2}\theta_{k}.divide start_ARG 1 end_ARG start_ARG italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT italic_G start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ≈ 1 - divide start_ARG 1 - roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) end_ARG start_ARG italic_M italic_K end_ARG ∑ start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT divide start_ARG italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∑ start_POSTSUBSCRIPT italic_k = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K - 1 end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT . (21)
Proof:
Refer to caption
Figure 5: Quadratic fitting 1(1ΞP(B2fc))x211subscriptΞ𝑃𝐵2subscript𝑓𝑐superscript𝑥21-\left(1-\Xi_{P}(\frac{B}{2f_{c}})\right)x^{2}1 - ( 1 - roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) ) italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT of the Dirichlet sinc function ΞP(B2fcx)subscriptΞ𝑃𝐵2subscript𝑓𝑐𝑥\Xi_{P}(\frac{B}{2f_{c}}x)roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG italic_x ), where x[1,1]𝑥11x\in[-1,1]italic_x ∈ [ - 1 , 1 ], P=32𝑃32P=32italic_P = 32, B=5𝐵5B=5italic_B = 5 GHz, and fc=100subscript𝑓𝑐100f_{c}=100italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 100 GHz.

Plugging (14) and (17) into (III-B), the average beamforming gain could be expressed as

1Mm=0M1Gm=1MKm=0M1k=0K1ΞP(ϵmsinθk).1𝑀superscriptsubscript𝑚0𝑀1subscript𝐺𝑚1𝑀𝐾superscriptsubscript𝑚0𝑀1superscriptsubscript𝑘0𝐾1subscriptΞ𝑃subscriptitalic-ϵ𝑚subscript𝜃𝑘\displaystyle\frac{1}{M}\sum_{m=0}^{M-1}G_{m}=\frac{1}{MK}\sum_{m=0}^{M-1}\sum% _{k=0}^{K-1}\Xi_{P}(\epsilon_{m}\sin\theta_{k}).divide start_ARG 1 end_ARG start_ARG italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT italic_G start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_M italic_K end_ARG ∑ start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_k = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K - 1 end_POSTSUPERSCRIPT roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) . (22)

It is intractable to compute (22) as the variables ϵmsubscriptitalic-ϵ𝑚\epsilon_{m}italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and sinθksubscript𝜃𝑘\sin\theta_{k}roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT are included in Dirichlet sinc functions ΞP(ϵmsinθk)subscriptΞ𝑃subscriptitalic-ϵ𝑚subscript𝜃𝑘\Xi_{P}(\epsilon_{m}\sin\theta_{k})roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ). To deal with this problem, we use a two-variable quadratic function to fit function ΞP(ab)subscriptΞ𝑃𝑎𝑏\Xi_{P}(ab)roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_a italic_b ). To be specific, because |ϵm|ϵM1=B2fcsubscriptitalic-ϵ𝑚subscriptitalic-ϵ𝑀1𝐵2subscript𝑓𝑐|\epsilon_{m}|\leq\epsilon_{M-1}=\frac{B}{2f_{c}}| italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | ≤ italic_ϵ start_POSTSUBSCRIPT italic_M - 1 end_POSTSUBSCRIPT = divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG and |sinθk|1subscript𝜃𝑘1|\sin\theta_{k}|\leq 1| roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT | ≤ 1, the following five points on ΞP(ab)subscriptΞ𝑃𝑎𝑏\Xi_{P}(ab)roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_a italic_b ) are used for function fitting: (0,0,1)001(0,0,1)( 0 , 0 , 1 ), (B2fc,1,ΞP(B2fc))𝐵2subscript𝑓𝑐1subscriptΞ𝑃𝐵2subscript𝑓𝑐(\frac{B}{2f_{c}},1,\Xi_{P}(\frac{B}{2f_{c}}))( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG , 1 , roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) ), (B2fc,1,ΞP(B2fc))𝐵2subscript𝑓𝑐1subscriptΞ𝑃𝐵2subscript𝑓𝑐(\frac{B}{2f_{c}},-1,\Xi_{P}(\frac{B}{2f_{c}}))( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG , - 1 , roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) ), (B2fc,1,ΞP(B2fc))𝐵2subscript𝑓𝑐1subscriptΞ𝑃𝐵2subscript𝑓𝑐(-\frac{B}{2f_{c}},1,\Xi_{P}(\frac{B}{2f_{c}}))( - divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG , 1 , roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) ), (B2fc,1,ΞP(B2fc))𝐵2subscript𝑓𝑐1subscriptΞ𝑃𝐵2subscript𝑓𝑐(-\frac{B}{2f_{c}},-1,\Xi_{P}(\frac{B}{2f_{c}}))( - divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG , - 1 , roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) ). Therefore, we have

ΞP(ab)1(1ΞP(B2fc))a2(B2fc)2b2.subscriptΞ𝑃𝑎𝑏11subscriptΞ𝑃𝐵2subscript𝑓𝑐superscript𝑎2superscript𝐵2subscript𝑓𝑐2superscript𝑏2\displaystyle\Xi_{P}(ab)\approx 1-(1-\Xi_{P}(\frac{B}{2f_{c}}))\frac{a^{2}}{(% \frac{B}{2f_{c}})^{2}}b^{2}.roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( italic_a italic_b ) ≈ 1 - ( 1 - roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) ) divide start_ARG italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_b start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (23)

The graph of function 1(1ΞP(B2fc))x211subscriptΞ𝑃𝐵2subscript𝑓𝑐superscript𝑥21-(1-\Xi_{P}(\frac{B}{2f_{c}}))x^{2}1 - ( 1 - roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) ) italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is depicted in Fig. 5 for parameters P=32𝑃32P=32italic_P = 32, B=5𝐵5B=5italic_B = 5 GHz, and fc=100subscript𝑓𝑐100f_{c}=100italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 100 GHz, which is quite close to the Dirichlet sinc function ΞP(B2fcx)subscriptΞ𝑃𝐵2subscript𝑓𝑐𝑥\Xi_{P}(\frac{B}{2f_{c}}x)roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG italic_x ). Finally, substituting (23) into (22) and replacing (a,b)𝑎𝑏(a,b)( italic_a , italic_b ) with (ϵm,sinθk)subscriptitalic-ϵ𝑚subscript𝜃𝑘(\epsilon_{m},\sin\theta_{k})( italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT , roman_sin italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ), we could arrive at the conclusion (21). ∎

Lemma 2 allows us to separately compute the factors affecting the average beamforming gain: the factor mϵm2(B2fc)2subscript𝑚superscriptsubscriptitalic-ϵ𝑚2superscript𝐵2subscript𝑓𝑐2\sum_{m}\frac{\epsilon_{m}^{2}}{(\frac{B}{2f_{c}})^{2}}∑ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT divide start_ARG italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG arising from the wideband effect and the factor ksin2θksubscript𝑘superscript2subscript𝜃𝑘\sum_{k}\sin^{2}\theta_{k}∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT resulting from the near-field effect.

Specifically, the following Corollary 1 presents a more analytical form of (21).

Corollary 1

For large numbers K𝐾Kitalic_K and M𝑀Mitalic_M, the average beamforming gain G=1Mm=0M1Gm𝐺1𝑀superscriptsubscript𝑚0𝑀1subscript𝐺𝑚G=\frac{1}{M}\sum_{m=0}^{M-1}G_{m}italic_G = divide start_ARG 1 end_ARG start_ARG italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT italic_G start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT in (21) could be represented as

G=1Mm=0M1Gm1γ(B,fc,P)×ξ(r,θ,D),𝐺1𝑀superscriptsubscript𝑚0𝑀1subscript𝐺𝑚1𝛾𝐵subscript𝑓𝑐𝑃𝜉𝑟𝜃𝐷\displaystyle G=\frac{1}{M}\sum_{m=0}^{M-1}G_{m}\approx 1-\gamma(B,f_{c},P)% \times\xi(r,\theta,D),italic_G = divide start_ARG 1 end_ARG start_ARG italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT italic_G start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ≈ 1 - italic_γ ( italic_B , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT , italic_P ) × italic_ξ ( italic_r , italic_θ , italic_D ) , (24)

where

γ(B,fc,P)𝛾𝐵subscript𝑓𝑐𝑃\displaystyle\gamma(B,f_{c},P)italic_γ ( italic_B , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT , italic_P ) =1ΞP(B2fc)3,absent1subscriptΞ𝑃𝐵2subscript𝑓𝑐3\displaystyle=\frac{1-\Xi_{P}(\frac{B}{2f_{c}})}{3},= divide start_ARG 1 - roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) end_ARG start_ARG 3 end_ARG , (25)
ξ(r,θ,D)𝜉𝑟𝜃𝐷\displaystyle\xi(r,\theta,D)italic_ξ ( italic_r , italic_θ , italic_D ) =1rcosθD(π𝕀2rD+arctanDrcosθr214D2).absent1𝑟𝜃𝐷𝜋subscript𝕀2𝑟𝐷𝐷𝑟𝜃superscript𝑟214superscript𝐷2\displaystyle=1-\frac{r\cos\theta}{D}\left(\pi\mathbb{I}_{2r\leq D}+\arctan% \frac{Dr\cos\theta}{r^{2}-\frac{1}{4}D^{2}}\right).= 1 - divide start_ARG italic_r roman_cos italic_θ end_ARG start_ARG italic_D end_ARG ( italic_π blackboard_I start_POSTSUBSCRIPT 2 italic_r ≤ italic_D end_POSTSUBSCRIPT + roman_arctan divide start_ARG italic_D italic_r roman_cos italic_θ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) . (26)

Here, D=(KP1)dKPd𝐷𝐾𝑃1𝑑𝐾𝑃𝑑D=(KP-1)d\approx KPditalic_D = ( italic_K italic_P - 1 ) italic_d ≈ italic_K italic_P italic_d, 𝕀2rD=1subscript𝕀2𝑟𝐷1\mathbb{I}_{2r\leq D}=1blackboard_I start_POSTSUBSCRIPT 2 italic_r ≤ italic_D end_POSTSUBSCRIPT = 1 if 2rD2𝑟𝐷2r\leq D2 italic_r ≤ italic_D, and 𝕀2rD=0subscript𝕀2𝑟𝐷0\mathbb{I}_{2r\leq D}=0blackboard_I start_POSTSUBSCRIPT 2 italic_r ≤ italic_D end_POSTSUBSCRIPT = 0 otherwise.

Proof:

The key to this proof lies in calculating the close-form expressions of mϵm2(B2fc)2subscript𝑚superscriptsubscriptitalic-ϵ𝑚2superscript𝐵2subscript𝑓𝑐2\sum_{m}\frac{\epsilon_{m}^{2}}{(\frac{B}{2f_{c}})^{2}}∑ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT divide start_ARG italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and sin2θksuperscript2subscript𝜃𝑘\sum\sin^{2}\theta_{k}∑ roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT. Firstly, due to the fact that 12+22++n2=n(n+1)(2n+1)6superscript12superscript22superscript𝑛2𝑛𝑛12𝑛161^{2}+2^{2}+\cdots+n^{2}=\frac{n(n+1)(2n+1)}{6}1 start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ⋯ + italic_n start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_n ( italic_n + 1 ) ( 2 italic_n + 1 ) end_ARG start_ARG 6 end_ARG, we can represent mϵm2(B2fc)2subscript𝑚superscriptsubscriptitalic-ϵ𝑚2superscript𝐵2subscript𝑓𝑐2\sum_{m}\frac{\epsilon_{m}^{2}}{(\frac{B}{2f_{c}})^{2}}∑ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT divide start_ARG italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG as

mϵm2(B2fc)2=m=0M1(2M1m1)2=M(M+1)3(M1),subscript𝑚superscriptsubscriptitalic-ϵ𝑚2superscript𝐵2subscript𝑓𝑐2superscriptsubscript𝑚0𝑀1superscript2𝑀1𝑚12𝑀𝑀13𝑀1\displaystyle\sum_{m}\frac{\epsilon_{m}^{2}}{(\frac{B}{2f_{c}})^{2}}=\sum_{m=0% }^{M-1}\left(\frac{2}{M-1}m-1\right)^{2}=\frac{M(M+1)}{3(M-1)},∑ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT divide start_ARG italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = ∑ start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT ( divide start_ARG 2 end_ARG start_ARG italic_M - 1 end_ARG italic_m - 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = divide start_ARG italic_M ( italic_M + 1 ) end_ARG start_ARG 3 ( italic_M - 1 ) end_ARG , (27)

Then for a large number M𝑀Mitalic_M, mϵm2(B2fc)2subscript𝑚superscriptsubscriptitalic-ϵ𝑚2superscript𝐵2subscript𝑓𝑐2\sum_{m}\frac{\epsilon_{m}^{2}}{(\frac{B}{2f_{c}})^{2}}∑ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT divide start_ARG italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG could be further approximated as M3𝑀3\frac{M}{3}divide start_ARG italic_M end_ARG start_ARG 3 end_ARG.

As for the second summation ksin2θksubscript𝑘superscript2subscript𝜃𝑘\sum_{k}\sin^{2}\theta_{k}∑ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, it could be rewritten in an integral form for a large number K𝐾Kitalic_K:

k=0K1sin2θk=k=0K1(rsinθδK(k)Pd)2r2+(δK(k)Pd)22δK(n)Pdrsinθsuperscriptsubscript𝑘0𝐾1superscript2subscript𝜃𝑘superscriptsubscript𝑘0𝐾1superscript𝑟𝜃superscriptsubscript𝛿𝐾𝑘𝑃𝑑2superscript𝑟2superscriptsuperscriptsubscript𝛿𝐾𝑘𝑃𝑑22superscriptsubscript𝛿𝐾𝑛𝑃𝑑𝑟𝜃\displaystyle\sum_{k=0}^{K-1}\sin^{2}\theta_{k}=\sum_{k=0}^{K-1}\frac{(r\sin% \theta-\delta_{K}^{(k)}Pd)^{2}}{r^{2}+(\delta_{K}^{(k)}Pd)^{2}-2\delta_{K}^{(n% )}Pdr\sin\theta}∑ start_POSTSUBSCRIPT italic_k = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K - 1 end_POSTSUPERSCRIPT roman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = ∑ start_POSTSUBSCRIPT italic_k = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K - 1 end_POSTSUPERSCRIPT divide start_ARG ( italic_r roman_sin italic_θ - italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_P italic_d italic_r roman_sin italic_θ end_ARG
K2K2(rsinθkPd)2r2+(kPd)22kPdrsinθdkabsentsuperscriptsubscript𝐾2𝐾2superscript𝑟𝜃𝑘𝑃𝑑2superscript𝑟2superscript𝑘𝑃𝑑22𝑘𝑃𝑑𝑟𝜃d𝑘\displaystyle\approx\int_{-\frac{K}{2}}^{\frac{K}{2}}\frac{(r\sin\theta-kPd)^{% 2}}{r^{2}+(kPd)^{2}-2kPdr\sin\theta}\text{d}k≈ ∫ start_POSTSUBSCRIPT - divide start_ARG italic_K end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG italic_K end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT divide start_ARG ( italic_r roman_sin italic_θ - italic_k italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_k italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_k italic_P italic_d italic_r roman_sin italic_θ end_ARG d italic_k
=(a)KrcosθPdarctanPdkrsinθrcosθ|K/2K/2𝑎𝐾evaluated-at𝑟𝜃𝑃𝑑𝑃𝑑𝑘𝑟𝜃𝑟𝜃𝐾2𝐾2\displaystyle\overset{(a)}{=}K-\frac{r\cos\theta}{Pd}\left.\arctan\frac{Pdk-r% \sin\theta}{r\cos\theta}\right|_{-K/2}^{K/2}start_OVERACCENT ( italic_a ) end_OVERACCENT start_ARG = end_ARG italic_K - divide start_ARG italic_r roman_cos italic_θ end_ARG start_ARG italic_P italic_d end_ARG roman_arctan divide start_ARG italic_P italic_d italic_k - italic_r roman_sin italic_θ end_ARG start_ARG italic_r roman_cos italic_θ end_ARG | start_POSTSUBSCRIPT - italic_K / 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_K / 2 end_POSTSUPERSCRIPT
=(b)KrcosθPd(π𝕀2rD+arctanDrcosθr214D2).𝑏𝐾𝑟𝜃𝑃𝑑𝜋subscript𝕀2𝑟𝐷𝐷𝑟𝜃superscript𝑟214superscript𝐷2\displaystyle\overset{(b)}{=}K-\frac{r\cos\theta}{Pd}\left(\pi\mathbb{I}_{2r% \leq D}+\arctan\frac{Dr\cos\theta}{r^{2}-\frac{1}{4}D^{2}}\right).start_OVERACCENT ( italic_b ) end_OVERACCENT start_ARG = end_ARG italic_K - divide start_ARG italic_r roman_cos italic_θ end_ARG start_ARG italic_P italic_d end_ARG ( italic_π blackboard_I start_POSTSUBSCRIPT 2 italic_r ≤ italic_D end_POSTSUBSCRIPT + roman_arctan divide start_ARG italic_D italic_r roman_cos italic_θ end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) . (28)

where D=(KP1)dKPd𝐷𝐾𝑃1𝑑𝐾𝑃𝑑D=(KP-1)d\approx KPditalic_D = ( italic_K italic_P - 1 ) italic_d ≈ italic_K italic_P italic_d for large KP𝐾𝑃KPitalic_K italic_P. Here, (a) comes from the indefinite integral dxA+2Bx+Cx2=1ACB2arctanCx+BACB2d𝑥𝐴2𝐵𝑥𝐶superscript𝑥21𝐴𝐶superscript𝐵2𝐶𝑥𝐵𝐴𝐶superscript𝐵2\int\frac{\text{d}x}{A+2Bx+Cx^{2}}=\frac{1}{\sqrt{AC-B^{2}}}\arctan\frac{Cx+B}% {\sqrt{AC-B^{2}}}∫ divide start_ARG d italic_x end_ARG start_ARG italic_A + 2 italic_B italic_x + italic_C italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG square-root start_ARG italic_A italic_C - italic_B start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG roman_arctan divide start_ARG italic_C italic_x + italic_B end_ARG start_ARG square-root start_ARG italic_A italic_C - italic_B start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG for AC>B2𝐴𝐶superscript𝐵2AC>B^{2}italic_A italic_C > italic_B start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [30], and (b) arises from a characteristic of the inverse tangent function:

arctanA+arctanB={arctanA+B1AB(AB<1)π+arctanA+B1AB(AB>1)𝐴𝐵cases𝐴𝐵1𝐴𝐵𝐴𝐵1𝜋𝐴𝐵1𝐴𝐵𝐴𝐵1\arctan A+\arctan B=\left\{\begin{array}[]{lr}\arctan\frac{A+B}{1-AB}&(AB<1)\\ \pi+\arctan\frac{A+B}{1-AB}&(AB>1)\\ \end{array}\right.roman_arctan italic_A + roman_arctan italic_B = { start_ARRAY start_ROW start_CELL roman_arctan divide start_ARG italic_A + italic_B end_ARG start_ARG 1 - italic_A italic_B end_ARG end_CELL start_CELL ( italic_A italic_B < 1 ) end_CELL end_ROW start_ROW start_CELL italic_π + roman_arctan divide start_ARG italic_A + italic_B end_ARG start_ARG 1 - italic_A italic_B end_ARG end_CELL start_CELL ( italic_A italic_B > 1 ) end_CELL end_ROW end_ARRAY

for A>0𝐴0A>0italic_A > 0. Finally, by combining (21), (27), and (III-C), the conclusion of Corollary 1 could be obtained. ∎

Corollary 1 yields several crucial conclusions. The beamforming gain loss of our PDF method arises from two factors: the loss caused by wideband effect γ(B,fc,P)𝛾𝐵subscript𝑓𝑐𝑃\gamma(B,f_{c},P)italic_γ ( italic_B , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT , italic_P ) and the loss posed by the geometry ξ(r,θ,D)𝜉𝑟𝜃𝐷\xi(r,\theta,D)italic_ξ ( italic_r , italic_θ , italic_D ).

First, the geometry loss ξ(r,θ,D)𝜉𝑟𝜃𝐷\xi(r,\theta,D)italic_ξ ( italic_r , italic_θ , italic_D ) captures the degree of beam split effect with varying user locations. Due to the non-decreasing property of function arctan(.)\arctan(.)roman_arctan ( . ), it is straightfoward to prove that ξ(r,θ,D)𝜉𝑟𝜃𝐷\xi(r,\theta,D)italic_ξ ( italic_r , italic_θ , italic_D ) monotonically increases w.r.t |θ|𝜃|\theta|| italic_θ | when r>12D𝑟12𝐷r>\frac{1}{2}Ditalic_r > divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_D. This fact implies that a larger angle of arrival leads to a more significant beamforming gain loss caused by near-field beam split, making it harder for our PDF method to compensate for this loss. Similar conclusions also appear in existing far-field beam split solutions. Moreover, ξ(r,θ,D)𝜉𝑟𝜃𝐷\xi(r,\theta,D)italic_ξ ( italic_r , italic_θ , italic_D ) could account for the geometry loss in both far-field and near-field regions, as it incorporates the distance parameter r𝑟ritalic_r. A simple evidence is that when r+𝑟r\rightarrow+\inftyitalic_r → + ∞, ξ(r,θ,D)𝜉𝑟𝜃𝐷\xi(r,\theta,D)italic_ξ ( italic_r , italic_θ , italic_D ) tends to sin2θsuperscript2𝜃\sin^{2}\thetaroman_sin start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ, which is exactly the geometry loss in far-field conditions provided in [21].

Second, γ(B,fc,P)𝛾𝐵subscript𝑓𝑐𝑃\gamma(B,f_{c},P)italic_γ ( italic_B , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT , italic_P ) is induced by the loss of beam split within each sub-array. This is due to the employment of PS based frequency-independent beamforming for each sub-array. Fortunately, since the number P𝑃Pitalic_P of a sub-array’s antennas is much less than the number N𝑁Nitalic_N of the entire array’s antennas, this loss γ(B,fc,P)𝛾𝐵subscript𝑓𝑐𝑃\gamma(B,f_{c},P)italic_γ ( italic_B , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT , italic_P ) can approach 0 by choosing an appropriate value of P𝑃Pitalic_P. To be specific, it can be easily proven that γ(B,fc,P)𝛾𝐵subscript𝑓𝑐𝑃\gamma(B,f_{c},P)italic_γ ( italic_B , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT , italic_P ) is an increasing function w.r.t P𝑃Pitalic_P when P4fcB𝑃4subscript𝑓𝑐𝐵P\leq\frac{4f_{c}}{B}italic_P ≤ divide start_ARG 4 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG italic_B end_ARG. With a smaller P𝑃Pitalic_P, the impact of intra-array beam split is reduced. For instance, when P=32𝑃32P=32italic_P = 32, B=5𝐵5B=5italic_B = 5 GHz, fc=100subscript𝑓𝑐100f_{c}=100italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 100 GHz, r=10𝑟10r=10italic_r = 10 m, D=0.5𝐷0.5D=0.5italic_D = 0.5 m, and θ=π3𝜃𝜋3\theta=\frac{\pi}{3}italic_θ = divide start_ARG italic_π end_ARG start_ARG 3 end_ARG, we have γ(B,fc,P)0.081𝛾𝐵subscript𝑓𝑐𝑃0.081\gamma(B,f_{c},P)\approx 0.081italic_γ ( italic_B , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT , italic_P ) ≈ 0.081, ξ(r,θ,D)0.7496𝜉𝑟𝜃𝐷0.7496\xi(r,\theta,D)\approx 0.7496italic_ξ ( italic_r , italic_θ , italic_D ) ≈ 0.7496, and 1γ(B,fc,P)×ξ(r,θ,D)0.93931𝛾𝐵subscript𝑓𝑐𝑃𝜉𝑟𝜃𝐷0.93931-\gamma(B,f_{c},P)\times\xi(r,\theta,D)\approx 0.93931 - italic_γ ( italic_B , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT , italic_P ) × italic_ξ ( italic_r , italic_θ , italic_D ) ≈ 0.9393. This implies that more than 93%percent9393\%93 % average beamforming gain is achievable by the proposed PDF method.

III-D Extension to Multi-User Hybird Beamforming

In this section, we extend the proposed PDF method to multi-user hybrid beamforming systems in Section II. The same DPP architecture depicted in Fig. 4 is employed for each RF chain. Specifically, recall that the introduction of TTD circuits makes the analog beamformer frequency-dependent. Therefore, we denote this new analog beamformer as 𝐅m=[𝐟0,m,𝐟1,m,,𝐟U1,m]subscript𝐅𝑚subscript𝐟0𝑚subscript𝐟1𝑚subscript𝐟𝑈1𝑚{\mathbf{F}}_{m}=[{\mathbf{f}}_{0,m},{\mathbf{f}}_{1,m},\cdots,{\mathbf{f}}_{U% -1,m}]bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT = [ bold_f start_POSTSUBSCRIPT 0 , italic_m end_POSTSUBSCRIPT , bold_f start_POSTSUBSCRIPT 1 , italic_m end_POSTSUBSCRIPT , ⋯ , bold_f start_POSTSUBSCRIPT italic_U - 1 , italic_m end_POSTSUBSCRIPT ], where each 𝐟u,msubscript𝐟𝑢𝑚{\mathbf{f}}_{u,m}bold_f start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT satisfies the circuit restriction of DPP:

{𝐟u,m=[𝐟u,m(0)T,𝐟u,m(1)T,,𝐟u,m(K1)T]T,𝐟u,m(k)=ejkmru,kN[ejπδP(0)βu,k,,ejπδP(P1)βu,k]T.casessubscript𝐟𝑢𝑚superscriptsuperscriptsubscript𝐟𝑢𝑚superscript0𝑇superscriptsubscript𝐟𝑢𝑚superscript1𝑇superscriptsubscript𝐟𝑢𝑚superscript𝐾1𝑇𝑇superscriptsubscript𝐟𝑢𝑚𝑘superscript𝑒𝑗subscript𝑘𝑚superscriptsubscript𝑟𝑢𝑘𝑁superscriptsuperscript𝑒𝑗𝜋superscriptsubscript𝛿𝑃0superscriptsubscript𝛽𝑢𝑘superscript𝑒𝑗𝜋superscriptsubscript𝛿𝑃𝑃1superscriptsubscript𝛽𝑢𝑘𝑇\displaystyle\left\{\begin{array}[]{l}{\mathbf{f}}_{u,m}=[{\mathbf{f}}_{u,m}^{% (0)^{T}},{\mathbf{f}}_{u,m}^{(1)^{T}},\cdots,{\mathbf{f}}_{u,m}^{(K-1)^{T}}]^{% T},\\ {\mathbf{f}}_{u,m}^{(k)}=\frac{e^{-jk_{m}r_{u,k}^{\prime}}}{\sqrt{N}}[e^{j\pi% \delta_{P}^{(0)}\beta_{u,k}^{\prime}},\cdots,e^{j\pi\delta_{P}^{(P-1)}\beta_{u% ,k}^{\prime}}]^{T}.\end{array}\right.{ start_ARRAY start_ROW start_CELL bold_f start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT = [ bold_f start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , bold_f start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 1 ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , ⋯ , bold_f start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_K - 1 ) start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , end_CELL end_ROW start_ROW start_CELL bold_f start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT = divide start_ARG italic_e start_POSTSUPERSCRIPT - italic_j italic_k start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT end_ARG start_ARG square-root start_ARG italic_N end_ARG end_ARG [ italic_e start_POSTSUPERSCRIPT italic_j italic_π italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT , ⋯ , italic_e start_POSTSUPERSCRIPT italic_j italic_π italic_δ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_P - 1 ) end_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT . end_CELL end_ROW end_ARRAY (31)

There, ru,ksuperscriptsubscript𝑟𝑢𝑘r_{u,k}^{\prime}italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and βu,ksuperscriptsubscript𝛽𝑢𝑘\beta_{u,k}^{\prime}italic_β start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT refer to the adjustable distance parameter of the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT TTD element and the adjustable phase shift parameter of the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT sub-array connected to uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT RF chain, respectively. The basic idea of PDF algorithm is to align 𝐟u,msubscript𝐟𝑢𝑚{\mathbf{f}}_{u,m}bold_f start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT with 𝐡u,msubscript𝐡𝑢𝑚{\mathbf{h}}_{u,m}bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT user-by-user in the analog domain and eliminate the inter-user interference by the digital precoder. A step-by-step algorithm procedure is summarized in Algorithm 1.

Algorithm 1 : The proposed PDF algorithm
0:    Channel matrix 𝐇msubscript𝐇𝑚{\mathbf{H}}_{m}bold_H start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT; the user locations {(ru,θu)}|u=0U1evaluated-atsubscript𝑟𝑢subscript𝜃𝑢𝑢0𝑈1\{(r_{u},\theta_{u})\}|_{u=0}^{U-1}{ ( italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) } | start_POSTSUBSCRIPT italic_u = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U - 1 end_POSTSUPERSCRIPT; the total transmit power ρ𝜌\rhoitalic_ρ
0:    The digital beamformer 𝐃msubscript𝐃𝑚{\mathbf{D}}_{m}bold_D start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and the analog beamformer 𝐅msubscript𝐅𝑚{\mathbf{F}}_{m}bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT
1:  for u{0,1,,U1}𝑢01𝑈1u\in\{0,1,\cdots,U-1\}italic_u ∈ { 0 , 1 , ⋯ , italic_U - 1 } do
2:     for k{0,1,,K1}𝑘01𝐾1k\in\{0,1,\cdots,K-1\}italic_k ∈ { 0 , 1 , ⋯ , italic_K - 1 } do
3:        Determine the distance parameter of the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT TTD element: ru,kru,k=ru2+(δK(k)Pd)22δK(k)Pdrusinθusuperscriptsubscript𝑟𝑢𝑘subscript𝑟𝑢𝑘superscriptsubscript𝑟𝑢2superscriptsuperscriptsubscript𝛿𝐾𝑘𝑃𝑑22superscriptsubscript𝛿𝐾𝑘𝑃𝑑subscript𝑟𝑢subscript𝜃𝑢r_{u,k}^{\prime}\leftarrow-r_{u,k}=-\sqrt{r_{u}^{2}+(\delta_{K}^{(k)}Pd)^{2}-2% \delta_{K}^{(k)}Pdr_{u}\sin\theta_{u}}italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ← - italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT = - square-root start_ARG italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_ARG
4:        Determine the phase shift of the kthsuperscript𝑘thk^{\rm th}italic_k start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT sub-array: βu,ksinθu,k=rusinθuδK(k)Pdru2+(δK(k)Pd)22δK(k)Pdrusinθusuperscriptsubscript𝛽𝑢𝑘subscript𝜃𝑢𝑘subscript𝑟𝑢subscript𝜃𝑢superscriptsubscript𝛿𝐾𝑘𝑃𝑑superscriptsubscript𝑟𝑢2superscriptsuperscriptsubscript𝛿𝐾𝑘𝑃𝑑22superscriptsubscript𝛿𝐾𝑘𝑃𝑑subscript𝑟𝑢subscript𝜃𝑢\beta_{u,k}^{\prime}\leftarrow-\sin\theta_{u,k}=-\frac{r_{u}\sin\theta_{u}-% \delta_{K}^{(k)}Pd}{\sqrt{r_{u}^{2}+(\delta_{K}^{(k)}Pd)^{2}-2\delta_{K}^{(k)}% Pdr_{u}\sin\theta_{u}}}italic_β start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ← - roman_sin italic_θ start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT = - divide start_ARG italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d end_ARG start_ARG square-root start_ARG italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_ARG end_ARG
5:        Shift ru,ksuperscriptsubscript𝑟𝑢𝑘r_{u,k}^{\prime}italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT by L=mink{ru,k}𝐿subscript𝑘superscriptsubscript𝑟𝑢𝑘L=\min_{k}\{r_{u,k}^{\prime}\}italic_L = roman_min start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT { italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT } to make them positive: ru,kL+ru,ksuperscriptsubscript𝑟𝑢𝑘𝐿superscriptsubscript𝑟𝑢𝑘r_{u,k}^{\prime}\leftarrow L+r_{u,k}^{\prime}italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ← italic_L + italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT
6:     end for
7:     Build the beamforming vector connected to the uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT RF chain using (31)
8:  end for
9:  Build the analog beamformer: 𝐅m[𝐟0,m,𝐟1,m,,𝐟U1,m]subscript𝐅𝑚subscript𝐟0𝑚subscript𝐟1𝑚subscript𝐟𝑈1𝑚{\mathbf{F}}_{m}\leftarrow[{\mathbf{f}}_{0,m},{\mathbf{f}}_{1,m},\cdots,{% \mathbf{f}}_{U-1,m}]bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← [ bold_f start_POSTSUBSCRIPT 0 , italic_m end_POSTSUBSCRIPT , bold_f start_POSTSUBSCRIPT 1 , italic_m end_POSTSUBSCRIPT , ⋯ , bold_f start_POSTSUBSCRIPT italic_U - 1 , italic_m end_POSTSUBSCRIPT ]
10:  Calculate the digital beamformer by ZF: 𝐃m𝐅mH𝐇mH(𝐇m𝐅m𝐅mH𝐇mH)1subscript𝐃𝑚superscriptsubscript𝐅𝑚𝐻superscriptsubscript𝐇𝑚𝐻superscriptsubscript𝐇𝑚subscript𝐅𝑚superscriptsubscript𝐅𝑚𝐻superscriptsubscript𝐇𝑚𝐻1{\mathbf{D}}_{m}\leftarrow{\mathbf{F}}_{m}^{H}{\mathbf{H}}_{m}^{H}({\mathbf{H}% }_{m}{\mathbf{F}}_{m}{\mathbf{F}}_{m}^{H}{\mathbf{H}}_{m}^{H})^{-1}bold_D start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( bold_H start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT bold_H start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT
11:  Normalize the digital beamformer to power ρ𝜌\rhoitalic_ρ: 𝐃mρ𝐃m𝐅m𝐃mFsubscript𝐃𝑚𝜌subscript𝐃𝑚subscriptnormsubscript𝐅𝑚subscript𝐃𝑚𝐹{\mathbf{D}}_{m}\leftarrow\frac{\sqrt{\rho}{\mathbf{D}}_{m}}{\|{\mathbf{F}}_{m% }{\mathbf{D}}_{m}\|_{F}}bold_D start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ← divide start_ARG square-root start_ARG italic_ρ end_ARG bold_D start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT end_ARG start_ARG ∥ bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT bold_D start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT ∥ start_POSTSUBSCRIPT italic_F end_POSTSUBSCRIPT end_ARG
12:  return  𝐅msubscript𝐅𝑚{{\mathbf{F}}_{m}}bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and 𝐃msubscript𝐃𝑚{\mathbf{D}}_{m}bold_D start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT.

Specifically, the analog beamformer is first determined in steps 19similar-to191\sim 91 ∼ 9. According to (14) and (17), to align the uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT beamforming vector 𝐟u,msubscript𝐟𝑢𝑚{\mathbf{f}}_{u,m}bold_f start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT with the uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT user, ru,ksuperscriptsubscript𝑟𝑢𝑘r_{u,k}^{\prime}italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT and βu,ksuperscriptsubscript𝛽𝑢𝑘\beta_{u,k}^{\prime}italic_β start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT are determined by ru,ksubscript𝑟𝑢𝑘-r_{u,k}- italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT and sinθu,ksubscript𝜃𝑢𝑘-\sin\theta_{u,k}- roman_sin italic_θ start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT, respectively. Here, ru,k=ru2+(δK(k)Pd)22δK(k)Pdrusinθusubscript𝑟𝑢𝑘superscriptsubscript𝑟𝑢2superscriptsuperscriptsubscript𝛿𝐾𝑘𝑃𝑑22superscriptsubscript𝛿𝐾𝑘𝑃𝑑subscript𝑟𝑢subscript𝜃𝑢r_{u,k}=\sqrt{r_{u}^{2}+(\delta_{K}^{(k)}Pd)^{2}-2\delta_{K}^{(k)}Pdr_{u}\sin% \theta_{u}}italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT = square-root start_ARG italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_ARG and βu,k=sinθu,k=yuδK(k)Pdru,k=rusinθuδK(k)Pdru2+(δK(k)Pd)22δK(k)Pdrusinθusuperscriptsubscript𝛽𝑢𝑘subscript𝜃𝑢𝑘subscript𝑦𝑢superscriptsubscript𝛿𝐾𝑘𝑃𝑑subscript𝑟𝑢𝑘subscript𝑟𝑢subscript𝜃𝑢superscriptsubscript𝛿𝐾𝑘𝑃𝑑superscriptsubscript𝑟𝑢2superscriptsuperscriptsubscript𝛿𝐾𝑘𝑃𝑑22superscriptsubscript𝛿𝐾𝑘𝑃𝑑subscript𝑟𝑢subscript𝜃𝑢\beta_{u,k}^{\prime}=-\sin\theta_{u,k}=-\frac{y_{u}-\delta_{K}^{(k)}Pd}{r_{u,k% }}=-\frac{r_{u}\sin\theta_{u}-\delta_{K}^{(k)}Pd}{\sqrt{r_{u}^{2}+(\delta_{K}^% {(k)}Pd)^{2}-2\delta_{K}^{(k)}Pdr_{u}\sin\theta_{u}}}italic_β start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = - roman_sin italic_θ start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT = - divide start_ARG italic_y start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT end_ARG = - divide start_ARG italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d end_ARG start_ARG square-root start_ARG italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_δ start_POSTSUBSCRIPT italic_K end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_k ) end_POSTSUPERSCRIPT italic_P italic_d italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT roman_sin italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT end_ARG end_ARG, which leads to steps 34similar-to343\sim 43 ∼ 4. Then, according to Lemma 1, L=mink{ru,k}𝐿subscript𝑘superscriptsubscript𝑟𝑢𝑘L=\min_{k}\{r_{u,k}^{\prime}\}italic_L = roman_min start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT { italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT } can be used to shift the distance parameters to make sure ru,k0superscriptsubscript𝑟𝑢𝑘0r_{u,k}^{\prime}\geq 0italic_r start_POSTSUBSCRIPT italic_u , italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≥ 0, which is reflected in step 5. Last, the analog beamformer 𝐅msubscript𝐅𝑚{\mathbf{F}}_{m}bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT per sub-carrier is constructed one-by-one in step 9999. As for the digital precoder 𝐃msubscript𝐃𝑚{\mathbf{D}}_{m}bold_D start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT, it is built on the zero-forcing (ZF) rule to eliminate inter-user interference. Besides, the power of 𝐃msubscript𝐃𝑚{\mathbf{D}}_{m}bold_D start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT is normalized to ρ𝜌\rhoitalic_ρ to guarantee the power constraint per subcarrier, which completes the PDF algorithm.

IV Effective Rayleigh Distance

In the previous section, we assume that the user is positioned within the near-field range of the entire array while being in the far-field range of each sub-array. Therefore, it is essential to accurately identify the near-field ranges of a sub-array and the entire array. Traditionally, the classical Rayleigh distance is employed as a standard for quantifying the near-field range. However, our experiments show that the Rayleigh distance overestimates the actual near-field range. For example, when the array aperture is D=0.384m𝐷0.384mD=0.384\>{\rm m}italic_D = 0.384 roman_m and the carrier is fc=100subscript𝑓𝑐100f_{c}=100italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 100 GHz, the Rayleigh distance is around 98 m. Yet, the far-field wideband beamforming method [21] only exhibits a noticeable beamforming gain loss when the distance is less than 30m30m30\>{\rm m}30 roman_m. This fact implies that classical Rayleigh distance overestimates the near-field range when evaluating channel capacity. This result is attributed to the fact that classical Rayleigh distance is derived by evaluating the largest phase error between planar wave and spherical wave, which does not directly affect the transmission rate. By contrast, the near-field effect has a directly impact on beamforming gain, which in turn plays a pivotal role in determining transmission rates. Therefore, it becomes apparent that a more precise metric for defining the near-field range in terms of beamforming gain is required.

Specifically, we first introduce the derivation of the classical Rayleigh distance by the evaluation of phase error. For ease of discussion, we only consider an arbitrary frequency fmsubscript𝑓𝑚f_{m}italic_f start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT and an arbitrary user. Therefore, the subscript m𝑚mitalic_m and u𝑢uitalic_u is omitted in this section. Denote 𝐡(r,θ)𝐡𝑟𝜃{\mathbf{h}}(r,\theta)bold_h ( italic_r , italic_θ ) as the near-field channel as a function of user location (r,θ)𝑟𝜃(r,\theta)( italic_r , italic_θ ), of which the nthsuperscript𝑛thn^{\rm th}italic_n start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT entry is given by [𝐡(r,θ)]n=gejkr(n)=gejk(r2+(δN(n)d)22δN(n)drsinθ)1/2subscriptdelimited-[]𝐡𝑟𝜃𝑛𝑔superscript𝑒𝑗𝑘superscript𝑟𝑛𝑔superscript𝑒𝑗𝑘superscriptsuperscript𝑟2superscriptsuperscriptsubscript𝛿𝑁𝑛𝑑22superscriptsubscript𝛿𝑁𝑛𝑑𝑟𝜃12[{\mathbf{h}}(r,\theta)]_{n}=ge^{-jkr^{(n)}}=ge^{-jk(r^{2}+(\delta_{N}^{(n)}d)% ^{2}-2\delta_{N}^{(n)}dr\sin\theta)^{1/2}}[ bold_h ( italic_r , italic_θ ) ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_g italic_e start_POSTSUPERSCRIPT - italic_j italic_k italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT = italic_g italic_e start_POSTSUPERSCRIPT - italic_j italic_k ( italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + ( italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d italic_r roman_sin italic_θ ) start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT, where g𝑔gitalic_g denotes the path loss and k=2πfc𝑘2𝜋𝑓𝑐k=\frac{2\pi f}{c}italic_k = divide start_ARG 2 italic_π italic_f end_ARG start_ARG italic_c end_ARG is the wavenumber. By utilizing the far-field approximation in (II-B), the far-field channel is expressed as [𝐡far(r,θ)]n=[𝐡(+,θ)]n=gejk(rδN(n)dsinθ)subscriptdelimited-[]subscript𝐡far𝑟𝜃𝑛subscriptdelimited-[]𝐡𝜃𝑛𝑔superscript𝑒𝑗𝑘𝑟superscriptsubscript𝛿𝑁𝑛𝑑𝜃[{\mathbf{h}}_{\text{far}}(r,\theta)]_{n}=[{\mathbf{h}}(+\infty,\theta)]_{n}=% ge^{-jk(r-\delta_{N}^{(n)}d\sin\theta)}[ bold_h start_POSTSUBSCRIPT far end_POSTSUBSCRIPT ( italic_r , italic_θ ) ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = [ bold_h ( + ∞ , italic_θ ) ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = italic_g italic_e start_POSTSUPERSCRIPT - italic_j italic_k ( italic_r - italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ ) end_POSTSUPERSCRIPT. Consequently, the phase error between [𝐡(r,θ,fc)]nsubscriptdelimited-[]𝐡𝑟𝜃subscript𝑓𝑐𝑛[{\mathbf{h}}(r,\theta,f_{c})]_{n}[ bold_h ( italic_r , italic_θ , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT and [𝐡far(r,θ,fc)]nsubscriptdelimited-[]subscript𝐡far𝑟𝜃subscript𝑓𝑐𝑛[{\mathbf{h}}_{\text{far}}(r,\theta,f_{c})]_{n}[ bold_h start_POSTSUBSCRIPT far end_POSTSUBSCRIPT ( italic_r , italic_θ , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT is defined as

En(r,θ)subscript𝐸𝑛𝑟𝜃\displaystyle E_{n}(r,\theta)italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_r , italic_θ ) =|[𝐡(r,θ)]n[𝐡far(r,θ)]n|absentsubscriptdelimited-[]𝐡𝑟𝜃𝑛subscriptdelimited-[]subscript𝐡far𝑟𝜃𝑛\displaystyle=\left|\angle{[{\mathbf{h}}(r,\theta)]_{n}}-\angle{[{\mathbf{h}}_% {\text{far}}(r,\theta)]_{n}}\right|= | ∠ [ bold_h ( italic_r , italic_θ ) ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - ∠ [ bold_h start_POSTSUBSCRIPT far end_POSTSUBSCRIPT ( italic_r , italic_θ ) ] start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT |
=|kr(n)k(rδN(n)dsinθ)|.absent𝑘superscript𝑟𝑛𝑘𝑟superscriptsubscript𝛿𝑁𝑛𝑑𝜃\displaystyle=|kr^{(n)}-k(r-\delta_{N}^{(n)}d\sin\theta)|.= | italic_k italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT - italic_k ( italic_r - italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ ) | . (32)

Subsequently, the definition of Rayleigh distance is as follows [13]: if the distance r𝑟ritalic_r from user to BS exceeds the Rayleigh distance R𝑅Ritalic_R, then the largest phase error E(r)=maxn,θEn(r,θ)𝐸𝑟subscript𝑛𝜃subscript𝐸𝑛𝑟𝜃E(r)=\max_{n,\theta}{E_{n}(r,\theta)}italic_E ( italic_r ) = roman_max start_POSTSUBSCRIPT italic_n , italic_θ end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_r , italic_θ ) is no more than π8𝜋8\frac{\pi}{8}divide start_ARG italic_π end_ARG start_ARG 8 end_ARG. That is to say, once the largest phase error E(r)𝐸𝑟E(r)italic_E ( italic_r ) surpasses π8𝜋8\frac{\pi}{8}divide start_ARG italic_π end_ARG start_ARG 8 end_ARG, the user is situated in the near-field region. To derive the close-form expression of E(r)𝐸𝑟E(r)italic_E ( italic_r ), the second-order Taylor expansion (1+x)121+12x18x2superscript1𝑥12112𝑥18superscript𝑥2(1+x)^{\frac{1}{2}}\approx 1+\frac{1}{2}x-\frac{1}{8}x^{2}( 1 + italic_x ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT ≈ 1 + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_x - divide start_ARG 1 end_ARG start_ARG 8 end_ARG italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT is commonly used [31] to approximate the distance r(n)superscript𝑟𝑛r^{(n)}italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT as

r(n)superscript𝑟𝑛\displaystyle r^{(n)}italic_r start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT =r22rδN(n)dsinθ+(δN(n)d)2absentsuperscript𝑟22𝑟superscriptsubscript𝛿𝑁𝑛𝑑𝜃superscriptsuperscriptsubscript𝛿𝑁𝑛𝑑2\displaystyle=\sqrt{r^{2}-2r\delta_{N}^{(n)}d\sin\theta+(\delta_{N}^{(n)}d)^{2}}= square-root start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 2 italic_r italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ + ( italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG
rδN(n)dsinθ+(δN(n)d)2cos2θ2r.absent𝑟superscriptsubscript𝛿𝑁𝑛𝑑𝜃superscriptsuperscriptsubscript𝛿𝑁𝑛𝑑2superscript2𝜃2𝑟\displaystyle\approx r-\delta_{N}^{(n)}d\sin\theta+\frac{(\delta_{N}^{(n)}d)^{% 2}\cos^{2}\theta}{2r}.≈ italic_r - italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d roman_sin italic_θ + divide start_ARG ( italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ end_ARG start_ARG 2 italic_r end_ARG . (33)

In the field of microwave and antenna, the approximation (IV) is known as the Fresnel approximation [24]. Next, the phase error can be approximated as En(r,θ)kc(δN(n)d)2cos2θ2rsubscript𝐸𝑛𝑟𝜃subscript𝑘𝑐superscriptsuperscriptsubscript𝛿𝑁𝑛𝑑2superscript2𝜃2𝑟E_{n}(r,\theta)\approx k_{c}\frac{(\delta_{N}^{(n)}d)^{2}\cos^{2}\theta}{2r}italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_r , italic_θ ) ≈ italic_k start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT divide start_ARG ( italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ end_ARG start_ARG 2 italic_r end_ARG. Given that cos2θ1superscript2𝜃1\cos^{2}\theta\leq 1roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ ≤ 1 and δN(n)=nN12superscriptsubscript𝛿𝑁𝑛𝑛𝑁12\delta_{N}^{(n)}=n-\frac{N-1}{2}italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT = italic_n - divide start_ARG italic_N - 1 end_ARG start_ARG 2 end_ARG, we have

E(r)=maxn,θEn(r,θ)k(0.5(N1)d)22r=D2π4rλ.𝐸𝑟subscript𝑛𝜃subscript𝐸𝑛𝑟𝜃𝑘superscript0.5𝑁1𝑑22𝑟superscript𝐷2𝜋4𝑟𝜆\displaystyle E(r)=\max_{n,\theta}{E_{n}(r,\theta)}\approx k\frac{(0.5({N-1})d% )^{2}}{2r}=\frac{D^{2}\pi}{4r\lambda}.italic_E ( italic_r ) = roman_max start_POSTSUBSCRIPT italic_n , italic_θ end_POSTSUBSCRIPT italic_E start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( italic_r , italic_θ ) ≈ italic_k divide start_ARG ( 0.5 ( italic_N - 1 ) italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_r end_ARG = divide start_ARG italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_π end_ARG start_ARG 4 italic_r italic_λ end_ARG . (34)

In order for E(r)π8𝐸𝑟𝜋8E(r)\leq\frac{\pi}{8}italic_E ( italic_r ) ≤ divide start_ARG italic_π end_ARG start_ARG 8 end_ARG, it is necessary to make r2D2λ𝑟2superscript𝐷2𝜆r\geq\frac{2D^{2}}{\lambda}italic_r ≥ divide start_ARG 2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ end_ARG. Consequently, the Rayleigh distance is given by

R2D2λ.𝑅2superscript𝐷2𝜆\displaystyle R\approx\frac{2D^{2}}{\lambda}.italic_R ≈ divide start_ARG 2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ end_ARG . (35)

On the other hand, we define a new effective Rayleigh distance via the evaluation of beamforming gain loss. To elaborate, the normalized coherence between the channel 𝐡(r,θ)𝐡𝑟𝜃{\mathbf{h}}(r,\theta)bold_h ( italic_r , italic_θ ) and its far-field approximation 𝐡far(r,θ)subscript𝐡far𝑟𝜃{\mathbf{h}}_{\text{far}}(r,\theta)bold_h start_POSTSUBSCRIPT far end_POSTSUBSCRIPT ( italic_r , italic_θ ) is characterized by

μ(r,θ)=1|g|2N|𝐡H(r,θ)𝐡far(r,θ)|.𝜇𝑟𝜃1superscript𝑔2𝑁superscript𝐡𝐻𝑟𝜃subscript𝐡far𝑟𝜃\displaystyle\mu(r,\theta)=\frac{1}{|g|^{2}N}|{\mathbf{h}}^{H}(r,\theta){% \mathbf{h}}_{\text{far}}(r,\theta)|.italic_μ ( italic_r , italic_θ ) = divide start_ARG 1 end_ARG start_ARG | italic_g | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_N end_ARG | bold_h start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( italic_r , italic_θ ) bold_h start_POSTSUBSCRIPT far end_POSTSUBSCRIPT ( italic_r , italic_θ ) | . (36)

The coherence μ(r,θ)𝜇𝑟𝜃\mu(r,\theta)italic_μ ( italic_r , italic_θ ) equivalents to the achievable beamforming gain at frequency f𝑓fitalic_f when the BS utilizes the far-field beamforming vector 𝐟=1|g|N𝐡far(r,θ)𝐟1𝑔𝑁superscriptsubscript𝐡far𝑟𝜃{\mathbf{f}}=\frac{1}{|g|\sqrt{N}}{\mathbf{h}}_{\text{far}}^{*}(r,\theta)bold_f = divide start_ARG 1 end_ARG start_ARG | italic_g | square-root start_ARG italic_N end_ARG end_ARG bold_h start_POSTSUBSCRIPT far end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_r , italic_θ ) to serve a user located at (r,θ)𝑟𝜃(r,\theta)( italic_r , italic_θ ). Clearly, this beamforming gain would gradually decline when the user is moving close to BS and the near-field effect becomes remarkable. When the beamforming gain loss, denoted as 1μ(r,θ)1𝜇𝑟𝜃1-\mu(r,\theta)1 - italic_μ ( italic_r , italic_θ ), exceeds a predefined threshold ΔΔ\Deltaroman_Δ, it indicates that the user has entered the near-field region. Consequently, the boundary Reffsubscript𝑅effR_{\text{eff}}italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT, where 1μ(Reff,θ)1𝜇subscript𝑅eff𝜃1-\mu(R_{\text{eff}},\theta)1 - italic_μ ( italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT , italic_θ ) exactly equals to ΔΔ\Deltaroman_Δ, is defined as the effective Rayleigh distance. Notably, the direct influence of beamforming gain μ(r,θ)𝜇𝑟𝜃\mu(r,\theta)italic_μ ( italic_r , italic_θ ) on the received signal power makes Reffsubscript𝑅effR_{\text{eff}}italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT a more accurate metric for characterizing the near-field range in communication systems. Lemma 3 gives out the close-form expression of effective Rayleigh distance Reffsubscript𝑅effR_{\text{eff}}italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT.

Lemma 3

We define the effective Rayleigh distance Reffsubscript𝑅effR_{\text{eff}}italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT such that the inequality 1μ(r,θ)Δ1𝜇𝑟𝜃Δ1-\mu(r,\theta)\geq\Delta1 - italic_μ ( italic_r , italic_θ ) ≥ roman_Δ always holds for 0<rReff0𝑟subscript𝑅eff0<r\leq R_{\text{eff}}0 < italic_r ≤ italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT. Then, the value of Reffsubscript𝑅effR_{\text{eff}}italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT is given by

ReffCΔcos2θ2D2λ,subscript𝑅effsubscript𝐶Δsuperscript2𝜃2superscript𝐷2𝜆\displaystyle R_{\text{eff}}\approx C_{\Delta}\cos^{2}\theta\frac{2D^{2}}{% \lambda},italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT ≈ italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ divide start_ARG 2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ end_ARG , (37)

where CΔ=14βΔ2subscript𝐶Δ14superscriptsubscript𝛽Δ2C_{\Delta}=\frac{1}{4\beta_{\Delta}^{2}}italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 4 italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG and βΔsubscript𝛽Δ\beta_{\Delta}italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT is the solution of the equation 1βΔ|0βΔej12πt2dt|=Δ1subscript𝛽Δsuperscriptsubscript0subscript𝛽Δsuperscript𝑒𝑗12𝜋superscript𝑡2d𝑡Δ\frac{1}{\beta_{\Delta}}|\int_{0}^{\beta_{\Delta}}e^{-j\frac{1}{2}\pi t^{2}}% \text{d}t|=\Deltadivide start_ARG 1 end_ARG start_ARG italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT end_ARG | ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_π italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT d italic_t | = roman_Δ.

Proof:

To obtain the value of the effective Rayleigh distance, we need to derive the close-form expression of μ(r,θ)𝜇𝑟𝜃\mu(r,\theta)italic_μ ( italic_r , italic_θ ). Based on the second-order Taylor expansion in (IV), μ(r,θ)𝜇𝑟𝜃\mu(r,\theta)italic_μ ( italic_r , italic_θ ) can be expressed as

μ(r,θ)𝜇𝑟𝜃\displaystyle\mu(r,\theta)italic_μ ( italic_r , italic_θ ) 1N|n=0N1ejπ(δN(n)d)2cos2θλr|absent1𝑁superscriptsubscript𝑛0𝑁1superscript𝑒𝑗𝜋superscriptsuperscriptsubscript𝛿𝑁𝑛𝑑2superscript2𝜃𝜆𝑟\displaystyle\approx\frac{1}{N}\left|\sum_{n=0}^{N-1}e^{-j\pi\frac{(\delta_{N}% ^{(n)}d)^{2}\cos^{2}\theta}{\lambda r}}\right|≈ divide start_ARG 1 end_ARG start_ARG italic_N end_ARG | ∑ start_POSTSUBSCRIPT italic_n = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N - 1 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j italic_π divide start_ARG ( italic_δ start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ end_ARG start_ARG italic_λ italic_r end_ARG end_POSTSUPERSCRIPT |
=1N|m=12+12N1212Nejπm2(Nd)2cos2θλr|.absent1𝑁superscriptsubscript𝑚1212𝑁1212𝑁superscript𝑒𝑗𝜋superscript𝑚2superscript𝑁𝑑2superscript2𝜃𝜆𝑟\displaystyle=\frac{1}{N}\left|\sum_{m=-\frac{1}{2}+\frac{1}{2N}}^{\frac{1}{2}% -\frac{1}{2N}}e^{-j\pi\frac{m^{2}(Nd)^{2}\cos^{2}\theta}{\lambda r}}\right|.= divide start_ARG 1 end_ARG start_ARG italic_N end_ARG | ∑ start_POSTSUBSCRIPT italic_m = - divide start_ARG 1 end_ARG start_ARG 2 end_ARG + divide start_ARG 1 end_ARG start_ARG 2 italic_N end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG - divide start_ARG 1 end_ARG start_ARG 2 italic_N end_ARG end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j italic_π divide start_ARG italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( italic_N italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ end_ARG start_ARG italic_λ italic_r end_ARG end_POSTSUPERSCRIPT | . (38)

Notice that the operator m=12+12N1212Nsuperscriptsubscript𝑚1212𝑁1212𝑁\sum_{m=-\frac{1}{2}+\frac{1}{2N}}^{\frac{1}{2}-\frac{1}{2N}}∑ start_POSTSUBSCRIPT italic_m = - divide start_ARG 1 end_ARG start_ARG 2 end_ARG + divide start_ARG 1 end_ARG start_ARG 2 italic_N end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG - divide start_ARG 1 end_ARG start_ARG 2 italic_N end_ARG end_POSTSUPERSCRIPT performs the summation over m=12+12N,12+32N,12+52N,,1212N𝑚1212𝑁1232𝑁1252𝑁1212𝑁m=-\frac{1}{2}+\frac{1}{2N},-\frac{1}{2}+\frac{3}{2N},-\frac{1}{2}+\frac{5}{2N% },\cdots,\frac{1}{2}-\frac{1}{2N}italic_m = - divide start_ARG 1 end_ARG start_ARG 2 end_ARG + divide start_ARG 1 end_ARG start_ARG 2 italic_N end_ARG , - divide start_ARG 1 end_ARG start_ARG 2 end_ARG + divide start_ARG 3 end_ARG start_ARG 2 italic_N end_ARG , - divide start_ARG 1 end_ARG start_ARG 2 end_ARG + divide start_ARG 5 end_ARG start_ARG 2 italic_N end_ARG , ⋯ , divide start_ARG 1 end_ARG start_ARG 2 end_ARG - divide start_ARG 1 end_ARG start_ARG 2 italic_N end_ARG. Let’s define ζ=N2d2cos2θλr𝜁superscript𝑁2superscript𝑑2superscript2𝜃𝜆𝑟\zeta=\frac{N^{2}d^{2}\cos^{2}\theta}{\lambda r}italic_ζ = divide start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ end_ARG start_ARG italic_λ italic_r end_ARG for brevity. Since the number of antennas N𝑁Nitalic_N is quite large, (IV) can be represented in an integral form as

μ(r,θ)=|1/21/2ejπm2ζdm|=2|01/2ejπm2ζdm|.𝜇𝑟𝜃superscriptsubscript1212superscript𝑒𝑗𝜋superscript𝑚2𝜁d𝑚2superscriptsubscript012superscript𝑒𝑗𝜋superscript𝑚2𝜁d𝑚\displaystyle\mu(r,\theta)=|\int_{-1/2}^{1/2}e^{-j\pi m^{2}\zeta}\text{d}m|=2|% \int_{0}^{1/2}e^{-j\pi m^{2}\zeta}\text{d}m|.italic_μ ( italic_r , italic_θ ) = | ∫ start_POSTSUBSCRIPT - 1 / 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j italic_π italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ζ end_POSTSUPERSCRIPT d italic_m | = 2 | ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 1 / 2 end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j italic_π italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ζ end_POSTSUPERSCRIPT d italic_m | . (39)

Additionally, we introduce the variable transformation: 12t2=m2ζ12superscript𝑡2superscript𝑚2𝜁\frac{1}{2}t^{2}=m^{2}\zetadivide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ζ. Then, μ(r,θ)𝜇𝑟𝜃\mu(r,\theta)italic_μ ( italic_r , italic_θ ) can be rewritten as

μ(r,θ)=22ζ|02ζ2ej12πt2dt|=G(β),𝜇𝑟𝜃22𝜁superscriptsubscript02𝜁2superscript𝑒𝑗12𝜋superscript𝑡2d𝑡𝐺𝛽\displaystyle\mu(r,\theta)=\frac{2}{\sqrt{2\zeta}}\left|\int_{0}^{\frac{\sqrt{% 2\zeta}}{2}}e^{-j\frac{1}{2}\pi t^{2}}\text{d}t\right|=G(\beta),italic_μ ( italic_r , italic_θ ) = divide start_ARG 2 end_ARG start_ARG square-root start_ARG 2 italic_ζ end_ARG end_ARG | ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG square-root start_ARG 2 italic_ζ end_ARG end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_π italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT d italic_t | = italic_G ( italic_β ) , (40)

where G(β)=|0βej12πt2dt|/β𝐺𝛽superscriptsubscript0𝛽superscript𝑒𝑗12𝜋superscript𝑡2d𝑡𝛽G(\beta)=\left|\int_{0}^{\beta}e^{-j\frac{1}{2}\pi t^{2}}\text{d}t\right|/\betaitalic_G ( italic_β ) = | ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_π italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT d italic_t | / italic_β and β=2ζ2=N2d2cos2θ2λr=D2cos2θ2λr𝛽2𝜁2superscript𝑁2superscript𝑑2superscript2𝜃2𝜆𝑟superscript𝐷2superscript2𝜃2𝜆𝑟\beta=\frac{\sqrt{2\zeta}}{2}=\sqrt{\frac{N^{2}d^{2}\cos^{2}\theta}{2\lambda r% }}=\sqrt{\frac{D^{2}\cos^{2}\theta}{2\lambda r}}italic_β = divide start_ARG square-root start_ARG 2 italic_ζ end_ARG end_ARG start_ARG 2 end_ARG = square-root start_ARG divide start_ARG italic_N start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ end_ARG start_ARG 2 italic_λ italic_r end_ARG end_ARG = square-root start_ARG divide start_ARG italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ end_ARG start_ARG 2 italic_λ italic_r end_ARG end_ARG. It is clear from (40) that the coherence heavily relies on the characteristics of the function G(β)𝐺𝛽G(\beta)italic_G ( italic_β ). Fortunately, G(β)𝐺𝛽G(\beta)italic_G ( italic_β ) does not contain any parameters, allowing us to obtain its numerical result via offline integration.

Refer to caption
Figure 6: The numerical results of G(β)𝐺𝛽G(\beta)italic_G ( italic_β )

As illustrated in Fig. 6, the function G(β)𝐺𝛽G(\beta)italic_G ( italic_β ) shows a significant downward trend w.r.t β𝛽\betaitalic_β333 The function G(β)𝐺𝛽G(\beta)italic_G ( italic_β ) is applied in our another paper [32] as well to evaluate the quasi-orthogonality of near-field channels, while G(β)𝐺𝛽G(\beta)italic_G ( italic_β ) is used to derive the effective Rayleigh distance in this paper. . Therefore, to make the beamforming gain loss 1μ(r,θ)=1G(β)1𝜇𝑟𝜃1𝐺𝛽1-\mu(r,\theta)=1-G(\beta)1 - italic_μ ( italic_r , italic_θ ) = 1 - italic_G ( italic_β ) larger than the threshold ΔΔ\Deltaroman_Δ, we need ββΔ𝛽subscript𝛽Δ\beta\geq\beta_{\Delta}italic_β ≥ italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT, where G(βΔ)=1Δ𝐺subscript𝛽Δ1ΔG(\beta_{\Delta})=1-\Deltaitalic_G ( italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT ) = 1 - roman_Δ.

In the end, due to the relationship β=D2cos2θ2λr𝛽superscript𝐷2superscript2𝜃2𝜆𝑟\beta=\sqrt{\frac{D^{2}\cos^{2}\theta}{2\lambda r}}italic_β = square-root start_ARG divide start_ARG italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ end_ARG start_ARG 2 italic_λ italic_r end_ARG end_ARG, the near-field region is determined by r<14βΔ2cos2θ2D2λ𝑟14superscriptsubscript𝛽Δ2superscript2𝜃2superscript𝐷2𝜆r<\frac{1}{4\beta_{\Delta}^{2}}\cos^{2}\theta\frac{2D^{2}}{\lambda}italic_r < divide start_ARG 1 end_ARG start_ARG 4 italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ divide start_ARG 2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ end_ARG, giving rise to the result Reff=14βΔ2cos2θ2D2λsubscript𝑅eff14superscriptsubscript𝛽Δ2superscript2𝜃2superscript𝐷2𝜆R_{\text{eff}}=\frac{1}{4\beta_{\Delta}^{2}}\cos^{2}\theta\frac{2D^{2}}{\lambda}italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 4 italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ divide start_ARG 2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ end_ARG. ∎

Lemma 3 offers a comprehensive approach to compute Reffsubscript𝑅effR_{\text{eff}}italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT. To illustrate, let’s consider a simple example where Δ=5%Δpercent5\Delta=5\%roman_Δ = 5 %. We could solve the equation 1βΔ|0βΔej12πt2dt|=0.051subscript𝛽Δsuperscriptsubscript0subscript𝛽Δsuperscript𝑒𝑗12𝜋superscript𝑡2d𝑡0.05\frac{1}{\beta_{\Delta}}|\int_{0}^{\beta_{\Delta}}e^{-j\frac{1}{2}\pi t^{2}}% \text{d}t|=0.05divide start_ARG 1 end_ARG start_ARG italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT end_ARG | ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT - italic_j divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_π italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT d italic_t | = 0.05 via the Newton method and obtain βΔ=0.8257subscript𝛽Δ0.8257\beta_{\Delta}=0.8257italic_β start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT = 0.8257. Hence, the effective Rayleigh distance is evaluated as Reff=0.367cos2θ2D2λsubscript𝑅eff0.367superscript2𝜃2superscript𝐷2𝜆R_{\text{eff}}=0.367\cos^{2}\theta\frac{2D^{2}}{\lambda}italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT = 0.367 roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ divide start_ARG 2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ end_ARG.

It is evident from (35) and (37) that effective Rayleigh distance needs two more variables compared to Rayleigh distance, i.e., the constant CΔsubscript𝐶ΔC_{\Delta}italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT related to beamforming gain loss and the angle of arrival θ𝜃\thetaitalic_θ. These two variables enable effective Rayleigh distance to accurately capture where far-field beamforming are not applicable, and thus make it a more accurate metric for quantifying near-field region. In Section V, the accuracy of effective Rayleigh distance will be verified through simulation.

IV-A Discussion on the Fresnel Approximation

In deriving the effective Rayleigh distance, the Fresnel approximation (IV) is employed. As indicated in [13], the approximation (IV) is accurate when the distance r𝑟ritalic_r is larger than the “Fresnel distance” 0.5D3λc0.5superscript𝐷3subscript𝜆𝑐0.5\sqrt{\frac{D^{3}}{\lambda_{c}}}0.5 square-root start_ARG divide start_ARG italic_D start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG end_ARG. To validate the rationality of the Fresnel approximation, we would like to show that the effective Rayleigh distance 0.367cos2θ2D2λc0.367superscript2𝜃2superscript𝐷2subscript𝜆𝑐0.367\cos^{2}\theta\frac{2D^{2}}{\lambda_{c}}0.367 roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ divide start_ARG 2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG, with Δ=5%Δpercent5\Delta=5\%roman_Δ = 5 %, is much larger than the Fresnel distance. Take it into account that the section range of a typical cell is around 2π32𝜋3\frac{2\pi}{3}divide start_ARG 2 italic_π end_ARG start_ARG 3 end_ARG, thus θ𝜃\thetaitalic_θ is restricted between π3𝜋3-\frac{\pi}{3}- divide start_ARG italic_π end_ARG start_ARG 3 end_ARG and π3𝜋3\frac{\pi}{3}divide start_ARG italic_π end_ARG start_ARG 3 end_ARG. Accordingly, 0.367cos2θ2D2λc0.5Dλc0.367superscript2𝜃2superscript𝐷2subscript𝜆𝑐0.5𝐷subscript𝜆𝑐0.367\cos^{2}\theta\frac{2D^{2}}{\lambda_{c}}\geq 0.5\sqrt{\frac{D}{\lambda_{c% }}}0.367 roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ divide start_ARG 2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ≥ 0.5 square-root start_ARG divide start_ARG italic_D end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG end_ARG is equivalent to N>15.8490𝑁15.8490N>15.8490italic_N > 15.8490. Given that an extremely large antenna array have hundreds or thousands of antennas, which is greatly larger than 15.849015.849015.849015.8490, the effective Rayleigh distance is much longer than the Fresnel distance, resulting in the accuracy of approximation (IV).

IV-B Discussion on the Piecewise-Far-Field Approximation

The effective Rayleigh distance is capable of verifying the accuracy of the piecewise-far-field approximation as well. Recall that the user should locate in the far-field region of each sub-array, i.e., rksubscript𝑟𝑘r_{k}italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT must be larger than 0.367cos2θk2(P1)2d2λc0.367superscript2subscript𝜃𝑘2superscript𝑃12superscript𝑑2subscript𝜆𝑐0.367\cos^{2}\theta_{k}\frac{2(P-1)^{2}d^{2}}{\lambda_{c}}0.367 roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT divide start_ARG 2 ( italic_P - 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG with Δ=5%Δpercent5\Delta=5\%roman_Δ = 5 %. Take a small sub-array configuration as an example: P=32𝑃32P=32italic_P = 32 and fc=100GHzsubscript𝑓𝑐100GHzf_{c}=100\>{\rm GHz}italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 100 roman_GHz. The effective Rayleigh distance per sub-array is upper bounded by 0.367cos2θk2(P1)2d2λc0.3672(P1)2d2λc=0.5286m0.367superscript2subscript𝜃𝑘2superscript𝑃12superscript𝑑2subscript𝜆𝑐0.3672superscript𝑃12superscript𝑑2subscript𝜆𝑐0.5286m0.367\cos^{2}\theta_{k}\frac{2(P-1)^{2}d^{2}}{\lambda_{c}}\leq 0.367\frac{2(P-% 1)^{2}d^{2}}{\lambda_{c}}=0.5286\>{\rm m}0.367 roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT divide start_ARG 2 ( italic_P - 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ≤ 0.367 divide start_ARG 2 ( italic_P - 1 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG = 0.5286 roman_m. In this context, as long as the user-to-sub-array distance rksubscript𝑟𝑘r_{k}italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT is larger than 0.5286m0.5286m0.5286\>{\rm m}0.5286 roman_m, a common situation in mobile communications, each sub-array’s channel can be precisely modeled as far-field. Therefore, under a small sub-array configuration, the piecewise-far-field approximation is accurate.

IV-C Discussion on the Number of Antennas per Sub-Array

In this sub-section, by combining Lemma 1, Lemma 2, and Lemma 3, the value of the essential parameter P𝑃Pitalic_P, the number of antennas per sub-array, is designed.

The value of P𝑃Pitalic_P needs to meet three key requirements. First, as stated in Lemma 1, |ϵm|2Psubscriptitalic-ϵ𝑚2𝑃|\epsilon_{m}|\leq\frac{2}{P}| italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | ≤ divide start_ARG 2 end_ARG start_ARG italic_P end_ARG holds for mfor-all𝑚\forall m∀ italic_m. Owing to the fact that max|ϵm|=B2fcsubscriptitalic-ϵ𝑚𝐵2subscript𝑓𝑐\max|\epsilon_{m}|=\frac{B}{2f_{c}}roman_max | italic_ϵ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT | = divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG, we have P4fcB𝑃4subscript𝑓𝑐𝐵P\leq\frac{4f_{c}}{B}italic_P ≤ divide start_ARG 4 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG italic_B end_ARG.

Next, we made an assumption that the user is located in the far-field region of each sub-array. We evaluate the effective Rayleigh distance at the center frequency fcsubscript𝑓𝑐f_{c}italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT with a wavelength λcsubscript𝜆𝑐\lambda_{c}italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT. Suppose the user’s activity range is r[ρl,ρh]𝑟subscript𝜌𝑙subscript𝜌r\in[\rho_{l},\rho_{h}]italic_r ∈ [ italic_ρ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , italic_ρ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ] and θ[θh,θh]𝜃subscript𝜃subscript𝜃\theta\in[-\theta_{h},\theta_{h}]italic_θ ∈ [ - italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ], where ρlsubscript𝜌𝑙\rho_{l}italic_ρ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT and ρhsubscript𝜌\rho_{h}italic_ρ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT can be regarded as the least allowable distance from user to BS and the cell radius, and θhsubscript𝜃\theta_{h}italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT refers to the sector range of a cell. Applying Lemma 3, the effective Rayleigh distance of a sub-array is CΔcos2θ2(Pd)2λc=12CΔcos2θP2λc12CΔP2cos2θhλc2subscript𝐶Δsuperscript2𝜃2superscript𝑃𝑑2subscript𝜆𝑐12subscript𝐶Δsuperscript2𝜃superscript𝑃2subscript𝜆𝑐12subscript𝐶Δsuperscript𝑃2superscript2subscript𝜃superscriptsubscript𝜆𝑐2C_{\Delta}\cos^{2}\theta\frac{2(Pd)^{2}}{\lambda_{c}}=\frac{1}{2}C_{\Delta}% \cos^{2}\theta P^{2}\lambda_{c}\leq\frac{1}{2}C_{\Delta}P^{2}\cos^{2}\theta_{h% }\lambda_{c}^{2}italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ divide start_ARG 2 ( italic_P italic_d ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ italic_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ≤ divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT italic_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. Then, to keep the user consistently outside the region bounded by 12CΔcos2θP2λc12subscript𝐶Δsuperscript2𝜃superscript𝑃2subscript𝜆𝑐\frac{1}{2}C_{\Delta}\cos^{2}\theta P^{2}\lambda_{c}divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ italic_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT, we can let ρl12CΔcos2θhP2λcsubscript𝜌𝑙12subscript𝐶Δsuperscript2subscript𝜃superscript𝑃2subscript𝜆𝑐\rho_{l}\geq\frac{1}{2}C_{\Delta}\cos^{2}\theta_{h}P^{2}\lambda_{c}italic_ρ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ≥ divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT italic_P start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT and arrive at the condition P2ρlCΔcos2θhλc𝑃2subscript𝜌𝑙subscript𝐶Δsuperscript2subscript𝜃subscript𝜆𝑐P\leq\sqrt{\frac{2\rho_{l}}{C_{\Delta}\cos^{2}\theta_{h}\lambda_{c}}}italic_P ≤ square-root start_ARG divide start_ARG 2 italic_ρ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_ARG start_ARG italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG end_ARG.

Finally, in order to guarantee the performance of PDF method, we would like to design P𝑃Pitalic_P such that the least average beamforming gain in Corollary 1 is greater than a predefined threshold δ𝛿\deltaitalic_δ. This requirement can be formulated as follows:

minr,θGsubscript𝑟𝜃𝐺\displaystyle\min_{r,\theta}Groman_min start_POSTSUBSCRIPT italic_r , italic_θ end_POSTSUBSCRIPT italic_G =1γ(B,fc,P)maxr,θξ(r,θ,D)δ.absent1𝛾𝐵subscript𝑓𝑐𝑃subscript𝑟𝜃𝜉𝑟𝜃𝐷𝛿\displaystyle=1-\gamma(B,f_{c},P)\max_{r,\theta}\xi(r,\theta,D)\geq\delta.= 1 - italic_γ ( italic_B , italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT , italic_P ) roman_max start_POSTSUBSCRIPT italic_r , italic_θ end_POSTSUBSCRIPT italic_ξ ( italic_r , italic_θ , italic_D ) ≥ italic_δ .
ΞP(B2fc)13(1δ)maxr,θξ(r,θ,D)absentsubscriptΞ𝑃𝐵2subscript𝑓𝑐131𝛿subscript𝑟𝜃𝜉𝑟𝜃𝐷\displaystyle\Rightarrow\Xi_{P}(\frac{B}{2f_{c}})\geq 1-\frac{3(1-\delta)}{% \max_{r,\theta}\xi(r,\theta,D)}⇒ roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) ≥ 1 - divide start_ARG 3 ( 1 - italic_δ ) end_ARG start_ARG roman_max start_POSTSUBSCRIPT italic_r , italic_θ end_POSTSUBSCRIPT italic_ξ ( italic_r , italic_θ , italic_D ) end_ARG (41)

Notice that maxr,θξ(r,θ,D)=maxrξ(r,θh,D)subscript𝑟𝜃𝜉𝑟𝜃𝐷subscript𝑟𝜉𝑟subscript𝜃𝐷\max_{r,\theta}\xi(r,\theta,D)=\max_{r}\xi(r,\theta_{h},D)roman_max start_POSTSUBSCRIPT italic_r , italic_θ end_POSTSUBSCRIPT italic_ξ ( italic_r , italic_θ , italic_D ) = roman_max start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_ξ ( italic_r , italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT , italic_D ) given that ξ(r,θ,D)𝜉𝑟𝜃𝐷\xi(r,\theta,D)italic_ξ ( italic_r , italic_θ , italic_D ) is a decreasing function w.r.t |θ|𝜃|\theta|| italic_θ |. Furthermore, we can utilize the gradient ascend method to solve maxrξ(r,θh,D)subscript𝑟𝜉𝑟subscript𝜃𝐷\max_{r}\xi(r,\theta_{h},D)roman_max start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_ξ ( italic_r , italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT , italic_D ), and thereafter employ the Newton method to attain Pδsubscript𝑃𝛿P_{\delta}italic_P start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT from the equation ΞPδ(B2fc)=13(1δ)maxrξ(r,θh,D)subscriptΞsubscript𝑃𝛿𝐵2subscript𝑓𝑐131𝛿subscript𝑟𝜉𝑟subscript𝜃𝐷\Xi_{P_{\delta}}(\frac{B}{2f_{c}})=1-\frac{3(1-\delta)}{\max_{r}\xi(r,\theta_{% h},D)}roman_Ξ start_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) = 1 - divide start_ARG 3 ( 1 - italic_δ ) end_ARG start_ARG roman_max start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_ξ ( italic_r , italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT , italic_D ) end_ARG. Finally, taking it into consideration the monotonic decreasing property of function ΞP(B2fc)subscriptΞ𝑃𝐵2subscript𝑓𝑐\Xi_{P}(\frac{B}{2f_{c}})roman_Ξ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT ( divide start_ARG italic_B end_ARG start_ARG 2 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG ) w.r.t P𝑃Pitalic_P, we can draw the conclusion PPδ𝑃subscript𝑃𝛿P\leq P_{\delta}italic_P ≤ italic_P start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT.

As a result, applying the three requirements above, the number of antennas per sub-array P𝑃Pitalic_P should satisfy

Pmin{4fcB,2ρlCΔcos2θhλc,Pδ}.𝑃4subscript𝑓𝑐𝐵2subscript𝜌𝑙subscript𝐶Δsuperscript2subscript𝜃subscript𝜆𝑐subscript𝑃𝛿\displaystyle P\leq\min\left\{\frac{4f_{c}}{B},\sqrt{\frac{2\rho_{l}}{C_{% \Delta}\cos^{2}\theta_{h}\lambda_{c}}},P_{\delta}\right\}.italic_P ≤ roman_min { divide start_ARG 4 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG italic_B end_ARG , square-root start_ARG divide start_ARG 2 italic_ρ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_ARG start_ARG italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG end_ARG , italic_P start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT } . (42)

For instance, considering the following parameters: N=400𝑁400N=400italic_N = 400, B=5𝐵5B=5italic_B = 5 GHz, fc=100subscript𝑓𝑐100f_{c}=100italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 100 GHz, ρl=1subscript𝜌𝑙1\rho_{l}=1italic_ρ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT = 1 m, θh=π3subscript𝜃𝜋3\theta_{h}=\frac{\pi}{3}italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT = divide start_ARG italic_π end_ARG start_ARG 3 end_ARG, Δ=5%Δpercent5\Delta=5\%roman_Δ = 5 %, and δ=90%𝛿percent90\delta=90\%italic_δ = 90 %, we have 4fcB=804subscript𝑓𝑐𝐵80\frac{4f_{c}}{B}=80divide start_ARG 4 italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG italic_B end_ARG = 80, 2ρlCΔcos2θhλc432subscript𝜌𝑙subscript𝐶Δsuperscript2subscript𝜃subscript𝜆𝑐43\sqrt{\frac{2\rho_{l}}{C_{\Delta}\cos^{2}\theta_{h}\lambda_{c}}}\approx 43square-root start_ARG divide start_ARG 2 italic_ρ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT end_ARG start_ARG italic_C start_POSTSUBSCRIPT roman_Δ end_POSTSUBSCRIPT roman_cos start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG end_ARG ≈ 43 and Pδ42subscript𝑃𝛿42P_{\delta}\approx 42italic_P start_POSTSUBSCRIPT italic_δ end_POSTSUBSCRIPT ≈ 42. Therefore, the number of antennas per sub-array can be P=40𝑃40P=40italic_P = 40, meaning that a 400400400400-antenna array just needs K=40040=10𝐾4004010K=\frac{400}{40}=10italic_K = divide start_ARG 400 end_ARG start_ARG 40 end_ARG = 10 TTDs to alleviate the near-field beam split effect. Moreover, the lower bound of P𝑃Pitalic_P is exactly 1, because a reduced P𝑃Pitalic_P leads to an increased deployment of TTD units, enabling the PDF method to achieve more flexible frequency-dependent beamforming. In this context, the beamforming gain is increasingly improved with the reduction of P𝑃Pitalic_P.

V Simulation Results

TABLE I: System Configurations
The number of the BS antennas N𝑁Nitalic_N 256
The number of Users U𝑈Uitalic_U 1, 4
The center frequency fcsubscript𝑓𝑐f_{c}italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT 100 GHz
The bandwidth B𝐵Bitalic_B 5 GHz
The number of subcarriers M𝑀Mitalic_M 256
The user’s activity range [ρl,ρh]subscript𝜌𝑙subscript𝜌[\rho_{l},\rho_{h}][ italic_ρ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , italic_ρ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ] [1 m, 100 m]
The sector range of a cell θhsubscript𝜃\theta_{h}italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT π/3𝜋3\pi/3italic_π / 3
Threshold parameter ΔΔ\Deltaroman_Δ 5%
Threshold parameter δ𝛿\deltaitalic_δ 90%
The number of a sub-array’s antennas P𝑃Pitalic_P 32
The number of TTDs K𝐾Kitalic_K 8

In this section, numerical results are provided to demonstrate the performance of the proposed PDF method and the accuracy of effective Rayleigh distance. The default simulation parameters are presented in Table I unless particularly specified.

V-A Beamforming Gain

Refer to caption
(a) Traditional narrowband beamfocusing [23]
Refer to caption
(b) Proposed PDF method
Figure 7: Beamforming gain per sub-carrier w.r.t direction.

We begin with comparing the beamforming gain performance for single-user scenarios, i.e., U=1𝑈1U=1italic_U = 1.

Fig. 7 presents the beamforming gain performance for different sub-carriers as a function of direction. Here, the user is located at (r,θ)=(2m,π8)𝑟𝜃2m𝜋8(r,\theta)=(2\>\text{m},\frac{\pi}{8})( italic_r , italic_θ ) = ( 2 m , divide start_ARG italic_π end_ARG start_ARG 8 end_ARG ), and we evaluate the beamforming gain for various frequencies and physical directions. Fig. 7(a) showcases the beamforming gain achieved by traditional near-field narrowband beamfocusing method [23], while Fig. 7(b) presents the results of the proposed PDF method. Let fLsubscript𝑓Lf_{\text{L}}italic_f start_POSTSUBSCRIPT L end_POSTSUBSCRIPT, fcsubscript𝑓cf_{\text{c}}italic_f start_POSTSUBSCRIPT c end_POSTSUBSCRIPT, and fHsubscript𝑓Hf_{\text{H}}italic_f start_POSTSUBSCRIPT H end_POSTSUBSCRIPT be the lowest, the center, and the highest frequency, respectively. For the traditional narrowband beamfocusing method , the near-field beam split effect causes the beams at fLsubscript𝑓Lf_{\text{L}}italic_f start_POSTSUBSCRIPT L end_POSTSUBSCRIPT, fcsubscript𝑓cf_{\text{c}}italic_f start_POSTSUBSCRIPT c end_POSTSUBSCRIPT, and fHsubscript𝑓Hf_{\text{H}}italic_f start_POSTSUBSCRIPT H end_POSTSUBSCRIPT to be focused on different locations, leading to a significant beamforming gain loss at fLsubscript𝑓Lf_{\text{L}}italic_f start_POSTSUBSCRIPT L end_POSTSUBSCRIPT and fHsubscript𝑓Hf_{\text{H}}italic_f start_POSTSUBSCRIPT H end_POSTSUBSCRIPT. However, as illustrated in Fig. 7 (b), the proposed PDF method can effectively focus the energy of the beams at fLsubscript𝑓Lf_{\text{L}}italic_f start_POSTSUBSCRIPT L end_POSTSUBSCRIPT, fcsubscript𝑓cf_{\text{c}}italic_f start_POSTSUBSCRIPT c end_POSTSUBSCRIPT, and fHsubscript𝑓Hf_{\text{H}}italic_f start_POSTSUBSCRIPT H end_POSTSUBSCRIPT on the desired user location. Besides, more than 95% beamforming gain on the user location is achieved for fLsubscript𝑓Lf_{\text{L}}italic_f start_POSTSUBSCRIPT L end_POSTSUBSCRIPT and fHsubscript𝑓Hf_{\text{H}}italic_f start_POSTSUBSCRIPT H end_POSTSUBSCRIPT. Therefore, the proposed PDF method is able to effectively mitigate the near-field beam split effect.

Refer to caption
Figure 8: Average beamforming gain w.r.t direction θ𝜃\thetaitalic_θ.

Fig. 8 illustrates the average beamforming gain performance w.r.t direction θ𝜃\thetaitalic_θ. In this context, the distance r𝑟ritalic_r is fixed as 10 m and the direction θ𝜃\thetaitalic_θ spans from θhsubscript𝜃-\theta_{h}- italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT to θhsubscript𝜃\theta_{h}italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT. We can observe that the analysis result (24) for average beamforming gain is quite close to the real average beamforming gain achieved by the PDF method. With the increment of |θ|𝜃|\theta|| italic_θ |, the average beamforming gain achieved by both the PDF method and the narrowband beamfocusing method declines. This is attributed to the fact that the beam split effect becomes more significant with larger |θ|𝜃|\theta|| italic_θ |. Nevertheless, our PDF method could remain more than δ=90%𝛿percent90\delta=90\%italic_δ = 90 % average beamforming gain over θ[θh,θh]𝜃subscript𝜃subscript𝜃\theta\in[-\theta_{h},\theta_{h}]italic_θ ∈ [ - italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ], which is consistent with our discussion on the number of a sub-array’s numbers in section IV-C.

Refer to caption
Figure 9: Average beamforming gain performance w.r.t bandwidth B𝐵Bitalic_B.

Moreover, Fig. 9 shows the average beamforming gain performance w.r.t bandwidth B𝐵Bitalic_B. In this simulation, the user is located at (r,θ)=(10m,π4)𝑟𝜃10m𝜋4(r,\theta)=(10\>\text{m},\frac{\pi}{4})( italic_r , italic_θ ) = ( 10 m , divide start_ARG italic_π end_ARG start_ARG 4 end_ARG ), and the bandwidth increases from 100 MHz to 10 GHz. It is clear from Fig. 9 that our PDF method could remarkably enhance the near-field beamforming capability by offering near optimal average beamforming gain. For instance, when B=5𝐵5B=5italic_B = 5 GHz, around 3 times higher average beamforming gain is reaped by the PDF method than narrowband beamfocusing. Besides, it is notable that when the bandwidth is around 10 GHz, our analysis results slightly differ from the real performance of PDF. This is because, with larger bandwidth B𝐵Bitalic_B, the precision of quadratic fitting in (23) gets reduced, leading to an error of the analytical beamforming gain.

V-B Spectral Efficiency

Refer to caption
Figure 10: Spectral efficiency w.r.t distance r𝑟ritalic_r.

In this subsection, the spectral efficiency, formulated as

SE=1Mm=0M1u=0U1log2(1+|𝐡u,mT𝐅m𝐝u,m|2vu|𝐡u,mT𝐅m𝐝v,m|2+σ2)SE1𝑀superscriptsubscript𝑚0𝑀1superscriptsubscript𝑢0𝑈1subscript21superscriptsuperscriptsubscript𝐡𝑢𝑚𝑇subscript𝐅𝑚subscript𝐝𝑢𝑚2subscript𝑣𝑢superscriptsuperscriptsubscript𝐡𝑢𝑚𝑇subscript𝐅𝑚subscript𝐝𝑣𝑚2superscript𝜎2\displaystyle{\rm SE}=\frac{1}{M}\sum_{m=0}^{M-1}\sum_{u=0}^{U-1}\log_{2}\left% (1+\frac{\left|{\mathbf{h}}_{u,m}^{T}{\mathbf{F}}_{m}{\mathbf{d}}_{u,m}\right|% ^{2}}{\sum_{v\neq u}\left|{\mathbf{h}}_{u,m}^{T}{\mathbf{F}}_{m}{\mathbf{d}}_{% v,m}\right|^{2}+\sigma^{2}}\right)roman_SE = divide start_ARG 1 end_ARG start_ARG italic_M end_ARG ∑ start_POSTSUBSCRIPT italic_m = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_M - 1 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_u = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U - 1 end_POSTSUPERSCRIPT roman_log start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( 1 + divide start_ARG | bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT bold_d start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ∑ start_POSTSUBSCRIPT italic_v ≠ italic_u end_POSTSUBSCRIPT | bold_h start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_F start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT bold_d start_POSTSUBSCRIPT italic_v , italic_m end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) (43)

is evaluated to compare different beamforming algorithms, where 𝐝u,msubscript𝐝𝑢𝑚{\mathbf{d}}_{u,m}bold_d start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT represents the uthsuperscript𝑢thu^{\rm th}italic_u start_POSTSUPERSCRIPT roman_th end_POSTSUPERSCRIPT column of 𝐃u,msubscript𝐃𝑢𝑚{\mathbf{D}}_{u,m}bold_D start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT. The path gains gmsubscript𝑔𝑚g_{m}italic_g start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT are generated from the Complex Gaussian distribution 𝒞𝒩(0,1)𝒞𝒩01\mathcal{CN}(0,1)caligraphic_C caligraphic_N ( 0 , 1 ). The signal-to-noise ratio (SNR) is defined as SNR=ρσ2SNR𝜌superscript𝜎2\text{SNR}=\frac{\rho}{\sigma^{2}}SNR = divide start_ARG italic_ρ end_ARG start_ARG italic_σ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG.

The compared algorithms include the narrowband beamfocusing method in [23], the PE-AltMin algorithm for wideband hybrid beamforming designed in [19], and the TTD-DPP algorithm tailored for solving far-field beam split in [21]. Last, the optimal beamforming achieved by fully TTD arrays, where all phase shifters in Fig. 1 are replaced with TTD circuits and 𝐟u,msubscript𝐟𝑢𝑚{\mathbf{f}}_{u,m}bold_f start_POSTSUBSCRIPT italic_u , italic_m end_POSTSUBSCRIPT is constructed as 𝐚m(ru,θu)superscriptsubscript𝐚𝑚subscript𝑟𝑢subscript𝜃𝑢{\mathbf{a}}_{m}^{*}(r_{u},\theta_{u})bold_a start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) in Algorithm 1, is employed as the performance upper bound.

To begin with, the spectral efficiency w.r.t the distance r𝑟ritalic_r is depicted in Fig. 10. The number of users is set as U=1𝑈1U=1italic_U = 1. To explicitly illustrate the impact of the near-field effect, we keep the SNR as 10 dB for different distances, where the large-scale fading is compensated by transmit power control. The user moves from (ρh,π8)subscript𝜌𝜋8(\rho_{h},\frac{\pi}{8})( italic_ρ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT , divide start_ARG italic_π end_ARG start_ARG 8 end_ARG ) to (ρl,π8)subscript𝜌𝑙𝜋8(\rho_{l},\frac{\pi}{8})( italic_ρ start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT , divide start_ARG italic_π end_ARG start_ARG 8 end_ARG ) in a straight line. We can observe from Fig. 10 that our PDF method outperforms all compared beamforming methods over all distances, and approaches the optimal beamforming. This is attributed to the fact that our PDF method can tackle the near-field effect and beam split effect simultaneously. Moreover, notice that with 256 antennas at fc=100subscript𝑓𝑐100f_{c}=100italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 100 GHz, the classical Rayleigh distance is around 98 meters. However, as illustrated in Fig. 10, the far-field beamforming algorithm TTD-DPP [21] does not exhibit a notable rate loss until the distance is less than 30 meters, which implies that the Rayleigh distance overestimates the near-field range when evaluating the communication rate. This is attributed to the definition of Rayleigh distance from the phase error [13], which has no direct influence on the spectral efficiency. In contrast, since the beamforming gain makes a direct influence to the received signal power, our newly defined effective Rayleigh distance (37) is a more accurate metric to quantify the near-field range for communications. Specifically, with θ=π/8𝜃𝜋8\theta=\pi/8italic_θ = italic_π / 8, N=256𝑁256N=256italic_N = 256, fc=100subscript𝑓𝑐100f_{c}=100italic_f start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT = 100 GHz, and Δ=5%Δpercent5\Delta=5\%roman_Δ = 5 %, we have Reff31subscript𝑅eff31R_{\text{eff}}\approx 31italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT ≈ 31 m. As shown in Fig. 10, the spectral efficiency achieved by the far-field method TTD-DPP starts declining exactly when the distance is less than Reffsubscript𝑅effR_{\text{eff}}italic_R start_POSTSUBSCRIPT eff end_POSTSUBSCRIPT, which demonstrates the accuracy of effective Rayleigh distance.

Refer to caption
Figure 11: Spectral efficiency w.r.t the number of antennas N𝑁Nitalic_N.

Fig. 11 evaluates the spectral efficiency w.r.t the number of BS antennas N𝑁Nitalic_N ranging from 8 to 256. The other configuration is set as follows: U=4𝑈4U=4italic_U = 4; K=8𝐾8K=8italic_K = 8; SNR=SNRabsent{\rm SNR}=roman_SNR = 10 dB; the distances {ru}u=0U1superscriptsubscriptsubscript𝑟𝑢𝑢0𝑈1\{r_{u}\}_{u=0}^{U-1}{ italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT } start_POSTSUBSCRIPT italic_u = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U - 1 end_POSTSUPERSCRIPT and directions {θu}u=0U1superscriptsubscriptsubscript𝜃𝑢𝑢0𝑈1\{\theta_{u}\}_{u=0}^{U-1}{ italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT } start_POSTSUBSCRIPT italic_u = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U - 1 end_POSTSUPERSCRIPT are sampled from the uniform distribution 𝒰(1m,30m)𝒰1m30m\mathcal{U}(1\>{\rm m},30\>{\rm m})caligraphic_U ( 1 roman_m , 30 roman_m ) and 𝒰(π3,π3)𝒰𝜋3𝜋3\mathcal{U}(-\frac{\pi}{3},\frac{\pi}{3})caligraphic_U ( - divide start_ARG italic_π end_ARG start_ARG 3 end_ARG , divide start_ARG italic_π end_ARG start_ARG 3 end_ARG ), respectively. The spectral efficiency are obtained through 10000 times Monte-Carlo simulations. To elaborate, Fig. 11 can be divided into three regions according to the number of BS antennas. When N<50𝑁50N<50italic_N < 50, the array aperture is small, so the user is located in the far-field area and the beam split effect is negligible. In this context, all algorithms could achieve good performance. Next, when 50<N<10050𝑁10050<N<10050 < italic_N < 100, the far-field beam split effect appears, leading to a severe degradation to the narrowband beamfocusing and PE-AltMin methods. On the other hand, since TTD-DPP and PDF can effectively alleviate far-field beam split, both of them could remain near-optimal average rate performance. Finally, when the number of BS antennas is further increased such that N>100𝑁100N>100italic_N > 100, the array aperture is quite large so that the near-field beam split effect is observed. In this context, the TTD-DPP method tailored for far-field beam split is not applicable any more, while the proposed PDF method can remain a stable beamforming performance by mitigating the near-field beam split.

Refer to caption
Figure 12: Spectral efficiency w.r.t SNR.

The influence of SNR on the spectral efficiency is investigated in Fig. 12, where the SNR increases from -5 dB to 10 dB. The other settings are as follows: U=4𝑈4U=4italic_U = 4; ru𝒰(1m,30m)similar-tosubscript𝑟𝑢𝒰1m30mr_{u}\sim\mathcal{U}(1\>{\rm m},30\>{\rm m})italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ∼ caligraphic_U ( 1 roman_m , 30 roman_m ); θu𝒰(π3,π3)similar-tosubscript𝜃𝑢𝒰𝜋3𝜋3\theta_{u}\sim\mathcal{U}(-\frac{\pi}{3},\frac{\pi}{3})italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ∼ caligraphic_U ( - divide start_ARG italic_π end_ARG start_ARG 3 end_ARG , divide start_ARG italic_π end_ARG start_ARG 3 end_ARG ). The spectral efficiency are obtained through 10000 times Monte-Carlo simulations. With the increment of SNR, the spectral efficiency of our PDF method rises rapidly. When SNR=10dBSNR10dB\text{SNR}=10\>\text{dB}SNR = 10 dB, more than 3 bit/s/Hz improvement in spectral efficiency is achievable by the PDF method compared to the TTD-DPP method, which further strengthens the superiority of the PDF method.

V-C Energy Efficiency

Refer to caption
Figure 13: Energy efficiency w.r.t the number of users U𝑈Uitalic_U.

Fig. 13 provides an energy efficiency comparison when U=NRF𝑈subscript𝑁RFU=N_{\rm RF}italic_U = italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT varies from 1 to 8. The energy efficiency is defined as the ratio between the spectral efficiency and the total power consumed by the baseband digital processing and analog circuits. The compared benchmarks include the PE-AltMin [19] and narrowband beamfocusing [23] methods based on conventional hybrid beamforming (HB) architecture, the optimal beamforming based on the fully TTD (FTTD) arrays, and the TTD-DPP and PDF methods built on the DPP architecture. The power consumption of these three architectures, denoted by PHBsubscript𝑃HBP_{\rm HB}italic_P start_POSTSUBSCRIPT roman_HB end_POSTSUBSCRIPT, PTTDsubscript𝑃TTDP_{\rm TTD}italic_P start_POSTSUBSCRIPT roman_TTD end_POSTSUBSCRIPT, and PDPPsubscript𝑃DPPP_{\rm DPP}italic_P start_POSTSUBSCRIPT roman_DPP end_POSTSUBSCRIPT are given by [21]

PHBsubscript𝑃HB\displaystyle P_{\rm HB}italic_P start_POSTSUBSCRIPT roman_HB end_POSTSUBSCRIPT =Pt+PB+NRFPRF+NRFNPPS,absentsubscript𝑃tsubscript𝑃Bsubscript𝑁RFsubscript𝑃RFsubscript𝑁RF𝑁subscript𝑃PS\displaystyle=P_{\rm t}+P_{\rm B}+N_{\rm RF}P_{\rm RF}+N_{\rm RF}NP_{\rm PS},= italic_P start_POSTSUBSCRIPT roman_t end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT italic_N italic_P start_POSTSUBSCRIPT roman_PS end_POSTSUBSCRIPT ,
PFTTDsubscript𝑃FTTD\displaystyle P_{\rm FTTD}italic_P start_POSTSUBSCRIPT roman_FTTD end_POSTSUBSCRIPT =Pt+PB+NRFPRF+NRFNPTTD,absentsubscript𝑃tsubscript𝑃Bsubscript𝑁RFsubscript𝑃RFsubscript𝑁RF𝑁subscript𝑃TTD\displaystyle=P_{\rm t}+P_{\rm B}+N_{\rm RF}P_{\rm RF}+N_{\rm RF}NP_{\rm TTD},= italic_P start_POSTSUBSCRIPT roman_t end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT italic_N italic_P start_POSTSUBSCRIPT roman_TTD end_POSTSUBSCRIPT ,
PDPPsubscript𝑃DPP\displaystyle P_{\rm DPP}italic_P start_POSTSUBSCRIPT roman_DPP end_POSTSUBSCRIPT =Pt+PB+NRFPRF+NRFNPPS+NRFKPTTD,absentsubscript𝑃tsubscript𝑃Bsubscript𝑁RFsubscript𝑃RFsubscript𝑁RF𝑁subscript𝑃PSsubscript𝑁RF𝐾subscript𝑃TTD\displaystyle=P_{\rm t}+P_{\rm B}+N_{\rm RF}P_{\rm RF}+N_{\rm RF}NP_{\rm PS}+N% _{\rm RF}KP_{\rm TTD},= italic_P start_POSTSUBSCRIPT roman_t end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT italic_N italic_P start_POSTSUBSCRIPT roman_PS end_POSTSUBSCRIPT + italic_N start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT italic_K italic_P start_POSTSUBSCRIPT roman_TTD end_POSTSUBSCRIPT ,

where Ptsubscript𝑃tP_{\rm t}italic_P start_POSTSUBSCRIPT roman_t end_POSTSUBSCRIPT and PBsubscript𝑃BP_{\rm B}italic_P start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT represent the transmission power and digital processing power, and PRFsubscript𝑃RFP_{\rm RF}italic_P start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT, PPSsubscript𝑃PSP_{\rm PS}italic_P start_POSTSUBSCRIPT roman_PS end_POSTSUBSCRIPT, and PTTDsubscript𝑃TTDP_{\rm TTD}italic_P start_POSTSUBSCRIPT roman_TTD end_POSTSUBSCRIPT denote the power consumption of each RF chain, phase shifter, and TTD element. The following typical values are adopted: Pt=30mWsubscript𝑃t30mWP_{\rm t}=30\>{\rm mW}italic_P start_POSTSUBSCRIPT roman_t end_POSTSUBSCRIPT = 30 roman_mW [21], PB=200mWsubscript𝑃B200mWP_{\rm B}=200\>{\rm mW}italic_P start_POSTSUBSCRIPT roman_B end_POSTSUBSCRIPT = 200 roman_mW [21], PRF=250mWsubscript𝑃RF250mWP_{\rm RF}=250\>{\rm mW}italic_P start_POSTSUBSCRIPT roman_RF end_POSTSUBSCRIPT = 250 roman_mW [33], PPS=30mWsubscript𝑃PS30mWP_{\rm PS}=30\>{\rm mW}italic_P start_POSTSUBSCRIPT roman_PS end_POSTSUBSCRIPT = 30 roman_mW [33], and PTTD=100mWsubscript𝑃TTD100mWP_{\rm TTD}=100\>{\rm mW}italic_P start_POSTSUBSCRIPT roman_TTD end_POSTSUBSCRIPT = 100 roman_mW [21]. The other settings are as follows: SNR=5dBSNR5dB{\rm SNR}=5\>{\rm dB}roman_SNR = 5 roman_dB; K=8𝐾8K=8italic_K = 8; N=256𝑁256N=256italic_N = 256; ru𝒰(1m,30m)similar-tosubscript𝑟𝑢𝒰1m30mr_{u}\sim\mathcal{U}(1\>{\rm m},30\>{\rm m})italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ∼ caligraphic_U ( 1 roman_m , 30 roman_m ); θu𝒰(π3,π3)similar-tosubscript𝜃𝑢𝒰𝜋3𝜋3\theta_{u}\sim\mathcal{U}(-\frac{\pi}{3},\frac{\pi}{3})italic_θ start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ∼ caligraphic_U ( - divide start_ARG italic_π end_ARG start_ARG 3 end_ARG , divide start_ARG italic_π end_ARG start_ARG 3 end_ARG ). It is clear from Fig. 13 that even though the optimal beamforming has the highest spectral efficiency, its energy efficiency is pretty low because of the large number of high-power TTDs used, i.e., UN𝑈𝑁UNitalic_U italic_N. In contrast, we can observe that the proposed PDF achieves much higher energy efficiency than all compared benchmarks. This observation is attributed to the fact that the PDF method can efficiently overcome the near-field beam-split effect with a quite small number of expensive TTDs, i.e., UKUNmuch-less-than𝑈𝐾𝑈𝑁UK\ll UNitalic_U italic_K ≪ italic_U italic_N, which further demonstrates the efficacy of the proposed PDF method.

VI Conclusions

In this paper, we reveal an important challenge for future ELAA communications, i.e., the near-field beam split effect. To address this challenge, we first propose a piecewise-far-field model to approximate the near-field model with high accuracy. Applying this model, a PDF method is proposed to efficiently alleviate the near-field beam split effect through the joint manipulation of PSs and TDs. Moreover, we define a new metric called as “effective Rayleigh distance” by evaluating the beamforming gain, which is more accurate in quantifying the near-field range than the classical Rayleigh distance for practical communications. Finally, numerical results are provided to demonstrate the effectiveness of our work.

The discussion on the near-field beam split effect and our PDF method provide new vision to ELAA beamforming. Besides, our proposed effective Rayleigh distance offers a new way to evaluate the near-field range. For future works, people could investigate the near-field beam split effect in more general situations, such as multi-antenna users, uniform planar arrays, reconfigurable intelligent surfaces [34], and so forth. In addition, extending the effective Rayleigh distance to more applications deserves in-depth study as well.

Acknowledgment

The authors sincerely thank Prof. Robert Schober and Prof. Lajos Hanzo for their valuable comments on this work.

References

  • [1] R. W. Heath, N. González-Prelcic, S. Rangan, W. Roh, and A. M. Sayeed, “An overview of signal processing techniques for millimeter wave MIMO systems,” IEEE J. Sel. Topics Signal Process., vol. 10, no. 3, pp. 436–453, Apr. 2016.
  • [2] E. D. Carvalho, A. Ali, A. Amiri, M. Angjelichinoski, and R. W. Heath, “Non-stationarities in extra-large-scale massive MIMO,” IEEE Wireless Commun., vol. 27, no. 4, pp. 74–80, Aug. 2020.
  • [3] “Radio stripes: re-thinking mobile networks,” 2019. [Online]. Available: https://www.ericsson.com/en/blog/2019/2/radio-stripes.
  • [4] W. Tang, M. Z. Chen, X. Chen, J. Y. Dai, Y. Han, M. Di Renzo, Y. Zeng, S. **, Q. Cheng, and T. J. Cui, “Wireless communications with reconfigurable intelligent surface: Path loss modeling and experimental measurement,” IEEE Trans. Wireless Commun., vol. 20, no. 1, pp. 421–439, Jan. 2021.
  • [5] S. Nie, J. M. Jornet, and I. F. Akyildiz, “Intelligent environments based on ultra-massive MIMO platforms for wireless communication in millimeter wave and terahertz bands,” in Proc. IEEE ICASSP’19, May 2019, pp. 7849–7853.
  • [6] T. S. Rappaport, Y. Xing, O. Kanhere, S. Ju, A. Madanayake, S. Mandal, A. Alkhateeb, and G. C. Trichopoulos, “Wireless communications and applications above 100 GHz: Opportunities and challenges for 6G and beyond,” IEEE Access, vol. 7, pp. 78 729–78 757, 2019.
  • [7] H. Elayan, O. Amin, B. Shihada, R. M. Shubair, and M. Alouini, “Terahertz band: The last piece of RF spectrum puzzle for communication systems,” IEEE Open J. Commun. Soc., vol. 1, pp. 1–32, Jan. 2020.
  • [8] M. Cui, Z. Wu, Y. Lu, X. Wei, and L. Dai, “Near-field MIMO communications for 6G: Fundamentals, challenges, potentials, and future directions,” IEEE Commun. Mag., vol. 61, no. 1, pp. 40–46, Jan. 2023.
  • [9] Z. Zhou, X. Gao, J. Fang, and Z. Chen, “Spherical wave channel and analysis for large linear array in LoS conditions,” in Proc. IEEE Globecom Workshops 2015, Dec. 2015, pp. 1–6.
  • [10] B. Friedlander, “Localization of signals in the near-field of an antenna array,” IEEE Trans. Signal Process., vol. 67, no. 15, pp. 3885–3893, Aug. 2019.
  • [11] D. Tse and P. Viswanath, Fundamentals of Wireless Communication.   Cambridge, U.K.: Cambridge Univ. Press, 2005.
  • [12] X. Li, Z. Dong, Y. Zeng, S. **, and R. Zhang, “Multi-user modular XL-MIMO communications: Near-field beam focusing pattern and user grou**,” arXiv preprint arXiv:2308.11289, Aug. 2023.
  • [13] K. T. Selvan and R. Janaswamy, “Fraunhofer and Fresnel distances: Unified derivation for aperture antennas,” IEEE Antennas Propag. Mag., vol. 59, no. 4, pp. 12–15, Aug. 2017.
  • [14] H. Zhang, N. Shlezinger, F. Guidi, D. Dardari, and Y. C. Eldar, “6G wireless communications: From far-field beam steering to near-field beam focusing,” IEEE Commun. Mag., vol. 61, no. 4, pp. 72–77, Apr. 2023.
  • [15] H. Sarieddeen, M.-S. Alouini, and T. Y. Al-Naffouri, “An overview of signal processing techniques for terahertz communications,” Proc. IEEE, vol. 109, no. 10, pp. 1628–1665, Oct. 2021.
  • [16] Y. Chen, Y. Xiong, D. Chen, T. Jiang, S. X. Ng, and L. Hanzo, “Hybrid precoding for wideband millimeter wave MIMO systems in the face of beam squint,” IEEE Trans. Wireless Commun., vol. 20, no. 3, pp. 1847–1860, Mar. 2021.
  • [17] F. Sohrabi and W. Yu, “Hybrid analog and digital beamforming for mmWave OFDM large-scale antenna arrays,” IEEE J. Sel. Areas Commun., vol. 35, no. 7, pp. 1432–1443, Jul. 2017.
  • [18] X. Liu and D. Qiao, “Space-time block coding-based beamforming for beam squint compensation,” IEEE Wireless Commun. Lett., vol. 8, no. 1, pp. 241–244, Feb. 2019.
  • [19] X. Yu, J. Shen, J. Zhang, and K. B. Letaief, “Alternating minimization algorithms for hybrid precoding in millimeter wave MIMO systems,” IEEE J. Sel. Topics Signal Process., vol. 10, no. 3, pp. 485–500, Mar. 2016.
  • [20] C. Lin, G. Y. Li, and L. Wang, “Subarray-based coordinated beamforming training for mmWave and sub-THz communications,” IEEE J. Sel. Areas Commun., vol. 35, no. 9, pp. 2115–2126, Sep. 2017.
  • [21] L. Dai, J. Tan, Z. Chen, and H. V. Poor, “Delay-phase precoding for wideband thz massive MIMO,” IEEE Trans. Wireless Commun., vol. 21, no. 9, pp. 7271–7286, Sep. 2022.
  • [22] A. Liao, Z. Gao, D. Wang, H. Wang, H. Yin, D. W. K. Ng, and M.-S. Alouini, “Terahertz ultra-massive MIMO-based aeronautical communications in space-air-ground integrated networks,” IEEE J. Sel. Areas Commun., vol. 39, no. 6, pp. 1741–1767, Jun. 2021.
  • [23] D. Headland, Y. Monnai, D. Abbott, C. Fumeaux, and W. Withayachumnankul, “Tutorial: Terahertz beamforming, from concepts to realizations,” APL Photonics, vol. 3, p. 051101, May 2018.
  • [24] J. Sherman, “Properties of focused apertures in the Fresnel region,” IRE Trans. Antennas Propag., vol. 10, no. 4, pp. 399–408, Jul. 1962.
  • [25] H. Zhang, N. Shlezinger, F. Guidi, D. Dardari, M. F. Imani, and Y. C. Eldar, “Beam focusing for near-field multiuser MIMO communications,” IEEE Trans. Wireless Commun., vol. 21, no. 9, pp. 7476–7490, Sep. 2022.
  • [26] M. Cui, L. Dai, Z. Wang, S. Zhou, and N. Ge, “Near-field rainbow: Wideband beam training for XL-MIMO,” IEEE Trans. Wireless Commun., vol. 22, no. 6, pp. 3899–3912, Jun. 2023.
  • [27] H. Hashemi, T. Chu, and J. Roderick, “Integrated true-time-delay-based ultra-wideband array processing,” IEEE Commun. Mag., vol. 46, no. 9, pp. 162–172, Sep. 2008.
  • [28] B. Wang, F. Gao, S. **, H. Lin, G. Y. Li, S. Sun, and T. S. Rappaport, “Spatial-wideband effect in massive MIMO with application in mmwave systems,” IEEE Commun. Mag., vol. 56, no. 12, pp. 134–141, Dec. 2018.
  • [29] R. J. Mailloux, Phased Array Antenna Handbook.   Norwood, MA, USA: Artech House, 2005.
  • [30] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products.   8th ed. Boston, MA, USA: Academic, 2014.
  • [31] M. Cui and L. Dai, “Channel estimation for extremely large-scale MIMO: Far-field or near-field?” IEEE Trans. Commun., vol. 70, no. 4, pp. 2663–2677, Apr. 2022.
  • [32] Z. Wu and L. Dai, “Multiple access for near-field communications: SDMA or LDMA?” IEEE J. Sel. Areas Commun., vol. 41, no. 6, pp. 1918–1935, Jun. 2023.
  • [33] R. Méndez-Rial, C. Rusu, N. González-Prelcic, A. Alkhateeb, and R. W. Heath, “Hybrid MIMO architectures for millimeter wave communications: Phase shifters or switches?” IEEE Access, vol. 4, pp. 247–267, 2016.
  • [34] S. Yang, C. Xie, W. Lyu, B. Ning, Z. Zhang, and C. Yuen, “Near-field channel estimation for extremely large-scale reconfigurable intelligent surface (XL-RIS)-aided wideband mmwave systems,” arXiv preprint arXiv:2304.00440, Apr. 2023.
[Uncaptioned image] Mingyao Cui received the B.E. and M.S. degrees in electronic engineering from Tsinghua University, Bei**g, China, in 2020 and 2023, respectively. He is currently pursuing the Ph.D. degree in the University of HongKong. His research interests include massive MIMO, millimeter-wave communications, and near field communications. He received the IEEE ICC Outstanding Demo Award and the National Scholarship in 2022, and the HKPF Scholarship in 2023.
[Uncaptioned image] Linglong Dai (Fellow, IEEE) received the B.S. degree from Zhejiang University, Hangzhou, China, in 2003, the M.S. degree (with the highest honor) from the China Academy of Telecommunications Technology, Bei**g, China, in 2006, and the Ph.D. degree (with the highest honor) from Tsinghua University, Bei**g, China, in 2011. From 2011 to 2013, he was a Postdoctoral Research Fellow with the Department of Electronic Engineering, Tsinghua University, where he was an Assistant Professor from 2013 to 2016, an Associate Professor from 2016 to 2022, and has been a Professor since 2022. His current research interests include massive MIMO, reconfigurable intelligent surface (RIS), millimeter-wave and Terahertz communications, near-field communications, machine learning for wireless communications, and electromagnetic information theory. He has coauthored the book MmWave Massive MIMO: A Paradigm for 5G (Academic Press, 2016). He has authored or coauthored over 100 IEEE journal papers and over 60 IEEE conference papers. He also holds over 20 granted patents. He has received five IEEE Best Paper Awards at the IEEE ICC 2013, the IEEE ICC 2014, the IEEE ICC 2017, the IEEE VTC 2017-Fall, the IEEE ICC 2018, and the IEEE GLOBECOM 2023. He has also received the Tsinghua University Outstanding Ph.D. Graduate Award in 2011, the Bei**g Excellent Doctoral Dissertation Award in 2012, the China National Excellent Doctoral Dissertation Nomination Award in 2013, the URSI Young Scientist Award in 2014, the IEEE Transactions on Broadcasting Best Paper Award in 2015, the Electronics Letters Best Paper Award in 2016, the National Natural Science Foundation of China for Outstanding Young Scholars in 2017, the IEEE ComSoc Asia-Pacific Outstanding Young Researcher Award in 2017, the IEEE ComSoc Asia-Pacific Outstanding Paper Award in 2018, the China Communications Best Paper Award in 2019, the IEEE Access Best Multimedia Award in 2020, the IEEE Communications Society Leonard G. Abraham Prize in 2020, the IEEE ComSoc Stephen O. Rice Prize in 2022, the IEEE ICC Outstanding Demo Award in 2022, and the National Science Foundation for Distinguished Young Scholars in 2023. He was listed as a Highly Cited Researcher by Clarivate Analytics from 2020 to 2023. He was elevated as an IEEE Fellow in 2022.