(Translated by https://www.hiragana.jp/)
Towards Bridging the Gap between Near and Far-Field Characterizations of the Wireless Channel The authors acknowledge the financial support by the Federal Ministry of Education and Research of Germany in the program of “Souverän. Digital. Vernetzt.” Joint project 6G-RIC, project identification numbers: 16KISK020K and 16KISK030, and the joint project 6G-LICRIS, project identification numbers: 16KISK141 and 16KISK143.
License: arXiv.org perpetual non-exclusive license
arXiv:2402.16755v2 [cs.IT] 10 Mar 2024

Towards Bridging the Gap between
Near and Far-Field Characterizations of
the Wireless Channel
thanks: The authors acknowledge the financial support by the Federal Ministry of Education and Research of Germany in the program of “Souverän. Digital. Vernetzt.” Joint project 6G-RIC, project identification numbers: 16KISK020K and 16KISK030, and the joint project 6G-LICRIS, project identification numbers: 16KISK141 and 16KISK143.

Navneet Agrawal12, Ehsan Tohidi12, Renato L. G. Cavalcante2, Sławomir Stańczak12 1Technische Universität Berlin, Germany 2Fraunhofer Heinrich-Hertz-Institut (HHI), Germany
Abstract

The “near-field” propagation modeling of wireless channels is necessary to support sixth-generation (6G) technologies, such as intelligent reflecting surface (IRS), that are enabled by large aperture antennas and higher frequency carriers. As the conventional far-field model proves inadequate in this context, there is a pressing need to explore and bridge the gap between near and far-field propagation models. Although far-field models are simple and provide computationally efficient solutions for many practical applications, near-field models provide the most accurate representation of wireless channels. This paper builds upon the foundations of electromagnetic wave propagation theory to derive near and far-field models as approximations of the Green’s function (Maxwell’s equations). We characterize the near and far-field models both theoretically and with the help of simulations in a line-of-sight (LOS)-only scenario. In particular, for two key applications in multiantenna systems, namely, beamforming and multiple-access, we showcase the advantages of using the near-field model over the far-field, and present a novel scheduling scheme for multiple-access in the near-field regime. Our findings offer insights into the challenge of incorporating near-field models in practical wireless systems, fostering enhanced performance in future communication technologies.

Index Terms:
Near-field propagation, large antenna apertures, IRS, channel modeling, beamforming
publicationid: pubid: ©2024 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting / republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.   

I Introduction

The rapid evolution of wireless communication technologies has brought about transformative solutions to meet the demands of future applications with high-quality service requirements. The increasing need for higher data rates, enhanced energy efficiency, reduced latency, and high reliability has given rise to novel trends in wireless communication development. These trends are further driven by a growing focus on campus networks in 6G technologies. A reevaluation of wireless channel characterization to ensure reliable and efficient communication is necessitated by (i) adoption of large aperture antennas, (ii) migration to higher frequency bands, and (iii) exploration of new use-cases pertaining to indoor (short-distance) applications. Amidst these advancements, the significance of a more accurate channel model has been underscored [1, 2]. IRSs exemplify a prominent application area where accurate wave propagation models plays a vital role [3].

Refer to caption
Figure 1: System model

Traditionally, the wireless channel has been characterized separately in the near-field and the far-field. The near-field corresponds to the regime where the receiver (Rx) is only a few carrier wavelengths away from the transmitter (Tx), and in the far-field the Tx-Rx distance is large enough that the wavefront can be approximated as planar [4, 5].111The study of the region extremely close to the antenna, namely the reactive near-field, is out of the scope of this paper. In the far-field region, a simplified model is obtained as properties of the electromagnetic (EM) waves stabilize after traveling a sufficient distance. On the other hand, in the near-field, a more accurate model is required as interactions with the environment are more pronounced. The boundary between near and far-field behaviors is traditionally demarcated via the Fraunhofer or Rayleigh distance, but these estimates are often very conservative [6]. As the relevance of the near-field grows, alongside the established importance of far-field characterizations, there is an increasing need to bridge the gap between these two characterizations.

Recently, extensive research has emerged in the area of wireless communication exploring various directions and perspectives that distinguish between near and far-field models [7, 8, 9, 6, 10, 11, 12, 13]. For instance, authors in [7] offer a comprehensive review of near-field communications, encompassing channel modeling, beam focusing, antenna architectures, and performance analysis. In [10], channel estimation for mixed LOS/NLOS environments in extremely large-scale multiple-input multiple-output (MIMO) systems within the near-field regime is presented. Moreover, IRS-aided localization and channel estimation for Terahertz systems, exploring the near-field model, are proposed in [11]. The Author in [9] delves into the near-field model for holographic antennas, which offer increased control and degrees of freedom in the near-field, but pose challenges in terms of implementation and cost. Other studies, such as [8, 6], take a pragmatic systems approach, focusing on how specific metrics like received power or beam width change in relation to the chosen model with the distance between the Tx and the Rx.

This paper focuses on bridging near and far-field models of the EM wave propagation for wireless communication using Maxwell’s equations. We revisit the fundamentals behind developing the near-field models from EM wave theory, and incorporate these models in various applications, with the aim of helping researchers and engineers in understanding the foundations. We strive to elucidate the analogy between the standard far-field MIMO model and the proposed models derived from Green’s function by designing a pragmatic MIMO system accordingly. While Green’s function, derived from solving Maxwell’s equations, provides an accurate representation, its relation to the existing far-field models is often unclear in the literature. In [14], the multipath channel in the near-field is characterized using a simpler model that consists of a cascade of linear operators, motivated by the similar approach used previously in the far-field models. Our approach in this paper is to first elucidate how Maxwell’s equations represent the wireless channels, and lead to the typical linear channel model used in the traditional literature [15]. Starting from the Green’s function, we successively derive the near-field model, where the wavefront is still spherical, and the far-field model, which results from the planar-wave approximation. Furthermore, we use the proposed models to extend two pivotal applications in the MIMO systems, namely, beamforming and multiple-access, from far-field perspective to near-field. These applications clarify the gap between near and far-field characterizations of the channel for different regions of the propagation environment. In particular, in the near-field, we show that a more accurate channel model can lead to new use cases for the applications, which are not possible using the far-field models.

(𝒙3,𝒙0),𝙶0(𝒙)formulae-sequencefor-all𝒙superscript3delimited-∥∥𝒙0subscript𝙶0𝒙\displaystyle(\forall\boldsymbol{x}\in\mathbb{R}^{3},\lVert\boldsymbol{x}% \rVert\neq 0),\quad\mathtt{G}_{0}(\boldsymbol{x})( ∀ bold_italic_x ∈ blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , ∥ bold_italic_x ∥ ≠ 0 ) , typewriter_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_italic_x ) =jηej2πλ𝒙2λ[1𝒙(𝐈𝒙𝒙T𝒙2)+jλ2π𝒙2(𝐈3𝒙𝒙T𝒙2)+λ24π2𝒙3(𝐈3𝒙𝒙T𝒙2)]absentj𝜂superscript𝑒j2𝜋𝜆delimited-∥∥𝒙2𝜆delimited-[]1delimited-∥∥𝒙𝐈𝒙superscript𝒙𝑇superscriptdelimited-∥∥𝒙2j𝜆2𝜋superscriptdelimited-∥∥𝒙2𝐈3𝒙superscript𝒙𝑇superscriptdelimited-∥∥𝒙2superscript𝜆24superscript𝜋2superscriptdelimited-∥∥𝒙3𝐈3𝒙superscript𝒙𝑇superscriptdelimited-∥∥𝒙2\displaystyle=-\frac{\mathrm{j}\eta e^{-\mathrm{j}\frac{2\pi}{\lambda}\lVert% \boldsymbol{x}\rVert}}{2\lambda}\Bigg{[}\frac{1}{\lVert\boldsymbol{x}\rVert}% \left(\mathbf{I}-\frac{\boldsymbol{x}\boldsymbol{x}^{T}}{\lVert\boldsymbol{x}% \rVert^{2}}\right)+\frac{\mathrm{j}\lambda}{2\pi\lVert\boldsymbol{x}\rVert^{2}% }\left(\mathbf{I}-3\frac{\boldsymbol{x}\boldsymbol{x}^{T}}{\lVert\boldsymbol{x% }\rVert^{2}}\right)+\frac{-\lambda^{2}}{4\pi^{2}\lVert\boldsymbol{x}\rVert^{3}% }\left(\mathbf{I}-3\frac{\boldsymbol{x}\boldsymbol{x}^{T}}{\lVert\boldsymbol{x% }\rVert^{2}}\right)\Bigg{]}= - divide start_ARG roman_j italic_η italic_e start_POSTSUPERSCRIPT - roman_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ∥ bold_italic_x ∥ end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_λ end_ARG [ divide start_ARG 1 end_ARG start_ARG ∥ bold_italic_x ∥ end_ARG ( bold_I - divide start_ARG bold_italic_x bold_italic_x start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_ARG start_ARG ∥ bold_italic_x ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + divide start_ARG roman_j italic_λ end_ARG start_ARG 2 italic_π ∥ bold_italic_x ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( bold_I - 3 divide start_ARG bold_italic_x bold_italic_x start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_ARG start_ARG ∥ bold_italic_x ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + divide start_ARG - italic_λ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∥ bold_italic_x ∥ start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG ( bold_I - 3 divide start_ARG bold_italic_x bold_italic_x start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT end_ARG start_ARG ∥ bold_italic_x ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) ] (2)

II A Gentle Summary of Wireless Channel Modeling

In this section, we summarize some of the recent results from [16, 6, 9, 8, 1, 12]. Our contribution here lies in providing analogies between standard channel modeling approaches and those derived from Green’s function. The aim is to provide engineers and researchers with novel insights that may help them to apply techniques designed using standard far-field models to new analyses and applications pertaining to the near-field models. In this study, we focus on a scattering-free environment, i.e., communication occurring exclusively through the line-of-sight (LOS) link. This system allows for deterministic modeling of the wireless channel using Maxwell’s equations, providing a solid theoretical foundation for our study. While the LOS-only scenario may seem limiting, it finds practical relevance in systems utilizing high-frequency carriers for indoor communication.

The system configuration comprises a Tx, with its antenna surface placed along the XY-plane and centered at the origin, and an Rx, with its antenna surface placed parallel to the XY-plane and centered on the YZ-plane. An illustration of the system is provided in Fig. 1. We consider an isotropic uniform medium, such as air, with constant scalar permeability (μ𝜇\muitalic_μ), and permittivity (ϵitalic-ϵ\epsilonitalic_ϵ). Additionally, we restrict our analysis to monochromatic fields, i.e., fields whose dependence on time t𝑡titalic_t takes the form sin(2πft)2𝜋𝑓𝑡\sin(2\pi ft)roman_sin ( 2 italic_π italic_f italic_t ), cos(2πft)2𝜋𝑓𝑡\cos(2\pi ft)roman_cos ( 2 italic_π italic_f italic_t ), exp(j2πft)j2𝜋𝑓𝑡\exp(\mathrm{j}2\pi ft)roman_exp ( j2 italic_π italic_f italic_t ), or exp(j2πft)j2𝜋𝑓𝑡\exp(-\mathrm{j}2\pi ft)roman_exp ( - j2 italic_π italic_f italic_t ), or linear combinations of these, with a specific choice of frequency f𝑓fitalic_f, where jj\mathrm{j}roman_j denotes the unitary imaginary number (i.e., j2=1superscriptj21\mathrm{j}^{2}=-1roman_j start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = - 1). These environment assumptions enable closed-form solutions of Maxwell’s equations without limiting the general modeling of the wireless channel (see [16]).

In essence, the Tx conveys information to the Rx over the wireless medium as follows: The Tx antenna is excited with a current carrying the transmitted information, which in turn induces an electric field in its vicinity. In response, the Rx antenna captures the electric field induced on its surface and decodes the information it carries. The relation between the excited current at the Tx and the induced electric field at a point in its vicinity is governed by Maxwell’s equations. For this system, solving Maxwell’s equations lead to a linear operator mapping input current to an induced electric field, described by the Green’s function [14, 16, 9].

In the following, we present the closed-form expression of Green’s function and introduce two approximations of Green’s function, which are contingent on the distance between the Tx and the Rx: one in the near-field and the other in the far-field. In Section II-B, we apply these prescribed models to a pragmatic multiple-input single-output (MISO) system.

II-A Greens’ function and its approximations

According to Maxwell’s equations, the electric field induced at a point 𝒓3𝒓superscript3\boldsymbol{r}\in\mathbb{R}^{3}bold_italic_r ∈ blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT due to the current density J:𝒮T3:𝐽subscript𝒮𝑇superscript3{J}:\mathcal{S}_{T}\to\mathbb{C}^{3}italic_J : caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT → blackboard_C start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT excited on the Tx antenna surface 𝒮T3subscript𝒮𝑇superscript3\mathcal{S}_{T}\subset\mathbb{R}^{3}caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ⊂ blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT, is given by [14, 16, 9]:

(𝒓3𝒮T)E(𝒓)=𝒮T𝙶0(𝒓,𝒔)J(𝒔)d𝒔3,for-all𝒓superscript3subscript𝒮𝑇𝐸𝒓subscriptsubscript𝒮𝑇subscript𝙶0𝒓𝒔𝐽𝒔differential-d𝒔superscript3\displaystyle(\forall\boldsymbol{r}\in\mathbb{R}^{3}\setminus\mathcal{S}_{T})% \qquad{E}(\boldsymbol{r})=\int_{\mathcal{S}_{T}}\mathtt{G}_{0}(\boldsymbol{r},% \boldsymbol{s}){J}(\boldsymbol{s})\mathrm{d}\boldsymbol{s}\,\,\in\mathbb{C}^{3},( ∀ bold_italic_r ∈ blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ∖ caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT ) italic_E ( bold_italic_r ) = ∫ start_POSTSUBSCRIPT caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_POSTSUBSCRIPT typewriter_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_italic_r , bold_italic_s ) italic_J ( bold_italic_s ) roman_d bold_italic_s ∈ blackboard_C start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT , (1)

where 𝙶0:3×33×3:subscript𝙶0superscript3superscript3superscript33\mathtt{G}_{0}:\mathbb{R}^{3}\times\mathbb{R}^{3}\to\mathbb{C}^{3\times 3}typewriter_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT : blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT × blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT → blackboard_C start_POSTSUPERSCRIPT 3 × 3 end_POSTSUPERSCRIPT is the Green’s function. The closed-form expression of the Green’s function is given in (2) at the bottom of this page, which shows that 𝙶0subscript𝙶0\mathtt{G}_{0}typewriter_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is in fact a shift-invariant kernel, i.e., it only depends on the vector 𝒙:=𝒓𝒔assign𝒙𝒓𝒔\boldsymbol{x}:=\boldsymbol{r}-\boldsymbol{s}bold_italic_x := bold_italic_r - bold_italic_s, the position of the Rx w.r.t. the Tx. The three output dimensions of J𝐽{J}italic_J and E𝐸{E}italic_E represent the EM wave polarization in X, Y, and Z directions, respectively. In (2), and for the rest of this paper, we use standard 2222-norm on vectors in 3superscript3\mathbb{R}^{3}blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT given by (𝒙3)𝒙:=(i=13𝒙i2)12assignfor-all𝒙superscript3delimited-∥∥𝒙superscriptsuperscriptsubscript𝑖13superscriptsubscript𝒙𝑖212(\forall\boldsymbol{x}\in\mathbb{R}^{3})\ \lVert\boldsymbol{x}\rVert:=(\sum_{i% =1}^{3}\boldsymbol{x}_{i}^{2})^{\frac{1}{2}}( ∀ bold_italic_x ∈ blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) ∥ bold_italic_x ∥ := ( ∑ start_POSTSUBSCRIPT italic_i = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT divide start_ARG 1 end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT. Furthermore, the symbols η=μ/ϵ𝜂𝜇italic-ϵ\eta=\sqrt{\mu/\epsilon}italic_η = square-root start_ARG italic_μ / italic_ϵ end_ARG and λ𝜆\lambdaitalic_λ denote the impedance of free space and the wavelength, respectively.

In the following, as in [9], we assume that the current density J𝐽{J}italic_J is an element of the Hilbert space Tsubscript𝑇\mathcal{H}_{T}caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT, defined as T:={f:𝒮T3:fT2<}assignsubscript𝑇conditional-set𝑓:subscript𝒮𝑇superscript3superscriptsubscriptdelimited-∥∥𝑓subscript𝑇2\mathcal{H}_{T}:=\{f:\mathcal{S}_{T}\to\mathbb{C}^{3}:\lVert f\rVert_{\mathcal% {H}_{T}}^{2}<\infty\}caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT := { italic_f : caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT → blackboard_C start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT : ∥ italic_f ∥ start_POSTSUBSCRIPT caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT < ∞ } with inner product f,gT:=𝒔fH(𝒔)g(𝒔)d𝒔assignsubscript𝑓𝑔subscript𝑇subscript𝒔superscript𝑓𝐻𝒔𝑔𝒔differential-d𝒔\left\langle f,g\right\rangle_{\mathcal{H}_{T}}:=\int_{\boldsymbol{s}}f^{H}(% \boldsymbol{s})g(\boldsymbol{s})\mathrm{d}\boldsymbol{s}⟨ italic_f , italic_g ⟩ start_POSTSUBSCRIPT caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_POSTSUBSCRIPT := ∫ start_POSTSUBSCRIPT bold_italic_s end_POSTSUBSCRIPT italic_f start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT ( bold_italic_s ) italic_g ( bold_italic_s ) roman_d bold_italic_s, and induced norm fT=f,fTsubscriptdelimited-∥∥𝑓subscript𝑇subscript𝑓𝑓subscript𝑇\lVert f\rVert_{\mathcal{H}_{T}}=\sqrt{\left\langle f,f\right\rangle_{\mathcal% {H}_{T}}}∥ italic_f ∥ start_POSTSUBSCRIPT caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_POSTSUBSCRIPT = square-root start_ARG ⟨ italic_f , italic_f ⟩ start_POSTSUBSCRIPT caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_POSTSUBSCRIPT end_ARG. Let the Rx antenna surface be 𝒮R3subscript𝒮𝑅superscript3\mathcal{S}_{R}\subset\mathbb{R}^{3}caligraphic_S start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT ⊂ blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT, and assume that the electric field E:𝒮R3:𝐸subscript𝒮𝑅superscript3{E}:\mathcal{S}_{R}\to\mathbb{C}^{3}italic_E : caligraphic_S start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT → blackboard_C start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT is an element of the Hilbert space Rsubscript𝑅\mathcal{H}_{R}caligraphic_H start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT, defined analogously to Tsubscript𝑇\mathcal{H}_{T}caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT. Then, equation (1) can be represented via a bounded linear operator 𝖠:TR:𝖠subscript𝑇subscript𝑅\mathsf{A}:\mathcal{H}_{T}\to\mathcal{H}_{R}sansserif_A : caligraphic_H start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT → caligraphic_H start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT, given by 𝖠(J)(𝒓):=𝒮T𝙶0(𝒓𝒔)J(𝒔)assign𝖠𝐽𝒓subscriptsubscript𝒮𝑇subscript𝙶0𝒓𝒔𝐽𝒔\mathsf{A}({J})(\boldsymbol{r}):=\int_{\mathcal{S}_{T}}\mathtt{G}_{0}(% \boldsymbol{r}-\boldsymbol{s}){J}(\boldsymbol{s})sansserif_A ( italic_J ) ( bold_italic_r ) := ∫ start_POSTSUBSCRIPT caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT end_POSTSUBSCRIPT typewriter_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_italic_r - bold_italic_s ) italic_J ( bold_italic_s ), such that (1) becomes E=𝖠(J)𝐸𝖠𝐽{E}=\mathsf{A}({J})italic_E = sansserif_A ( italic_J ).

Remark 1 (Linear model of the wireless channel).

In standard wireless communication literature [15, Ch. 2], the channel is consistently modeled as a linear system, and the validity of this approach is demonstrated by (1). In essence, (1) expresses that the total electric field at 𝒓𝒓\boldsymbol{r}bold_italic_r results from a weighted summation of J(𝒔)𝐽𝒔{J}(\boldsymbol{s})italic_J ( bold_italic_s ) for each 𝒔𝒮T𝒔subscript𝒮𝑇\boldsymbol{s}\in\mathcal{S}_{T}bold_italic_s ∈ caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT, with weights given by 𝙶0(𝒓,𝒔)subscript𝙶0𝒓𝒔\mathtt{G}_{0}(\boldsymbol{r},\boldsymbol{s})typewriter_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_italic_r , bold_italic_s ), which represents the wireless channel between points 𝒔𝒮T𝒔subscript𝒮𝑇\boldsymbol{s}\in\mathcal{S}_{T}bold_italic_s ∈ caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT and 𝒓𝒮R𝒓subscript𝒮𝑅\boldsymbol{r}\in\mathcal{S}_{R}bold_italic_r ∈ caligraphic_S start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT. The current density and electric field can be embedded into Hilbert spaces of functions, respectively, and then, (1) becomes E=𝖠(J)𝐸𝖠𝐽{E}=\mathsf{A}({J})italic_E = sansserif_A ( italic_J ), where 𝖠𝖠\mathsf{A}sansserif_A is a bounded linear mapping, expressing the wireless channel transfer function. The linear operator 𝖠𝖠\mathsf{A}sansserif_A is modeled using the near or the far-field models, and its properties, such as eigen-functions [9], enables many prominent applications in modern wireless communication systems.

