Green's theorem in seismic imaging across the scales

The solid earth and exploration communities independently developed a variety of seismic imaging methods for passive- and active-source data. Despite the seemingly different approaches and underlying principles, many of those methods are based in some way or another on Green's theorem. The aim of this paper is to discuss a variety of imaging methods in a systematic way, using a specific form of Green's theorem (the homogeneous Green's function representation) as the common starting point. The imaging methods we cover are time-reversal acoustics, seismic interferometry, back propagation, source-receiver redatuming and imaging by double focusing. We review classical approaches and discuss recent developments that fully account for multiple scattering, using the Marchenko method. We briefly indicate new applications for monitoring and forecasting of responses to induced seismic sources, which are discussed in detail in a companion paper.