Next: EXAMPLES AND RANGE ESTIMATION Up: Berryman et al.: Time-reversal Previous: IMAGING PROBLEM

# TECHNICAL APPROACH

In our simulations, the array response matrix [see definition in (Pt)] in the frequency domain is symmetric but not Hermitian. In general (as for array elements with nonisotropic radiation patterns), it is neither Hermitian nor symmetric, but with slight modifications our methods apply to this case as well. The eigenvectors of having unit norm are denoted by , for .The eigenvalues of are , with being the singular values of .The significant singular vectors [i.e., those in the range of ] have singular values for , where M is either the number of targets, or the size of the array (N) -- whichever is smaller. We assume that the number of targets is smaller than the array size N, so that M is in fact the number of distinguishable targets; this assumption is required by the imaging methods we employ (such as MUSIC) as will become clear while presenting the method.

The notation used here is the same as in Borcea et al. (2002). We denote by the deterministic source vector observed at the array for a source located at . Then, is given by
 (2)
where is the deterministic two-point Green's function, and is the location of the j-th array element.

We also define the projection of onto the null-space of by

 (3)
for each frequency in the support of the probing pulse .

The method we describe here is a time domain variant of MUSIC (Schmidt, 1979; 1986; Cheney, 2001; Devaney, 2002) which we label DOA, because it gives very stable estimates of the direction of arrival. Frequency domain MUSIC takes a replica (or trial) vector, which is the impulse response or Green's function for a point source at some point in the space, and dots this vector into an observed singular vector at the array. With appropriate normalization, this dot product acts like a direction cosine of the angle between the replica vector and the data vector. If the sum of the squares of these direction cosines is very close to unity, then it is correct to presume that the source point of that replica vector is in fact a target location since it lies wholely in the range of the array response matrix. Crudely speaking, imaging is accomplished by plotting , which will have a strong peak when the replica source point is close to the target location.

We form the sum
 (4)
with
 (5)
and display the objective functional
 (6)
for points in the target domain.

The arrival time is the deterministic travel time from the p-th transducer to the search point,
 (7)

Next: EXAMPLES AND RANGE ESTIMATION Up: Berryman et al.: Time-reversal Previous: IMAGING PROBLEM
Stanford Exploration Project
6/7/2002