= Solution
Use the $L^2(S^2)$ data <norm>. The coefficients of the measurement error are $e_n^m=b_n^m-a_n^m$, so <Parseval's identity> gives
$$
\sum_{n,m}|e_n^m|^2\le\delta^2.
$$
An unregularized continuation of these measurements to $r=R$ replaces $a_n^m$ by $b_n^m$ in the outgoing <spherical harmonic> expansion. Whenever this continuation has a finite trace, its error is
$$
\|g^\delta-g\|^2=k^2\sum_{n,m}|h_n^{(1)}(kR)|^2|e_n^m|^2.
$$
Choose a measurement error supported on a single normalized <spherical harmonic>, with $e_N^0=\delta$ and all other coefficients zero. The data error has <norm> exactly $\delta$, but
$$
\boxed{\|g^\delta-g\|=\delta k|h_N^{(1)}(kR)|\longrightarrow\infty\quad(N\to\infty).}
$$
This <perturbation theory> is a finite expansion, so it defines an actual outgoing solution of the <Helmholtz equation> outside any sphere of positive radius. It is not merely an example of nonconvergent formal coefficients. Taking instead $e_N^0=|d_N|^{-1}$ gives data errors tending to zero and trace errors of <norm> one, which directly proves discontinuity of inversion. General square-summable measurement noise can even violate the <spherical far-field range condition>, leaving no $L^2$ continuation to the chosen sphere.
For obstacle reconstruction one would continue the field toward the unknown boundary and look for a surface on which $u_i+u_s=0$, the <Dirichlet boundary condition>. The <unbounded spherical far-to-near-field continuation> shows why small far-field errors can cause arbitrarily large errors in the field used to estimate that surface. Locally, a differentiable normal displacement $\eta$ of a candidate boundary must obey the linearized condition $\Delta u_s+\eta\,\partial_n(u_i+u_s)=0$. Thus a large continued-field error, or a small <normal derivative>, defeats an uncontrolled boundary estimate.
There is a necessary qualification to the wording about errors in the scatterer itself. The calculation proves an unbounded \b[field-continuation error]. An arbitrary perturbed outgoing field need not correspond to any Dirichlet obstacle, and no admissible class or metric on obstacle shapes is specified. It therefore does not by itself prove an arbitrarily large geometric error in every constrained reconstruction method. Such a claim requires a shape model and an analysis of the boundary-extraction step. The instability displayed here is exactly the mechanism that an unregularized reconstruction must control.
Back to article page