The Green’s function is a complicated function, but fortunately its simplified approximations are often enough for modeling the channel. Note that the second and third terms in (2) are proportional to the inverse of the distance between Tx and Rx, i.e., 𝒙2superscriptdelimited-∥∥𝒙2\lVert\boldsymbol{x}\rVert^{-2}∥ bold_italic_x ∥ start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT and 𝒙3superscriptdelimited-∥∥𝒙3\lVert\boldsymbol{x}\rVert^{-3}∥ bold_italic_x ∥ start_POSTSUPERSCRIPT - 3 end_POSTSUPERSCRIPT, respectively, and hence, they quickly become insignificant as the distance grows. The first approximation of (1) is obtained by removing these terms from the Green’s function. We also rearrange the expression of 𝙶0subscript𝙶0\mathtt{G}_{0}typewriter_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT by separating the Tx antenna position 𝒔𝒮T𝒔subscript𝒮𝑇\boldsymbol{s}\in\mathcal{S}_{T}bold_italic_s ∈ caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT dependent terms from those independent of it. For clarity, we use the following shorthand notation: rs:=𝒓𝒔assignsubscript𝑟𝑠delimited-∥∥𝒓𝒔r_{s}:=\lVert\boldsymbol{r}-\boldsymbol{s}\rVertitalic_r start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT := ∥ bold_italic_r - bold_italic_s ∥, 𝒓^s:=(𝒓𝒔)/rsassignsubscript^𝒓𝑠𝒓𝒔subscript𝑟𝑠\hat{\boldsymbol{r}}_{s}:=(\boldsymbol{r}-\boldsymbol{s})/r_{s}over^ start_ARG bold_italic_r end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT := ( bold_italic_r - bold_italic_s ) / italic_r start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT, r:=𝒓assign𝑟delimited-∥∥𝒓r:=\lVert\boldsymbol{r}\rVertitalic_r := ∥ bold_italic_r ∥, 𝒓^:=𝒓/𝒓assign^𝒓𝒓delimited-∥∥𝒓\hat{\boldsymbol{r}}:=\boldsymbol{r}/\lVert\boldsymbol{r}\rVertover^ start_ARG bold_italic_r end_ARG := bold_italic_r / ∥ bold_italic_r ∥, ω:=exp(j2πλ1r)assign𝜔j2𝜋superscript𝜆1𝑟\omega:=\exp(-\mathrm{j}2\pi\lambda^{-1}r)italic_ω := roman_exp ( - j2 italic_π italic_λ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_r ) and 𝐌1(𝒓^s):=(𝐈𝒓^s𝒓^sT)assignsubscript𝐌1subscript^𝒓𝑠𝐈subscript^𝒓𝑠superscriptsubscript^𝒓𝑠𝑇\mathbf{M}_{1}(\hat{\boldsymbol{r}}_{s}):=(\mathbf{I}-\hat{\boldsymbol{r}}_{s}% \hat{\boldsymbol{r}}_{s}^{T})bold_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_r end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) := ( bold_I - over^ start_ARG bold_italic_r end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT over^ start_ARG bold_italic_r end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT ), where 𝐈𝐈\mathbf{I}bold_I denotes the identity matrix. The first approximation of 𝙶0subscript𝙶0\mathtt{G}_{0}typewriter_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, which leads to the near-field model of the wireless channels, is given by:

