---
abstract: 'In this paper we continue to study the feasibility of active manipulation of Helmholtz fields and by using an improved and more robust numerical strategy we present a detailed sensitivity analysis for the method proposed in our previous works @DOactivemanipulation,@DO_EP. In this regard, we study the behavior of physically relevant parameters (i.e. source power, control accuracy, stability) with respect to variations in: the type of control regions (bounded or unbounded), relative position of the control regions, distances between the control regions and the source, frequency range and fields to be approximated. We produce strong numerical evidence indicating the accuracy of our scheme and in the same time develop a better understanding of several important challenges for its physical implementation.'
address:
- 'University of Houston, Department of Mathematics and the University of the Philippines Los Baños, Institute of Mathematical Sciences and Physics: ispence@example.com'
- 'University of Houston, Department of Mathematics: ispence@example.com'
- 'University of Houston, Department of Mathematics: ispence@example.com'
author:
- 'Neil Jerome A. Egarguin'
- Daniel Onofrei
- Eric Platt
bibliography:
- 'acousticpaper.bib'
title: Sensitivity analysis for the active manipulation of Helmholtz fields in 3D
---

acoustic control ,inverse source problem ,field synthesis ,sensitivity analysis

Introduction and related results
================================

The active control of Helmholtz fields can be studied using various techniques such as those discussed in @fuller, @peake, @newactr5. Common strategies used in applications include active noise control (see early works @nelson, @olson and @ANC1), sound field reproduction (@kim, @rabenstein, @ahrens1 and monograph @WFS1 with its references) and active acoustic cloaking (see @miller, @AC1, @AC2, @AC3, @AC4, @broadband_vasquez,@active_vasquez and references therein). In @cheer, a comprehensive comparison and analysis of the physical limitations of these approaches was done in the context of acoustic scattering.

Methods of determining active controls for acoustic cloaking based on the Green representation theorem for the Helmholtz equation were proposed in @vasquez and @miller while a construction using generalized Calderon's potentials and boundary projection operators was proposed in @loncaric2 (see also @loncaric where optimization of the sources of the active controls with respect to some quadratic functions of merit was performed).

In recent years many researches in the field focused their efforts on addressing the sound zone problem and its applications to personal audio systems. The goal of such efforts is to design inputs to a loud speaker array so that in a free space divided into several zones, a desired acoustic signature is synthesized in each zone, without affecting the quality of the sound produced in other zones. Among the approaches developed to solve the problem we can recall the use of the weighted pressure matching method presented in @olivieri, energy focusing, field cancellation, and synthesis approaches compared in @coleman, least squares minimization of acoustic control criteria discussed in @cai and modal-domain analysis proposed in @zhang (see also @Cheerps, @Poletti, for a review on strategies for the realization of personal audio zones).

Recently, building up and extending the earlier results presented in @vasquez, in @DOactivemanipulation, @DO_EP (see also @Onofrei-S for the quasistatics case), a novel strategy was developed and discussed for the problem of controlling radiating solutions of the Helmholtz equation in two and three dimensions. More explicitly, our effort is to characterize continuous secondary surface sources for the approximation of desired Helmholtz potentials in prescribed exterior regions of space (possibly including the far field region). The sources we construct , which are modeled in our analysis as continuous boundary data, could then, for their physical implementation, be discretized in monopole or dipole arrays ( see for example @Doicu).

In the same functional framework considered in @DOactivemanipulation and @DO_EP, in @hubenthal_DO the authors present a sensitivity study for the problem of characterizing surface sources with vanishingly small far fields and controllable near fields with numerical simulations in @hubenthal_DO performed only for the two dimensional case.

In this paper, we present a detailed sensitivity study for the problem of three dimensional exterior control of scalar radiating Helmholtz fields explored in @DOactivemanipulation, @DO_EP by analyzing the behavior of relevant physical measures (e.g. source power, control accuracy, stability) with respect to variations in: the type of control regions (bounded or unbounded), relative position of the control regions, distances between the control regions and the exterior source, frequency and fields to be approximated. We note that, the problem considered can be also cast as an inverse source problem and this immediately reveals one of the major challenges we faced: the ill posed character such problems have which was highlighted also in our previous works.

The paper is organized as follows: Section \[theoretical\] provides a discussion of relevant theoretical results obtained in @DOactivemanipulation and @DO_EP while Section \[numframework\] introduces the numerical framework and optimization schemes used in the experiments. Section \[numresults\] presents the results of the sensitivity analysis for two main configurations:

$I.$ almost non-radiating sources with controllable near fields, i.e., radiators which approximate desired Helmholtz potentials in specified near field exterior regions while keeping a very low profile beyond a given fixed radius;

$II.$ sources approximating desired Helmholtz potentials in a collection of specified exterior compact disjoint regions of space.

Sensitivity analysis results for configuration $I.$ above are presented in Subsection \[SSANR\]. Sensitivity analysis results for configuration $II.$ above are presented in Subsection \[SSnull\] for a fixed frequency and in Subsection \[fourier\] for a range of superimposed frequencies. Section \[future\] presents our conclusions and announces some of our future research reports on this subject.

Introduction of the problem {#theoretical}
===========================

In this section we present a general description of the scalar control problem we discuss describing the geometric and functional framework together with several essential theoretical results from @DOactivemanipulation and @DO_EP.

Although our results will apply for any homogeneous isotropic medium and arbitrary number of exterior control regions, for illustrative purposes we consider a free space environment containing a source $D_a \subset \RR^3$ (single compact region) and only two control regions $D_1$ and $D_2$ that are mutually disjoint smooth domains. We require that the control domains and the source are mutually "well separated", i.e. $(D_1\cup D_2)\cap D_a=\emptyset$. Under these assumptions, in what follows we will focus on two geometric configurations, namely: $$\begin{aligned}
&\;i)\;& D_1 \mbox{ bounded}, D_2 \mbox{ bounded},\label{geom}\\
&\;ii)& D_1 \mbox{ bounded}, D_2 = \RR^3\!\setminus\!B_R(\B0),\nonumber\end{aligned}$$ where here and throughout the rest of the paper $B_R(\B0)$ denotes the ball centered in the origin and radius $R$. Also, by convention, throughout the paper we assume an $e^{-i\omega t}$ time dependence of the fields.

