Stochastic fields do not generally possess a Fourier transform. This makes the second-order statistics calculation very difficult, as it requires solving a fourth-order stochastic wave equation. This problem was alleviated by Wolf who introduced the coherent mode decomposition and, as a result, space-frequency statistics propagation of wide-sense stationary fields. In this paper we show that if, in addition to wide-sense stationarity, the fields are also wide-sense statistically homogeneous, then monochromatic plane waves can be used as an eigenfunction basis for the cross spectral density. Furthermore, the eigenvalue associated with a plane wave, , is given by the spatiotemporal power spectrum evaluated at the frequency (k, ω). We show that the second-order statistics of these fields is fully described by the spatiotemporal power spectrum, a real, positive function. Thus, the second-order statistics can be efficiently propagated in the wavevector-frequency representation using a new framework of deterministic signals associated with random fields. Analogous to the complex analytic signal representation of a field, the deterministic signal is a mathematical construct meant to simplify calculations. Specifically, the deterministic signal associated with a random field is defined such that it has the identical autocorrelation as the actual random field. Calculations for propagating spatial and temporal correlations are simplified greatly because one only needs to solve a deterministic wave equation of second order. We illustrate the power of the wavevector-frequency representation with calculations of spatial coherence in the far zone of an incoherent source, as well as coherence effects induced by biological tissues.
© 2013 OSA
Random field fluctuations in both space and time are due to the respective fluctuations of both primary and secondary sources. The discipline that studies these fluctuations is known as coherence theory or statistical optics [1, 2]. Besides its importance to basic science, coherence theory is crucial in predicting outcomes of many light experiments. For example, in quantitative phase imaging (QPI), we often employ spatially and temporally broadband light to image phase shifts associated with the imaging field . Such phase shifts are physically meaningful only when they are defined via averages, through field cross-correlations (see, e.g., ). Whenever we measure a superposition of fields (e.g., in interferometry) the result of the statistical average performed by the detection process is strongly dependent on the coherence properties of the light. Importantly, half of the 2005 Nobel Prize in Physics was awarded to Roy Glauber “for his contribution to the quantum theory of optical coherence.” For a selection of Glauber’s seminal papers, see Ref .
A thermal source, such as an incandescent filament or the surface of the Sun, emits light in a manner that cannot be predicted with certainty. In other words, unlike in the case of a monochromatic plane wave, we cannot find a function f(r,t) that prescribes the field at each point in space and at each moment in time. Instead, we describe the source as emitting a random signal, s(r,t), and describe its behavior via probability distributions.
We can gain knowledge about the random process only by repetitive measurements and averaging the results. This type of averaging over many realizations of a certain random variable is called ensemble averaging. The importance of the ensemble averaging has been emphasized many times by both Wolf and Glauber [1, 5–7]. For example, on page 29 of Ref , Glauber mentions “It is important to remember that this average is an ensemble average. To measure it, we must in principle repeat the experiment many times by using the same procedure for preparing the field over and over again. That may not be a very convenient procedure to carry out experimentally but it is the only one which represents the precise meaning of our calculation.”
Calculating how field correlations behave upon propagation requires solving a stochastic wave equation (see Appendix), which is tedious as it involves a fourth order differential equation. In order to alleviate this problem, Wolf introduced the coherent mode decomposition (CMD) theory , which establishes that, for wide sense stationary fields, a square integrable cross-spectral density, W can be constructed from contributions of completely spatially coherent sources,Eq. (1), the functions and scalars are mutually orthogonal eigenfunctions and eigenvalues, respectively, of the Fredholm integral equation of W,Eq. (1) are unique since the Fredholm integral equation is evaluated within a confined region D of the source. The main benefit of this expansion is that each eigenfunction (mode) satisfies the deterministic Helmholtz equation and, thus, propagating W reduces to propagating each mode and adding up the results. Using CMD, Wolf developed a framework for studying partial coherence in the space-frequency domain [9, 10].
Here, we show that if, in addition to being wide-sense stationary, the fields are also wide-sense statistically homogeneous, then W admits plane waves as eigenfunctions, i.e., we can write . Furthermore, W can be expressed as the Fourier transform of a real, positive function, which we refer to as the spatiotemporal power spectrum. The eigenvalue associated with each plane wave is the spatiotemporal power spectrum evaluated at the spatiotemporal frequency, (k, ω). The second order statistics is recovered in full by replacing the stochastic field with a deterministic field of the same power spectrum. This deterministic field can therefore be propagated via a second order (deterministic) wave equation, significantly simplifying the calculations (Section 3). This calculation gives the correct result when explaining coherence effects (see, e.g., optical coherence tomography [11, 12]).
We establish the framework for studying coherence problems in the wavevector-frequency representation. Propagation in the wavevector-frequency space allows us to easily compute second order moments of the transverse wavevector and, thus, correlation areas. We illustrate the power of this formalism by re-deriving the classic result of the van Cittert-Zernike theorem and correlation-induced spectral changes in biological tissues.
2. Statistically homogeneous fields
Statistical homogeneity, like stationarity, is a strong assumption since all the measurements, either in space or time, are finite and, technically, we never encounter such fields in practice. However, if the observation interval (spatial or temporal) is much larger than the characteristic scale of the field fluctuations (spatial and temporal correlation lengths), these assumptions are reasonable. For example, if we deal with spatially finite fields, such as beams, the assumption of homogeneity can be used provided that the spatial domain of interest, e.g., the size of the camera used as detector, is much larger than the coherence area at that plane.
Statistical homogeneity, at least in the wide sense, requires that depends on and only through the difference, . Thus, we can define a function for whichEq. (3) as:Eq. (1) where the were chosen as plane waves. Since we have recovered Eq. (1), we easily obtain Eq. (2) by multiplying Eq. (4) by ψm(r1, ω) and integrating r1 over D and using orthonormality of the basis functions:
In summary, these results show: 1) that plane waves form a coherent mode decomposition of W, 2) that plane waves are eigenfunctions of the Fredholm integral equation of W, and 3) that the eigenvalues of W can be computed with the spatiotemporal power spectrum S. Note that there can be many other decompositions of W besides plane waves.
3. Deterministic signal associated with a random field
As discussed in the previous section, the second-order statistics of a fluctuating field is fully described by its spatiotemporal power spectrum, , a real, positive function. In this section, we introduce a new concept, deterministic signal associated with the random field. This property of power spectrum carries the same second-order statistics as the original stochastic field.
The assumed wide-sense stationarity and statistical homogeneity ensures that the spectrum does not change in time or space; it is a deterministic function of k and ω. Therefore, we can mathematically introduce a spectral amplitude, , via a simple square root operation,
Therefore, a deterministic signal associated with the random field can be defined as the inverse Fourier transform of , namelyEqs. (8a) and (8b), Vr is the spatial volume of interest and Vk is the 3D domain of the wavevector. With this definition of the deterministic signal, the fourth order stochastic wave equation (Eq. (36b)) can be reduced to the second order deterministic wave equationEq. (9) indicates that satisfies the deterministic wave equation, i.e.Eq. (10), it is clear that the only difference is replacing the source field with its deterministic signal, which in turn requires that we replace the stochastic propagating field with its deterministic counterpart.
In essence, by introducing the deterministic signal, we reduced the problem of solving a fourth order differential equation to an ordinary (second-order) wave equation. Importantly, the solution of the problem must be presented in terms of the autocorrelation ΓU of VU, or its spectrum and not by VU itself. By the method of constructing the deterministic signal VU associated with the random field U, we ensure their respective autocorrelation functions are equal,
What information about the field is missing in going from the actual random field to its deterministic signal representation? The answer is that the second-order statistics and, thus, the deterministic signal associated with a random field, do not contain any information about the field’s spectral phase. Any arbitrary phase (random or deterministic), ϕ, used to construct a complex signal, , has no impact whatsoever on the autocorrelation function of the signal. For example, a continuous-wave (CW) field of a particular spectrum, S(ω), and a light pulse of the same spectrum have an identical respective deterministic signal, because their temporal correlations are the same. Not surprisingly, both short pulses and broadband CW light have been successfully used for low-coherence interferometry and coherence gating . Spatially, a focused beam and a random field distribution of the same spatial power spectrum, S(k), have identical spatial correlations. For this reason, a speckle (random) field and a focused (deterministic) field of the same spatial spectrum have the same sectioning capabilities . Another illustration of this equivalence is encountered in microscopy. It is known that the size of the condenser aperture, typically filled with diffuse light, controls the coherence area at the sample plane. Using the deterministic signal associated with the incoherent field, it turns out that if the condenser aperture is filled with a plane wave, we obtain the same spatial correlation at the sample plane. Specifically, the coherence area at the sample plane is of the order of the spot that a plane wave would be focused to by the condenser.
The concept of the deterministic signal associated with a random field is useful in simplifying the calculations for propagating second-order field correlations. Furthermore, propagation in the wavevector space allows us to easily compute second order moments of the transverse wavevector and, thus, correlation areas. Note that this simplification is not possible under the coherent mode decomposition  without assuming statistical homogeneity. Below we illustrate this approach by calculating the coherence area of a stochastic field after propagating an arbitrary distance from an extended, completely spatially incoherent source. Then, we derive the changes in coherence due to scattering by tissues, a particular type of secondary source.
4. Propagation of field coherence
4.1. Propagation of coherence from primary sources
An important result in coherence theory is attributed to van Cittert and Zernike (see Section 4.4.4. in Mandel and Wolf ). This result is known as the van Cittert-Zernike theorem which establishes the spatial autocorrelation of the field radiated in the far-zone by a completely incoherent source (Fig. 1).
This result was originally formulated in terms of the mutual intensity, defined asEq. (12), the angular brackets indicate ensemble averaging over a certain area of interest (we are interested in the field distribution in a plane, r1,2∈ℜ2). This function J describes the spatial similarity (autocorrelation) of the field at a given instant, t, and it has been used commonly in statistical optics (see, e.g., .). The theorem establishes a relationship between J at the source plane and that of the field in the far zone. Such propagation of correlations has been described in detail by Mandel and Wolf . Here, we derive the coherence area in the far-zone using the concept of the deterministic signal associated with a random field, as follows.
Again, we assume statistically homogeneous and stationary fields (at least in the wide-sense) such that Eq. (12) simplifies to
An important problem when employing incoherent sources for QPI is to find the coherence area of the field at a certain distance from the source. To this end, according to the definition introduced in the Appendix, we must calculate the variance of the transverse wave vector. Here we provide a calculation of this variance directly from the wave equation. Specifically, we start with the deterministic wave equation, satisfied by the deterministic signal, VU, associated with the random field, U,Eq. (16) by δ(z). By Fourier transforming Eq. (16), we readily obtain the solution in the domain [recall Eq. (9)]1].),Eq. (20), yields a z-independent relation in terms of the respective power spectra, and Eq. (22) with respect to , the variance is obtained at onceEq. (23) to . Further, if we assume that the field of interest is in the far zone of the source, which implies that , then we can use the first order Taylor expansion in terms of , namely . Finally, the finite size of the source limits the spatial frequency in the far field by introducing a maximum value of , say (see Fig. 1), such that . Under these circumstances, Eq. (23) simplifies to
This simple calculation captures the power of using deterministic signals associated with random fields as a means to reduce the coherence propagation equation from fourth-order in correlations to second-order in fields. Specifically, by taking the power spectrum of the solution, we were able to directly calculate the second moment of the transverse wavevector and implicitly obtain an expression for the spatial coherence of the propagating field. Equation (25) illustrates the remarkable result that, upon propagation, the field gains spatial coherence. In other words, the free-space propagation acts as a spatial low-pass filter. The farther the distance from the source, the smaller the solid angle Ω and, thus, the larger the coherence area.
4.2. Propagation of coherence from secondary sources
The concept of the deterministic signal associated with a random field can also be used to describe light propagation in inhomogeneous media, i.e., light propagation from a secondary source. Starting with the deterministic Helmholtz equation, the secondary source term can be separated to the right hand side.Eq. (28) becomes
This is a remarkably simple result, which can be regarded as the first order Born scattering solution for an arbitrary illumination field. Equation (29) allows us to calculate, at any plane z, the power spectrum of the scattered field, which equals that of the respective deterministic signal, , as a function of the illumination spectrum, , and the scattering potential, . Once we know the power spectrum, the frequency variances can be evaluated directly as well. We illustrate these calculations by studying spatial and temporal coherence changes induced by scattering by biological tissues.
In order to demonstrate the change in field correlations due to tissue, we used spatial light interference microscopy (SLIM) to obtain quantitative phase images of a tissue slice. SLIM provides the quantitative information about the optical path-length induced by the sample with 0.3 nm spatial sensitivity . By measuring the scattered light (Fig. 2(b)), the phase shift at each point is mapped to an image, as shown in Fig. 2(a). Figure 2(c) shows the spatial correlation function with respect to , which is obtained directly by taking the radial profile on the 2D Fourier transform of the image in Fig. 2(a).
The coherence properties of the light scattered from the same tissue is calculated using Eq. (29). In order to express the result in terms of the scattering angle, θ, we simply make the substitutions and . Thus, we can express the spectrum with respect to the scattering angle, namely,
Assuming a Gaussian incident field spectrum centered at with standard deviation of , Eqs. (30) and (31) yield the spectrum at each scattering angle and also the spectral bandwidth at each scattering angle. In Fig. 2(d), the resulting normalized spectrum of the calculation from Eq. (30) is shown with respect to the scattering angle. We can see a redshift in higher scattering angles due to the spatial correlation of the source as it is discussed in our previous paper . Further, Fig. 2(e) shows the effective spectral width of the angular spectrum that indicates the change of coherence time through a biological tissue with respect to the scattering angle.
5. Summary and discussion
We presented a new formalism for calculating propagation of field correlations using the wavevector-frequency representation of optical fields. The main points of this paper are as follows. 1) We first represent the coherence mode decomposition (CMD) in the wave-vector domain to prove that the plane waves can be used as an eigenfunction basis of the cross spectral density associated with statistically homogeneous fields. 2) We introduced the concept of a deterministic signal associated with a random field and showed that it significantly simplifies calculations of second order correlations. 3) We described spatial and temporal coherence in terms of the second order statistics (variance) of the spatial and temporal power spectra. Thus, for an arbitrary stochastic field, we can define a temporal bandwidth and coherence time for each spatial frequency (wavevector k) component and, vice versa, a spatial correlation for each temporal frequency ω. 4) We reviewed the stochastic wave equation in the Appendix and, for wide-sense stationary and statistically homogeneous fields, we solved this equation in the (k, ω) domain. Essentially, fourth order differential equations in field correlations can be replaced by second order differential equations for deterministic signals, which are defined via a Fourier transform of the spectral amplitude. These signals do not contain information about the spectral phase associated with the field. For example, the deterministic signal representation cannot make the distinction between a focused beam and a speckle field distribution with the same spatial bandwidth, or a light pulse versus a continuous wave field of the same temporal bandwidth. Therefore, it is important to note that the deterministic signal solution should only be used to generate the power spectrum (or autocorrelation) of the propagating field. From this power spectrum, first order (mean frequency) and second order (variance) statistics can be calculated both spatially and temporally, i.e., one can study how coherence changes upon propagation. 5) In Section 4, we applied the deterministic signal associated with a random field to derive a well-known result of the van Cittert-Zernike’s theorem, e.g., the field emitted by a spatially incoherent source gains coherence upon propagation. First we established that the mutual intensity, a quantity that is traditionally used for describing spatial coherence in a plane, is merely the frequency averaged cross-spectral density. This result allows us to easily calculate propagation of field correlations directly in the frequency (k, ω) domain. 6) If one is only interested to know the spatial and temporal variances, as measures of spatial and temporal coherence, we show that this second order statistics can be calculated straight from the wave equation in the frequency domain [e.g., Eq. (29)]. We illustrated this approach with correlations of fields propagating from primary and secondary sources.
Experimentally, we only have access to field correlations and not the fields themselves. Our results indicate that, for statistically translation-invariant fields, the deterministic signals give the same results as the actual (stochastic) fields. This explains why theoretical descriptions of interferometric experiments can yield the correct results even when randomness is ignored.
A1. Stochastic wave equation
Here we review the propagation of field correlations from an arbitrary source that emits a random field s. We start with the scalar wave equation that has this random source as the driving term,
Because Eq. (32) has a stochastic (random) driving term, it is referred to as a stochastic differential equation. Notoriously, Langevin introduced such an equation (the Langevin equation) to describe Brownian motion of particles . The key difference with respect to the deterministic wave equation is that the field s in Eq. (32) does not have a prescribed form, i.e., we cannot express the source field via an analytic function. Instead, it is known only through average quantities, e.g. the autocorrelation function or, equivalently, the power spectrum. According to the focus of this paper, we assume the source field to be stationary and statistically homogeneous at least in the wide sense.
We use the stochastic wave equation, Eq. (32), to solve for the autocorrelation of U and not U itself. In order to achieve this, we calculate the spatiotemporal autocorrelation of Eq. (32) on both sides (see, Section 4.4. in Mandel and Wolf )Eq. (33) can be taken with respect to the shifts, i.e. (see pp. 194 in Ref .)Eq. (33) can be re-written as
Eq. (35) is a fourth order differential equation that relates the autocorrelation of the propagating field, U, with that of the source, s. From the Wiener-Khintchine theorem, we know that both ΓU and Γs have Fourier transforms, which are their respective power spectra, SU and Ss. Therefore, we can solve this differential equation by Fourier transforming it with respect to both ρ and τ,Eq. (36a), we used the differentiation property of the Fourier transform, , . Equation (36b) gives an expression, in the representation, for the spectrum of the propagating field, SU, with respect to the spectrum of the source, Ss. Note that here the function is a filter function (transfer function), which incorporates all the effects of free space propagation. Because the free space is isotropic, the transfer function is also isotropic, i.e., it depends only on the magnitude of the wavevector, , and not its direction.
A2. Coherence time and area
Let us consider the fluctuations of a field observed at a given plane. The coherence time, τc, and coherence area, Ac, describe the spread (standard deviation) of the autocorrelation function, , in τ and ρ, respectively. Due to the uncertainty relation, τc and Ac are inversely proportional to the bandwidths of their respective power spectra,
The variances, and (similarly, ) are calculated explicitly using the normalized power spectra as probability densities, namely
The two variances can be further averaged with respect to these variables, such that they become constant,Equation (39a) yields a coherence time, , that is averaged over all spatial frequencies, while Eq. (39b) provides a coherence area, , which is averaged over all temporal frequencies. In practice, we always deal with fields that fluctuate in both time and space, but rarely do we specify τc as a function of k or vice-versa; we implicitly assume averaging of the form in Eq. (39a) and (39b).
This research was supported in part by the National Science Foundation (grants CBET 08-46660 CAREER, CBET-1040462 MRI). We acknowledge stimulating discussions with Prof. Scott Carney in our department. For more information, visit http://light.ece.illinois.edu/.
Reference and links
1. L. Mandel and E. Wolf, Optical Coherence and Quantum Optics (Cambridge University Press, 1995), pp. xxvi, 1166 p.
2. J. W. Goodman, Statistical Optics, Wiley classics library ed., Wiley classics library (Wiley, 2000), pp. xvii, 550 p.
3. G. Popescu, Quantitative Phase Imaging of Cells and Tissues, McGraw-Hill biophotonics (McGraw-Hill, 2011), p. 385.
4. Z. Wang and G. Popescu, “Quantitative phase imaging with broadband fields,” Appl. Phys. Lett. 96(5), 051117 (2010). [CrossRef]
5. R. J. Glauber, “The quantum theory of optical coherence,” Phys. Rev. 130(6), 2529–2539 (1963). [CrossRef]
6. M. Born and E. Wolf, Principles of Optics: Electromagnetic Theory of Propagation, Interference and Diffraction of Light, 7th expanded ed. (Cambridge University Press, 1999).
7. E. Wolf, Introduction to the Theory of Coherence and Polarization of Light (Cambridge University Press, 2007), pp. xiv, 222 p.
8. E. Wolf, “New spectral representation of random sources and of the partially coherent fields that they generate,” Opt. Commun. 38(1), 3–6 (1981). [CrossRef]
9. E. Wolf, “New theory of partial coherence in the space-frequency domain. 1. Spectra and cross spectra of steady-state sources,” J. Opt. Soc. Am. 72(3), 343–351 (1982). [CrossRef]
10. E. Wolf, “New theory of partial coherence in the space-frequency domain. 2. Steady-state fields and higher-order correlations,” J. Opt. Soc. Am. A 3, 76–85 (1986). [CrossRef]
11. D. Huang, E. A. Swanson, C. P. Lin, J. S. Schuman, W. G. Stinson, W. Chang, M. R. Hee, T. Flotte, K. Gregory, C. A. Puliafito, and J. G. Fujimoto, “Optical coherence tomography,” Science 254(5035), 1178–1181 (1991). [CrossRef]
12. T. S. Ralston, D. L. Marks, P. S. Carney, and S. A. Boppart, “Interferometric synthetic aperture microscopy,” Nat. Phys. 3(2), 129–134 (2007). [CrossRef]
13. C. A. Puliafito, M. R. Hee, J. S. Schuman, and J. G. Fujimoto, Optical Coherence Tomography of Ocular Diseases (Slack, Inc., 1995).
15. Z. Wang, L. J. Millet, M. Mir, H. Ding, S. Unarunotai, J. A. Rogers, M. U. Gillette, and G. Popescu, “Spatial light interference microscopy (SLIM),” Opt. Express 19(2), 1016–1026 (2011). [CrossRef]
17. J. Shamir, “Optical Systems and Processes, Vol,” PM65 of the SPIE Press Monographs (SPIE, 1999).
18. P. Langevin, “On the theory of Brownian motion,” C. R. Acad. Sci. (Paris) 146, 530 (1908).