𝙶1(𝒓,𝒔):=jηω2λr[ej2πλ(rsr)rrs𝐌1(𝒓^s)].assignsubscript𝙶1𝒓𝒔j𝜂𝜔2𝜆𝑟delimited-[]superscript𝑒j2𝜋𝜆subscript𝑟𝑠𝑟𝑟subscript𝑟𝑠subscript𝐌1subscript^𝒓𝑠\displaystyle\mathtt{G}_{1}(\boldsymbol{r},\boldsymbol{s}):=-\frac{\mathrm{j}% \eta\omega}{2\lambda r}\ \left[e^{-\mathrm{j}\frac{2\pi}{\lambda}(r_{s}-r)}% \frac{r}{r_{s}}\ \mathbf{M}_{1}(\hat{\boldsymbol{r}}_{s})\right].typewriter_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_italic_r , bold_italic_s ) := - divide start_ARG roman_j italic_η italic_ω end_ARG start_ARG 2 italic_λ italic_r end_ARG [ italic_e start_POSTSUPERSCRIPT - roman_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ( italic_r start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT - italic_r ) end_POSTSUPERSCRIPT divide start_ARG italic_r end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT end_ARG bold_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_r end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ) ] . (3)

The second approximation leads to the standard far-field model with the approximation that the distance of any Tx antenna from the Tx center (the origin) is much less than the distance of the Rx, i.e., 𝒔𝒓much-less-thandelimited-∥∥𝒔delimited-∥∥𝒓\lVert\boldsymbol{s}\rVert\ll\lVert\boldsymbol{r}\rVert∥ bold_italic_s ∥ ≪ ∥ bold_italic_r ∥. The far-field approximation, given below in (4), follows from (3) by using the first-order Taylor approximation of the multivariate function f(𝒔):=𝒓𝒔assign𝑓𝒔delimited-∥∥𝒓𝒔f(\boldsymbol{s}):=\lVert\boldsymbol{r}-\boldsymbol{s}\rVertitalic_f ( bold_italic_s ) := ∥ bold_italic_r - bold_italic_s ∥ at 𝒔=(0,0,0)𝒔000\boldsymbol{s}=(0,0,0)bold_italic_s = ( 0 , 0 , 0 ) for a given 𝒓𝒓\boldsymbol{r}bold_italic_r, which gives 𝒓𝒔𝒓𝒓^T𝒔delimited-∥∥𝒓𝒔delimited-∥∥𝒓superscript^𝒓𝑇𝒔\lVert\boldsymbol{r}-\boldsymbol{s}\rVert\approx\lVert\boldsymbol{r}\rVert-% \hat{\boldsymbol{r}}^{T}\boldsymbol{s}∥ bold_italic_r - bold_italic_s ∥ ≈ ∥ bold_italic_r ∥ - over^ start_ARG bold_italic_r end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_italic_s, where 𝒓^:=𝒓/𝒓assign^𝒓𝒓delimited-∥∥𝒓\hat{\boldsymbol{r}}:=\boldsymbol{r}/\lVert\boldsymbol{r}\rVertover^ start_ARG bold_italic_r end_ARG := bold_italic_r / ∥ bold_italic_r ∥. Thus, the far-field approxmiate model is given by:

