Correlation based passive imaging with a white noise source (Q1653063): Difference between revisions

The authors consider the wave equation \(\partial _{t}^{2}u(t,x)-\Delta _{g}u(t,x)=\chi (t,x)W(t,x)\) posed in \((0,\infty )\times \mathbb{R}^{n}\), where \(\Delta _{g}\) is the Laplace-Beltrami operator associated to a matrix \( g\), \(\chi \) is a smooth function \(\chi (t,x)=\chi _{0}(t)\kappa (x)\), the function \(\chi _{0}\) being equal to 1 if \(t\leq 0\) (resp. 0 if \( t\geq 1\)), \(\kappa \in C_{0}^{\infty }(\mathbb{R}^{n})\) and \(W\) is the realization of a Gaussian white noise on \(\mathbb{R}^{1+n}\). The authors introduce the correlations \(C_{T}(t_{1},x_{1},t_{2},x_{2})=\frac{1}{T} \int_{0}^{T}u(t_{1}+s,x_{1})u(t_{2}+s,x_{2})ds\) for \(x_{1},x_{2}\) belonging to an open and non-empty subset \(\mathcal{X}\subset \mathbb{R}^{n}\) and prove that the limit \(\lim_{T\rightarrow \infty }\left\langle C_{T},f\otimes h\right\rangle _{\mathcal{D}^{\prime }\times C_{0}^{\infty }(\mathbb{R} ^{2+2n})}\) is deterministic for every \(f,h\in C_{0}^{\infty }(\mathbb{R} ^{1+n})\), assuming that \(g\) is non-trapping and coincides with the Euclidean metric outside a compact set. The main result of the paper proves that, with probability one, the empirical correlations defined in the sense of generalized random variables in \(\mathcal{D}^{\prime }((\mathbb{R}\times \mathcal{X})^{2})\) for \(T>0\), determine the Riemannian manifold \((\mathbb{R} ^{n},g)\) up to an isometry. The authors first prove that the correlations are well-defined. They then analyze the time reversed wave equation \( \partial _{t}^{2}v^{f}-\Delta _{g}v^{f}=f\) in \((-\infty ,S)\times \mathbb{R} ^{n}\) with the initial conditions \(v^{f}\mid _{t=S}=0=\partial _{t}v^{f}\mid _{t=S}\) and they establish a link between this solution and the limit \( \lim_{T\rightarrow \infty }\left\langle C_{T},f\otimes h\right\rangle _{ \mathcal{D}^{\prime }\times C_{0}^{\infty }(\mathbb{R}^{2+2n})}\). They quote from the book by \textit{B. R. Vainberg} [Asymptotic methods in equations of mathematical physics. Transl. from the Russian by E. Primrose. New York etc.: Gordon and Breach Science Publishers (1989; Zbl 0743.35001)] results concerning the local energy decay for the solution of the wave equation \(\partial _{t}^{2}u-\Delta _{g}u=0\) in \((0,\infty )\times \mathbb{R}^{n}\) with compactly supported initial data for \(u\) and \(\partial _{t}u\).