Let $u_1$ and $u_2$ be the solutions of the Helmholtz equation in neighborhoods of $D_1$ and $D_2$, respectively. We will sometimes refer to such functions as Helmholtz potentials. Without loss of generality, assuming the source $D_a$ is mathematically modeled as a surface input (i.e., boundary data on $\partial D_a$) we focus on the case when one of the fields $u_1$ or $u_2$ is zero. The main goal is the characterization of boundary inputs (Neumann or Dirichlet data) on the surface of $D_a$ so that the radiating solution of the Helmholtz equation exterior to $D_a$ approximates $u_1$ in $D_1$ and $u_2$ in $D_2$. That is, assuming for exemplification that $u_2=0$, the main question is to characterize the Neumann data $v_n$ (or Dirichlet data $p_b$) on the boundary $\partial D_a$ of $D_a$ such that $$\label{P1a}
\vspace{0.15cm}\left\{\vspace{0.15cm}\begin{array}{llll}
{\Delta}u+k^2u=0 \mbox{ in }\RR^3\!\setminus \!\overline{D}_a\vspace{0.15cm},\\
\nabla u\cdot \Bn=v_n, (\mbox{ or } u=p_b)\mbox{ on }\partial D_a\vspace{0.15cm},\\
\displaystyle\left({\hat{\Bx}},\nabla u(\Bx)\right)\! -\!iku(\Bx)\!=\!o\left(\frac{1}{|\Bx|}\!\right)\!,\mbox{ as }|\Bx|\rightarrow\infty
\mbox{ uniformly for all ${\hat{\Bx}}$, }\end{array}\right.$$ and $$\label{P1b} u \approx u_1 \text{ in } D_1 \text{ and } u \approx u_2=0 \text{ in } D_2,$$ in the sense of smooth norms, (e.g., $C^2$ norms), where here $\Bn$ denotes the outward normal to $\partial D_a$ and here and throughout the rest of the paper ${\hat{\Bx}}=\frac{\Bx}{|\Bx|}$ denotes the unit vector along the direction $\Bx$.

In @DOactivemanipulation, it was shown that under the assumptions and geometric configurations stated above, the problem and admits a solution except for a discrete family of $k$ values. For the rest of the paper we will assume that $k$ will be outside this discrete family. In this context, the existence of an infinite class of smooth functions $w$ characterizing the desired boundary inputs was established in @DOactivemanipulation. More explicitly, for any given smooth domain $D_{a'}$, with $D_{a'} \Subset D_a$, defining $\Bn_\By$ to be the outward normal to $\partial D_{a'}$ at $\By \in D_{a'} $, $\rho$ to be the density of the surrounding medium, $c$ to be the wave speed and $\Phi$ to be the free space fundamental solution of the Helmholtz equation, it was established in @DOactivemanipulation (see also @DO_EP) that there exists an infinity of smooth functions $w$ such that the Neumann data $v_n$ or the Dirichlet data $p_b$ required in problem (\[P1a\]-\[P1b\]) are given respectively by, $$\begin{aligned}
& v_n(\Bx) =&\displaystyle \frac{-i}{\rho c k}\frac{\partial}{\partial\Bn_{\Bx}}\int_{\partial D_{a'}}w(y)\frac{\partial
    \Phi(\Bx,\By)}{\partial \Bn_{\By}}ds_{\By} \text{ and }\label{eqnvn}\\
\nonumber \\ 
& p_b(\Bx)=&\displaystyle \int_{\partial D_{a'}}w(y)\frac{\partial
    \Phi(\Bx,\By)}{\partial \Bn_{\By}}ds_{\By},\label{eqnpb}\end{aligned}$$ for all $\Bx\in\partial D_a$. The utility of the introduction of the fictitious source region $D_{a'}$ is justified in the following two remarks.

\[rem1\] We make the observation here that the real source on the boundary of which the desired inputs $v_n$ or $p_b$ are to be prescribed is $D_a$ while, as it can be observed, for their characterization in , a "fictitious" non-physical domain $D_{a'}$ was used. So while for simplicity and ease of computations it is assumed that $D_{a'}$ is smooth (actually spherical in the present paper) the physical source $D_a$ can have any shape as long as it is Lipschitz, compactly embeds $D_{a'}$, and $(D_1\cup D_2)\cap D_a=\emptyset$ as mentioned above.

\[rem2\] From (\[eqnvn\]) and (\[eqnpb\]), the smoothness of $D_{a'}$ together with the fact that $D_{a'} \Subset D_a$ (where here $\Subset$ denotes compact embedding) implies the smoothness of the boundary inputs $v_n$ and $p_b$ on $\partial D_a$. This makes the minimal assumption that $\partial D_a$ is Lipschitz sufficient for the exterior problem to be well-posed.

The next remark highlights the versatility of our strategy with regards to the type of field propagator employed.

\[rem3\] The boundary inputs given in (\[eqnvn\]) and (\[eqnpb\]) generate a solution $u$ of (\[P1a\]-\[P1b\]) as a double layer potential given by

$$\label{remark3}
    u(\Bx)=\displaystyle \int_{\partial D_{a'}}w(y)\frac{\partial
        \Phi(\Bx,\By)}{\partial \Bn_{\By}}ds_{\By},$$

for all $\Bx\in \RR^3\!\setminus \!{\overline D}_a$. On the other hand, as described in @DO_EP, our analysis permits the characterization of solutions $u$ of (\[P1a\]-\[P1b\]) that are complex linear combinations of single and double layer potentials. This form is efficient when dealing with real wave numbers $k$.

Numerical framework and optimization scheme {#numframework}
===========================================

In this section, we briefly present the numerical framework and optimization scheme we employ in the study of the problems (\[P1a\]-\[P1b\]). We also describe the set-up and parameters used in the numerical simulations. The sensitivity analysis performed later in the paper is based on the optimization scheme described below.

In @hubenthal_DO, the $L^2$-optimization and sensitivity analysis for the solutions of the two-dimensional analog of (\[P1a\]-\[P1b\]) in the case of geometry (\[geom\]-<span>*ii*</span>) showed that a good approximation for a stable solution with minimal power budget is achieved when $D_1$ is very near to $D_a$. Meanwhile, the three-dimensional formulation was solved using the Tikhonov regularization with the Morozov discrepancy principle. Results from @DOactivemanipulation and @hubenthal_DO show that in order to find approximate smooth controls in $D_1$ and $D_2$, it suffices to have $L^2$ controls on the boundaries of slightly larger sets $W_1$ and $W_2$ with $D_1 \Subset W_1$, $D_2 \Subset W_2$, $W_1\cap W_2=\emptyset$ and $(W_1\cup W_2)\cap D_a=\emptyset$. In this regard, solution $u$ can be approximated by the following ansatz $$\mathcal{D}(w_\alpha)(\mathbf{x}) = \eta_{1}\int_{\partial D_{a'}} w_\alpha(\mathbf{y}) \frac{\partial \Phi(\mathbf{x}, \mathbf{y})}{\partial \Bn_{\mathbf{y}}}\,dS_{\mathbf{y}} + i\eta_{2} \int_{\partial D_{a'}} w_\alpha(\mathbf{y}) \Phi(\mathbf{x},\mathbf{y})\,dS_{\mathbf{y}}, \label{uapprox}$$ where $\eta_{1}, \eta_{2} \in \mathbb{R}$ are fixed parameters indicating the weight assigned to the double and single layer potential terms. The function $w_\alpha$ is the Tikhonov regularization solution, i.e., the minimizer of the discrepancy functional, $$F(w)=\frac{1}{\|w\|_{L^{2}(\partial D_{a})}^{2}}\| \mathcal{D}(w) - u_1\|_{L^{2}(\partial W_{1})}^{2} + \mu\|\mathcal{D}(w)\|_{L^{2}(\partial W_{2})}^{2} + \alpha\|w\|_{L^{2}(\partial D_{a'})}^{2}, \label{eq:tikhonovobjective}$$ with the regularization parameter $\alpha$ (computed following the Morozov Discrepancy principle) representing the penalty weight for the power required by the solution and with the weight $\mu$ given by $$\mu=\left\{\begin{array}{lll}
\label{mu}
1, & \mbox{ if } D_2 \mbox{ is bounded }\\
\frac{1}{4\pi R^2}, & \mbox{ if } D_2 =\RR^3\setminus B_R(\B0)
\end{array}\right.,$$ where, here and further in the paper, $B_R(\B0)$ denotes the ball centered on the origin with a large enough radius $R$ such that $D_a\cup W_1\Subset B_R(\B0)$.

Numerical simulations for the synthesis of the prescribed patterns on the regions $D_1$ and $D_2$ are performed using the spherical harmonics decomposition of $w_\alpha$ with $L$ harmonic orders, i.e., $$\label{density}
w_\alpha(\By)=\sum_{l=0}^{L}\sum_{p=-l}^{l}\alpha_{pl} Y_l^p({\hat{\By}}), \mbox{for }\By\in\partial D_{a'}$$ for different prescribed values of $L$, where $Y_l^p$ above form the orthonormal family of spherical harmonics as considered in (@Colton-Kress, Chapter 2., @stegun). For illustrative purposes we assumed in the numerics that the fictitious source , i.e., $D_{a'}$ above, is a single sphere $B_{a'}(\B0)$ with $a'=0.01m$ discretized into 20, 000 points with 200 by 100 equidistant azimuthal and polar increments, respectively. Unless stated otherwise, for the initial geometries described in (\[geom\]), the near field or primary control region $D_1$ is defined as: $$\label{D1}
D_1=\left \{(r,\theta, \phi) : r \in [0.011,0.015], \theta \in \left [-\frac{\pi}{4}, \frac{\pi}{4} \right ] , \phi \in \left [\frac{3\pi}{4}, \frac{5\pi}{4} \right] \right   \},$$ and, for configuration described at (\[geom\]-<span>*i*</span>), $D_2$ is a secondary bounded control region defined by $$\label{D2_secondary}
D_2\!=\!\left \{\!(r,\theta, \phi) : r \!\in \![0.011,0.015], \theta \in \left [-\frac{\pi}{4}, \frac{\pi}{4} \right ] , \phi \in \left [\frac{7\pi}{4}, 2\pi\right]\!\cup\!\left[0,\frac{\pi}{4} \right]  \!\right \} \!+ \!(0.09,0,0).$$ while for the configuration introduced at (\[geom\]-<span>*ii*</span>) it is given by, $$\label {D2_farfield} D_2= \mathbb R^3 \setminus B_{10}(\B0).$$

In @DO_EP, the method of moments together with the Tikhonov regularization procedure with Morozov discrepancy principle were used towards a solution for the above problems. Specialized Gauss - Legendre quadrature procedures were employed to numerically compute the moments represented by ${\cal{D}}(Y_l^p)$, where ${\cal{D}}$ is the integral operator propagator defined at . This strategy proved to be very sensitive near the source and cost inefficient when attempting to use more harmonic orders in the description of the density function $w_\alpha$ or perform a time domain simulation through related Fourier synthesis.

For the current research effort we developed a more direct approach where the moments ${\cal{D}}(Y_l^p)$ (with ${\cal{D}}$ defined at ) are evaluated explicitly by employing a truncated series obtained by making use of the addition theorem for the representation of the fundamental solution $\Phi(\mathbf{x}, \mathbf{y})$. More explicitly, from the addition theorem (@Colton-Kress, Chapter 2) we have, $$\label{addition}
\Phi(\Bx,\By)=ik\sum_{n=0}^{\infty}\sum_{m=-n}^{n}h_n^{(1)}(k|\Bx|)Y_n^m({\hat{x}})j_n(k|\By|){\overline {Y_n^m({\hat{y}})}},$$ where $h_n^{(1)}, j_n$ are the spherical Haenkel of first kind and spherical Bessel functions of order $n$ (@Colton-Kress, Chapter 2, see also @watson and @stegun) and where $Y_n^m$ form the orthonormal family as above in . Then, considering the expansion for $w_\alpha$ defined in together with and orthogonality of the spherical harmonics we obtain, $$\begin{aligned}
& \displaystyle \int_{\partial D_{a'}}w_\alpha(\By)\frac{\partial
    \Phi(\Bx,\By)}{\partial \Bn_{\By}}ds_{\By}=& ik^2{a'}^2\sum_{l=0}^{L}\sum_{p=-l}^{l}\alpha_{pl}j'_lk(|\Bx|)h_l^{(1)}(k|\Bx|)Y_l^p({\hat{\Bx}}),\label{eqnddl}\\
\nonumber \\ 
& \displaystyle \int_{\partial D_{a'}}w_\alpha(\By)
    \Phi(\Bx,\By)ds_{\By}=& ik{a'}^2\sum_{l=0}^{L}\sum_{p=-l}^{l}\alpha_{pl}j_l(k|\Bx|)h_l^{(1)}(k|\Bx|)Y_l^p({\hat{\Bx}}).\label{eqndsl}\end{aligned}$$

Expressions and are then used in the regularization routine for a much faster and more accurate computational tool to perform our current sensitivity analysis.

Numerical results and sensitivity analysis {#numresults}
==========================================

In this section, we present the sensitivity results obtained using the scheme discussed in the preceding sections. We consider two major geometries:

<span>*i*) Sources approximating a prescribed Helmholtz potential in $D_1$ defined at with very low field amplitudes in $D_2= \mathbb R^3 \setminus B_{10}(\B0)$</span>, (i.e., exterior of the ball of radius $10$m).

For the case when the source is geometrically modeled as a single compact region, we considered the problem and and addressed the sensitivity of the control results with respect to the size of $D_1$ and its distance from the fictitious source $D_{a'}$.

<span>*i*i) Sources approximating a prescribed Helmholtz potential in $D_1$ defined at and another prescribed Helmholtz potential in $D_2$ defined at .</span>

For this geometry, we assume the source modeled geometrically as a single compact region and for the problem and we perform sensitivity analysis of the control scheme with respect to the relative position of the two control regions $D_1$ and $D_2$. We also study the sensitivity of our control scheme when a small amplitude field is generated in the near field region $D_1$ and a plane wave is approximated in region $D_2$ (i.e., problem and with $u_1=0$). We conclude the discussion for this geometry with the sensitivity analysis with respect to frequency and simulate, through a Fourier synthesis procedure, a time-domain source approximating an outgoing pulse in region $D_1$ and a null in region $D_2$.

Our sensitivity analysis will consider the behavior of the following physically relevant quantities with respect to various specified geometrical parameters: $||w_\alpha||_{L^2(\partial D_{a'})}$ as an indicator of the overall power on the source, stability of the solution $w_\alpha$ (see definition below), $L^2$ and $L^\infty$ relative error (i.e., relative difference in the respective norms) in region where we approximate a plane wave and absolute $L^2$ and respectively $L^\infty$ error in the null region (error computed on $\partial D_2$ when $D_2= \mathbb R^3 \setminus B_{10}(\B0)$). The stability measure is the $L^2$ relative norm of the difference of antenna density patterns: $$\label{sensitivity_measure} S(w, w_\epsilon)= \dfrac{\|w_\alpha-w_{\alpha_\epsilon}\|_{L^2(\partial D_{a'})}}{\|w_\alpha\|_{L^2(\partial D_{a'})}},$$ where $w_{\alpha_\epsilon}$ is the solution of problem , with noise of magnitude $\epsilon$ in the data $u_1,u_2$. In this paper, our noise is modeled as a uniformly distributed additive perturbation of order $\epsilon$.

Unless otherwise specified, each single-source sensitivity test was performed on two synthesis results: one with 15 and another with 30 harmonic orders used in .

Almost non-radiating source with controllable near field {#SSANR}
--------------------------------------------------------

In the following tests, we consider a single almost non-radiating source $D_a$ containing the following fictitious region $D_{a'}=B_{0.01}(\B0)$, i.e., a sphere centered at the origin and with radius $1cm$. We also consider the near control region $D_1$ as defined in where we match an <span>*incoming*</span> plane wave $u_1(\Bx)= e^{i\Bx \cdot (10 \hat {\Be}_1)}$ propagating along the positive $x$-axis (i.e. towards the source $D_a$), with $\hat {\Be}_1=\langle 1, 0, 0\rangle$ and the wave number $k=10$, and the far field region the exterior of a ball centered at the origin of radius $10m$, i.e., $D_2= \mathbb R^3 \setminus B_{10}(\B0)$ given in , where we maintain a near zero signature i.e., $u_2 (\Bx) \approx 0$. This initial geometry is shown in Figure \[initial\].

![Initial geometry for the sensitivity experiments with an almost non-radiating single source.<span data-label="initial"></span>](initialgeom.png)

We recall that as stated above and proved in @DOactivemanipulation our method is such that only good boundary controls are needed for smooth interior controls. In this spirit, in Sections \[var1\], \[var2\], \[var3\], the boundary of region $D_1$ is uniformly discretized into 2,400 points while the far field boundary, i.e., $\partial D_2=\partial B_{10}(\B0)$ is uniformly discretized with 20,000 points with 200 in the azimuthal and 100 in the polar direction respectively.

This geometry was considered in @DO_EP where we obtained a density $w_\alpha$ on $D_{a'}$ (and also necessary boundary inputs as a consequence of and ) so that the relative control error in the region $D_1$ was of order $O(10^{-3})$ while maintaining field values of $O(10^{-3})$ in $D_2$. Recalling the ansatz for the propagating field described above at in @DO_EP we produced numerical support showing the optimal density $w_\alpha$ in exhibiting maximum values of order $O(10^5)$ and small and fast oscillations on the side facing $D_1$ with large and slower oscillation on the opposite side and at the poles.

Recently, with the current updated scheme we can accurately compute and evaluate the surface field pattern on any nearby surfaces surrounding $D_1$. Also, as suggested in Remark \[rem1\] the actual physical source boundary $\partial D_a$ can be chosen as one needs as long as $D_a$ compactly embeds $D_{a'}$ and $(D_1\cup D_2)\cap D_a=\emptyset$. For example, in the case when the actual physical source is chosen to be the nearby sphere centered in the origin and radius $a=0.015cm$, i.e., $D_a=B_{0.0105}(\mathbf 0)$ the Dirichlet boundary input required for the desired control level is, as showed in , the restriction of the field $u(\Bx)$ described at to $\partial B_{0.0105}(\mathbf 0)$ and is shown in Figure \[kw\_anr\].

<span><span>0.425</span></span> ![Different views of the surface field pattern on the actual source $\partial B_{0.0105}(\mathbf 0)$.<span data-label="kw_anr"></span>](k10h30F10_antTest_u_front4.pdf "fig:"){width="140.00000%"} \[kw\_anr\_front\]

<span><span>0.425</span></span> ![Different views of the surface field pattern on the actual source $\partial B_{0.0105}(\mathbf 0)$.<span data-label="kw_anr"></span>](k10h30F10_antTest_u_back.pdf "fig:"){width="\textwidth"} \[kw\_anr\_front\]

<span><span>0.4750</span></span> ![Different views of the surface field pattern on the actual source $\partial B_{0.0105}(\mathbf 0)$.<span data-label="kw_anr"></span>](k10h30F10_antTest_u_angle.pdf "fig:"){width="\textwidth"} \[kw\_anr\_angle\]

As one can observe in this picture, the surface pattern necessary on the physical source $D_a=B_{0.0105}(\mathbf 0)$ for the desired control effect, i.e., approximation of an incoming plane wave pattern in $D_1$ with very low field values in $D_2$, exhibits a similar behavior as was recalled above about the respective density $w_\alpha$ (high and fast oscillations on the side opposite to region $D_1$ (back side in the figure) with small and faster oscillations on the side facing $D_1$ (front side in the figure)). The important difference is that the required power on $\partial B_{0.0105}(\mathbf 0)$ would be a few orders of magnitude smaller then $||w_\alpha||_{L^2}$ (which is $O(10^{5})$ as shown in Figure \[rotantnorm\]) and has less complexity in the pattern with much smaller contrast in the level of oscillations throughout its surface. This is another fact which motivates us to believe that an optimal shape design for the actual source boundary could lead to a less challenging source pattern required for a good control.

### Varying the distance of the near control {#var1}

The first test of our sensitivity analysis considers the dependence of our scheme (i.e., focusing on physical quantities defined above in the beginning of Section \[numresults\]) on the distance between $D_1$ and $D_{a'}$. Two iterations of this experiment are shown in Figure \[varyingdistance\]. $D_1^*$ is the near control region after an outward shift from the antenna.

![The near control region after an outward shift from the source.<span data-label="varyingdistance"></span>](varyingdistance.png)

In what follows in this subsection, in each figure, the sensitivity plots are presented as function of the distance between $D_1$ and $D_{a'}$, first up to a distance of $0.025m$ (left plot) and then going further to a distance of $0.28m$ (right plot).

In Figure $\ref{2.42}$, the $L^2$ norm of the density $w_\alpha$ is shown as a function of the distance between $D_1$ and $D_{a'}$. This quantity is an indication of the source power and it can be seen that it is bigger for the larger number of harmonics but in both scenarios (i.e., 15 or 30 harmonic orders) grows exponentially.

<span><span>0.4750</span></span> ![$L^2$ norm of the source density $w_\alpha$ as a function of the distance between $D_1$ and $D_{a'}$. <span data-label="2.42"></span>](data_anr_rightplaneD_shift_001_antNorm_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hShift001\_antnorm\]

<span><span>0.4750</span></span> ![$L^2$ norm of the source density $w_\alpha$ as a function of the distance between $D_1$ and $D_{a'}$. <span data-label="2.42"></span>](data_anr_rightplaneD_shift_010_antNorm_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hShift01\_antnorm\]

<span><span>0.4750</span></span> ![Relative supremum error in $D_1$ as a function of the distance between $D_1$ and $D_{a'}$<span data-label="2.44"></span>](data_anr_rightplaneD_shift_001_nearSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hShift001\_nearsup\]

<span><span>0.4750</span></span> ![Relative supremum error in $D_1$ as a function of the distance between $D_1$ and $D_{a'}$<span data-label="2.44"></span>](data_anr_rightplaneD_shift_010_nearSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hShift01\_nearsup\]

<span><span>0.4750</span></span> ![Absolute supremum error on $\partial D_2$ as a function of the distance between $D_1$ and $D_{a'}$<span data-label="2.45"></span>](data_anr_rightplaneD_shift_001_farSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hShift001\_farsup\]

<span><span>0.4750</span></span> ![Absolute supremum error on $\partial D_2$ as a function of the distance between $D_1$ and $D_{a'}$<span data-label="2.45"></span>](data_anr_rightplaneD_shift_010_farSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hShift01\_farsup\]

<span><span>0.4750</span></span> ![Stability of the scheme as a function of of the distance between $D_1$ and $D_{a'}$.<span data-label="2.46"></span>](data_anr_rightplaneD_shift_001_relStab_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hShift001\_relstab\]

<span><span>0.4750</span></span> ![Stability of the scheme as a function of of the distance between $D_1$ and $D_{a'}$.<span data-label="2.46"></span>](data_anr_rightplaneD_shift_010_relStab_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hShift01\_relstab\]

Figure \[2.44\] shows the relative supremum error in $D_1$ and Figure \[2.45\] shows the absolute supremum error on $\partial D_2$. In Figure \[2.46\] we present our results concerning the stability of the scheme with respect to the distance between $D_1$ and $D_{a'}$.

We observe that the accuracy error in $D_1$ is better in the vicinity of the source but remains of order $O(10^{-2})$ throughout. On the other hand the far field absolute supremum error reaches undesirable levels when $D_1$ and $D_{a'}$ are at distances greater then $15$cm. Overall, except the near field when more harmonic orders produce a better accuracy we observe that the number of harmonics used does not seem to make a difference in the scheme behavior. In the same time the stability is worse when $D_1$ is in the vicinity of the source with the observation that the scheme is more stable when less harmonic orders are used.

As a conclusion, for this sensitivity test, there seem to be a competition between accuracy and stability depending on the number of harmonics being used and the distance between $D_1$ and the fictitious source $D_{a'}$. We mention that in applications where the field to be approximated in region $D_1$ is prescribed a priori the stability analysis may not be so relevant but what may be challenging for a practical realization is the synthesis of a radiator with the complexity suggested by our simulations. As we suggested above, based on Remark \[rem1\], in order to better address the source synthesis challenge one could employ optimization procedures for finding the best possible shape for the physical source $D_a$ or one could consider different penalty functionals in the optimization scheme.

### Varying the outer radius of the near control {#var2}

In the next test of our sensitivity analysis, we consider the behavior of the above physically important quantities (see beginning of Section \[numresults\]) with respect to increments of the outer radius of the sectorial near control region $D_1$ described at while the distance between $D_1$ and the source is kept fixed.

![The initial near control $D_1$ and an iterate $D_1^*$ after increasing the outer radius. <span data-label="varyingouterrad"></span>](varyingouterrad.png)

Figure \[varyingouterrad\] shows an iterate $D_1^*$ of the near control after an increase in the outer radius. Figure \[2.47-2.48\] shows the $L^2$ norm of the density $w_\alpha$ as a function of the increments in $D_1$ outer radius. We can observe that a larger $||w_\alpha||_{L^2}$ is required for the 30 harmonic orders as expected. Also, since $||w_\alpha||_{L^2}$ is an indicator of the source power, it can be seen that for larger control regions the power will tend to grows exponentially at approximately the same rate regardless of the number of harmonics used.

<span><span>0.4750</span></span> ![ $L^2$ norm of the source density $w_\alpha$ as a function of the increments in $D_1$ outer radius.<span data-label="2.47-2.48"></span>](data_anr_rightplaneD_outer_001_antNorm_30.pdf "fig:"){width="\textwidth"} \[2.47\]

<span><span>0.4750</span></span> ![ $L^2$ norm of the source density $w_\alpha$ as a function of the increments in $D_1$ outer radius.<span data-label="2.47-2.48"></span>](data_anr_rightplaneD_outer_010_antNorm_30.pdf "fig:"){width="\textwidth"} \[2.48\]

In Figure \[2.49-2.50\] and Figure \[2.49-2.50-far\] one can observe that the relative supremum error in region $D_1$ and the absolute supremum error on $\partial D_2$ are of order $O(10^{-3})$ in the vicinity of the source and then reach order $O(10^{-2})$ (outer radius approximatively $2.5$cm) and grow to reach undesirable values when the region of control $D_1$ gets larger (outer radius approximatively $15$cm). This fact suggest the necessity of more harmonics to be used for greater accuracy in the context of larger control regions.

<span><span>0.4750</span></span> ![Relative supremum error in $D_1$ as a function of the increments in $D_1$ outer radius.<span data-label="2.49-2.50"></span>](data_anr_rightplaneD_outer_001_nearSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hOuterR001\_nearsup\]

<span><span>0.4750</span></span> ![Relative supremum error in $D_1$ as a function of the increments in $D_1$ outer radius.<span data-label="2.49-2.50"></span>](data_anr_rightplaneD_outer_010_nearSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hOuterR001\_farsup\]

<span><span>0.4750</span></span> ![Absolute supremum error on $\partial D_2$ as a function of the increments in $D_1$ outer radius.<span data-label="2.49-2.50-far"></span>](data_anr_rightplaneD_outer_001_farSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hOuterR001\_nearsup\]

<span><span>0.4750</span></span> ![Absolute supremum error on $\partial D_2$ as a function of the increments in $D_1$ outer radius.<span data-label="2.49-2.50-far"></span>](data_anr_rightplaneD_outer_010_farSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hOuterR001\_farsup\]

Figure \[2.51\] shows the stability getting better when region $D_1$ gets larger. Notice also that the 15 harmonic order-configuration exhibited better stability even though it is less accurate. Using higher harmonic orders remains stable while maintaining accurate results. Again, as we mentioned above, for applications where the field to be approximated in $D_1$ is a priori known the stability is not an important issue but the complexity of the source to be synthesized remains a challenge which could be mitigated as we suggested at the end of Section \[var1\].

<span><span>0.4750</span></span> ![Stability measure as a function of the increments in $D_1$ outer radius.<span data-label="2.51"></span>](data_anr_rightplaneD_outer_001_relStab_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hOuterR001\_relstab\]

<span><span>0.4750</span></span> ![Stability measure as a function of the increments in $D_1$ outer radius.<span data-label="2.51"></span>](data_anr_rightplaneD_outer_010_relStab_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hOuterR01\_relstab\]

### Varying both the inner and outer radius of the near control {#var3}

The following results show the effect of increasing both the inner and outer radius of the near control, i.e, simultaneously moving the front and back sides of the near control away from the source. The increments in both radii are always kept equal. Figure \[varyingbothradii\] illustrates two iterates $D_1$ and $D_1^*$ in this set of experiments.

![The initial near control $D_1$ and an iterate $D_1^*$ after increasing both the inner and outer radii by equal increments. <span data-label="varyingbothradii"></span>](varyingbothradii.png)

Figure \[2.52\] shows the $L^2$ norm of the density $w_\alpha$ as a function of the increments in both of $D_1$'s radii. As in the other cases discussed above, we observe that it grows exponentially with bigger values for more harmonics until the region is larger and further away where its value stabilizes for the two levels of harmonic orders used.

<span><span>0.4750</span></span> ![$L^2$ norm of the source density $w_\alpha$ as a function of the $D_1$ radii increment.<span data-label="2.52"></span>](data_anr_rightplaneD_both_001_antNorm_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hBothR001\_antnorm\]

<span><span>0.4750</span></span> ![$L^2$ norm of the source density $w_\alpha$ as a function of the $D_1$ radii increment.<span data-label="2.52"></span>](data_anr_rightplaneD_both_010_antNorm_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hBothR01\_antnorm\]

Again, the use of 15 harmonic orders produced less accurate results. In this regard, Figure \[2.54\] shows the plots of the relative supremum errors in $D_1$. The relative supremum error in $D_1$ are of order $O(10^{-3})$ for the first increments and remains below $10^{-2}$ when the radii increments are less than $10$cm reaching undesirable levels for larger radii increments. Figure \[2.55\] shows that over the entire range of increments used, the absolute supremum error in the far field stays of order $O(10^{-3})$ as long as the radii increments are less than $8$cm and reaches order $O(10^{-2})$ afterwards.

<span><span>0.4750</span></span> ![Relative supremum error as a function of $D_1$ radii increment. <span data-label="2.54"></span>](data_anr_rightplaneD_both_001_nearSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hBothR001\_nearsup\]

<span><span>0.4750</span></span> ![Relative supremum error as a function of $D_1$ radii increment. <span data-label="2.54"></span>](data_anr_rightplaneD_both_010_nearSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hBothR01\_nearsup\]

<span><span>0.4750</span></span> ![Absolute supremum error on $\partial D_2$ as a function of $D_1$ radii increment.<span data-label="2.55"></span>](data_anr_rightplaneD_both_001_farSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hBothR001\_farsup\]

<span><span>0.4750</span></span> ![Absolute supremum error on $\partial D_2$ as a function of $D_1$ radii increment.<span data-label="2.55"></span>](data_anr_rightplaneD_both_010_farSup_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hBothR01\_farsup\]

The stability measure is shown in Figure \[2.56\]. Notice that as the stability gets better with larger increments in the region size and distance from source.

<span><span>0.4750</span></span> ![Stability measure as a function of $D_1$ radii increment.<span data-label="2.56"></span>](data_anr_rightplaneD_both_001_relStab_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hBothR001\_relstab\]

<span><span>0.4750</span></span> ![Stability measure as a function of $D_1$ radii increment.<span data-label="2.56"></span>](data_anr_rightplaneD_both_010_relStab_30.pdf "fig:"){width="\textwidth"} \[chart:anr10hBothR01\_relstab\]

Multi region controls {#SSnull}
---------------------

In the next set of tests, we consider problem , for the configuration described in (\[geom\]-i) with a single fictitious source $D_{a'}=B_{0.01}({\mathbf{0}})$ and two compact control regions $D_1$ and $D_2$ (see Figure \[doubleregion\]). For the initial geometry in our tests the primary control region $D_1$ is defined as before $$\label{D1'}
D_1=\left \{(r,\theta, \phi) : r \in [0.011,0.015], \theta \in \left [-\frac{\pi}{4}, \frac{\pi}{4} \right ] , \phi \in \left [\frac{3\pi}{4}, \frac{5\pi}{4} \right] \right   \}$$ while the secondary control region $D_2$ is given by $$\label{}
D_2\!=\!\left \{\!(r,\theta, \phi) : r \!\in \![0.011,0.015], \theta \in \left [-\frac{\pi}{4}, \frac{\pi}{4} \right ] , \phi \in \left [\frac{7\pi}{4}, 2\pi\right]\!\cup\!\left[0,\frac{\pi}{4} \right]  \!\right \} \!+ \!(0.09,0,0).$$ As before, we mention that in our method only boundary controls are needed to imply smooth interior controls. The first question we address is the possibility to approximate the outgoing plane wave $u_1(\Bx)=e^{i\Bx \cdot (-10 \hat {\Be}_1)}$ in $D_1$ while imposing a small field in $D_2$. For this problem and the subsequent sensitivity tests the boundaries of the two regions are uniformly discretized with 2,400 points each.

![The initial geometry for the multi region controls.<span data-label="doubleregion"></span>](doubleregion.png)

As in Remark \[rem1\], we recall that the actual physical source boundary is only constrained by the condition to embed the fictitious source and to have an empty intersection with $D_1\cup D_2$ and that, as it can be seen in , the required boundary input on the physical source $D_a$ will be ${\cal D}(w_\alpha)$ restricted to $\partial D_a$. Thus, if for instance the real source $D_a$ is chosen to be the sphere $B_{0.0105}(\mathbf 0)$ then Figure \[kw\_double\] shows the necessary pattern required on $\partial D_a$ for a good control in $D_1$ and $D_2$. As observed before for the configuration (\[geom\]-ii) discussed in Section \[SSANR\], we can see in Figure \[kw\_double\] that the magnitude of the required boundary input on the real source $\partial B_{0.0105}(\mathbf 0)$ is a few orders smaller then the magnitude of the density $w_\alpha$ (which is $O(10^{5})$ as shown in Figure \[rotantnorm\] below) and has less complexity in the pattern. This once more supports our claim that one could search and find an actual source boundary around the fictitious domain $D_{a'}$ so that while it does not intersect $D_1\cup D_2$ it is such that the boundary input required on it needs less power for its instantiation and presents a lower level of complexity in its pattern.

<span><span>0.425</span></span> ![Different views of the surface field pattern on $\partial B_{0.0105}$.<span data-label="kw_double"></span>](k10h30_double_antTest_u_front4.pdf "fig:"){width="140.00000%"} \[kw\_double\_front\]

<span><span>0.425</span></span> ![Different views of the surface field pattern on $\partial B_{0.0105}$.<span data-label="kw_double"></span>](k10h30_double_antTest_u_back.pdf "fig:"){width="\textwidth"} \[kw\_double\_front\]

<span><span>0.4750</span></span> ![Different views of the surface field pattern on $\partial B_{0.0105}$.<span data-label="kw_double"></span>](k10h30_double_antTest_u_angle.pdf "fig:"){width="\textwidth"} \[kw\_double\_angle\]

Next we will present the sensitivity of our scheme with respect to relative positions between the two control regions. In this regard, Figure \[varyingposition\] shows the geometry of two iterations. In each iteration, $D_1$ is fixed while we vary the position of $D_2$ via counterclockwise rotation about $D_a$.

![Illustration of two iterations showing the secondary region rotated around $D_a$.<span data-label="varyingposition"></span>](varyingposition.png)

Figure \[rotantnorm\] shows the $L^2$ - norm of the density $w_\alpha $, as a function of the angle of rotation. We can observe that its levels remain of order $O(10^6)$ for the entire rotation spectrum.

![$L^2$ norm of $w_\alpha$ as a function of the secondary region's angle of rotation.<span data-label="rotantnorm"></span>](data_double_leftplaneD_rot_antNorm_100.pdf)

Figure \[rotnearfielderr\] show the relative $L^2$ and respectively relative supremum error in region $D_1$. The performance is good with largest relative error for a 180 degree rotation but still of order $O(10^{-2})$.

<span><span>0.4750</span></span> ![Accuracy errors in $D_1$<span data-label="rotnearfielderr"></span>](data_double_leftplaneD_rot_nearRel_100.pdf "fig:"){width="\textwidth"} \[chart:anr10hBothR001\_rotnearrel\]

<span><span>0.4750</span></span> ![Accuracy errors in $D_1$<span data-label="rotnearfielderr"></span>](data_double_leftplaneD_rot_nearSup_100.pdf "fig:"){width="\textwidth"} \[chart:anr10hBothR01\_rotnearsup\]

Figure \[rotfarfielderr\] shows a small field generated in region $D_2$ as desired. One can see that the contrast between the field in region $D_1$ and the small field in region $D_2$ remains between approximately $40dB$ and $60dB$ with better performance for the case with more harmonic orders (where we use the $20\log_{10}$ convention for computing the decibel (dB) level).

![Supremum error in $D_2$ as a function of its angle of rotation.<span data-label="rotfarfielderr"></span>](data_double_leftplaneD_rot_farSup_100.pdf "fig:") \[chart:farsup\]

The stability measure is plotted in Figure \[rotstab\]. It tends to decrease as the angle of rotation approaches $\pi$ where it is below $10^{-1}$.

![Stability measure as a function of the secondary region's angle of rotation.<span data-label="rotstab"></span>](data_double_leftplaneD_rot_relStab_100.pdf)

We continue our sensitivity analysis with another important test. That is, we study the accuracy of our scheme in the context of problem , for the same configuration described at (\[geom\]-i) with one fictitious source $D_{a'}=B_{0.01}({\mathbf{0}})$ and two compact control regions $D_1$ and $D_2$ described below and sketched in Figure \[obstacleregion\], $$\label{}
D_1=\left \{(r,\theta, \phi) : r \in [0.011, 0.015], \theta \in \left [-\frac{\pi}{8}, \frac{\pi}{8} \right ] , \phi \in \left [\frac{3\pi}{4}, \frac{5\pi}{4} \right] \right   \} +(-0.03,0,0)$$ and $$\label{}
D_2=\left \{(r,\theta, \phi) : r \in [0.011,0.015], \theta \in \left [-\frac{\pi}{8}, \frac{\pi}{8} \right ] , \phi \in \left [\frac{3\pi}{4}, \frac{5\pi}{4} \right]\right \} + (-0.1,0,0)$$

![Sketch of the geometry where $D_1$ is acting as a near field obstacle to $D_2$.<span data-label="obstacleregion"></span>](obstacleregion_same_size.png)

The novelty of the test consist in the fact that now we consider $u_1=0$ and $u_2(\Bx)=e^{i\Bx \cdot (-10 \hat {\Be}_1)}$ in problem , , i.e., we approximate an outgoing plane wave in region $D_2$ while having a very small field in the near field region $D_1$. This geometry is relevant for applications where the objective is to focus energy or communicate behind a near field obstacle. For this simulation we used 2400 control points on $\partial D_1$ and 38400 control points on $\partial D_2$.

The overall performance of our scheme is shown in Figure \[double\_obs\]. We can see the accuracy of the control in region $D_1$ with relative supremum error of order $O(10^{-2})$ and with small fields in region $D_2$ as desired. The contrast between the quiet region $D_2$ and the other control region $D_1$ is in this case over $40dB$. Our numerics suggest that more harmonics and more control points in the two control regions can allow us to extend these results to the situation when region $D_2$ is larger and when region $D_1$ is much closer to the source.

<span><span>0.4750</span></span> ![Performance of the scheme in generating a null in $D_1$ and a plane wave in $D_2$.<span data-label="double_obs"></span>](k10h40_A10_4e-1_B3_4e-1_Af.jpg "fig:"){width="\textwidth"}

<span><span>0.4750</span></span> ![Performance of the scheme in generating a null in $D_1$ and a plane wave in $D_2$.<span data-label="double_obs"></span>](k10h40_A10_4e-1_B3_4e-1_Au2.jpg "fig:"){width="\textwidth"}

<span><span>0.4750</span></span>

![Performance of the scheme in generating a null in $D_1$ and a plane wave in $D_2$.<span data-label="double_obs"></span>](k10h40_A10_4e-1_B3_4e-1_Ae.jpg){width="\textwidth"}

<span><span>0.4750</span></span>

![Performance of the scheme in generating a null in $D_1$ and a plane wave in $D_2$.<span data-label="double_obs"></span>](k10h40_A10_4e-1_B3_4e-1_Bu.jpg){width="\textwidth"}

Figure \[obs-pattern\] presents the required pattern on the actual source $D_a$ in the particular example when $D_a=B_{0.0105}({\mathbf{0}})$. The front picture refers to the part of the surface facing the control regions, the back picture shows the opposite part of the surface and the side plot presents a panoramic view of the surface pattern. We can see that the required surface pattern is much simpler and without a large variation in the field oscillation as it was the case for the geometry (\[geom\]-ii) considered in Section \[SSANR\].

<span><span>0.425</span></span> ![Different views of the surface field pattern on $\partial B_{0.0105}({\mathbf{0}})$<span data-label="obs-pattern"></span>](k10h40_A10_4e-1_B3_4e-1_antTest_u_front1.jpg "fig:"){width="\textwidth"} \[kw\_double\_front\]

<span><span>0.425</span></span> ![Different views of the surface field pattern on $\partial B_{0.0105}({\mathbf{0}})$<span data-label="obs-pattern"></span>](k10h40_A10_4e-1_B3_4e-1_antTest_u_back1.jpg "fig:"){width="\textwidth"} \[kw\_double\_front\]

<span><span>0.4750</span></span> ![Different views of the surface field pattern on $\partial B_{0.0105}({\mathbf{0}})$<span data-label="obs-pattern"></span>](k10h40_A10_4e-1_B3_4e-1_antTest_u_side1.jpg "fig:"){width="\textwidth"} \[kw\_double\_angle\]

Based on the previous analysis, by superposition, we could in principle predict a good accuracy for our scheme for the case of approximating multiple prescribed Helmholtz potentials in given mutually disjoint exterior regions.

Fourier synthesis {#fourier}
-----------------

In this section we consider again problem , for the configuration described in (\[geom\]-i) with a single fictitious source $D_{a'}=B_{0.01}({\mathbf{0}})$ and two compact control regions $D_1$ and $D_2$ (see Figure \[doubleregion\]) and perform a Fourier synthesis test to better understand the sensitivity of our scheme with respect to the frequency change. Thus, we present an example of a time domain synthesis result obtained by superposition of inverse problem solutions for different wave numbers. Each individual inverse problem solution was obtained using the algorithm described in Section \[numframework\]. These solutions were collected and used to determine the required Fourier coefficients to match a prescribed time domain pattern.

In the numerical simulations below, 21 equally spaced wave numbers ranging from 5 to 15 were used along with 30 harmonic orders. The primary control region is $$\label{D1_fourier}
D_1=\left \{(r,\theta, \phi) : r \in [0.011,0.015], \theta \in \left [-\frac{\pi}{4}, \frac{\pi}{4} \right ] , \phi \in \left [\frac{3\pi}{4}, \frac{5\pi}{4} \right] \right   \},$$ while the secondary region is $$\label{D2_secondary_fourier}
D_2\!=\!\left \{\!(r,\theta, \phi) : r \!\in \![0.011,0.015], \theta \in \left [-\frac{\pi}{4}, \frac{\pi}{4} \right ] , \phi \in \left [\frac{7\pi}{4}, 2\pi\right]\!\cup\!\left[0,\frac{\pi}{4} \right]  \!\right \} \!+ \!(0.09,0,0).$$ Here we approximate on $D_1$ a superposition of plane waves given by $$\label{plane_wave_fourier}  u_1(\Bx,t)=\sum_{\ell=10}^{30} \dfrac{2}{\ell} \exp (i\Bx  \cdot (k_\ell \hat {\Be}_1) ) \exp (-ik_\ell c t),$$ where $k_\ell$ are the wave numbers $\frac{\ell}{2}$, while maintaining a small field in region $D_2$. Again, the boundaries of the two regions are each uniformly discretized with 2,400 points.

By using the superposition principle we produced an animation found at [animation](https://drive.google.com/open?id=1m5nnofuIc56_aaU76HHjqkH4aRLRIsRi) @animationfull which shows a one-period propagation of the waves on a cross section of the control regions. The animation were generated using a 2000-point discretization of the angular time. It offers two columns, the left column describing the time propagation of the field generated by our scheme in $D_1$ at the top versus the time propagation of the desired field $u_1$ described at at the bottom. The right column of the animation shows, during the same time interval, the very small field values in $D_2$.

Figure \[timesnapshots\] shows snapshots of the cross section of the primary control region $D_1$ for various times. The color map on the panels for $D_1$ is slightly modified for the intervals $[-1.25, -1]$ and $[1, 1.25]$ to highlight the propagation of the waves. For better clarity we chose to highlight the contour line corresponding to a field value of around $1.15$ with a black stripe and the the contour line corresponding to a field value of around $-1.15$ with a white stripe. It can be observed that all throughout the period, there is a good match on the primary control. At the same time, as it can be seen from Figure \[timeerror\] below, the field on the secondary control is maintained close to zero.

![Time snapshots of a cross section of the near field at $kct$ values (left-right, top-down)$ \frac{37\pi}{2000},\frac{38\pi}{2000},\frac{39\pi}{2000}, \frac{40\pi}{2000},\frac{41\pi}{2000},...,\frac{45\pi}{2000}$.<span data-label="timesnapshots"></span>](timesnapshots_37-45.png)

Figure \[timeerror\] shows the averaged relative error on the primary control (a) and the averaged absolute error on the secondary control (b) over the entire time period. Notice that the time-averaged relative error in region $D_1$ is of magnitude $10^{-3}$ while the absolute error on region $D_2$ stays of order $10^{-4}$ showing the accuracy of our scheme over a range of frequencies.

<span><span>0.4750</span></span> ![(a) Time averaged relative error in region $D_1$. (b) Time averaged absolute error in region $D_2$ over one period.<span data-label="timeerror"></span>](avg_e1-updated.pdf "fig:"){width="\textwidth"}

<span><span>0.4750</span></span> ![(a) Time averaged relative error in region $D_1$. (b) Time averaged absolute error in region $D_2$ over one period.<span data-label="timeerror"></span>](avg_e2-updated.pdf "fig:"){width="\textwidth"}

Conclusions and Future Work {#future}
===========================

In this paper we presented an improved numerical strategy for the control scheme described in @DO_EP and employed it to perform several sensitivity studies for the scheme.

We have shown that for problem , , in the configuration (\[geom\]-ii), it is possible to characterize sources with weak far field and controllable fields in a compact near field region $D_1$. More explicitly, we should that surface sources could be characterized so that their radiated field approximate an an <span>*incoming*</span> plane wave in a region of their near fields while maintaining a very small field beyond a finite radius. The sensitivity studies performed showed that the control scheme produces accurate results with respect to variations in the outward shift, outer radius and in both the outer and inner radii of the near control. Also, our numerics seem to suggest that it may be in principle possible to characterize surface sources with weak far fields so that they approximate prescribed Helmholtz potentials in larger subregions of their near field.

The control algorithm for problem , was also discussed in the configuration (\[geom\]-ii). We considered first the situation when an outgoing plane wave was approximated in the near field region while maintaining a null in a prescribed region further away. The sensitivity analysis studied the scheme with respect to variations in the relative position of the control regions and showed very good accuracy results. For the same configuration we also studied the case when a null was to be created in a near-field region while approximating an outgoing plane wave in a prescribed region further away and showed a food performance of our scheme. These results together with the superposition principle suggest that, in principle, our scheme could characterize surface sources so that their radiated fields will approximate distinct prescribed Helmholtz potentials in given mutually disjoint exterior regions of space.

In an effort to test our results in the time domain we considered again problem , in the configuration (\[geom\]-ii) and employed the superposition principle to obtain a Fourier synthesis matching an outgoing plane wave in the primary near field control region in front of the source while keeping a low signature on a region further away behind the source. Our positive result is an indication that it may be possible to characterize such surface controls for time domain signals.

We believe that the study of the case when the source is an array, i.e., modeled as a union of compact mutually disjoint subdomains, is very important and our preliminary results in this regard are encouraging. We plan to present a detailed analysis of this case in a forthcoming paper.

An important feature of our work is mentioned in Remark \[rem1\] and Remark \[rem2\]. Indeed, a first observation in this regard is that, as shown in Figure \[kw\_anr\], Figure \[kw\_double\] and Figure \[obs-pattern\], one could employ suitable optimization strategies for the description of the most feasible physical source boundary and this will be part of our related next research efforts. Another important point is that, as mentioned in the introduction, although our research characterizes continuous surface sources for their instantiation one could use monopole and dipole approximating arrays in the spirit of @Doicu.

In the same spirit, a second important observation is that our analysis is not bounded to spherical fictitious regions $D_{a'}$ as is presented in this paper. In fact one could in principle chose to start with an arbitrary smooth region $D_{a'}$ by adapting the numerical analysis used to evaluate the propagator ${\mathcal D}$ and set up the optimization procedure. This will also be considered as part of our future investigations.

Last but not least, we mention that the sensitivity analysis performed in this paper together with the theory developed previously by our group in @DO_EP and @DOactivemanipulation are the foundation of our current efforts to extend the applicability of our scheme to the case of exterior surface control of vector fields which are solutions of the Maxwell equations. This part of our research is the current focus of our group and will be reported very soon.

Acknowledgment {#acknowledgment .unnumbered}
==============

This work was initially supported by the Office of Naval Research under the award N00014-15-1-2462 and then supported by the Army Research Office under the award W911NF-17-1-0478.

{'source': 'arXiv_out/1810'}