𝙶2(𝒓,𝒔):=jηω2λr𝐌1(𝒓^)[ej2πλ(𝒓^T𝒔)].assignsubscript𝙶2𝒓𝒔j𝜂𝜔2𝜆𝑟subscript𝐌1^𝒓delimited-[]superscript𝑒j2𝜋𝜆superscript^𝒓𝑇𝒔\displaystyle\mathtt{G}_{2}(\boldsymbol{r},\boldsymbol{s}):=-\frac{\mathrm{j}% \eta\omega}{2\lambda r}\ \mathbf{M}_{1}(\hat{\boldsymbol{r}})\left[e^{\mathrm{% j}\frac{2\pi}{\lambda}(\hat{\boldsymbol{r}}^{T}\boldsymbol{s})}\right].typewriter_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( bold_italic_r , bold_italic_s ) := - divide start_ARG roman_j italic_η italic_ω end_ARG start_ARG 2 italic_λ italic_r end_ARG bold_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_r end_ARG ) [ italic_e start_POSTSUPERSCRIPT roman_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ( over^ start_ARG bold_italic_r end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_italic_s ) end_POSTSUPERSCRIPT ] . (4)

Note that only the term inside the square brackets depends on the position of the Tx antenna element 𝒔𝒔\boldsymbol{s}bold_italic_s, while other only depend on the relative position of the Rx w.r.t. the Tx center.

The models 𝙶isubscript𝙶𝑖\mathtt{G}_{i}typewriter_G start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, for i=0,1,2𝑖012i=0,1,2italic_i = 0 , 1 , 2, define the behavior of the EM waves in a point-to-point propagation. In the next section, we apply these models to a pragmatic system that accounts for the practical limitations of the existing technologies.

II-B Pragmatic system design

As depicted in Fig. 1, our system involves a MISO configuration with a rectangular grid of N:=NxNyassign𝑁subscript𝑁𝑥subscript𝑁𝑦{N}:={N_{x}}{N_{y}}italic_N := italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT (square-shaped) small antenna elements at the Tx. The antenna elements are indexed as n=1,,N𝑛1𝑁n=1,\dots,Nitalic_n = 1 , … , italic_N, uniformly arranged on the XY-plane, with Nxsubscript𝑁𝑥{N_{x}}italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT and Nysubscript𝑁𝑦{N_{y}}italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT antennas along the X and Y axes, respectively. Any antenna element n𝑛nitalic_n, with surface denoted by 𝒮T(n)superscriptsubscript𝒮𝑇𝑛\mathcal{S}_{T}^{(n)}caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT, has a small area a2superscript𝑎2a^{2}italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, a0.5λ𝑎0.5𝜆a\leq 0.5\lambdaitalic_a ≤ 0.5 italic_λ, and it is centered at 𝒔nsubscript𝒔𝑛\boldsymbol{s}_{n}bold_italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT. We assume that all antenna elements are identical and can transmit or receive waves with only Y-polarization. Additionally, each antenna element is fed with a constant current density over its surface, i.e., (𝒔𝒮T(n))J(𝒔)=Jn:=J(𝒔n)for-all𝒔superscriptsubscript𝒮𝑇𝑛𝐽𝒔subscript𝐽𝑛assign𝐽subscript𝒔𝑛(\forall\boldsymbol{s}\in\mathcal{S}_{T}^{(n)})\ {J}(\boldsymbol{s})=J_{n}:={J% }(\boldsymbol{s}_{n})( ∀ bold_italic_s ∈ caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT ) italic_J ( bold_italic_s ) = italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT := italic_J ( bold_italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ). The spacing between any two adjacent antenna elements along the X- or the Y-axis is set to 0.5λ0.5𝜆0.5\lambda0.5 italic_λ. The Rx consists of a single antenna element, identical to the antenna elements used in the Tx. For the system described above, (1) can be written as [8]:

E(𝒓)=n=1NJn𝒔𝒮T(n)𝙶(𝒓,𝒔)d𝒔=:n=1NJngn(𝒓),\displaystyle{E}(\boldsymbol{r})=\sum_{n=1}^{N}J_{n}\int_{\boldsymbol{s}\in% \mathcal{S}_{T}^{(n)}}\mathtt{G}(\boldsymbol{r},\boldsymbol{s})\ \mathrm{d}% \boldsymbol{s}=:\sum_{n=1}^{N}J_{n}\ g_{n}(\boldsymbol{r}),italic_E ( bold_italic_r ) = ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT bold_italic_s ∈ caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT typewriter_G ( bold_italic_r , bold_italic_s ) roman_d bold_italic_s = : ∑ start_POSTSUBSCRIPT italic_n = 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_N end_POSTSUPERSCRIPT italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ) , (5)

where 𝙶:3×3:𝙶superscript3superscript3\mathtt{G}:\mathbb{R}^{3}\times\mathbb{R}^{3}\to\mathbb{C}typewriter_G : blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT × blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT → blackboard_C denotes the kernel corresponding to i=0,1,2𝑖012i=0,1,2italic_i = 0 , 1 , 2, i.e., 𝙶𝙶\mathtt{G}typewriter_G is either the Green’s function 𝙶0subscript𝙶0\mathtt{G}_{0}typewriter_G start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, its near-field approximation 𝙶1subscript𝙶1\mathtt{G}_{1}typewriter_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, or far-field approximation 𝙶2subscript𝙶2\mathtt{G}_{2}typewriter_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT. Notice that 𝙶𝙶\mathtt{G}typewriter_G outputs a complex scalar, corresponding to the middle row and column component of 3×3superscript33\mathbb{C}^{3\times 3}blackboard_C start_POSTSUPERSCRIPT 3 × 3 end_POSTSUPERSCRIPT the original Green’s function output. This is because, by design, only the Y-polarization components of the Tx current J𝐽{J}italic_J and the Rx electric field E𝐸{E}italic_E are nonzero. We define gn(𝒓):=𝒔𝒮T(n)𝙶(𝒓,𝒔)d𝒔assignsubscript𝑔𝑛𝒓subscript𝒔superscriptsubscript𝒮𝑇𝑛𝙶𝒓𝒔differential-d𝒔g_{n}(\boldsymbol{r}):=\int_{\boldsymbol{s}\in\mathcal{S}_{T}^{(n)}}\mathtt{G}% (\boldsymbol{r},\boldsymbol{s})\mathrm{d}\boldsymbol{s}italic_g start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ) := ∫ start_POSTSUBSCRIPT bold_italic_s ∈ caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT end_POSTSUBSCRIPT typewriter_G ( bold_italic_r , bold_italic_s ) roman_d bold_italic_s as the total influence of the n𝑛nitalic_nth Tx antenna element on the electric field at 𝒓𝒓\boldsymbol{r}bold_italic_r.

Since individual antenna elements are small, the electric field generated by any point on the surface 𝒮T(n)superscriptsubscript𝒮𝑇𝑛\mathcal{S}_{T}^{(n)}caligraphic_S start_POSTSUBSCRIPT italic_T end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_n ) end_POSTSUPERSCRIPT of n𝑛nitalic_nth antenna element is approximately the same. With this approximation, the function gn(𝒓)subscript𝑔𝑛𝒓g_{n}(\boldsymbol{r})italic_g start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ) for the near and far-field models are given by:

gn(1)(𝒓)subscriptsuperscript𝑔1𝑛𝒓\displaystyle g^{(1)}_{n}(\boldsymbol{r})italic_g start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ) =a2P1(𝒓)[ej2πλ(rnr)rrn𝐌1(𝒓^n)],absentsuperscript𝑎2subscript𝑃1𝒓delimited-[]superscript𝑒j2𝜋𝜆subscript𝑟𝑛𝑟𝑟subscript𝑟𝑛subscript𝐌1subscript^𝒓𝑛\displaystyle=a^{2}P_{1}(\boldsymbol{r})\left[e^{-\mathrm{j}\frac{2\pi}{% \lambda}(r_{n}-r)}\frac{r}{r_{n}}\mathbf{M}_{1}(\hat{\boldsymbol{r}}_{n})% \right],= italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_italic_r ) [ italic_e start_POSTSUPERSCRIPT - roman_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ( italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_r ) end_POSTSUPERSCRIPT divide start_ARG italic_r end_ARG start_ARG italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG bold_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_r end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ] ,
gn(2)(𝒓)subscriptsuperscript𝑔2𝑛𝒓\displaystyle g^{(2)}_{n}(\boldsymbol{r})italic_g start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ) =a2P1(𝒓)𝐌1(𝒓^)[ej2πλ(𝒓^T𝒔n)],absentsuperscript𝑎2subscript𝑃1𝒓subscript𝐌1^𝒓delimited-[]superscript𝑒𝑗2𝜋𝜆superscript^𝒓𝑇subscript𝒔𝑛\displaystyle=a^{2}P_{1}(\boldsymbol{r})\mathbf{M}_{1}(\hat{\boldsymbol{r}})\ % \left[e^{j\frac{2\pi}{\lambda}(\hat{\boldsymbol{r}}^{T}\boldsymbol{s}_{n})}% \right],= italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_italic_r ) bold_M start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( over^ start_ARG bold_italic_r end_ARG ) [ italic_e start_POSTSUPERSCRIPT italic_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ( over^ start_ARG bold_italic_r end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ] ,

where rn:=𝒓𝒔nassignsubscript𝑟𝑛delimited-∥∥𝒓subscript𝒔𝑛r_{n}:=\lVert\boldsymbol{r}-\boldsymbol{s}_{n}\rVertitalic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT := ∥ bold_italic_r - bold_italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∥, 𝒓^n:=(𝒓𝒔n)/rnassignsubscript^𝒓𝑛𝒓subscript𝒔𝑛subscript𝑟𝑛\hat{\boldsymbol{r}}_{n}:=(\boldsymbol{r}-\boldsymbol{s}_{n})/r_{n}over^ start_ARG bold_italic_r end_ARG start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT := ( bold_italic_r - bold_italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) / italic_r start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT, and P1(𝒓):=jηω2λrassignsubscript𝑃1𝒓j𝜂𝜔2𝜆𝑟P_{1}(\boldsymbol{r}):=-\frac{\mathrm{j}\eta\omega}{2\lambda r}italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_italic_r ) := - divide start_ARG roman_j italic_η italic_ω end_ARG start_ARG 2 italic_λ italic_r end_ARG collects the path loss and the phase shift that only depends on 𝒓𝒓\boldsymbol{r}bold_italic_r.

