Keywords

1 Introduction

With the rapid growth of illumination sources of opportunity, such as broadcasting stations, mobile phone base stations, as well as relatively low cost and rapid deployment of receivers, there has been a growing interest in passive detection and imaging applications in recent years [1, 2, 57, 914, 1720, 23, 2729, 32, 36].

Most of the existing passive imaging methods are focused on the detection of scatterers with stationary receivers [2, 57, 914, 1720, 2729, 32, 36]. Recently, a number of methods for passive synthetic aperture were introduced [1, 23, 38, 40].

In this chapter, we presented a unified theory of passive synthetic aperture imaging based on inverse scattering theory, estimation-detection theory and microlocal analysis. Our theory facilitates resolution analysis and relates backprojection-based image reconstruction to statistical beamforming methods as well as to ambiguity theory [21, 22, 31, 34, 35, 37]. It is applicable to passive imaging with both cooperative and noncooperative sources of illumination where the location of the sources and transmitted waveforms are unknown. The theory can be also viewed as a limiting case of the passive imaging and detection methods that we developed for sparsely distributed receivers [36]. It results in new and novel passive synthetic aperture imaging modalities [38, 40] with several advantages over the existing passive radar detection methods. (See [36, 38, 40] for a comparative review of related work.)

We consider multiple receivers moving along arbitrary, but known, trajectories over a non-flat topography and two types of illumination sources of opportunity: Single-frequency or ultra-narrowband continuous-wave (CW), and wideband pulsed waveforms of opportunity. Due to the high Doppler resolution nature of the single-frequency or ultra-narrowband CW waveforms, we refer to the modality that uses these waveforms as the Doppler synthetic aperture hitchhiker (DSAH) [40]. Due to the high-range resolution nature of the wideband pulsed waveforms, we refer to the modality that uses wideband pulsed waveforms as the Range synthetic aperture hitchhiker or simply the synthetic aperture hitchhiker (SAH) [38].

For each pair of receivers, we correlate the windowed signal obtained from one of the receivers with the windowed, scaled, and translated version of the received signal from another receiver. We express the relationship between the scene radiance and the correlated measurements in the form of Fourier integral operators (FIOs). The correlation of received signals removes the transmitter related terms from the phase component of the resulting FIOs. As a result these FIOs can be inverted approximately by using microlocal techniques without the knowledge of the location of the transmitters. The DSAH measurement model does not rely on the start–stop approximation and is based on the fast-time Doppler, while the SAH measurement model relies on the start–stop approximation. In this context the SAH measurement model can be derived from the DSAH measurement model by setting the fast-time Doppler variable to unity.

The high-frequency analysis of the DSAH and SAH FIOs shows that the correlated measurements are the projections of the scene radiance onto the passive iso-Doppler and passive iso-range curves in DSAH and SAH imaging, respectively.

We use microlocal techniques to develop filtered-backprojection type approximate inversions of DSAH and SAH FIOs. The reconstructed images preserve the location and orientation of the visible edges of the scene radiance. Additionally, the reconstruction formulas can be implemented efficiently using the fast-backprojection algorithms [8]. Our unified approach to passive imaging readily facilitates resolution analysis that is consistent with the ambiguity theory [22, 31, 37].

While we focused primarily on passive synthetic aperture radar, the theory of DSAH and SAH imaging and the resulting methods and algorithms are also applicable to other wave-based passive imaging problems, such as those that arise in geophysics or acoustics.

The organization of the chapter is as follows: In Sect. 2, we derive and analyze the leading order contributors of the measurement models for DSAH and SAH. In Sect. 3, we develop filtered-backprojection type image formation methods for DSAH and SAH, respectively. In Sect. 4, we analyze the resolution of DSAH and SAH imaging. In Sect. 5, we present numerical simulations to demonstrate the performance of the DSAH and SAH imaging methods. Finally, in Sect. 6, we conclude our discussion.

2 Measurement Model

We use the following notational conventions throughout the paper. The bold Roman, bold italic, and Roman lowercase letters are used to denote variables in 3, 2, and , respectively, i.e., z  = (z, z) ∈  3, with z ∈  2 and z ∈ . The calligraphic letters (\(\mathcal{F},\mathcal{K}\), etc.) are used to denote operators.

Given a pair of transmitter and receiver antennas located at T and R, respectively, we model the received signal by [26]

$$\begin{array}{rcl} f(t,R,T)& \approx & \int \nolimits \nolimits \frac{{\mathrm{e}}^{\mathrm{i}\omega (t-(\vert R-z\vert +\vert z-T\vert )/{c}_{0})}} {{(4\pi )}^{2}\,\vert R - z\vert \,\vert z - T\vert } \,{\omega }^{2}\hat{p}(\omega ) \\ & & \,\times \,{J}_{\mathrm{tr}}\left (\omega,\widehat{z - T},T\right )\,{J}_{\mathrm{rc}}\left (\omega,\widehat{z - R},R\right )\,V (z)\,\mathrm{d}\omega \,\mathrm{d}z\,,\end{array}$$
(1)

or in time-domain by

$$\begin{array}{rcl} f(t,R,T)& \approx & \int \nolimits \nolimits \frac{\ddot{p}(t - (\vert R - z\vert + \vert z - T\vert )/{c}_{0})} {{(4\pi )}^{2}\,\vert R - z\vert \,\vert z - T\vert } \\ & &\times \,{J}_{\mathrm{tr}}\left (\widehat{z - T},T\right )\,{J}_{\mathrm{rc}}\left (\widehat{z - R},R\right )\,V (z)\,\mathrm{d}z\,,\end{array}$$
(2)

where t denotes time, c 0 denotes the speed of light in free space, V ( z ) is the reflectivity function, \(\hat{p}\) denotes the Fourier transform the transmitted waveform, p(t), J tr, and J rc are the transmitter and receiver antenna beam pattern related terms, respectively.

We denote the earth’s surface by z  = (z, ψ(z)) ∈  3, where z ∈  2 and ψ :  2 →  is a known function for the ground topography. Furthermore, we assume that the scattering takes place in a thin region near the surface. Thus, the reflectivity function is in the form

$$V (z) = \rho (z)\delta (z - \psi (z)).$$
(3)

Our passive imaging theory is applicable to both mobile and stationary sources of opportunity. However, for the rest of our discussion, we assume that there is a single, stationary transmitter of opportunity illuminating the scene. This allows us to simplify the analysis and distill the important aspects that can readily be generalized using the ideas similar to the ones presented in our work [38].

Let T ∈  3 denote the location of the transmitter of opportunity and let there be N airborne receivers, each traversing a smooth trajectory \({\gamma }_{i}(t{^\prime}),\,i = 1,\ldots,N\) as shown in Fig. 1. Then, we denote the received signal at the ith receiver starting at time t′ = s by

$$\begin{array}{rcl}{ e}_{i}(t + s)& =& f(t + s,{\gamma }_{i}(t + s),T) \\ & =& \int \nolimits \nolimits \frac{\ddot{p}(t + s - (\vert {\gamma }_{i}(t + s) - z\vert + \vert z - T\vert )/{c}_{0})} {{(4\pi )}^{2}\,\vert {\gamma }_{i}(t + s) - z\vert \,\vert z - T\vert } \\ & &\times \,{J}_{\mathrm{tr}}\left (\widehat{z - T},T\right )\,{J}_{\mathrm{rc}}\left (\widehat{z -{\gamma }_{i}\left (t + s\right )},{\gamma }_{i}\left (t + s\right )\right )\,\rho \left (z\right )\,\mathrm{d}z.\end{array}$$
(4)

Note that the time variable t′ represents the absolute time, while t represents the relative time within the time interval staring at t′ = s.

Fig. 1
figure 1

An illustration of the imaging geometry

For a finite and relatively short interval, we use the Taylor series expansion around t = 0,

$${\gamma }_{i}(t + s) = {\gamma }_{i}(s) +\dot{ {\gamma }}_{i}(s)t + \cdots $$
(5)

to approximate

$$\vert {\gamma }_{i}(t + s) - z\vert \approx \vert {\gamma }_{i}(s) - z\vert +\widehat{ {\gamma }_{i}(s) - z} \cdot \dot{{\gamma }}_{i}(s)\,t\,.$$
(6)

Substituting the approximation (6) into (4), we have

$$\begin{array}{rcl}{ e}_{i}(t + s)& \approx & \int \nolimits \nolimits \frac{\ddot{p}({\alpha }_{i}(s,z)\,t + s - (\vert {\gamma }_{i}(s) - z\vert + \vert z - T\vert )/{c}_{0})} {{(4\pi )}^{2}\,\vert {\gamma }_{i}(s) - z\vert \,\vert z - T\vert } \\ & &\times \,{J}_{\mathrm{tr}}\left (\widehat{z - T},T\right )\,{J}_{\mathrm{rc}}\left (\widehat{z -{\gamma }_{i}\left (t + s\right )},{\gamma }_{i}\left (t + s\right )\right )\,\rho \left (z\right )\,\mathrm{d}z\,,\end{array}$$
(7)

where the time dilation

$${\alpha }_{i}(s,z) = 1 -\frac{\widehat{{\gamma }_{i}(s) - z} \cdot \dot{{\gamma }}_{i}(s)} {{c}_{0}}$$
(8)

