Fresnel propagator 2026-10-05
In two transverse dimensions, the Fresnel propagator has kernel for . It evolves the homogeneous parabolic wave equation.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 335 1 iii Solution Created 2026-10-03 Updated 2026-10-05
For the Fourier transform convention of equation 3, insert the given power spectrum as . With ,The Fourier transform of a Gaussian, or the order-zero Hankel transform, also givesThus the coherent attenuation in a white-noise random medium isFor a unit incident plane wave, the Fresnel propagator leaves the initial envelope unchanged, so the answer reduces to . If instead the given numerical function is interpreted as the self-reciprocal Hankel transform spectrum suggested by the printed equations 4 and 5, then and the alternative isThe factor ambiguity is present in the original PDF. No unique numerical attenuation coefficient follows until the power spectrum convention is fixed. The covariance strength has units of length in this longitudinal white noise model, making both attenuation exponents dimensionless.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 335 1 ii Solution Created 2026-10-03 Updated 2026-10-05
Interpret the longitudinal Dirac delta function as the Markov approximation for a random medium. The two arguments on the left of the printed covariance must be and . The transverse covariance kernel is . Here statistical isotropy means transverse isotropy: a medium with a distinguished longitudinal white noise direction and a smooth transverse covariance is not literally isotropic in all three directions. Also, ideal Gaussian white noise replaces the original finite-variance field; it cannot simultaneously satisfy a pointwise normalization .
Write for the covariance strength of the refractive index fluctuations. Define the transverse power spectrum using the unnormalized forward Fourier transform printed in equation 3:This is the spectrum of the fluctuations, excluding the deterministic mean index. Equivalently it is the zero-longitudinal-frequency slice of the three-dimensional fluctuation spectrum before the Markov approximation. The angular integral is , where is the Bessel function of the first kind. Consequently Fourier inversion and the Hankel transform giveThe printed equations 4 and 5 omit these reciprocal factors, and the left-hand side of equation 5 should depend on . They are instead a consistent order-zero Hankel transform pair if their denotes .
Using , the mean-field solution in the Fourier transform convention isHere is the Fresnel propagator. Finiteness of the integral ensures a finite screen wave phase variance. If the quoted power spectrum uses the self-reciprocal Hankel transform convention, the same result readsThese formulas describe identical media when ; assigning the same numerical function to both spectral conventions describes different covariance strengths.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 335 1 i Solution Created 2026-10-03 Updated 2026-10-05
Use the time-harmonic wave convention and write , , with a deterministic incident wave envelope. The printed speed ratio is inconsistent with : the refractive index used below is . Substituting in the Helmholtz equation givesThe paraxial approximation discards . The usual weak-fluctuation model also linearizes , givingDropping the quadratic contrast is an additional weak-fluctuation assumption, not a consequence of small propagation angles. Although the linearized random potential generates attenuation of order , it does not retain every effect of that order in the literal finite-correlation index: the discarded quadratic contrast can also produce a mean wave phase shift. This linearization must precede a Gaussian white noise limit: the square of ideal white noise has no ordinary pointwise meaning.
The split-step Fourier method alternates free-space diffraction, , with a random phase screen,For jointly Gaussian random fields, Gaussian phase averaging gives . More generally, a product of fields and conjugate fields picks up , with signs or . Its screen average is determined entirely by the wave phase covariance matrix. The deterministic diffraction step acts on each coordinate, with opposite signs on factors formed by complex conjugation. This is the basis of the field-moment equations.
There is an important closure qualification. A stationary Gaussian random field need not have independent longitudinal increments. For finite-correlation fluctuations, the unlinearized parabolic wave equation instead givesIn the weak-fluctuation model, the exact first-moment equation isThe last term cannot in general be replaced by a constant times . An exact generic solution of the linearized model iswhere denotes time ordering of the propagation operators. For the unlinearized model, add inside the propagation generator. The covariance function of the medium is needed to evaluate this expression; One-point Gaussian distributions alone would not even determine the joint wave phase statistics.
For example, omit diffraction and take a longitudinal autocovariance function . Direct Gaussian phase averaging givesEven here, unit-variance stationary Gaussian random fields with different give different answers. In the general problem the diffraction and multiplication operators do not commute, so this scalar attenuation cannot simply be multiplied by without an additional approximation.
The standard closed answer uses the Markov approximation for a random medium, made explicit in part ii. Let the longitudinally integrated covariance kernel beReplace the medium by longitudinal Gaussian white noise with this strength. A screen of thickness then has and is independent of the incoming field. For the moment , expanding both steps to order givesIn particular, the coherent attenuation in a white-noise random medium and its Fresnel propagator solution areEquivalently, write , where is Brownian motion in with transverse covariance kernel . The Stratonovich integral formulation is . Its Itô integral form isThe mean of the Itô integral vanishes, independently confirming the attenuation drift. For in two transverse dimensions,Thus a unit plane wave has . For a general incident wave envelope, the Fresnel propagator supplies its spreading. The attenuation is redistribution between the coherent and diffuse wave fields, rather than wave absorption: for a field and its conjugate at the same point, the screen contribution in the second-moment equation cancels.