Remark 2 (Analogies with the standard far-field models).

Notice that, in the far-field model gn(2)(𝒓)subscriptsuperscript𝑔2𝑛𝒓g^{(2)}_{n}(\boldsymbol{r})italic_g start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ) above, the Tx antenna element position 𝒔nsubscript𝒔𝑛\boldsymbol{s}_{n}bold_italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT appears solely in the phase rotation term ej2πλ(𝒓^T𝒔n)superscript𝑒j2𝜋𝜆superscript^𝒓𝑇subscript𝒔𝑛e^{\mathrm{j}\frac{2\pi}{\lambda}(\hat{\boldsymbol{r}}^{T}\boldsymbol{s}_{n})}italic_e start_POSTSUPERSCRIPT roman_j divide start_ARG 2 italic_π end_ARG start_ARG italic_λ end_ARG ( over^ start_ARG bold_italic_r end_ARG start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT bold_italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT. In the standard far-field models, these phase terms are typically collected in an array known as the antenna array response. However, in the near-field model gn(1)(𝒓)subscriptsuperscript𝑔1𝑛𝒓g^{(1)}_{n}(\boldsymbol{r})italic_g start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ), an antenna element introduces both phase and amplitude effects, which are now functions of the relative position (𝒓𝒔n)𝒓subscript𝒔𝑛(\boldsymbol{r}-\boldsymbol{s}_{n})( bold_italic_r - bold_italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) of the Tx antenna element. Consequently, the near-field model requires additional information, specifically the precise positions of both the Tx and Rx, in contrast to the far-field model, which relies solely on their angular orientation.

III Applications

Refer to caption
Figure 2: Comparison of near and far-field models for different Rx distances (Z-axis) from Tx.

In this section, we compare two important applications of MIMO systems, namely beamforming and multiple access, using near and far-field modeling approaches. We show that the adoption of the near-field model not only enhances performance but also unlocks new degrees of freedom beyond the confines of the traditional far-field model. By exploring these applications, we will underscore the imperative need for accurate channel models that account for the near-field effects.

The Rx, with antenna surface 𝒮Rsubscript𝒮𝑅\mathcal{S}_{R}caligraphic_S start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT of area a2superscript𝑎2a^{2}italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and centered at 𝒓𝒓\boldsymbol{r}bold_italic_r, is assumed to be small enough so that it receives approximately the same electric field E(𝒓)𝐸𝒓{E}(\boldsymbol{r})italic_E ( bold_italic_r ) at any point on its surface. The power of received electric field at the Rx via (5) is given by [9, 8]:

P(𝒓)=|𝒮RE(𝒓~)d𝒓~|2=a2|E(𝒓)|2=a2|nJngn(𝒓)|2.𝑃𝒓superscriptsubscriptsubscript𝒮𝑅𝐸~𝒓differential-d~𝒓2superscript𝑎2superscript𝐸𝒓2superscript𝑎2superscriptsubscript𝑛subscript𝐽𝑛subscript𝑔𝑛𝒓2\displaystyle P(\boldsymbol{r})=\left|\int_{\mathcal{S}_{R}}{E}(\tilde{% \boldsymbol{r}})\mathrm{d}\tilde{\boldsymbol{r}}\right|^{2}=a^{2}\left|{E}(% \boldsymbol{r})\right|^{2}=a^{2}\ \left|\sum_{n}{J}_{n}g_{n}(\boldsymbol{r})% \right|^{2}.italic_P ( bold_italic_r ) = | ∫ start_POSTSUBSCRIPT caligraphic_S start_POSTSUBSCRIPT italic_R end_POSTSUBSCRIPT end_POSTSUBSCRIPT italic_E ( over~ start_ARG bold_italic_r end_ARG ) roman_d over~ start_ARG bold_italic_r end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | italic_E ( bold_italic_r ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_g start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (6)

III-A Beamforming by spatial focusing

The objective of the beamforming application considered here is to find the current excitation Jn,n=1,,Nformulae-sequencesubscript𝐽𝑛𝑛1𝑁{J}_{n},n=1,\dots,Nitalic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT , italic_n = 1 , … , italic_N, at each Tx antenna element, that maximizes the power P(𝒓)𝑃𝒓P(\boldsymbol{r})italic_P ( bold_italic_r ) at the Rx position 𝒓𝒓\boldsymbol{r}bold_italic_r under the transmit power constraint n|Jn|2=1subscript𝑛superscriptsubscript𝐽𝑛21\sum_{n}\left|{J}_{n}\right|^{2}=1∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = 1. To keep the notation uncluttered, we drop the index i𝑖iitalic_i (used to specify the model in (5)) in the following. For the Rx at 𝒓𝒓\boldsymbol{r}bold_italic_r, this is achieved by the matched-filtering (MF) beamformer given by (n)Jn(𝒓)=gn(𝒓)/𝒈(𝒓)for-all𝑛subscript𝐽𝑛𝒓superscriptsubscript𝑔𝑛𝒓delimited-∥∥𝒈𝒓(\forall n)\ {J}_{n}(\boldsymbol{r})=g_{n}^{\star}(\boldsymbol{r})/\lVert% \boldsymbol{g}(\boldsymbol{r})\rVert( ∀ italic_n ) italic_J start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ) = italic_g start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT ( bold_italic_r ) / ∥ bold_italic_g ( bold_italic_r ) ∥, for either i=1𝑖1i=1italic_i = 1 or i=2𝑖2i=2italic_i = 2, which is also optimal in this case [6]. Here, xsuperscript𝑥x^{\star}italic_x start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT denotes the complex conjugate of x𝑥x\in\mathbb{C}italic_x ∈ blackboard_C, and define 𝒈(𝒓):=[g1(𝒓),,gN(𝒓)]Tassign𝒈𝒓superscriptsubscript𝑔1𝒓subscript𝑔𝑁𝒓𝑇\boldsymbol{g}(\boldsymbol{r}):=[g_{1}(\boldsymbol{r}),\dots,g_{N}(\boldsymbol% {r})]^{T}bold_italic_g ( bold_italic_r ) := [ italic_g start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_italic_r ) , … , italic_g start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( bold_italic_r ) ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT. When the Tx employs the MF beamformer focusing the beam at the location 𝒓𝒓\boldsymbol{r}bold_italic_r of the Rx, i.e., 𝑱(𝒓):=[J1(𝒓),,JN(𝒓)]Tassign𝑱𝒓superscriptsubscript𝐽1𝒓subscript𝐽𝑁𝒓𝑇\boldsymbol{J}(\boldsymbol{r}):=[{J}_{1}(\boldsymbol{r}),\dots,{J}_{N}(% \boldsymbol{r})]^{T}bold_italic_J ( bold_italic_r ) := [ italic_J start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_italic_r ) , … , italic_J start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ( bold_italic_r ) ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, then the power of the received electric field at any Rx position 𝒓superscript𝒓\boldsymbol{r}^{\prime}bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is given by [6]:

PE(𝒓,𝒓):=a2𝒈(𝒓)2|(𝒈^(𝒓))H𝒈^(𝒓)|2,assignsubscript𝑃𝐸𝒓superscript𝒓superscript𝑎2superscriptdelimited-∥∥𝒈superscript𝒓2superscriptsuperscript^𝒈𝒓𝐻^𝒈superscript𝒓2\displaystyle P_{E}(\boldsymbol{r},\boldsymbol{r}^{\prime}):=a^{2}\lVert% \boldsymbol{g}(\boldsymbol{r}^{\prime})\rVert^{2}\ \left|(\hat{\boldsymbol{g}}% (\boldsymbol{r}))^{H}\hat{\boldsymbol{g}}(\boldsymbol{r}^{\prime})\right|^{2},italic_P start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( bold_italic_r , bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) := italic_a start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∥ bold_italic_g ( bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ∥ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | ( over^ start_ARG bold_italic_g end_ARG ( bold_italic_r ) ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over^ start_ARG bold_italic_g end_ARG ( bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (7)

where, for 𝒙3𝒙superscript3\boldsymbol{x}\in\mathbb{R}^{3}bold_italic_x ∈ blackboard_R start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT, we define 𝒈^(𝒙):=𝒈(𝒙)/𝒈(𝒙)assign^𝒈𝒙𝒈𝒙delimited-∥∥𝒈𝒙\hat{\boldsymbol{g}}(\boldsymbol{x}):=\boldsymbol{g}(\boldsymbol{x})/\lVert% \boldsymbol{g}(\boldsymbol{x})\rVertover^ start_ARG bold_italic_g end_ARG ( bold_italic_x ) := bold_italic_g ( bold_italic_x ) / ∥ bold_italic_g ( bold_italic_x ) ∥. Note that the inner product |(𝒈^(𝒓))H𝒈^(𝒓)|superscript^𝒈𝒓𝐻^𝒈superscript𝒓\left|(\hat{\boldsymbol{g}}(\boldsymbol{r}))^{H}\hat{\boldsymbol{g}}(% \boldsymbol{r}^{\prime})\right|| ( over^ start_ARG bold_italic_g end_ARG ( bold_italic_r ) ) start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over^ start_ARG bold_italic_g end_ARG ( bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) | is equal to 1111 if and only if 𝒈^(𝒓)=±𝒈^(𝒓)^𝒈superscript𝒓plus-or-minus^𝒈𝒓\hat{\boldsymbol{g}}(\boldsymbol{r}^{\prime})=\pm\hat{\boldsymbol{g}}(% \boldsymbol{r})over^ start_ARG bold_italic_g end_ARG ( bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = ± over^ start_ARG bold_italic_g end_ARG ( bold_italic_r ), otherwise, it’s smaller than 1111. In other words, PE(𝒓,𝒓)subscript𝑃𝐸𝒓superscript𝒓P_{E}(\boldsymbol{r},\boldsymbol{r}^{\prime})italic_P start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( bold_italic_r , bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) is maximized at the Rx position 𝒓=±𝒓superscript𝒓plus-or-minus𝒓\boldsymbol{r}^{\prime}=\pm\boldsymbol{r}bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = ± bold_italic_r for the near-field model, and for 𝒓^=±𝒓^superscript^𝒓plus-or-minus^𝒓\hat{\boldsymbol{r}}^{\prime}=\pm\hat{\boldsymbol{r}}over^ start_ARG bold_italic_r end_ARG start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = ± over^ start_ARG bold_italic_r end_ARG for the far-field model. The expressions for gn(1)(𝒓)subscriptsuperscript𝑔1𝑛𝒓g^{(1)}_{n}(\boldsymbol{r})italic_g start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ) and gn(2)(𝒓)subscriptsuperscript𝑔2𝑛𝒓g^{(2)}_{n}(\boldsymbol{r})italic_g start_POSTSUPERSCRIPT ( 2 ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_italic_r ) are provided in Section II-B.

The figure of merit is the normalized received power in decibels given by P~E(𝒓,𝒓):=10log10(PE(𝒓,𝒓)/PE(𝒓u,𝒓u))assignsubscript~𝑃𝐸𝒓superscript𝒓10subscript10subscript𝑃𝐸𝒓superscript𝒓subscript𝑃𝐸subscript𝒓𝑢subscript𝒓𝑢\tilde{P}_{E}(\boldsymbol{r},\boldsymbol{r}^{\prime}):=10\log_{10}(P_{E}(% \boldsymbol{r},\boldsymbol{r}^{\prime})/P_{E}(\boldsymbol{r}_{u},\boldsymbol{r% }_{u}))over~ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( bold_italic_r , bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) := 10 roman_log start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT ( italic_P start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( bold_italic_r , bold_italic_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) / italic_P start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( bold_italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , bold_italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) ), normalized such that for Rx at 𝒓u=(0,0,0.1m)subscript𝒓𝑢000.1𝑚\boldsymbol{r}_{u}=(0,0,0.1m)bold_italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT = ( 0 , 0 , 0.1 italic_m ), we get P~E(𝒓u,𝒓u)=0subscript~𝑃𝐸subscript𝒓𝑢subscript𝒓𝑢0\tilde{P}_{E}(\boldsymbol{r}_{u},\boldsymbol{r}_{u})=0over~ start_ARG italic_P end_ARG start_POSTSUBSCRIPT italic_E end_POSTSUBSCRIPT ( bold_italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT , bold_italic_r start_POSTSUBSCRIPT italic_u end_POSTSUBSCRIPT ) = 0dB using the near-field model 𝙶1subscript𝙶1\mathtt{G}_{1}typewriter_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. In the simulation, we use a carrier frequency of 30303030GHz with wavelength λ=0.01m𝜆0.01𝑚\lambda=0.01mitalic_λ = 0.01 italic_m, the number of antenna elements along X and Y axes is Nx=20subscript𝑁𝑥20{N_{x}}=20italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT = 20 and Ny=200subscript𝑁𝑦200{N_{y}}=200italic_N start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT = 200, respectively, and antenna element size is a=0.5λ𝑎0.5𝜆a=0.5\lambdaitalic_a = 0.5 italic_λ. In Fig. 2 (a), (b) and (c), the MF beamformer 𝑱(𝒓)𝑱𝒓\boldsymbol{J}(\boldsymbol{r})bold_italic_J ( bold_italic_r ) is designed for maximizing the received power at the Rx located at 𝒓=(0,0,d)𝒓00𝑑\boldsymbol{r}=(0,0,d)bold_italic_r = ( 0 , 0 , italic_d ) with d=10λ=0.1𝑑10𝜆0.1d=10\lambda=0.1italic_d = 10 italic_λ = 0.1m, d=250λ=2.5𝑑250𝜆2.5d=250\lambda=2.5italic_d = 250 italic_λ = 2.5m, and d=5000λ=50𝑑5000𝜆50d=5000\lambda=50italic_d = 5000 italic_λ = 50m, respectively. From plots (a) and (b), the discrepancy in the near and far-field models is apparent. In the radiated near-field scenario, the near-field model allows power to be concentrated at a specific Rx position, and for d=d±δsuperscript𝑑plus-or-minus𝑑𝛿d^{\prime}=d\pm\deltaitalic_d start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_d ± italic_δ, δ>0𝛿0\delta>0italic_δ > 0, the power decreases. In the far-field, in contrast, Tx can only concentrate the power towards an angular orientation of the Rx. When the distance between the Tx and the Rx is large enough, as in Fig. 2(c), the near and far-field models almost coincide, confirming that the far-field model 𝙶2subscript𝙶2\mathtt{G}_{2}typewriter_G start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is in fact an approximation of the near-field model 𝙶1subscript𝙶1\mathtt{G}_{1}typewriter_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT. We remark that for the given Tx antenna configuration, the Fraunhofer distance is 2D2λ2002superscript𝐷2𝜆200\frac{2D^{2}}{\lambda}\approx 200divide start_ARG 2 italic_D start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG italic_λ end_ARG ≈ 200m, where D=0.5λNx2+Nx2𝐷0.5𝜆superscriptsubscript𝑁𝑥2superscriptsubscript𝑁𝑥2D=0.5\lambda\sqrt{{N_{x}}^{2}+{N_{x}}^{2}}italic_D = 0.5 italic_λ square-root start_ARG italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_N start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG is the diameter of the Tx antenna. Clearly, the Fraunhofer distance gives a very conservative estimate of the distance at which far-field models can be reliably employed. It is evident from this discussion that the near-field model provides a more accurate description of the wireless propagation, and facilitates the use of an additional degree of freedom (the distance d𝑑ditalic_d) for improving performance in many applications. Observe that in 2(a) with d=0.1m𝑑0.1𝑚d=0.1mitalic_d = 0.1 italic_m, the far-field model overestimates the received power. This can be explained as follows: In the far-field model of (4), the path-loss is the same for all antenna elements, proportional to 𝒓1superscriptdelimited-∥∥𝒓1\lVert\boldsymbol{r}\rVert^{-1}∥ bold_italic_r ∥ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT, whereas, in the near-field, the path-loss is proportional to 𝒓𝒔n1superscriptdelimited-∥∥𝒓subscript𝒔𝑛1\lVert\boldsymbol{r}-\boldsymbol{s}_{n}\rVert^{-1}∥ bold_italic_r - bold_italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∥ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. This leads to a lower total received power in the near-field, as 𝒓𝒓𝒔ndelimited-∥∥𝒓delimited-∥∥𝒓subscript𝒔𝑛\lVert\boldsymbol{r}\rVert\leq\lVert\boldsymbol{r}-\boldsymbol{s}_{n}\rVert∥ bold_italic_r ∥ ≤ ∥ bold_italic_r - bold_italic_s start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ∥ for all n𝑛nitalic_n.

III-B Multiple Access in Near-Field

A key application of MIMO systems is enabling multiple users to be served simultaneously such that the received signal obeys a minimum SIR requirement. In this section, we assume the channel to be deterministic and static. However, the method presented here can be applied to stochastic time-varying channels using covariance matrix estimates [17, 18]. Consider a scenario with two receivers, henceforth called users, indexed 1111 and 2222, with their channels denoted by 𝒈1subscript𝒈1\boldsymbol{g}_{1}bold_italic_g start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and 𝒈2subscript𝒈2\boldsymbol{g}_{2}bold_italic_g start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, respectively. With the prior channel knowledge, the Tx constructs a signal s(t)𝑠𝑡s(t)italic_s ( italic_t ) as (t)s(t)=𝒈^1x1(t)+𝒈^2x2(t)for-all𝑡𝑠𝑡superscriptsubscript^𝒈1subscript𝑥1𝑡superscriptsubscript^𝒈2subscript𝑥2𝑡(\forall t\in\mathbb{N})\ s(t)=\hat{\boldsymbol{g}}_{1}^{\star}x_{1}(t)+\hat{% \boldsymbol{g}}_{2}^{\star}x_{2}(t)( ∀ italic_t ∈ blackboard_N ) italic_s ( italic_t ) = over^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_t ) + over^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_t ), where, for user i=1,2𝑖12i=1,2italic_i = 1 , 2, xi(t)subscript𝑥𝑖𝑡x_{i}(t)\in\mathbb{C}italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) ∈ blackboard_C is the signal to be transmitted to i𝑖iitalic_i, and 𝒈^i:=𝒈i/𝒈iassignsubscript^𝒈𝑖subscript𝒈𝑖delimited-∥∥subscript𝒈𝑖\hat{\boldsymbol{g}}_{i}:=\boldsymbol{g}_{i}/\lVert\boldsymbol{g}_{i}\rVertover^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT := bold_italic_g start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT / ∥ bold_italic_g start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ is the MF beamformer focusing the energy at user i𝑖iitalic_i (see Section III-A above). In response, the signal received by i𝑖iitalic_i is ri(t)=𝒈ixi(t)+𝒈i(𝒈^iH𝒈^j)xj(t)subscript𝑟𝑖𝑡delimited-∥∥subscript𝒈𝑖subscript𝑥𝑖𝑡delimited-∥∥subscript𝒈𝑖superscriptsubscript^𝒈𝑖𝐻subscript^𝒈𝑗subscript𝑥𝑗𝑡r_{i}(t)=\lVert\boldsymbol{g}_{i}\rVert\ x_{i}(t)+\lVert\boldsymbol{g}_{i}% \rVert(\hat{\boldsymbol{g}}_{i}^{H}\hat{\boldsymbol{g}}_{j})\ x_{j}(t)italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) = ∥ bold_italic_g start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ italic_x start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( italic_t ) + ∥ bold_italic_g start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∥ ( over^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ) italic_x start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ( italic_t ), where j=1,2,jiformulae-sequence𝑗12𝑗𝑖j=1,2,j\neq iitalic_j = 1 , 2 , italic_j ≠ italic_i. Note that we ignore the receiver noise here for simplicity. To ensure that users 1111 and 2222 receive their corresponding signals with a SIR greater than a minimum threshold γ>0𝛾0\gamma>0italic_γ > 0, one way is to find a suitable pair of positions for the two users such that the inner-product |𝒈^1H𝒈^2|2γsuperscriptsuperscriptsubscript^𝒈1𝐻subscript^𝒈22𝛾\left|\hat{\boldsymbol{g}}_{1}^{H}\hat{\boldsymbol{g}}_{2}\right|^{-2}\geq\gamma| over^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT ≥ italic_γ. In this way, a multi-antenna Tx can provide multiple single-antenna users with separate data streams simultaneously over the same time and frequency resource of the wireless medium.