is the Doppler-scale-factor induced by the movement of the ith receiver.

We define the windowed, scaled, and translated correlation of the received signals e i and e j by

$${c}_{ij}(s{^\prime},s,\mu ) = \int \nolimits \nolimits {e}_{i}(t + s{^\prime})\,{e}_{j}^{{_\ast}}(\mu t + s)\,\phi (t)\,\mathrm{d}t,$$
(9)

for some s, s′ ∈  and μ ∈   + , i, j = 1, , N, where ϕ(t) is a smooth compactly supported temporal windowing function centered at t = 0.

In the following sections, we develop mappings that relate the expected value of the correlated measurements c ij , denoted by E[c ij ], to the scene to be imaged. We assume that the sources of opportunity are noncooperative, where the location of the transmitter, T, and transmitter antenna beam pattern related term J tr are unknown.

We use a stochastic model for the transmitter antenna beam pattern related term, J tr, and the scene reflectivity, ρ, and assume ρ and J tr are statistically independent, to express E[c ij ] as

$$\begin{array}{rcl} E[{c}_{ij}](s{^\prime},s,\mu )& \approx & \int \nolimits \nolimits \ddot{p}({\alpha }_{i}(s,z)\,t + s{^\prime} - (\vert {\gamma }_{i}(s{^\prime}) - z\vert + \vert z - T\vert )/{c}_{0}) \\ & & \times \,\ddot{{p}}^{{_\ast}}(\mu {\alpha }_{ j}(s,z{^\prime})\,t + s - (\vert {\gamma }_{j}(s) - z{^\prime}\vert + \vert z{^\prime} - T\vert )/{c}_{0}) \\ & & \times \,\frac{{C}_{\rho }(z,z{^\prime}){C}_{{J}_{\mathrm{tr}}}(z,z{^\prime},T){A}_{{R}_{ij}}(z,z{^\prime},t,s{^\prime},s,\mu )} {{(4\pi )}^{4}\,{G}_{ij}(z,z{^\prime},s,s{^\prime},\mu )} \mathrm{d}z\,\mathrm{d}z{^\prime}\phi (t)\,\mathrm{d}t\,.\end{array}$$
(10)

C ρ and \({C}_{{J}_{\mathrm{tr}}}\) denote the correlation functions of ρ and J tr, respectively, i.e.,

$$\begin{array}{rcl}{ C}_{\rho }(z,z{^\prime})& =& E[\rho (z){\rho }^{{_\ast}}(z{^\prime})]\,,\end{array}$$
(11)
$$\begin{array}{rcl}{ C}_{{J}_{\mathrm{tr}}}(z,z{^\prime},T)& =& E\left [{J}_{\mathrm{tr}}\left (\widehat{z - T},T\right ){J}_{\mathrm{tr}}^{{_\ast}}\left (\widehat{z{^\prime} - T},T\right )\right ]\,.\end{array}$$
(12)

\({A}_{{R}_{ij}}\) denotes the product of the receiver antenna beam patterns,

$$\begin{array}{rlrlrl} {A}_{{R}_{ij}}(z,z{^\prime},t,s{^\prime},s,\mu ) & = {J}_{\mathrm{rc}}\left (\widehat{z -{\gamma }_{i}(t + s{^\prime})},{\gamma }_{i}(t + s{^\prime})\right ) & & \\ &\quad \times {J}_{\mathrm{rc}}^{{_\ast}}\left (\widehat{z{^\prime} -{\gamma }_{ j}(\mu t + s)},{\gamma }_{j}(\mu t + s)\right )\,, &\end{array}$$
(13)

and G ij is the product of the geometric spreading factors,

$$\begin{array}{rcl}{ G}_{ij}(z,z{^\prime},s{^\prime},s)& = \vert T - z\vert \,\vert T - z{^\prime}\vert \vert {\gamma }_{i}(s{^\prime}) - z\vert \,\vert {\gamma }_{j}(s) - z{^\prime}\vert.&\end{array}$$
(14)

Note that for noncooperative sources of opportunity, T, and thus \(\vert T - z\vert \,\vert T - z{^\prime}\vert \), are unknown. For the case of cooperative sources of opportunity where these quantities along with the transmitted antenna beam pattern are assumed to be known, (12) can be modified to include the known quantities.

Next, we make the incoherent-field approximation [3] by assuming that ρ and J tr satisfy the following equalities:

$$\begin{array}{rcl}{ C}_{\rho }(z,z{^\prime})& =& {R}_{\rho }(z)\delta (z -z{^\prime})\,,\end{array}$$
(15)
$$\begin{array}{rcl}{ C}_{{J}_{\mathrm{tr}}}(z,z{^\prime},T)& =& {R}_{T}(z)\delta (z -z{^\prime}).\end{array}$$
(16)

R ρ is the average power of the electromagnetic radiation emitted by the scene at location z, and R T is the average power of the electromagnetic radiation emitted by the transmitter at location T that is incident on the target surface at z. In this regard, R ρ is referred to as the scene radiance and R T is referred to as the transmitter irradiance [3].

Substituting (15) and (16) into (10), we obtain

$$\begin{array}{rcl} E[{c}_{ij}](s{^\prime},s,\mu )& =& \int \nolimits \nolimits \ddot{p}({\alpha }_{i}(s{^\prime},z)\,t + s{^\prime} - (\vert {\gamma }_{i}(s{^\prime}) - z\vert + \vert z - T\vert )/{c}_{0}) \\ & & \times \,\ddot{{p}}^{{_\ast}}(\mu {\alpha }_{ j}(s,z)\,t + s - (\vert {\gamma }_{j}(s) - z\vert + \vert z - T\vert )/{c}_{0}) \\ & & \times \,\frac{{R}_{\rho }(z){R}_{T}(z){A}_{{R}_{ij}}(z,z,t,s{^\prime},s,\mu )} {{(4\pi )}^{4}\,{G}_{ij}(z,z,s,s{^\prime},\mu )} \mathrm{d}z\,\phi (t)\,\mathrm{d}t\, \end{array}$$
(17)

for some s, s′ ∈ , μ ∈   +  and i, j = 1, , N. We refer to (17) as the correlated measurements.

Our objective is to determine the scene radiance R ρ given E[c ij ](s′, s, μ) for a range of s′, s, and μ. In the following two sections, we study two special cases of the measurement model to derive the measurement models for the DSAH and SAH.

2.1 Model for Doppler Synthetic Aperture Hitchhiker Imaging

In DSAH, narrowband or ultra-narrowband CW waveforms of opportunity are used for imaging. Thus,

$$p(t) ={ \mathrm{e}}^{\mathrm{i}{\omega }_{0}t}\tilde{p}(t)\,,$$
(18)

where ω0 denotes the carrier frequency and \(\tilde{p}(t)\) is the complex envelope of p, which is a slow varying function of t as compared to e 0 t.

Substituting (18) into (17), we express E[c ij ] as

$$\begin{array}{rlrlrl} E[{c}_{ij}(s{^\prime},s,\mu )] & = \frac{{\omega }_{0}^{4}} {{(4\pi )}^{4}} \int \nolimits \nolimits {\mathrm{e}}^{\mathrm{i}{\omega }_{0}({\alpha }_{i}(s{^\prime},z)\,t+s{^\prime}-(\vert {\gamma }_{i}(s{^\prime})-z\vert +\vert T-z\vert )/{c}_{0})} & & \\ &\quad \times {\mathrm{e}}^{-\mathrm{i}{\omega }_{0}(\mu {\alpha }_{j}(s,z)\,t+s-(\vert {\gamma }_{j}(s)-z\vert +\vert T-z\vert )/{c}_{0})} & & \\ &\quad \times \frac{{R}_{T}(z){A}_{\tilde{p}}(z,z,t,s{^\prime},s,\mu ){A}_{{R}_{ij}}(z,z,t,s{^\prime},s,\mu )} {{G}_{ij}(z,z,s{^\prime},s,\mu )} & & \\ &\quad \times {R}_{\rho }(z)\mathrm{d}z\,\phi (t)\,\mathrm{d}t\,, &\end{array}$$
(19)

where \({A}_{\tilde{p}}\) is the product of the complex envelope of the transmitted waveform,

$$\begin{array}{rcl}{ A}_{\tilde{p}}& =& \tilde{p}({\alpha }_{i}(s{^\prime},z)\,t + s{^\prime} - (\vert {\gamma }_{i}(s{^\prime}) - z\vert + \vert T - z\vert )/{c}_{0}) \\ & & \times \tilde{{p}}^{{_\ast}}(\mu {\alpha }_{ j}(s,z)\,t + s - (\vert {\gamma }_{j}(s) - z\vert + \vert T - z\vert )/{c}_{0})\,.\end{array}$$
(20)

After rearranging the terms in (19), we have

$$\begin{array}{rlrlrl} E[{c}_{ij}(s{^\prime},s,\mu )] & \approx {\mathcal{F}}_{ij}^{\mathrm{DSAH}}[{R}_{ \rho }](s{^\prime},s,\mu ) & & \\ & = \int \nolimits \nolimits {\mathrm{e}}^{-\mathrm{i}{\varphi }_{ij}^{\mathrm{DSAH}}(t,z,s{^\prime},s,\mu ) }\,{A}_{ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s,\mu ){R}_{ \rho }(z)\,\mathrm{d}z\,\mathrm{d}t\,, &\end{array}$$
(21)

