1. Introduction
In this paper, the problem of creating a desired field distribution by the radiation of an aperture A is considered. The latter applies in both diffractive optics and antenna synthesis. This is because the ‘aperture theory’, A can schematize a source, for example, an antenna or a lens illuminated by an incident field radiating a significant field only on the same aperture. In this framework, it then is important to know if the aperture is able to create any desired field profile, and how accurately.
The resolution is a figure of merit that quantifies the ability to create details of such a field profile. Unfortunately, this parameter is limited and mainly depends on the geometrical features of the aperture
A [
1]. Accordingly, in this paper, the focus is to estimate the above-mentioned resolution limits in terms of aperture geometrical parameters. Such a purpose has been addressed in many recent papers in the framework of inverse source [
2,
3,
4,
5]. There, the problem is to reconstruct an unknown current from the measure of its radiated field. Accordingly, resolution is estimated when source and observation domain are parallel strips [
2], orthogonal strips [
3,
4] and in presence of inhomogeneous medium [
5]. Note that the point, here, is not to reconstruct the aperture field from the given field distribution, but rather to explore the aperture capability of radiating that fixed field. However, the problems are related and in both, the resolution is limited.
The formulation proposed in the present paper is more similar to the one provided in [
6]. In that paper, the above-mentioned resolution limit is studied by the method of communication modes previously employed in information theory [
7]. The latter [
7] is a physically insightful method for (back-)propagating waves between two volumes of arbitrary shape and for analyzing the information content transmitted between them. Such an approach is based on the singular-value decomposition (SVD) of the operator linking the waves over the two volumes, also known as radiation operator. Within this framework, estimating the significant singular values means knowing the maximal number of communication modes that are well connected. When the evanescent contribution in the radiation operator is neglected, the smoothness of its kernel function increases [
8] and the singular values present an abrupt and exponentially quick decay beyond a certain critical index. This practically entails that the number of well-connected communication modes is always bounded and dependent on the geometrical parameters of the two volumes. Such a number is known as Number of Degree of Freedom (NDF) [
9] and it is linked to resolution because it gives a concise picture of which class of field profile the aperture can create [
10,
11]. In fact, in [
6], it is shown that any field created by an aperture can consist of no finer details than those contained in the singular functions spanning the closure of the Range of radiation operator
with
. Accordingly, the boundedness of
entails that the resolution is finite and its expression depends mainly on the geometrical parameters of the aperture.
In this paper, we aim to estimate the above-mentioned expression for the case of a circular aperture and an observation domain located on its axis. For this reason, we refer to it as on-axis resolution. Note that this a customary axicon geometry which has already been studied in [
12,
13,
14,
15]. However, it must be pointed out that although the references [
12,
13,
14] concern the geometry addressed in this paper, their aim was different from the one proposed here. In fact, in [
12,
13,
14], the focus is not on the resolution limits of the aperture, rather the aim was to study the diffraction by a circular aperture of a plane wave or other types of prescribed focused beam. In fact, in this paper, we do not refer to any particular incidence field and we consider the aperture as the result of the interaction between a lens and an incidence field. Such a problem is relevant in lens synthesis and the results obtained in this manuscript suggest how the aperture geometrical parameters must be set in order to obtain the desired resolution. The only reference which addresses such an aim is [
15] where by exploiting the approach developed in [
4], the singular values decomposition of the radiation operator is evaluated in closed form. According to such evaluation, an expression for the resolution is given in terms of geometrical parameters. However, such expression is derived under the so-called Fresnel approximation, which is known to put serious restrictions on the distance between aperture and observation domain.
Therefore, we expand the study developed in [
15] in order to cover configurations that are not within the Fresnel approximation. This means that we allow the observation domain to be closer to the aperture. However, we assume that the latter is not close enough to make the evanescent contributions relevant. Accordingly, the considered configuration can be addressed as being in the near non-reactive zone. It is worth noting that such a zone is the same to which the pseudo-Fresnel approximation provided in [
14] applies.
The resolution is identified as the distance between the maximum and the first zero of the intensity point-spread function (psf) [
1]. Since the psf can be expressed in terms of the NDF and the singular functions
, the resolution estimation requires the knowledge of the SVD in closed form.
For a such configuration, unlike the Far [
16] and Fresnel zone [
15], the singular values decomposition cannot be derived in closed form so an alternative approach to evaluating the point-spread function is proposed. This is based on the observation that to find the field over the aperture ensuring a target field profile on the observation domain requires solving an inverse problem. As shown in [
2,
3], this can be achieved by the weighted adjoint inversion method. Such a method consists of approximating the inverse of the radiation operator with its adjoint after performing a pre-filtering step over the data. Such prefiltering type is established by choosing the weighting function in order to obtain a focusing psf. The weighting function can be evaluated easily when the operator is Fourier integral one. Unfortunately, this is not the actual case. However, some phase stationary arguments [
2,
3] can be exploited to re-write the operator as a Fourier integral one. The resulting approximation of the psf is in agreement with the one derived by the SVD, in particular in its main lobe. Accordingly, an estimation for the resolution is given in terms of the configuration parameters and the latter matches the one derived in [
15] when the Fresnel approximation applies.
2. Mathematical Formulation
Consider the circular aperture
A sketched in
Figure 1 consisting of a circle of radius
a and located at
. In the framework of ‘aperture theory’, such an aperture can schematize a source, for example an antenna or a lens illuminated by an incident field, located in the half-space
and radiating a significant field only on
A. Let
be the field over such an aperture, directed along the
plane and
the field radiated by it. If we omit an unessential scalar factor,
is linked to
by the following vectorial equation
where
is the 3D scalar Green function and
k is the free-space wave number. In addition,
denotes the observation point and
the distance between the latter and a point on the aperture
. Suppose that only the components of
in
plane are observed on the
z axis within the observation region ranging from
to
. Then, by expressing the integral in
in terms of cylindrical coordinates
, (
1) becomes
It is evident from (
3) that such a vectorial equation splits into two completely equivalent scalar ones; accordingly, in this paper, we limit to analyze this common scalar problem.
where
and
. Note that for brevity we suppressed the field component indexes. Since the kernel function of integral equation does not depend on
variable,
is defined as the mean value along
of
, that is,
. In operator form, the Equation (
4) becomes
in which
is a linear integral operator acting between the square integrable sets
and
.
Note that the mathematical model in (
3) is equivalent to one derived in [
17] where the electromagnetic description of a refractive axicon lens is provided. In particular, reference [
17] shows that when the lens is illuminated normally by a plane wave uniformly polarized
(with
indicating the state of polarization), the field on the equivalent aperture
is dependent only on
variable and is related to the incidence field by a scalar transformation function
. Such a transformation
describes the features of the lens and its dependence on the
variable is of exponential type. For such a structure, the image segment is formed on the
z axis within the observation region ranging from
to
. Accordingly, the result provided in this paper applies also to this structure.
2.1. Point-Spread Function
Assuming a desired target field profile
on the observation interval
, its best possible approximation
that the aperture shown in
Figure 1 creates, can be estimated as
where
is the point-spread function. This equation makes clear that
is a filtered version of
and the goodness of such filtering depends on the aperture.
Since the compactness of
, its singular system
can be introduced. In particular, the following equations hold
with
being the adjoint operator of
. The
are the singular values ordered in a nonincreasing sequence and repeated according to their multiplicity, and
and
are the singular functions, orthonormal bases for the orthogonal complement of the null space of
and the closure of the Range of
, respectively. According to the theory of the communication modes, an expression for the
can be given in terms of the
where the symbol
is the conjugate and
represents the number of “significant” singular values, that is the
greater than a threshold linked to the desired approximation error.
The compactness of
entails that the
goes to zero. In particular, as can be appreciated from
Figure 2, when
, with
the wavelength, the evanescent contribution can be neglected and the singular values after a starting dynamic decay exponentially in correspondence with the index
N. Such a number is known as the Number of Degree of Freedom and gives a measure of the maximal number of communication modes that are “significantly” connected. Hence, according to the theory of communication mode, only a finite number of modes
N are required to represent the resulting field
. The resolution limit of such an aperture has its mathematical foundation in this equation: indeed
can consist of no finer details (higher spatial frequencies) than those contained in
with
. In order to find the resolution limit, an explicit expression for the
in terms of configuration parameters should be derived. Unfortunately, the singular system of
is not known in closed form, so we need to find an alternative approach that allows us to obtain an approximation of (
8).
In order to address a such purpose, we consider the aperture field
that allows to create
. Its expression is given by
Note that (
9) is the solution of the inverse problem
obtained by exploiting the truncated singular value decomposition (TSVD) as a regularization scheme. This is evident by applying
on (
9) and exploiting the first of (
7).
Accordingly, the matter of the fact is to find an alternative approach that allows obtaining (
9) with the same level of accuracy. As shown in [
2,
3], this can be reached by the weighted adjoint inversion method. It is a filtered backpropagation [
18] and as the TSVD belongs to the class of Tikhonov regularization scheme [
19]. According to such an approach, the
can be expressed as
where
with
as a weighting function. Hence, by applying
on (
10), we obtain
where the resulting
is given by
with
. It is evident that in order to obtain the best possible approximation of
,
h should be chosen in order to ensure that the
is as close as possible to a delta function.
2.2. Estimation of
In order to derive the function
h, we need to re-express (
13) as a Fourier integral operator. To address such a purpose, we introduce the following spectral variable defined as
such as
The function
is continuous and monotonic (hence, invertible)
. Accordingly, integration in
can be replaced with integration in
w, so that (
13) re-writes as
Then by centering the integral in
w and setting
and
one obtains the following expression for (
16)
where the following identity has been observed
with
.
Under the hypothesis that
,
can be approximated with
(evanescent contribution is neglected) and the amplitude term in (
19) is a constant sign function and slowly variant. This entails that the leading order contribution in (
19) occurs for
[
20]. Accordingly, the amplitude factor can be approximated by its value assumed for
(that is
) and the resulting point spread function is
with
. As can be seen, (
21) expresses the point-spread function in terms of both
z and
as a spatially variant band limited function [
21,
22,
23], that is, a function whose bandwidth (
) depends on both
z and
. This
behavior is a distinctive feature of near-zone configuration which has been already observed in literature [
2,
3,
24,
25] and leads to spatially varying resolution.
From (
21), it is evident that the best we can do is to make
as similar as possible to a filtered version of a Dirac delta. Therefore, the weighting function
must be chosen such as to make
, that is
In particular, since
at
is
then
Hence, by choosing
the
becomes
Note that the non oscillating term in (
26)
has been approximated with its values at
. This perfectly accords to the leading term approximation exploited in (
19).
Now, by applying Rayleigh’s criterion, the resolution can be quantified as the half-width of the point-spread function main lobe. For simplicity, we introduce the warping transformation
, such as
[
26,
27] whose expression in terms of
z is
Let
be the distance between the maximum and the first zero of
. It holds that
Returning to variable
z by (
27), the equation (
28) can be rewritten as
where
z and
are the locations in
z of the maximum and the first null of
.
By solving (
29), we obtain
Note that the transformation in (
27) is very similar to the one proposed in [
14] meaning that (
30) works within the region to which the pseudo-Fresnel approximation applies. As can be appreciated the on-axis resolution
is not constant along with the observation domain but it depends on the point location
z. The
becomes low (resolution improves) close to the aperture and increases as
z moves far from it (see
Figure 3). This means that
will not approximate
with the same level of accuracy along the
z axis. In particular, the approximation will be better for the points closer to the aperture while degrades far from it. Such a non-uniform behavior of resolution has already been observed in many recent papers [
2,
3] and it is distinctive to near non-reactive field zone.
The resolution formula (
30) makes clear also the role of radius aperture. As can be appreciated in
Figure 3, resolution improves when
a increases. Finally, it is seen that coherently with classical plane-wave spectrum arguments, as
a approaches
∞ tends to be uniform along with the observation domain and equal to
. Note that the latter is the minimum value of resolution that can be also achieved as
approaches 0. This is clear because we only considered
so that evanescent waves do not play any role.
Moreover, since the latter is the only assumption made on the distance between the aperture and observation domain, (
30) highlights the impact of aperture geometrical parameters on-axis resolution for distances that are below the Fresnel zone. Hence, such a formula includes all the resolution estimations derived in the literature under more restrictive conditions. For example under the Fresnel approximation, that is,
[
28] the following holds
and the Equation (
29) returns
Such formula is in agreement with the one derived in [
15].
Note that in the latter paper (
32) has been derived by estimating the singular system of the operator
in closed form. Here, we are not able to do that, but we exploit an alternative approach that allows obtaining an approximation of psf evaluated in terms of eigenfunctions
. The goodness of such an approximation will be verified numerically in the next section. However, the fact that (
30) under the Fresnel approximation returns the resolution formula derived in [
15] justifies the expectation that (
26) will be in good agreement with (
8).
3. Numerical Analysis
In this section the point spread-functions
and
given by (
26) are compared. Two apertures with different radii are considered. At first, we set
. Note that for such an aperture the Fresnel distance is
.
Accordingly, in
Figure 4 and
Figure 5, the magnitudes of the normalized point spread functions are shown for distances below and comparable to
. In particular, in
Figure 4 the observation domain ranges from
to
, while in
Figure 5 and
. The blue lines refer to
, while the dotted red lines to
for different values of
(in
Figure 4 , in
Figure 5 ). As can be seen, the two curves are in good agreement for both the considered cases; accordingly, (
29) can be exploited to estimate the resolution. In particular, as expected, the main lobe of the point spread function becomes larger as the
increases.
The results concerning the second very large aperture
are shown in
Figure 6. Additionally for this case, the figure shows the magnitudes of the normalized point spread functions for distances below
. In particular, the observation domain ranges from
to
. Again, the blue and red lines overlap very well and as expected, since
, the resolution appears uniform along the observation domain and equal to
.
4. Number of Degree of Freedom Estimation
As is well known, and as we mentioned above, the NDF is a very important parameter. Resolution limits arise because
N is a bounded number. In the theory of communication mode, such a number gives a measure of the maximal number of communication modes that are “significantly” connected [
9]. Hence, it allows obtaining an estimation of information transmitted by the aperture
A to the observation domain. In the framework of antenna synthesis, it identifies the number of independent radiation patterns that the antenna can radiate [
11] or, in general, the dimension of the radiation operator Range [
29]. In array and grid scatterer diagnostics, it suggests the maximum number of elements that can be determined [
10,
30]. Moreover,
N represents the number of independent data [
31], a very relevant parameter that allows controlling the occurrence of local minima in Phase retrieval problem [
32]. It is estimated as the number of more “significant” singular values of the operator describing the problem under concern. However, when the singular values are not known in closed form, as for the case at hand, different approaches can be followed to get an estimation of it. For example, in optics, it is common to estimate the NDF as the number of distinguishable spots that can be realized within a given observation aperture [
33]. By following the same reasoning, here, the NDF is estimated by counting how many non-overlapping point spread function main beams are required to fill the observation domain. Since the observation interval
maps into a new one in
variable
, this approach can be conveniently worked out in the
domain, where the main beam of the point spread function is constant and given by (
28). Accordingly, we obtain
and finally, using (
27),
Of course, (
34) does not in general return an integer value. Therefore, in the following, the NDF is estimated as the lowest integer which is greater than (
34). In
Figure 2, the normalized singular values of
are shown in dB. In both cases, observation domain ranges from
to
, while on left the radius
a is set to
, on right to
. According to such geometrical parameters, (
34) returns 47 and 19 that, as it can be appreciated from the figure, represent the singular value indexes at which the knee occurs.