In a multi-user scenario, the problem is formulated as finding the subset of user locations that can be served simultaneously while satisfying the desired minimum SIR requirement. In this direction, consider K𝐾Kitalic_K user positions indexed by 𝒰:=1,,Kassign𝒰1𝐾\mathcal{U}:={1,\dots,K}caligraphic_U := 1 , … , italic_K, and position them along the same angular orientation w.r.t. the Tx, i.e., placed along a ray 𝒓^ssubscript^𝒓𝑠\hat{\boldsymbol{r}}_{s}over^ start_ARG bold_italic_r end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT. Without loss of generality, we select 𝒓^s=(0,0,1)subscript^𝒓𝑠001\hat{\boldsymbol{r}}_{s}=(0,0,1)over^ start_ARG bold_italic_r end_ARG start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = ( 0 , 0 , 1 ), i.e., users are placed on the Z-axis. Note that serving these users simultaneously over the same wireless resource is not feasible when utilizing the far-field model to represent the channels, as discussed in Section III-A.

Let the channel between the Tx and user located at a position indexed by k𝒰𝑘𝒰k\in\mathcal{U}italic_k ∈ caligraphic_U is given by the vector 𝒈k:=[𝙶1(𝒓k,𝒔1),,𝙶1(𝒓k,𝒔N)]Tassignsubscript𝒈𝑘superscriptsubscript𝙶1subscript𝒓𝑘subscript𝒔1subscript𝙶1subscript𝒓𝑘subscript𝒔𝑁𝑇\boldsymbol{g}_{k}:=[\mathtt{G}_{1}(\boldsymbol{r}_{k},\boldsymbol{s}_{1}),% \dots,\mathtt{G}_{1}(\boldsymbol{r}_{k},\boldsymbol{s}_{N})]^{T}bold_italic_g start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT := [ typewriter_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , bold_italic_s start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) , … , typewriter_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_italic_r start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT , bold_italic_s start_POSTSUBSCRIPT italic_N end_POSTSUBSCRIPT ) ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT, where 𝙶1subscript𝙶1\mathtt{G}_{1}typewriter_G start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT is the near-field channel model in (3). Given channels of users k𝑘kitalic_k and l𝑙litalic_l, where lk𝑙𝑘l\neq kitalic_l ≠ italic_k, the Tx sends the signal (t)s(t)=𝒈^kxk(t)+𝒈^lxl(t)for-all𝑡𝑠𝑡superscriptsubscript^𝒈𝑘subscript𝑥𝑘𝑡superscriptsubscript^𝒈𝑙subscript𝑥𝑙𝑡(\forall t\in\mathbb{N})\ s(t)=\hat{\boldsymbol{g}}_{k}^{\star}x_{k}(t)+\hat{% \boldsymbol{g}}_{l}^{\star}x_{l}(t)( ∀ italic_t ∈ blackboard_N ) italic_s ( italic_t ) = over^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) + over^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ⋆ end_POSTSUPERSCRIPT italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_t ), where |xk(t)|=1subscript𝑥𝑘𝑡1\left|x_{k}(t)\right|=1| italic_x start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( italic_t ) | = 1 and |xl(t)|=1subscript𝑥𝑙𝑡1\left|x_{l}(t)\right|=1| italic_x start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT ( italic_t ) | = 1 for all t𝑡titalic_t. Then, the SIR at the user l𝑙litalic_l (similarly, at user k𝑘kitalic_k) is given by:

(l𝒰,k𝒰{l})SIR(l,k):=|𝒈^kH𝒈^l|2.assignformulae-sequencefor-all𝑙𝒰for-all𝑘𝒰𝑙SIR𝑙𝑘superscriptsuperscriptsubscript^𝒈𝑘𝐻subscript^𝒈𝑙2\displaystyle(\forall l\in\mathcal{U},\forall k\in\mathcal{U}\setminus\{l\})% \qquad\text{SIR}(l,k):=\left|\hat{\boldsymbol{g}}_{k}^{H}\hat{\boldsymbol{g}}_% {l}\right|^{-2}.( ∀ italic_l ∈ caligraphic_U , ∀ italic_k ∈ caligraphic_U ∖ { italic_l } ) SIR ( italic_l , italic_k ) := | over^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_H end_POSTSUPERSCRIPT over^ start_ARG bold_italic_g end_ARG start_POSTSUBSCRIPT italic_l end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT - 2 end_POSTSUPERSCRIPT . (8)

Note that the function SIR is symmetric. Our objective is to find the largest set 𝒱𝒰𝒱𝒰\mathcal{V}\subseteq\mathcal{U}caligraphic_V ⊆ caligraphic_U such that for any distinct pair of user positions k𝑘kitalic_k and l𝑙litalic_l in 𝒱𝒱\mathcal{V}caligraphic_V, SIR(l,k)SIR𝑙𝑘\text{SIR}(l,k)SIR ( italic_l , italic_k ) and SIR(k,l)SIR𝑘𝑙\text{SIR}(k,l)SIR ( italic_k , italic_l ) are greater than γ𝛾\gammaitalic_γ. We remark that the pairwise SIR requirement in the above approach can be easily extended to SIR with multiple interfering users by increasing the SIR threshold γ𝛾\gammaitalic_γ such that the desired SIR is always achieved.

We use a graph-theoretic approach to this problem. Define a graph 𝒢:=(𝒰,)assign𝒢𝒰\mathcal{G}:=(\mathcal{U},\mathcal{E})caligraphic_G := ( caligraphic_U , caligraphic_E ) with K𝐾Kitalic_K nodes such that an edge exist between any two nodes k𝑘kitalic_k and l𝑙litalic_l if the condition (k,l):=(SIR(l,k)>γ\mathfrak{C}(k,l):=(\text{SIR}(l,k)>\gammafraktur_C ( italic_k , italic_l ) := ( SIR ( italic_l , italic_k ) > italic_γ and SIR(k,l)>γ)\text{SIR}(k,l)>\gamma)SIR ( italic_k , italic_l ) > italic_γ ) is satisfied. More precisely, (k,l)𝑘𝑙(k,l)\in\mathcal{E}( italic_k , italic_l ) ∈ caligraphic_E if (k,l)=True𝑘𝑙True\mathfrak{C}(k,l)=\text{True}fraktur_C ( italic_k , italic_l ) = True. The problems of finding 𝒱𝒰𝒱𝒰\mathcal{V}\subset\mathcal{U}caligraphic_V ⊂ caligraphic_U for which the minimum SIR condition is satisfied can be formulated as the maximum clique problem in the (undirected) graph 𝒢𝒢\mathcal{G}caligraphic_G with edge-set \mathcal{E}caligraphic_E [19]. It is well-known that the maximum clique problem is NP-complete [20]. In this paper, we present a heuristic algorithm, given by Algorithm 1, which finds the set 𝒱~~𝒱\tilde{\mathcal{V}}over~ start_ARG caligraphic_V end_ARG, a close approximation of the optimal set 𝒱𝒱\mathcal{V}caligraphic_V. Intuitively, the algorithm iteratively adds the point closest to the Tx from the set 𝒰𝒰\mathcal{U}caligraphic_U to 𝒱~~𝒱\tilde{\mathcal{V}}over~ start_ARG caligraphic_V end_ARG, say k𝒰𝑘𝒰k\in\mathcal{U}italic_k ∈ caligraphic_U, and then removes points j𝒰𝑗𝒰j\in\mathcal{U}italic_j ∈ caligraphic_U that do not satisfy the SIR condition (j,k)𝑗𝑘\mathfrak{C}(j,k)fraktur_C ( italic_j , italic_k ).