where

$$\begin{array}{rcl}{ \varphi }_{ij}^{\mathrm{DSAH}}(t,z,s{^\prime},s,\mu ) = {\omega }_{ 0}{\alpha }_{j}(s,z)\,t\left [\mu - {S}_{ij}(s{^\prime},s,z)\right ]\,,& &\end{array}$$
(22)

with

$${S}_{ij}\left (s{^\prime},s,z\right ) = \frac{{\alpha }_{i}\left (s{^\prime},z\right )} {{\alpha }_{j}\left (s,z\right )} = \frac{1 -\left (\widehat{{\gamma }_{i}(s{^\prime}) - z}\right ) \cdot \dot{{\gamma }}_{i}(s{^\prime})/{c}_{0}} {1 -\left (\widehat{{\gamma }_{j}(s) - z}\right ) \cdot \dot{{\gamma }}_{j}(s)/{c}_{0}}\,,$$
(23)

and

$$\begin{array}{rcl}{ A}_{ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s,\mu )& =& \frac{{\omega }_{0}^{4}\,{R}_{ T}(z){A}_{\tilde{p}}(z,z,t,s{^\prime},s,\mu )\,{A}_{{R}_{ij}}(z,z,t,s{^\prime},s,\mu )\,\phi (t)} {{(4\pi )}^{4}\,{G}_{ij}(z,z,t,s{^\prime},s,\mu )} \\ & & \times \,{\mathrm{e}}^{\mathrm{i}{\omega }_{0}(s{^\prime}-s-(\vert {\gamma }_{i}(s{^\prime})-z\vert -\vert {\gamma }_{j}(s)-z\vert )/{c}_{0})}\,\,. \end{array}$$
(24)

We refer to S ij (s′, s, z ) as the Doppler-hitchhiker-scale-factor.

For cooperative sources of opportunity, where the transmitter locations and antenna beam patterns are assumed to be known, we treat J tr deterministically and replace R T (z) with \({J}_{\mathrm{tr}}(\widehat{z - T},T){J}_{\mathrm{tr}}^{{_\ast}}(\widehat{z - T},T)\).

We refer to ij DSAH defined in (21) as the DSAH or Doppler-hitchhiker FIO; and φ ij DSAH, A ij DSAH as the phase and amplitude terms of the operator ij DSAH.

Note that the scaled and translated correlation of the received signal removes all transmitter related terms from the phase of the operator ij DSAH.

2.1.1 High-Frequency Analysis of the DSAH FIO and Passive iso-Doppler Contours

We assume that for some m A DSAH, A ij DSAH satisfy the inequality

$$ \begin{array}{ccrcl} & {\sup }_{(t,\mu,s{^\prime},s,z)\in {U}_{\mathrm{DSAH}}}\left \vert {\partial }_{t}^{{\alpha }_{t}}{\partial }_{\mu }^{{\alpha }_{\mu }}{\partial }_{s{^\prime}}^{{\beta }_{1}}{\partial }_{s}^{{\beta }_{2}}{\partial }_{{z}_{ 1}}^{{\epsilon }_{1}}{\partial }_{{ z}_{2}}^{{\epsilon }_{2}}{A}_{ ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s,\mu )\right \vert & \\ & \leq {C}_{A}^{\mathrm{DSAH}}{(1 + {t}^{2})}^{({m}_{A}^{\mathrm{DSAH}}-\vert {\alpha }_{ t}\vert )/2}\,, &\end{array}$$
(25)

where U DSAH is any compact subset of ×  +  × × × 2 and the constant C A DSAH depends on U DSAH, α t, μ, β1, 2, and ε1, 2. In practice, (25) is satisfied for transmitters and receivers are sufficiently far away from the illuminated region.

Under the assumption (25), (21) defines ij DSAH as an FIO whose leading-order contributions come from those points lying in the intersection of the illuminated surface (z, ψ(z)) and points that have the same Doppler-hitchhiker-scale-factor, i.e., { z  ∈  3 : S ij , τ, z ) = μ}. We denote the curves formed by this intersection by

$${F}_{ij}^{\mathrm{DSAH}}(s{^\prime},s,\mu ) =\{ z : {S}_{ ij}(s{^\prime},s,z = (z,\psi (z))) = \mu \}.$$
(26)

When the speed of the receivers is much slower than the speed of light c 0, S ij can be approximated as follows:

$$\begin{array}{rlrlrl} {S}_{ij}\left (s{^\prime},s,z\right ) & = 1 + \frac{\left (\widehat{{\gamma }_{j}\left (s\right ) - z}\right ) \cdot \dot{{\gamma }}_{j}\left (s\right )/{c}_{0} -\left (\widehat{{\gamma }_{i}\left (s{^\prime}\right ) - z}\right ) \cdot \dot{{\gamma }}_{i}\left (s{^\prime}\right )/{c}_{0}} {1 -\left (\widehat{{\gamma }_{j}\left (s\right ) - z}\right ) \cdot \dot{{\gamma }}_{j}\left (s\right )/{c}_{0}} & & \\ & \approx 1 + \left [\widehat{\left ({\gamma }_{j}\left (s\right ) - z\right )} \cdot \dot{{\gamma }}_{j}\left (s\right ) -\widehat{\left ({\gamma }_{i}\left (s{^\prime}\right ) - z\right )} \cdot \dot{{\gamma }}_{i}\left (s{^\prime}\right )\right ]/{c}_{0}\,. &\end{array}$$
(27)

Substituting (27) into

$${S}_{ij}(s{^\prime},s,z) = \mu \,,$$
(28)

multiplying both sides of (28) by ω0, and rearranging the terms, we have

$$\frac{{\omega }_{0}} {{c}_{0}} \left [\widehat{({\gamma }_{i}(s{^\prime}) - z)} \cdot \dot{{\gamma }}_{i}(s{^\prime}) -\widehat{ ({\gamma }_{j}(s) - z)} \cdot \dot{{\gamma }}_{j}(s)\right ] = (1 - \mu ){\omega }_{0},$$
(29)

where the left-hand side of (29) is the hitchhiker Doppler defined in [38] for a fixed frequency. In this regard, we refer to F ij DSAH(s′, s, μ) as the passive iso-Doppler or DSAH iso-Doppler contour. Figure 2 shows the DSAH iso-Doppler contours for two receivers traversing a circular trajectory over a flat topography.

Fig. 2
figure 2

DSAH iso-Doppler contours F 12(s′, s, μ) for the Doppler-hitchhiker-scale-factor S 12(22. 0674 s, − 11. 0337 s, z ). Two receivers are traversing a circular flight trajectory (dashed line) at the speed of 261 m ∕ s over a flat topography. \({\gamma }_{1}(\tilde{s}) = {\gamma }_{C}(\tilde{s})\) and \({\gamma }_{2}(\tilde{s}) = {\gamma }_{C}(\tilde{s} - \pi /4)\), respectively, where white and black triangles denote the positions of the two receivers at \(\tilde{s} = \pi /6\), respectively. (See (23) and (70) for explicit formulae of S 12(22. 0674 s, − 11. 0337 s, z ) and \({\gamma }_{C}(\tilde{s})\), respectively)

2.2 Model for Synthetic Aperture Hitchhiker Imaging

In SAH, wideband pulsed waveforms of opportunity are used for imaging.

Assuming that the velocity, \(\dot{{\gamma }}_{j}(s)\), of the receivers are much less than the speed of light, we use the “start–stop” approximation, where the receiver is assumed to be stationary within a certain window of time, and approximate the Doppler-scale factor

$${\alpha }_{i}(s,z) \approx 1.$$
(30)

Then the received signal at the ith receiver starting at time t′ = s′ is approximated by

$$\begin{array}{rcl}{ e}_{i}(t + s{^\prime})& \approx & \int \nolimits \nolimits \frac{\ddot{p}(t + s{^\prime} - (\vert {\gamma }_{i}(s{^\prime}) - z\vert + \vert z - T\vert )/{c}_{0})} {{(4\pi )}^{2}\,\vert {\gamma }_{i}(s{^\prime}) - z\vert \,\vert z - T\vert } \\ & &\times \,{J}_{\mathrm{tr}}\left (\widehat{z - T},T\right )\,{J}_{\mathrm{rc}}\left (\widehat{z -{\gamma }_{i}\left (s{^\prime}\right )},{\gamma }_{i}\left (s{^\prime}\right )\right )\,\rho \left (z\right )\,\mathrm{d}z\,.\end{array}$$
(31)

Similarly, under the start–stop approximation, the Doppler-hitchhiker-scale-factor becomes

$$\begin{array}{rlrlrl} {S}_{ij}(s{^\prime},s,z) \approx (1 - {\alpha }_{i}(s{^\prime},z))\,(1 + {\alpha }_{j}(s,z)) \approx 1. & &\end{array}$$
(32)

Consequently, by (28), it is sufficient to consider E[c ij ] for μ = 1.

In this regard, taking into account the high range resolution of the wideband waveforms, we incorporate the fast-time delay in the forward model of SAH and define

