Correlation based passive imaging with a white noise source

preprint2016arXivOpen access

Abstract

Passive imaging refers to problems where waves generated by unknown sources are recorded and used to image the medium through which they travel. The sources are typically modelled as a random variable and it is assumed that some statistical information is available. In this paper we study the stochastic wave equation ∂t2u−Δgu=χW\partial_t^2 u - Δ_g u = χW, where WW is a random variable with the white noise statistics on R1+n{\mathbb R}^{1+n}, n≥3n \ge 3, χχ is a smooth function vanishing for negative times and outside a compact set in space, and ΔgΔ_g is the Laplace-Beltrami operator associated to a smooth non-trapping Riemannian metric tensor gg on Rn{\mathbb R}^n. The metric tensor gg models the medium to be imaged, and we assume that it coincides with the Euclidean metric outside a compact set. We consider the empirical correlations on an open set X⊂Rn\mathcal X \subset {\mathbb R}^n, CT(t1,x1,t2,x2)=1T∫0Tu(t1+s,x1)u(t2+s,x2)ds,t1,t2>0, x1,x2∈X, 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, \quad t_1,t_2>0,\ x_1,x_2\in \mathcal X, for T>0T>0. Supposing that χχ is non-zero on X\mathcal X and constant in time after t>1t > 1, we show that in the limit T→∞T \to \infty, the data CTC_T becomes statistically stable, that is, independent of the realization of WW. Our main result is that, with probability one, this limit determines the Riemannian manifold (Rn,g)({\mathbb R}^n,g) up to an isometry. To our knowledge, this is the first result showing that a medium can be determined in a passive imaging setting, without assuming a separation of scales.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.