Input: 𝒰:=assign𝒰absent\mathcal{U}:=caligraphic_U := User (Rx) locations, γ:=assign𝛾absent\gamma:=italic_γ := minimum SIR
Output: 𝒢𝒢absent\mathcal{G}\rightarrowcaligraphic_G → Set of selected users.
1 𝒮𝒰𝒮𝒰\mathcal{S}\leftarrow\mathcal{U}caligraphic_S ← caligraphic_U, 𝒢𝒢\mathcal{G}\leftarrow\emptysetcaligraphic_G ← ∅ while 𝒮𝒮\mathcal{S}\neq\emptysetcaligraphic_S ≠ ∅ do
       𝒙argmin𝒙𝒮𝒙𝒙subscriptargmin𝒙𝒮𝒙\boldsymbol{x}\leftarrow\operatorname*{arg\,min}_{\boldsymbol{x}\in\mathcal{S}% }\lVert\boldsymbol{x}\rVertbold_italic_x ← start_OPERATOR roman_arg roman_min end_OPERATOR start_POSTSUBSCRIPT bold_italic_x ∈ caligraphic_S end_POSTSUBSCRIPT ∥ bold_italic_x ∥ 𝒢𝒢{𝒙}𝒢𝒢𝒙\mathcal{G}\leftarrow\mathcal{G}\cup\{\boldsymbol{x}\}caligraphic_G ← caligraphic_G ∪ { bold_italic_x } 𝒞{𝒚𝒮SIR(𝒙,𝒚)γ\mathcal{C}\leftarrow\{\boldsymbol{y}\in\mathcal{S}\mid\text{SIR}(\boldsymbol{% x},\boldsymbol{y})\leq\gammacaligraphic_C ← { bold_italic_y ∈ caligraphic_S ∣ SIR ( bold_italic_x , bold_italic_y ) ≤ italic_γ or SIR(𝒚,𝒙)γ}\text{SIR}(\boldsymbol{y},\boldsymbol{x})\leq\gamma\}SIR ( bold_italic_y , bold_italic_x ) ≤ italic_γ }  /* see eq. (8) */
2       𝒮𝒮𝒞𝒮𝒮𝒞\mathcal{S}\leftarrow\mathcal{S}\setminus\mathcal{C}caligraphic_S ← caligraphic_S ∖ caligraphic_C
Algorithm 1 Heuristic Algorithm for User Selection
Refer to caption
Figure 3: Near-field multiple-access for users with same angular orientation.

In our simulation, we apply Algorithm 1 to K:=|𝒰|=100assign𝐾𝒰100K:=\left|\mathcal{U}\right|=100italic_K := | caligraphic_U | = 100 locations, given by 𝒓=(0.0,d)𝒓0.0𝑑\boldsymbol{r}=(0.0,d)bold_italic_r = ( 0.0 , italic_d ) with d=0.1m,,10m𝑑0.1𝑚10𝑚d=0.1m,\dots,10mitalic_d = 0.1 italic_m , … , 10 italic_m (distributed uniformly on the Z-axis), and set the SIR threshold to γ=18𝛾18\gamma=18italic_γ = 18dB. The algorithm outputs the set 𝒱𝒱\mathcal{V}caligraphic_V with 5555 Rx positions that satisfy the SIR threshold. In other words, at these 5555 positions out of all in 𝒰𝒰\mathcal{U}caligraphic_U, the users can be served with a minimum (pairwise) SIR of 18181818dB. In Fig. 3, we plot the normalized received power profiles corresponding to each user location in 𝒱𝒱\mathcal{V}caligraphic_V, normalized such that the power received at the position closest to the Tx in 𝒱𝒱\mathcal{V}caligraphic_V is 00dB. The plot shows that at smaller distances from the Tx, more users can be served, and as the Rx moves farther, it becomes harder to focus the signal at a specific position.

IV Conclusion and Future Research

This paper highlights the relevance of near-field models in the context of wireless communication systems with the advent of higher frequencies, larger apertures, and a growing interest in indoor applications. The importance of starting from the precise model, i.e., Maxwell’s equations, and establishing an analogy between near-field and far-field models is emphasized. This approach allows for a better understanding of the accuracy-complexity tradeoff, which is crucial in designing efficient communication systems. The paper also illustrates the extent to which approximations are accurate, providing insights into the areas where these models can be reliably applied. Furthermore, two practical applications of near-field models are explored: beamforming and multiple access. In particular, simultaneously serving multiple users in the same direction is demonstrated. For future work, we will address the NLOS channel modeling in the near-field regime.

References

  • [1] M. Cui, Z. Wu, Y. Lu, X. Wei, and L. Dai, “Near-field MIMO communications for 6G: Fundamentals, challenges, potentials, and future directions,” IEEE Communications Magazine, vol. 61, no. 1, pp. 40–46, 2023.
  • [2] Z. Yuan, J. Zhang, Y. Ji, G. F. Pedersen, and W. Fan, “Spatial non-stationary near-field channel modeling and validation for massive MIMO systems,” IEEE Transactions on Antennas and Propagation, vol. 71, no. 1, pp. 921–933, 2022.
  • [3] E. Tohidi, S. Haesloop, L. Thiele, and S. Stanczak, “Near-optimal LOS and orientation aware intelligent reflecting surface placement,” arXiv preprint arXiv:2305.03451, 2023.
  • [4] T. S. Pollock, T. D. Abhayapala, and R. A. Kennedy, “Introducing space into MIMO capacity calculations,” Telecommunication Systems, vol. 24, no. 2, pp. 415–436, 2003.
  • [5] T. Abhayapala, T. Pollock, and R. Kennedy, “Characterization of 3D spatial wireless channels,” in 2003 IEEE 58th Vehicular Technology Conference. VTC 2003-Fall (IEEE Cat. No.03CH37484), vol. 1, pp. 123–127 Vol.1, 2003.
  • [6] E. Björnson and L. Sanguinetti, “Power scaling laws and near-field behaviors of massive MIMO and intelligent reflecting surfaces,” IEEE Open Journal of the Communications Society, vol. 1, pp. 1306–1324, 2020.
  • [7] Y. Liu, Z. Wang, J. Xu, C. Ouyang, X. Mu, and R. Schober, “Near-field communications: A tutorial review,” arXiv preprint arXiv:2305.17751, 2023.
  • [8] P. Ramezani and E. Björnson, “Near-field beamforming and multiplexing using extremely large aperture arrays,” arXiv preprint arXiv:2209.03082, 2022.
  • [9] D. Dardari, “Communicating with large intelligent surfaces: Fundamental limits and models,” IEEE Journal on Selected Areas in Communications, vol. 38, no. 11, pp. 2526–2537, 2020.
  • [10] Y. Lu and L. Dai, “Near-field channel estimation in mixed LoS/NLoS environments for extremely large-scale MIMO systems,” IEEE Transactions on Communications, vol. 71, no. 6, pp. 3694–3707, 2023.
  • [11] Y. Pan, C. Pan, S. Jin, and J. Wang, “RIS-aided near-field localization and channel estimation for the terahertz system,” IEEE Journal of Selected Topics in Signal Processing, pp. 1–14, 2023.
  • [12] 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,” arXiv preprint arXiv:2203.13035, 2022.
  • [13] X. Wei, L. Dai, Y. Zhao, G. Yu, and X. Duan, “Codebook design and beam training for extremely large-scale RIS: Far-field or near-field?,” China Communications, vol. 19, no. 6, pp. 193–204, 2022.
  • [14] A. S. Poon, R. W. Brodersen, and D. N. Tse, “Degrees of freedom in multiple-antenna channels: A signal space approach,” IEEE Transactions on Information Theory, vol. 51, no. 2, pp. 523–536, 2005.
  • [15] D. Tse and P. Viswanath, Fundamentals of wireless communication. Cambridge university press, 2005.
  • [16] D. A. B. Miller, “Waves, modes, communications, and optics: a tutorial,” Adv. Opt. Photon., vol. 11, pp. 679–825, Sep 2019.
  • [17] R. L. Cavalcante and S. Stańczak, “Channel covariance estimation in multiuser massive mimo systems with an approach based on infinite dimensional hilbert spaces,” in International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp. 5180–5184, IEEE, 2020.
  • [18] N. Agrawal, R. L. G. Cavalcante, and S. Stańczak, “Adaptive estimation of angular power spectra for time-varying MIMO channels,” in 22nd International Workshop on Signal Processing Advances in Wireless Communications (SPAWC), pp. 96–100, IEEE, 2021.
  • [19] A. Douik, H. Dahrouj, T. Y. Al-Naffouri, and M.-S. Alouini, “A tutorial on clique problems in communications and signal processing,” Proceedings of the IEEE, vol. 108, no. 4, pp. 583–608, 2020.
  • [20] Q. Wu and J.-K. Hao, “A review on algorithms for maximum clique problems,” European Journal of Operational Research, vol. 242, no. 3, pp. 693–709, 2015.