$${d}_{ij}(s{^\prime},s,\tau ) = {c}_{ij}(s{^\prime},s - \tau,1) = \int \nolimits \nolimits {e}_{i}(t + s{^\prime}){e}_{j}^{{_\ast}}(t + s - \tau )\phi (t)\mathrm{d}t.$$
(33)

We refer to (33) as the spatiotemporal correlation of e i and e j .

Using (31), we approximate the expectation of d ij (s′, s, τ) as

$$\begin{array}{rcl} E[{d}_{ij}(s,s{^\prime},\tau )]& =& \int \nolimits \nolimits \ddot{p}(t + s{^\prime} - (\vert {\gamma }_{i}(s{^\prime}) - z\vert + \vert z - T\vert )/{c}_{0}) \\ & & \times \,\ddot{{p}}^{{_\ast}}(t + s - \tau - (\vert {\gamma }_{ j}(s) - z\vert + \vert z - T\vert )/{c}_{0}) \\ & & \times \,\frac{{R}_{\rho }(z){R}_{T}(z)\tilde{{A}}_{{R}_{ij}}(z,z,s{^\prime},s)} {{(4\pi )}^{4}\,{G}_{ij}(z,z,s{^\prime},s)} \mathrm{d}z\,\phi (t)\,\mathrm{d}t\, \\ & =& \int \nolimits \nolimits {\mathrm{e}}^{\mathrm{i}\omega (t+s{^\prime}-(\vert {\gamma }_{i}(s{^\prime})-z\vert +\vert z-T\vert )/{c}_{0})} \\ & & \times \,{\mathrm{e}}^{-\mathrm{i}\omega (t+s-\tau -(\vert {\gamma }_{j}(s)-z\vert +\vert z-T\vert )/{c}_{0})} \\ & & \times \,\frac{{\omega }^{2}\vert \hat{p}(\omega ){\vert }^{2}{R}_{\rho }(z){R}_{T}(z)\tilde{{A}}_{{R}_{ij}}(z,z,s{^\prime},s)} {{(4\pi )}^{4}\,{G}_{ij}(z,z,s,s{^\prime})} \mathrm{d}z\,\mathrm{d}\omega \phi (t)\,\mathrm{d}t\,,\end{array}$$
(34)

where

$$\begin{array}{rlrlrl} \tilde{{A}}_{{R}_{ij}}(z,z{^\prime},s{^\prime},s) = {A}_{{R}_{ij}}(z,z{^\prime},0,s{^\prime},s,1) & &\end{array}$$
(35)

and \({A}_{{R}_{ij}}\) and G ij are as in (13) and (14). We write

$$\begin{array}{rlrlrl} E[{d}_{ij}(s{^\prime},s,\tau )] & \approx {\mathcal{F}}_{ij}^{\mathrm{SAH}}[{R}_{ \rho }](s,s{^\prime},\tau ) & & \\ & = \int \nolimits \nolimits {\mathrm{e}}^{-\mathrm{i}{\varphi }_{ij}^{\mathrm{SAH}}(\omega,z,s,s{^\prime},\tau ) }\,{A}_{ij}^{\mathrm{SAH}}(z,\omega,s,s{^\prime}){R}_{ \rho }(z)\,\mathrm{d}z\,\mathrm{d}\omega, &\end{array}$$
(36)

where

$${\varphi }_{ij}^{\mathrm{SAH}}(\omega,z,s{^\prime},s,\tau ) = \omega [{r}_{ ij}(s{^\prime},s,z)/{c}_{0} + s - s{^\prime} - \tau ]\,,$$
(37)

with

$$\begin{array}{rlrlrl} {r}_{ij}(s{^\prime},s,z) = \vert {\gamma }_{i}(s{^\prime}) - z\vert -\vert {\gamma }_{j}(s) - z\vert & &\end{array}$$
(38)

and

$${A}_{ij}^{\mathrm{SAH}}(z,\omega,s{^\prime},s) = \frac{{\omega }^{4}\,\vert \hat{p}(\omega ){\vert }^{2}\,{R}_{ T}(z)\,\tilde{{A}}_{{R}_{ij}}(z,z,s{^\prime},s)} {{(4\pi )}^{4}\,{G}_{ij}(z,z,s{^\prime},s)} \,.$$
(39)

We refer to r ij (s′, s, z ) as the hitchhiker or passive range.

We remark that under the start–stop approximation φ ij DSAH ≈ 1 and φ ij SAH is given by the exponential term in A ij DSAH [see (24)], where s is replaced with s − τ in SAH to incorporate the fast-time delay information.

Similar to DSAH, for cooperative sources of opportunity, we treat J tr deterministically and replace \(\tilde{{R}}_{T}(z)\) with \({J}_{\mathrm{tr}}(\widehat{z - T},T){J}_{\mathrm{tr}}^{{_\ast}}(\widehat{z - T},T)\).

We refer to ij SAH defined in (36) as the SAH or range hitchhiker or simply hitchhiker FIO; and φ ij SAH, A ij SAH as the phase and amplitude terms of the operator ij SAH.

Note that the spatiotemporal correlation of the received signal removes all transmitter related terms from the phase of the operator ij SAH.

2.2.1 High-Frequency Analysis of the SAH FIO and Passive iso-Range Contours

We assume that for some m A SAH, A ij SAH satisfy the inequalities

$$ \begin{array}{ccrcl} & {\sup }_{(\omega,s{^\prime},s,z)\in {U}_{\mathrm{SAH}}}\left \vert {\partial }_{\omega }^{{\alpha }_{\omega } }{\partial }_{s{^\prime}}^{{\beta }_{1} }{\partial }_{s}^{{\beta }_{2} }{\partial }_{{z}_{1}}^{{\epsilon }_{1} }{\partial }_{{z}_{2}}^{{\epsilon }_{2} }{A}_{ij}^{\mathrm{SAH}}(z,\omega,s{^\prime},s)\right \vert \leq {C}_{ A}^{\mathrm{SAH}}{(1 + {\omega }^{2})}^{({m}_{A}^{\mathrm{SAH}}-\vert {\alpha }_{ \omega }\vert )/2}\end{array}$$
(40)

where U SAH is any compact subset of × × × 2; the constant C A SAH depends on U SAH, αω, β1, 2, ε1, 2. These assumptions are needed to make various stationary phase calculations hold. In practice, (40) is satisfied for transmitters and receivers sufficiently far away from the illuminated region.

Under the assumption (40), (36) defines ij SAH as an FIO whose leading-order contribution comes from those points lying at the intersection of the illuminated surface and the hyperboloid \(\{x \in {\mathbb{R}}^{3} : {r}_{ij}(s{^\prime},s,z) = {c}_{0}(\tau + s{^\prime} - s)\}\). We denote the curves formed by this intersection by

$$\begin{array}{rlrlrl} {H}_{ij}(s{^\prime},s,\tau ) =\{ z : {r}_{ij}(s{^\prime},s,z) = {c}_{0}(\tau + s{^\prime} - s)\} & &\end{array}$$
(41)

and refer to H ij (s′, s, τ) as the passive iso-range or SAH iso-range contour. For flat topography, ψ(z) = 0, the SAH iso-range contours are given by hyperbolas on the plane z 3 = 0. We present the iso-range contours for circular receiver flight trajectories over a flat topography in Fig. 3.

Fig. 3
figure 3

SAH Iso-range contours H 12(s′, s, C) for the hitchhiker range r 12(22. 0674 s, − 11. 0337 s, z ). Two receivers are traversing a circular flight trajectory (dashed line) at the speed of 261 m ∕ s over a flat topography. \({\gamma }_{1}(\tilde{s}) = {\gamma }_{C}(\tilde{s})\) and \({\gamma }_{2}(\tilde{s}) = {\gamma }_{C}(\tilde{s} - \pi /4)\), respectively, where white and black triangles denote the positions of the two receivers at \(\tilde{s} = \pi /6\), respectively. (See (38) and (70) for explicit formulae of r 12(22. 0674 s, − 11. 0337 s, z ) and \({\gamma }_{C}(\tilde{s})\), respectively)

Comparing the DSAH and SAH presented in Sects. 2.1 and 2.2, we see that the DSAH imaging does not rely on the start–stop approximation and is based on the fast-time Doppler. In other words, the DSAH imaging method takes into account range variations or Doppler induced due to the movement of the receivers during the reception of a CW waveform. SAH imaging, on the other hand, relies on the start–stop approximation and ignores the range variation due to the movement of the receivers, hence the fast-time Doppler, during the reception of a wideband pulse. Thus, the SAH measurement model can be derived from the DSAH measurement model by setting the Doppler-scale-factor to unity and decoupling the time into fast- and slow-time variables.

3 Image Formation

Our objective is to form an image of the scene radiance R ρ(z) using E[c ij (s′, s, μ)] or E[d ij (s′, s, τ)], i, j = 1, , N based on the correlated measurement models (21) for DSAH or (36) for SAH, respectively.

Since both ij DSAH and ij SAH are FIOs, we form an image of the scene radiance by other suitably designed FIOs, which we refer to as the filtered-backprojection operators. For DSAH, we backproject E[c ij (s′, s, μ)] onto passive iso-Doppler contours defined by F ij (s′, s, μ). For SAH, we backproject E[d ij (s′, s, τ)] onto passive iso-range contours defined by H ij (s′, s, τ) for i, j = 1, , N. We form an image of the scene radiance by the superposition of the filtered and backprojected data.

