Three-dimensional inverse acoustic scattering problem by the BC-method

Abstract

Let $Σ:=[0,\infty)\times S^2$, $\mathscr F:=L_2(Σ)$. The {\it forward} acoustic scattering problem under consideration is to find $u=u^f(x,t)$ satisfying \begin{align} \label{Eq 01} &u_{tt}-Δu+qu=0, && (x,t) \in {\mathbb R}^3 \times (-\infty,\infty); \\ \label{Eq 02} &u \mid_{|x|<-t} =0 , && t<0;\\ \label{Eq 03} &\lim_{s \to -\infty} s\,u((-s+τ)\,ω,s)=f(τ,ω), && (τ,ω) \in Σ; \end{align} for a real valued compactly supported potential $q\in L_\infty(\Bbb R^3)$ and a control $f \in\mathscr F$. The response operator $R: \mathscr F\to\mathscr F$, \begin{align*} & (Rf)(τ,ω)\,:= \lim_{s \to +\infty} s\, u^f((s+τ)\,ω,s), \quad (τ,ω) \in Σ\end{align*} depends on $q$ {\it locally}: if $ξ>0$ and $f\in\mathscr F^ξ:=\{f\in\mathscr F\,|\,\,\,f\!\mid_{[0,ξ)}=0\}$ holds, then the values $(Rf)\!\mid_{τ\geqslantξ}$ are determined by $q\!\mid_{|x|\geqslantξ}$ (do not depend on $q\!\mid_{|x|<ξ}$). The {\it inverse problem} is: for an arbitrarily fixed $ξ>0$, to determine $q\mid_{|x|\geqslantξ}$ from $X^ξR\upharpoonright\mathscr F^ξ$, where $X^ξ$ is the projection in $\mathscr F$ onto $\mathscr F^ξ$. It is solved by a relevant version of the boundary control method. The key point of the approach are recent results on the controllability of the system (\ref{Eq 01})--(\ref{Eq 03}).