Duality between range and no-response tests and its application for inverse problems

In this paper we will show the duality between the range test (RT) and no-response test (NRT) for the inverse boundary value problem for the Laplace equation in \begin{document}$ \Omega\setminus\overline D $\end{document} with an unknown obstacle \begin{document}$ D\Subset\Omega $\end{document} whose boundary \begin{document}$ \partial D $\end{document} is visible from the boundary \begin{document}$ \partial\Omega $\end{document} of \begin{document}$ \Omega $\end{document} and a measurement is given as a set of Cauchy data on \begin{document}$ \partial\Omega $\end{document} . Here the Cauchy data is given by a unique solution \begin{document}$ u $\end{document} of the boundary value problem for the Laplace equation in \begin{document}$ \Omega\setminus\overline D $\end{document} with homogeneous and inhomogeneous Dirichlet boundary condition on \begin{document}$ \partial D $\end{document} and \begin{document}$ \partial\Omega $\end{document} , respectively. These testing methods are domain sampling methods to estimate the location of the obstacle using test domains and the associated indicator functions. Also both of these testing methods can test the analytic extension of \begin{document}$ u $\end{document} to the exterior of a test domain. Since these methods are defined via some operators which are dual to each other, we could expect that there is a duality between the two methods. We will give this duality in terms of the equivalence of the pre-indicator functions associated to their indicator functions. As an application of the duality, the reconstruction of \begin{document}$ D $\end{document} using the RT gives the reconstruction of \begin{document}$ D $\end{document} using the NRT and vice versa. We will also give each of these reconstructions without using the duality if the Dirichlet data of the Cauchy data on \begin{document}$ \partial\Omega $\end{document} is not identically zero and the solution to the associated forward problem does not have any analytic extension across \begin{document}$ \partial D $\end{document} . Moreover, we will show that these methods can still give the reconstruction of \begin{document}$ D $\end{document} if we a priori knows that \begin{document}$ D $\end{document} is a convex polygon and it satisfies one of the following two properties: all of its corner angles are irrational and its diameter is less than its distance to \begin{document}$ \partial\Omega $\end{document} .