3.1 DSAH Filtered-Backprojection Operator

For DSAH image formation, we invert E[c ij (s′, s, μ)] as follows:

$$\tilde{{R}}_{\rho }^{\mathrm{DSAH}}(z) ={ \sum \nolimits }_{ij} \int \nolimits \nolimits {\mathcal{K}}_{ij}^{\mathrm{DSAH}}[E[{c}_{ ij}]](z,s{^\prime})\mathrm{d}s{^\prime}\,,$$
(42)

where we define

$$\begin{array}{rlrlrl} {\mathcal{K}}_{ij}^{\mathrm{DSAH}}[E[{c}_{ ij}]](z,s{^\prime}) = \int \nolimits \nolimits \,{\mathrm{e}}^{\mathrm{i}{\varphi }_{ij}^{\mathrm{DSAH}}(t,z,s{^\prime},s,\mu ) }{Q}_{ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s)\,E[{c}_{ ij}(s{^\prime},s,\mu )]\mathrm{d}t\mathrm{d}s\mathrm{d}\mu.&& \end{array}$$
(43)

We refer to \({\mathcal{K}}_{ij}^{\mathrm{DSAH}}\) as the DSAH filtered-backprojection operator with respect to the ith and jth receivers with filter Q ij DSAH to be determined below.

We assume that for some m Q DSAH, Q ij DSAH satisfies the inequality

$$ \begin{array}{ccrcl} & {\sup }_{(t,s{^\prime},s,z)\in {K}_{\mathrm{DSAH}}}\left \vert {\partial }_{t}^{{\alpha }_{t} }{\partial }_{s{^\prime}}^{{\beta }_{1} }{\partial }_{s}^{{\beta }_{2} }{\partial }_{{z}_{1}}^{{\epsilon }_{1} }{\partial }_{{z}_{2}}^{{\epsilon }_{2} }{Q}_{ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s)\right \vert & \leq & {C}_{ Q}^{\mathrm{DSAH}}{(1 + {t}^{2})}^{({m}_{Q}^{\mathrm{DSAH}}-\vert {\alpha }_{ t}\vert )/2}\,,\end{array}$$
(44)

where K DSAH is any compact subsets of × × × 2, and the constant C Q DSAH depends on K DSAH, α t , β1, 2, ε1, 2. The assumption in (44) makes \({\mathcal{K}}_{ij}^{\mathrm{DSAH}}\) an FIO.

Substituting (21) into (43) and the result back into (42), we obtain

$$\begin{array}{rcl} \tilde{{R}}_{\rho }^{\mathrm{DSAH}}(z)& =& {\sum \nolimits }_{ij}{\mathcal{K}}_{ij}^{\mathrm{DSAH}}{\mathcal{F}}_{ ij}^{\mathrm{DSAH}}[{R}_{ \rho }](z) \\ & =& \int \nolimits \nolimits {\mathrm{e}}^{\mathrm{i}[{\varphi }_{ij}^{\mathrm{DSAH}}(t,z,s{^\prime},s,\mu )-{\varphi }_{ ij}^{\mathrm{DSAH}}(t{^\prime},z{^\prime},s{^\prime},s,\mu )] }\,{Q}_{ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s) \\ & & \times {A}_{ij}^{\mathrm{DSAH}}(z{^\prime},t,s{^\prime},s,\mu ){R}_{ \rho }(z{^\prime})\,\mathrm{d}t{^\prime}\,\mathrm{d}t\,\mathrm{d}s\,\mathrm{d}s{^\prime}\,\mathrm{d}\mu \,\mathrm{d}z{^\prime}\,. \end{array}$$
(45)

We use the stationary phase theorem to approximate the t′ and μ integrations [4, 15, 16, 24] and obtain

$$\begin{array}{rcl} \tilde{{R}}_{\rho }^{\mathrm{DSAH}}\left (z\right )& \approx & {\sum \nolimits }_{ij} \int \nolimits \nolimits {\mathrm{e}}^{\mathrm{i}\,{\omega }_{0}t\Big{[}1-\widehat{\left ({\gamma }_{j}\left (s\right )-z\right )}\cdot \dot{{\gamma }}_{j}\left (s\right )/{c}_{0}\Big{]}\Big{[}{S}_{ij}\left (s{^\prime},s,z{^\prime}\right )-{S}_{ij}\left (s{^\prime},s,z\right )\Big{]}} \\ & & \times \,{Q}_{ij}^{\mathrm{DSAH}}\left (z,t,s{^\prime},s\right ){A}_{ ij}^{\mathrm{DSAH}}\left (z{^\prime},t,s{^\prime},s,{S}_{ ij}\left (s{^\prime},s,z{^\prime}\right )\right ){R}_{\rho }\left (z{^\prime}\right )\,\mathrm{d}t\,\mathrm{d}s\,\mathrm{d}s{^\prime}\,\mathrm{d}z{^\prime}\,.\end{array}$$
(46)

We linearize S ij (s′, s, z′) around z′ = z and approximate

$${S}_{ij}(\tau {^\prime},\tau,z{^\prime}) - {S}_{ij}(\tau {^\prime},\tau,z) \approx (z{^\prime}-z) \cdot {\nabla }_{z}{S}_{ij}(s{^\prime},s,z)\,.$$
(47)

Let

$$\begin{array}{rcl}{ \Xi }_{ij}^{\mathrm{DSAH}}(s{^\prime},s,z)& =& {\omega }_{ 0}\left [1 -\widehat{ ({\gamma }_{j}(s) - z)} \cdot \dot{{\gamma }}_{j}(s)/{c}_{0}\right ]{\nabla }_{z}{S}_{ij}(s{^\prime},s,z) \\ & =& \frac{{\omega }_{0}} {{c}_{0}} D\psi (z) \cdot \left [ \frac{1} {\vert {\gamma }_{i}(s{^\prime}) - z\vert }\dot{{\gamma }}_{i,\perp }(s{^\prime}) -\frac{{S}_{ij}(s{^\prime},s,z)} {\vert {\gamma }_{j}(s) - z\vert }\dot{{\gamma }}_{j,\perp }(s)\right ]\,,\end{array}$$
(48)

where

$$D\psi (z) = \left [\begin{array}{ccc} 1&0&\partial \psi (z)/\partial {z}_{1} \\ 0&1&\partial \psi (z)/\partial {z}_{2} \end{array} \right ]$$
(49)

and \(\dot{{\gamma }}_{i,\perp }(s{^\prime})\), \(\dot{{\gamma }}_{j,\perp }(s)\) are the projections of \(\dot{{\gamma }}_{i}(s{^\prime})\) and \(\dot{{\gamma }}_{j}(s)\) onto the planes whose normal vectors are \((\widehat{{\gamma }_{i}(s{^\prime}) - z})\) and \((\widehat{{\gamma }_{j}(s) - z})\), respectively.

We show an illustration of the vector \({\Xi }_{ij}^{\mathrm{DSAH}}(s{^\prime},s,z)\) in Fig. 4 for two receivers flying over a flat topography.

Fig. 4
figure 4

An illustration of the vector \({\Xi }_{ij}^{\mathrm{DSAH}}(s{^\prime},s,z)\) in the data collection manifold Ω ij, z DSAH for the flat topography, ψ(z) = 0. \({\Xi }_{ij}^{\mathrm{DSAH}}(s{^\prime},s,z)\) is the projection of the difference of the scaled vectors \(\dot{{\gamma }}_{i,\perp }(s{^\prime})\) and \(\dot{{\gamma }}_{j,\perp }(s)\) onto the tangent plane of the ground topography at z . (See (48) for an explicit form of \({\Xi }_{ij}^{\mathrm{DSAH}}(s{^\prime},s,z)\))

Substituting (47) and (48) into (46), we obtain

$$\begin{array}{rcl} \tilde{{R}}_{\rho }^{\mathrm{DSAH}}(z)& \approx & {\sum \nolimits }_{ij} \int \nolimits \nolimits {\mathrm{e}}^{-\mathrm{i}\,t\,(z{^\prime}-z)\cdot {\Xi }_{ij}^{\mathrm{DSAH}}(s{^\prime},s,z) }\,{Q}_{ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s) \\ & & \times \,{A}_{ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s){R}_{ \rho }(z{^\prime})\,\mathrm{d}t\,\mathrm{d}s\,\mathrm{d}z{^\prime}\,\mathrm{d}s{^\prime}\,. \end{array}$$
(50)

Note that under the assumptions (44) and (25), (50) shows that \({\mathcal{K}}_{ij}^{\mathrm{DSAH}}{\mathcal{F}}_{ij}^{\mathrm{DSAH}}\) is a pseudodifferential operator [33]. This means that the backprojection operator reconstructs the visible edges of the scene radiance at the correct location and correct orientation.

3.2 SAH Filtered-Backprojection Operator

For SAH imaging, we form an image of the scene radiance as follows:

$$\tilde{{R}}_{\rho }^{\mathrm{SAH}}(z) ={ \sum \nolimits }_{ij} \int \nolimits \nolimits {\mathcal{K}}_{ij}^{\mathrm{SAH}}[E[{d}_{ ij}]](z,s{^\prime})\,\mathrm{d}s{^\prime}\,,$$
(51)

where we define

$${ \mathcal{K}}_{ij}^{\mathrm{SAH}}\left [E[d]\right ](z,s{^\prime}) ={ \sum \nolimits }_{ij} \int \nolimits \nolimits {\mathrm{e}}^{\mathrm{i}{\varphi }_{ij}^{\mathrm{SAH}}(\omega,z,s,s{^\prime},\tau ) }{Q}_{ij}^{\mathrm{SAH}}(z,\omega,s{^\prime},s)\,\mathrm{d}(s{^\prime},s,\tau )\,\mathrm{d}\tau \,\mathrm{d}\omega \,\mathrm{d}s\,\mathrm{d}s{^\prime}.$$
(52)

We refer to \({\mathcal{K}}_{ij}^{\mathrm{SAH}}\) as the SAH filtered-backprojection operator with respect to the ith and jth receivers with filter Q ij SAH to be determined below.

Similarly, we assume that for some m Q SAH, Q ij SAH satisfies the inequality

$$ \begin{array}{ccrcl} & {\sup }_{(\omega,s{^\prime},s,z)\in {K}_{\mathrm{SAH}}}\left \vert {\partial }_{\omega }^{{\alpha }_{\omega } }{\partial }_{s{^\prime}}^{{\beta }_{1} }{\partial }_{s}^{{\beta }_{2} }{\partial }_{{z}_{1}}^{{\epsilon }_{1} }{\partial }_{{z}_{2}}^{{\epsilon }_{2} }{Q}_{ij}^{\mathrm{SAH}}(z,\omega,s{^\prime},s)\right \vert & \leq & {C}_{ Q}^{\mathrm{SAH}}{(1 + {\omega }^{2})}^{({m}_{Q}^{\mathrm{SAH}}-\vert {\alpha }_{ \omega }\vert )/2}\,, \\ \end{array}$$
(53)

where K SAH is any compact subsets of × × × 2, and the constant C Q SAH depends on K SAH, αω, β1, 2, ε1, 2. The assumption in (53) makes \({\mathcal{K}}_{ij}^{\mathrm{SAH}}\) an FIO.

Substituting (36) into (52), and using the stationary phase theorem as in DSAH imaging, we approximate

$$\begin{array}{rcl} \tilde{{R}}_{\rho }^{\mathrm{SAH}}(z)& =& {\sum \nolimits }_{ij}{\mathcal{K}}_{ij}^{\mathrm{SAH}}{\mathcal{F}}_{ ij}^{\mathrm{SAH}}[{R}_{ \rho }](z) \\ & =& \int \nolimits \nolimits {\mathrm{e}}^{\mathrm{i}\omega [{r}_{ij}(s{^\prime},s,z{^\prime})-{r}_{ij}(s{^\prime},s,z)]/{c}_{0} }\,{Q}_{ij}^{\mathrm{SAH}}(z,\omega,s{^\prime},s) \\ & & \times \,{A}_{ij}^{\mathrm{SAH}}(z{^\prime},\omega,s{^\prime},s){R}_{ \rho }(z{^\prime})\,\mathrm{d}\omega \,\mathrm{d}s\,\mathrm{d}s{^\prime}\,\mathrm{d}z{^\prime}\,. \end{array}$$
(54)

We linearize r ij (s′, s, z ) around z′ = z and make the following approximations:

$${r}_{ij}(s{^\prime},s,z{^\prime}) - {r}_{ij}(s{^\prime},s,z) = (z{^\prime}-z) \cdot {\Xi }_{ij}^{\mathrm{SAH}}(s{^\prime},s,z)\,,$$
(55)

where

$${\Xi }_{ij}^{\mathrm{SAH}}\left (s{^\prime},s,z\right ) = D\psi \left (z\right ) \cdot \left (\widehat{{\gamma }_{ j}\left (s\right ) - z} -\widehat{{\gamma }_{i}\left (s{^\prime}\right ) - z}\right )\,$$
(56)

and Dψ(z) is given in (49).

For flat topography, we present an illustration of \({\Xi }_{ij}^{\mathrm{SAH}}(s{^\prime},s,z)\) in Fig. 5. Substituting (55) into (54), we obtain

$$\begin{array}{rcl} \tilde{{R}}_{\rho }^{\mathrm{SAH}}(z)& =& {\sum \nolimits }_{ij} \int \nolimits \nolimits {\mathrm{e}}^{\mathrm{i}\omega (z{^\prime}-z)\cdot {\Xi }_{ij}^{\mathrm{SAH}}(s{^\prime},s,z)/{c}_{ 0}}\,{Q}_{ij}^{\mathrm{SAH}}(z,\omega,s{^\prime},s) \\ & & \times \,{A}_{ij}^{\mathrm{SAH}}(z,\omega,s{^\prime},s){R}_{ \rho }(z)\,\mathrm{d}\omega \,\mathrm{d}s\,\mathrm{d}s{^\prime}\,\mathrm{d}z{^\prime}\,. \end{array}$$
(57)
Fig. 5
figure 5

An illustration of the vector \({\Xi }_{ij}^{\mathrm{SAH}}(s{^\prime},s,z)\) in the data collection manifold Ω ij, z SAH for the flat topography, ψ(z) = 0. \({\Xi }_{ij}^{\mathrm{SAH}}(s{^\prime},s,z)\) is the projection of the difference of the unit vectors \(\widehat{{\gamma }_{j}(s) - z}\) and \(\widehat{{\gamma }_{i}(s{^\prime}) - z}\) onto the tangent plane of the ground topography at z . (See (56) for an explicit form of \({\Xi }_{ij}^{\mathrm{SAH}}(s{^\prime},s,z)\))

Under the assumptions (53) and (40), (57) shows that \({\mathcal{K}}_{ij}^{\mathrm{SAH}}{\mathcal{F}}_{ij}^{\mathrm{SAH}}\) is a pseudodifferential operator [33]. This means that the backprojection operator reconstructs the visible edges of the scene radiance at the correct location and orientation in SAH imaging.

3.3 Determination of the Filter

Q ij DSAH and Q ij SAH can be determined with respect to various criteria [39]. Ideally, they are chosen such that the leading-order contributions of the point spread functions (PSFs) of \({\mathcal{K}}_{ij}^{\mathrm{DSAH}}\) and \({\mathcal{K}}_{ij}^{\mathrm{SAH}}\) are Dirac-delta functions. This choice of the filters ensures that \({\mathcal{K}}_{ij}^{\mathrm{DSAH}}\) and \({\mathcal{K}}_{ij}^{\mathrm{SAH}}\) reconstruct the visible edges of the scene radiance not only at the correct location and orientation, but also with the correct strength [25, 26, 30, 39].

In DSAH imaging, for each s′ and z, we make the following change of variables:

$$(t,s) \rightarrow {\xi }_{ij}^{\mathrm{DSAH}} = t\,{\Xi }_{ ij}^{\mathrm{DSAH}}(s{^\prime},s,z)$$
(58)

in (50) and obtain

$$\begin{array}{rcl} \tilde{{R}}_{\rho }^{\mathrm{DSAH}}(z)& \approx & {\sum \nolimits }_{ ij}{ \int \nolimits \nolimits }_{{\Omega }_{ij,s{^\prime},z}^{\mathrm{DSAH}}}{\mathrm{e}}^{-\mathrm{i}\,(z{^\prime}-z)\cdot {\xi }_{ij}^{\mathrm{DSAH}} }{Q}_{ij}^{\mathrm{DSAH}}\left (z,t\left ({\xi }_{ ij}^{\mathrm{DSAH}}\right ),s{^\prime},s\left ({\xi }_{ ij}^{\mathrm{DSAH}}\right )\right ) \\ & & \times \,{A}_{ij}^{\mathrm{DSAH}}\left (z,t\left ({\xi }_{ ij}^{\mathrm{DSAH}}\right ),s{^\prime},s\left ({\xi }_{ ij}^{\mathrm{DSAH}}\right )\right )\left \vert \frac{\partial (t,s)} {\partial {\xi }_{ij}^{\mathrm{DSAH}}}\right \vert {R}_{\rho }(z{^\prime})\,\mathrm{d}{\xi }_{ij}^{\mathrm{DSAH}}\mathrm{d}z{^\prime}\mathrm{d}s{^\prime}\,, \\ & & \end{array}$$
(59)

where \(\vert \partial (t,s)/\partial {\xi }_{ij}^{\mathrm{DSAH}}\vert \) is the determinant of the Jacobian that comes from the change of variables given in (58).

The domain of integration in (59) is given as follows:

$$\begin{array}{rcl}{ \Omega }_{ij,s{^\prime},z}^{\mathrm{DSAH}}& =& \left \{{\xi }_{ ij}^{\mathrm{DSAH}} = t\,{\Xi }_{ ij}^{\mathrm{DSAH}}(s{^\prime},s,z)\,\vert \,{A}_{ ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s)\neq 0,\right. \\ & & \left.(t,s{^\prime},s) \in (\mathbb{R}, \mathbb{R}, \mathbb{R})\right \}. \end{array}$$
(60)

We refer to Ω ij, s′, z DSAH as the DSAH partial data collection manifold at (s′, z) obtained by the ith and jth receivers for a fixed s′ and refer to the union ∪ ij, s′ Ω ij, s′, z DSAH as the DSAH data collection manifold at z and denote it by Ω z DSAH. This set determines many of the properties of the reconstructed DSAH image.

To approximate the PSF with the Dirac-delta function, we choose the filter as follows:

$$\begin{array}{rcl}{ Q}_{ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s) = \frac{{A}_{ij}^{\mathrm{DSAH{_\ast}}}(z,t,s{^\prime},s,\mu )} {\vert {A}_{ij}^{\mathrm{DSAH}}(z,t,s{^\prime},s,\mu ){\vert }^{2}} \frac{{\chi }_{{\Omega }_{ij,s{^\prime},z}}^{\mathrm{DSAH}}(z,t,s{^\prime},s)} {\vert \partial (t,s)/\partial {\xi }_{ij}^{\mathrm{DSAH}}\vert } \,,& &\end{array}$$
(61)

where \({\chi }_{{\Omega }_{ij,s{^\prime},z}}^{\mathrm{DSAH}}\) is a smooth cutoff function that is equal to one in the interior of Ω ij, s′, z DSAH and zero in the exterior of Ω ij, s′, z DSAH.

Similarly, in SAH Imaging, for each s′ and z, we make the following change of variables:

$$(\omega,s) \rightarrow {\xi }_{ij}^{\mathrm{SAH}} = \frac{\omega } {{c}_{0}}\,{\Xi }_{ij}^{\mathrm{SAH}}(s{^\prime},s,z)$$
(62)

in (57) and obtain

$$\begin{array}{rcl} \tilde{{R}}_{\rho }^{\mathrm{SAH}}(z)& \approx & {\sum \nolimits }_{ij}{ \int \nolimits \nolimits }_{{\Omega }_{ij,s{^\prime},z}^{\mathrm{SAH}}}{\mathrm{e}}^{\mathrm{i}\,(z{^\prime}-z)\cdot {\xi }_{ij}^{\mathrm{SAH}} }{Q}_{ij}^{\mathrm{SAH}}\left (z,\omega \left ({\xi }_{ ij}^{\mathrm{SAH}}\right ),s{^\prime},s\left ({\xi }_{ ij}^{\mathrm{SAH}}\right )\right ) \\ & & \times \,{A}_{ij}^{\mathrm{DSAH}}\left (z,\omega \left ({\xi }_{ ij}^{\mathrm{SAH}}\right ),s{^\prime},s\left ({\xi }_{ ij}^{\mathrm{SAH}}\right )\right )\left \vert \frac{\partial (\omega,s)} {\partial {\xi }_{ij}^{\mathrm{SAH}}}\right \vert {R}_{\rho }(z{^\prime})\,\mathrm{d}{\xi }_{ij}^{\mathrm{SAH}}\mathrm{d}z{^\prime}\mathrm{d}s{^\prime}\,, \\ & & \end{array}$$
(63)

where \(\left \vert \frac{\partial (\omega,s)} {\partial {\xi }_{ij}^{\mathrm{SAH}}} \right \vert \) is the determinant of the Jacobian that comes from the change of variables in (62).

In (63), the domain of integration is given as follows:

$$\begin{array}{rcl}{ \Omega }_{ij,s{^\prime},z}^{\mathrm{SAH}}& =& \left \{{\xi }_{ ij}^{\mathrm{SAH}} = \frac{\omega } {{c}_{0}}\,{\Xi }_{ij}^{\mathrm{SAH}}(s{^\prime},s,z)\,\vert \,{A}_{ ij}^{\mathrm{SAH}}(z,\omega,s{^\prime},s)\neq 0,\right. \\ & & \left.(\omega,s{^\prime},s) \in (\mathbb{R}, \mathbb{R}, \mathbb{R})\right \}. \end{array}$$
(64)

We refer to Ω ij, s′, z SAH as the SAH partial data collection manifold at (s′, z) obtained by the ith and jth receivers for a fixed s′ and refer to the union ∪ ij, s′ Ω ij, s′, z SAH as the SAH data collection manifold at z and denote it by Ω z SAH. Again, this set determines many of the properties of the reconstructed SAH image.

Similarly, to approximate the PSF with the Dirac-delta function, we choose the filter as follows:

$$\begin{array}{rcl}{ Q}_{ij}^{\mathrm{SAH}}(z,\omega,s{^\prime},s) = \frac{{A}_{ij}^{\mathrm{SAH{_\ast}}}(z,\omega,s{^\prime},s)} {\vert {A}_{ij}^{\mathrm{SAH}}(z,\omega,s{^\prime},s){\vert }^{2}} \frac{{\chi }_{{\Omega }_{ij,s{^\prime},z}}^{\mathrm{SAH}}(z,\omega,s{^\prime},s)} {\vert \partial (\omega,s)/\partial {\xi }_{ij}^{\mathrm{SAH}}\vert } \,,& &\end{array}$$
(65)

where \({\chi }_{{\Omega }_{ij,s{^\prime},z}}^{\mathrm{SAH}}\) is a smooth cutoff function that is equal to one in the interior of Ω ij, s′, z SAH and zero in the exterior of Ω ij, s′, z SAH.

Irrespective of the choice of the filters, the filtered-backprojection operators \({\mathcal{K}}_{ij}^{\mathrm{DSAH}}\) and \({\mathcal{K}}_{ij}^{\mathrm{SAH}}\) reconstruct the visible edges of the scene radiance at the correct location and correct orientation. With the choice of the filters given in (61) and (65), the resulting image formation method can recover the visible edges not only at the correct location and orientation, but also with the correct strengths.

4 Resolution Analysis

Substituting (61) and (65) into (59) and (63), respectively, we obtain

$$\begin{array}{rcl} \tilde{{R}}_{\rho }^{\mathrm{DSAH}}(z)& \approx & {\sum \nolimits }_{ij}{ \int \nolimits \nolimits }_{{\Omega }_{ij,s{^\prime},z}^{\mathrm{DSAH}}}{\mathrm{e}}^{-\mathrm{i}(z{^\prime}-z)\cdot {\xi }_{ij}^{\mathrm{DSAH}} }\,{R}_{\rho }(z{^\prime})\,\mathrm{d}z{^\prime}\,\mathrm{d}{\xi }_{ij}^{\mathrm{DSAH}}\,\mathrm{d}s{^\prime}\,,\end{array}$$
(66)
$$\begin{array}{rcl} \tilde{{R}}_{\rho }^{\mathrm{SAH}}(z)& \approx & {\sum \nolimits }_{ij}{ \int \nolimits \nolimits }_{{\Omega }_{ij,s{^\prime},z}^{\mathrm{SAH}}}{\mathrm{e}}^{\mathrm{i}(z{^\prime}-z)\cdot {\xi }_{ij}^{\mathrm{SAH}} }\,{R}_{\rho }(z{^\prime})\,\mathrm{d}z{^\prime}\,\mathrm{d}{\xi }_{ij}^{\mathrm{SAH}}\,\mathrm{d}s{^\prime}\,.\end{array}$$
(67)

Equation (66) and (67) show that the DSAH and SAH images, \(\tilde{{R}}_{\rho }^{\mathrm{DSAH}}\) and \(\tilde{{R}}_{\rho }^{\mathrm{SAH}}\) are bandlimited versions of R ρ whose bandwidth are determined by the data collection manifolds Ω z DSAH and Ω z SAH, respectively. The data collection manifolds determine the resolution of the reconstructed images at z. The larger the data collection manifold, the better the resolution of the reconstructed image is.

Microlocal analysis of (66) and (67) tell us that an edge at point z is visible in DSAH or SAH image if the direction n z normal to the edge is contained in Ω z DSAH or Ω z SAH, respectively [25, 26, 30, 39]. Consequently, an edge at point z with n z normal to edge is visible if there exists i, j, s′, s such that \({\xi }_{ij}^{\mathrm{DSAH}}\) or \({\xi }_{ij}^{\mathrm{SAH}}\) is parallel to n z .

The bandwidth contribution of \({\xi }_{ij}^{\mathrm{DSAH}}\) and \({\xi }_{ij}^{\mathrm{SAH}}\) to a visible edge at z is given by

$$\begin{array}{rcl} & & \frac{{\omega }_{0}} {{c}_{0}} {L}_{\phi }\left \vert D\psi (z) \cdot \left [ \frac{1} {\vert {\gamma }_{i}(s{^\prime}) - z\vert }\dot{{\gamma }}_{i,\perp }(s{^\prime}) -\frac{{S}_{ij}(s{^\prime},s,z)} {\vert {\gamma }_{j}(s) - z\vert }\dot{{\gamma }}_{j,\perp }(s)\right ]\right \vert \,,\end{array}$$
(68)
$$\begin{array}{rcl} & & \frac{{B}_{\omega }} {{c}_{0}} \left \vert D\psi (z) \cdot (\widehat{{\gamma }_{j}(s) - z} -\widehat{{\gamma }_{i}(s{^\prime}) - z})\right \vert \,,\end{array}$$
(69)

where L ϕ denotes the length of the support of ϕ(t) and B ω denotes the bandwidth of the transmitted waveform.

Equation (68) shows that for DSAH imaging, the longer the support of ϕ(t) becomes, the larger the magnitude of \({\xi }_{ij}^{\mathrm{DSAH}}\) is, giving rise to sharper reconstructed edges perpendicular to \({\xi }_{ij}^{\mathrm{DSAH}}\), i, j = 1, , N. Additionally, the higher the carrier frequency of the transmitted signal ω0 becomes, larger the magnitude of \({\xi }_{ij}^{\mathrm{DSAH}}\) is, contributing to higher image resolution.

Equation (69) shows that for SAH imaging, as the bandwidth of the transmitted signal becomes larger, the magnitude of \({\xi }_{ij}^{\mathrm{SAH}}\) gets larger, which results in higher image resolution. The sharpness of the reconstructed edges is also directly proportional to the bandwidth of the transmitted signal.

Furthermore, we note that in DSAH imaging, the resolution depends on the range via the terms \(\vert {\gamma }_{i}(s{^\prime}) -z\vert \) and \(\vert {\gamma }_{j}(s) -z\vert \) and the velocities of the receivers via the terms \(\dot{{\gamma }}_{i,\perp }\) and \(\dot{{\gamma }}_{j,\perp }\). As the scatterers are further away from the receivers, or the velocities of the receivers decrease, the resolution gets worse due to the decrease in the magnitude of \({\xi }_{ij}^{\mathrm{DSAH}}\). In SAH imaging, the resolution also depends on the angle between the unit vectors \(\widehat{{\gamma }_{j}(s) - z}\) and \(\widehat{{\gamma }_{i}(s{^\prime}) - z}\). The larger the angle is, the larger the magnitude of \({\xi }_{ij}^{\mathrm{SAH}}\) becomes, resulting in better resolution.

Additionally, the increase in the number of s samples and the time windows (indicated by s′) used for imaging also leads to a larger data collection manifold in DSAH or SAH imaging, which improves the resolution.

We summarize the parameters that affect the resolution of the reconstructed image in DSAH and SAH imaging in Tables 1 and 2, respectively.

Table 1 Parameters that affect the DSAH image resolution
Table 2 Parameters that affect the SAH image resolution

5 Numerical Simulations

We considered a scene of size [0, 22] ×[0, 22] km2 with flat topography. The scene was discretized into 128 ×128 pixels, where [0, 0, 0] km and [22, 22, 0] km correspond to the pixels (1, 1) and (128, 128), respectively.

In all the numerical experiments, we used two airborne receivers and a single, stationary transmitter operating either cooperatively or noncooperatively. We assumed that both the receiver and transmitter antennas were isotropic. We assumed that the transmitter was located at y 0 = (0, 0, 6. 5) km and the receivers were traversing the circular trajectory given by

$${\gamma }_{C}(\tilde{s}) = (11 + 11\cos (\tilde{s}),11 + 11\sin (\tilde{s}),6.5)\,\mathrm{km}.$$
(70)

Let \({\gamma }_{1}(\tilde{s})\) and \({\gamma }_{2}(\tilde{s})\) denote the trajectories of the two receivers. We set \({\gamma }_{1}(\tilde{s}) = {\gamma }_{C}(\tilde{s})\) and \({\gamma }_{2}(\tilde{s}) = {\gamma }_{1}(\tilde{s} -\frac{\pi } {6} )\). Note that the variable \(\tilde{s}\) in γ C is equal to \(\frac{V } {R}t\), where V is the speed of the receiver, and R is the radius of the circular trajectory. We set the speed of the two receivers to 261 m∕s. We chose the sampling rate of s to be 1. 9335 Hz so as to uniformly sample the circular trajectory with 512 points.

In accordance with the incoherent field approximation, we used the following multiple-point-target model for the scene reflectivity,

$$\rho (z) ={ \sum \nolimits }_{l=1}^{L}{g}_{ l}\delta (z -{z}_{l})\,,$$
(71)

where g l ,  l = 1, , L are independent Gaussian random variables with mean μ l and variance σ l 2. The corresponding scene radiance is given by

$${R}_{\rho }(z) = E[\rho (z){\rho }^{{_\ast}}(z)] ={ \sum \nolimits }_{l}({\mu }_{l}^{2} + {\sigma }_{ l}^{2})\delta (z -{z}_{ l}).$$
(72)

In our simulations, we considered a deterministic reflectivity and set σ l 2 = 1. We used L = 9 and approximated the Dirac-delta functions in (72) by square target reflectors of size 344 ×344 m2, each having a unit reflectivity, i.e., μ l  = 1, l = 1, , 9.

Figure 6a, b show the scene with targets used in the simulations of the DSAH imaging and SAH imaging, respectively. Figure 7 shows the receiver trajectories and the transmitter antenna location used for DSAH and SAH simulations.

Fig. 6
figure 6

Discretized scene reflectivity used in the numerical simulations of (a) DSAH imaging and (b) SAH imaging. [0, 0, 0] km and [22, 22, 0] km are located at the lower left and upper right corners, respectively

Fig. 7
figure 7

3-D view of the scene with multiple point targets, illuminated by a single transmitter located at y 0 = (0, 0, 6. 5) km and the circular receiver trajectory \({\gamma }_{C}(\tilde{s}) = (11 + 11\cos (\tilde{s}),11 + 11\sin (\tilde{s}),6.5)\,\mathrm{km}\), as shown by the red solid line. At a certain time instant, two receivers are located at the positions shown in the figure

We performed image reconstruction for each s′ and coherently superimposed the reconstructed images obtained over a range of s′.

5.1 Numerical Simulations for DSAH Imaging

We used (9) to generate the data and chose the windowing function ϕ in (9) to be a Hanning function.

The transmitted waveform was assumed to be a single-frequency CW waveform with 800 MHz carrier frequency. The length of the windowing function was set to L ϕ = 0. 0853 s.

For the case of a cooperative transmitter, the reconstructed image is shown in Fig. 8a. It can be seen that the targets are well reconstructed using the DSAH image formation method.

Fig. 8
figure 8

The reconstructed DSAH images obtained by superposing the images obtained using multiple s′ values and two receivers traversing the circular flight trajectories \({\gamma }_{1}(\tilde{s})\) and \({\gamma }_{2}(\tilde{s})\) as shown in Fig. 7 and a single (a) cooperative transmitter, and (b) noncooperative transmitter located at y 0

Figure 8b shows the reconstructed image using a noncooperative transmitter. Since the location of the transmitter was assumed to be unknown, the received signal was not compensated for the transmitter related geometric spreading factors. As a result, the targets closer to the transmitter appears brighter in the reconstructed image than those that are further away from the transmitter.

5.2 Numerical Simulations for SAH Imaging

We used (33) to generate the data for performing SAH imaging simulations and chose the windowing function ϕ in (33) to be a Hanning function as in DSAH imaging simulations.

A transmitted pulse at center-frequency 0 Hz with bandwidth equal to 0. 873 MHz was used in the simulations.

The reconstructed images corresponding to the cooperative and noncooperative transmitter cases are shown in Fig. 9a, b, respectively. We see that the targets are reconstructed successfully in both cases and in the noncooperative case, the strength of the targets closer to the transmitter are higher as expected.

Fig. 9
figure 9

The reconstructed SAH images obtained by superposing the images obtained using multiple s′ values and two receivers traversing the circular flight trajectories \({\gamma }_{1}(\tilde{s})\) and \({\gamma }_{2}(\tilde{s})\) as shown in Fig. 7 and a single (a) cooperative transmitter, and (b) noncooperative transmitter located at y 0

6 Conclusion

We presented a unified theory of passive synthetic aperture imaging based on inverse scattering theory, estimation-detection theory and microlocal analysis. Our theory involves development of passive measurement models based on inverse scattering and estimation-detection theory and analytic inversion methods based on microlocal analysis. The measurement models involve windowed, scaled, and translated correlation of the received signals at different receiver locations. This correlation process results in measurement models in the form of FIOs. Taking into account the nature of the waveforms of opportunity, we developed two different measurement models: DSAH FIO and SAH FIO.

DSAH FIO-based model projects the scene radiance onto passive iso-Doppler contours, and SAH FIO-based model projects the scene radiance onto passive iso-range contours. The correlation process removes the transmitter-related terms from the phase of the resulting FIO-based DSAH and SAH measurement models, allowing us to perform backprojection without the knowledge of the transmitter locations.

We used microlocal techniques to backproject the correlated signals onto the passive iso-Doppler contours in DSAH imaging and onto passive iso-range contours in SAH imaging. The filtered-backprojection reconstruction methods for DSAH and SAH have the desirable property of preserving the visible edges of the scene radiance at the correct location and orientation, and at the correct strength with appropriate choice of filters.

Our analysis shows that the resolution of the reconstructed DSAH images is determined primarily by the temporal duration and frequency of the transmitted waveforms, and the resolution of the reconstructed SAH images is determined primarily by the bandwidth of the transmitted waveforms. These results are consistent with the ambiguity theory of the CW or ultra-narrowband waveforms and the wideband waveforms.

While we focused primarily on the passive synthetic aperture radar, the theory of DSAH and SAH imaging introduced in this chapter and the resulting methods and algorithms are also applicable to other wave-based passive imaging problems, such as those that arise in geophysics or acoustics.