Fresnel diffraction Created 2026-10-14 Updated 2026-10-18
Fresnel diffraction describes diffraction when the quadratic propagation wave phase across an aperture must be retained. Its Fresnel propagator becomes the Fraunhofer diffraction description when that curvature is negligible.
A Fresnel diffraction pattern is a map of how propagation changes the wave interference of light from an aperture. It can resemble the opening, develop bright and dark structure near its edges, and eventually approach a Fraunhofer diffraction pattern. The controlling comparison involves wavelength, opening size and propagation distance together; a distance large compared with the opening need not give the far field.
For a monochromatic wave, use time dependence , wavenumber and complex amplitude . Let be the transmitted field immediately behind an aperture in the plane . In a homogeneous medium, the scalar paraxial approximation givesThis is the two-transverse-coordinate Fresnel propagator, with its carrier restored. It adds complex amplitudes before taking their squared complex modulus to obtain light intensity. It is a scalar paraxial approximation, rather than a full vector solution of Maxwell equations.[ref]
Scalar Diffraction Optics. Interactive Optics by Sander Konijnenberg, Aurèle J.L. Adam and H. Paul Urbach; Fresnel Approximation, equations (381)–(385), and the following paraxial-wave-equation remark
The source in this constructed geometry supplies a plane wave; the observation screen is a plane perpendicular to the optical axis. The right panel isolates the aperture-dependent wave phase that distinguishes Fresnel diffraction from Fraunhofer diffraction. Its vertical scale is in radians, and the drawing's lengths are schematic.
Keeping this wave phase is useful when transporting a field between nearby optical components: both the shape and the complex amplitude matter for subsequent wave interference. A particularly striking feature is that propagation can create a dark centre even from a uniformly illuminated symmetric aperture; the incident wave amplitudes need not be unequal for their outgoing contributions to cancel.
Fresnel diffraction phase curvature 2026-10-18
The quadratic wave phase follows from an ordinary distance calculation. Write . The Taylor expansion of the distance to a screen point isIn the slowly varying propagation prefactor, suffices. In the complex exponential , however, a small distance error is multiplied by the large wavenumber . Retaining the quadratic term while dropping the quartic term requires both and over the contributing aperture and the screen region being considered. The second condition is a wave phase accuracy requirement; the first is the geometric paraxial approximation.
Expanding the retained quadratic term separates three effects:The outside quadratic factor changes the wave phase at each screen point but has unit complex modulus, so it leaves that screen's light intensity unchanged. The quadratic factor inside the integral changes relative wave phases between contributions from different aperture points, so it changes their wave interference. The remaining linear factor supplies a Fourier transform. Fraunhofer diffraction drops the aperture quadratic factor when it is nearly constant; it does not require dropping the screen quadratic factor when predicting a later coherent field.
There is also a useful proof from the Helmholtz equation. Substituting gives . Neglecting yields the parabolic wave equation. A transverse Fourier transform evolves each spatial frequency by , using the transform kernel . Its inverse Fourier transform is the quadratic Fresnel propagator kernel above. Thus quadratic wave phase in space and quadratic wave phase in spatial frequency are two views of the same propagation.
Fresnel propagator Created 2026-10-05 Updated 2026-10-14
In two transverse dimensions, the Fresnel propagator has kernel for . It evolves the homogeneous parabolic wave equation.
Holography 2026-10-18
Holography records the wave interference between a holographic object wave and a known holographic reference wave, then uses that record to reconstruct a wavefront. The record is a hologram. A photographic plate or photodetector measures light intensity; the relative wave phase is encoded in the positions and contrast of interference fringes, rather than measured directly as an optical oscillation. Reillumination makes the recorded pattern act as a diffraction grating that produces an image-bearing field.
The useful change of viewpoint is to preserve a field that can propagate again, instead of only a focused brightness picture. Recovered complex amplitude permits refocusing with the Fresnel propagator; a spatially extended hologram can also supply different viewing directions. The recoverable information is limited by the collected aperture, recorded spatial frequencies, optical coherence and separation of unwanted diffraction orders.
Huygens-Fresnel principle Created 2026-10-18 Updated 2026-10-20
The Huygens-Fresnel principle describes propagation by coherent addition of secondary-wave contributions from a wavefront or aperture. Their complex amplitudes, including relative wave phases, must be summed before calculating light intensity. The Fresnel propagator follows by retaining quadratic propagation wave phase in the paraxial approximation.
For one transverse coordinate, the parabolic wave equation has the Fresnel propagator kernelThe square root uses . With , its Fourier transform multiplier is . This distinguishes the one-transverse-coordinate prefactor from the two-coordinate kernel. The operator is unitary on , although its spatial integral is interpreted as an oscillatory integral.
Free propagation is convolution with a chirp, . The convolution theorem therefore turns it into multiplication by its Fourier transform. Complete the square:The Gaussian integral then givesThus the wavevector-dependent phase isup to an overall phase convention; after removing the carrier it is . This also follows from .
Normalization qualification: the source keeps a two-dimensional-style prefactor while integrating over only one transverse coordinate. With its literal , there is an additional -independent factor, rather than solely a unit-modulus multiplier. A properly normalized one-dimensional Fresnel propagator has , which cancels the square-root factor above and makes propagation a pure Fourier-domain phase. For example, the literal source kernel multiplies a plane-wave Fourier mode by a factor of magnitude , not one. The spatially dependent phase and the proportional Fourier-transform results remain unchanged. [ref]
Oscillations and Waves by Richard Fitzpatrick. Wave optics, two-dimensional Fourier optics: optical-path expansion and Fourier-domain diffraction
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 88 4 c Solution Created 2026-10-03 Updated 2026-10-14
Set . Substitution into the Helmholtz equation gives the first Rytov approximation equationFor the forward parabolic approximation, omit . With zero perturbation at , the Fresnel propagator then givesA jointly Gaussian random field makes a centered complex Gaussian variable. The complex Gaussian exponential moment therefore gives the first-Rytov coherent meanThe second moment here has no complex conjugation. It cannot be replaced by the positive intensity variance .
For example, let be the transverse spectrum of the covariance between depths and . The Fourier multiplier of the Fresnel propagator is , soThis supplies the requested mean in terms of medium statistics. For the longitudinal white-noise model, , which reduces the double longitudinal integral to one.
The exponential is the mean of the first-order logarithmic model. It is not a complete second-order perturbation expansion of the true mean: the omitted logarithmic term can itself have a nonzero mean. Strictly at first order, . As an independent check, the closed white-noise parabolic model gives exactlyfor plane-wave input. A truncated first-Rytov covariance expression with transverse diffraction need not equal this exact mean; omitted logarithmic terms account for the difference.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 70 2 a Solution Created 2026-10-03 Updated 2026-10-14
Write and prescribe a deterministic entrance field . Substitution of the carrier into the Helmholtz equation givesThe usual weak-index paraxial model drops and linearizes , givingAll the mean-field formulas below use this model. If the term in is retained, its extra mean and fluctuations must also be included; Gaussian averaging of the linear random potential alone is then insufficient.
For a colored medium, taking expectations gives the exact propagation identityStationarity and Gaussianity alone do not close the last term. To make its dependence precise, let and let be the random paraxial propagator. Assuming a jointly Gaussian random field, rather than only Gaussian one-point marginals, the functional derivative of the solution isThe Furutsu–Novikov formula therefore yieldsThis is a propagation equation for the mean, with the remaining correlation displayed rather than silently replacing it by a product of means.
The general solution can be written explicitly as a Gaussian-averaged phase-screen product. Put , , and letbe the integral kernel of the Fresnel propagator. Successive free-propagation and random-phase steps, followed by Gaussian averaging, give the colored Gaussian paraxial mean propagatorFor smooth colored media this is the time-slicing representation, with oscillatory integrals understood by the usual Fresnel regularization. At finite the exponential follows directly from the characteristic function of the jointly Gaussian phase sum. It exhibits why a general transverse covariance cannot be replaced by its value at zero separation along every diffraction path.
For completeness, the unlinearized paraxial model has and the corresponding mean equation includes . Its colored-medium solution uses the same time-slicing integral, replacing the Gaussian factor byThis follows by completing the square in the finite-dimensional Gaussian integral, with the determinant branch continuous from . It supplies the generic colored-medium mean when the term is retained. A square of ideal white noise is not defined by the covariance in part (b); that limit uses the linear random-potential model and its stated drift.
If transverse diffraction of the fluctuations is neglected, the simpler straight-ray approximation givesIndeed and the variance of its phase is . If is constant transversely, this formula is exact with replaced by the free diffracted field . For example , a single standard normal variable constant throughout space, satisfies stationarity and unit variance but gives . Thus a constant-rate exponential attenuation is not a consequence of part (a)'s assumptions alone. It becomes the closed paraxial result under the longitudinal white-noise assumption in the next part.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 70 2 b Solution Created 2026-10-03 Updated 2026-10-14
Interpret the longitudinal delta covariance as a white-noise limit. It is a generalized random field, not a pointwise unit-variance function. Let have independent longitudinal increments withThe smooth-medium limit gives the Stratonovich equation . Conversion to Itô form contributes the local variance drift:The Itô stochastic integral has zero mean, so coherent attenuation in a white-noise random medium satisfiesHere is the Fresnel propagator. Equivalently,For a constant entrance envelope this is simply its constant value times .
Put , the transverse covariance coefficient of the refractive-index fluctuations. The spectrum required here is the transverse spectrum of that longitudinal covariance coefficient, or equivalently the longitudinal-zero-frequency slice of a prelimit stationary medium. Radial symmetry refers to the transverse plane; exact white noise in one direction is not full three-dimensional isotropy. With the Cartesian Fourier convention,angular integration gives . Its inverse givesThe printed transform hint mixes two different normalizations. Its radial transform and inverse constitute the self-reciprocal Hankel pair, whose spectrum is , rather than the unnormalized Cartesian transform also displayed there. Using that Hankel convention consistently yields insteadThese are the same physical solution after converting spectra. The distinction is Fourier-Hankel normalization for an isotropic spectrum; fixes the zero-separation covariance in either convention.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 76 1 d Solution Created 2026-10-03 Updated 2026-10-06
Write and . Substituting into part (a), without prematurely replacing by its linear part, givesTaking the expectation yields the exact mean equation within the paraxial approximation:The correlation term cannot be discarded just because : the field depends on the same random medium as . Nor can be factored exactly from the given variance alone. The printed statistics do not specify the autocorrelation function of a random field, so they do not determine a unique local closed equation for .
A useful covariance-dependent equation follows to second order in . Defineand letbe the Fresnel propagator kernel for one transverse coordinate. The Duhamel principle applied to the linear fluctuation term giveswhere . Multiply by and average. Also . Since , replacing by in terms already multiplied by preserves second-order accuracy. We obtain the weak-fluctuation memory equation for the coherent fieldThis perturbation statement is for fixed propagation intervals with sufficient covariance regularity and moment bounds. The kernel is understood as an oscillatory integral. If the field is jointly Gaussian, odd perturbative contributions vanish and the remainder can be improved under the corresponding expansion hypotheses. Joint Gaussianity itself still leaves the covariance unspecified. The term is the quadratic refractive-index shift in the coherent field; it comes from the mean of .
For the usual local answer, impose the additional Markov approximation for a random medium. Its longitudinal correlation length must be much shorter than the distance on which the envelope varies, and diffraction across that correlation distance must not resolve substantial transverse covariance variation. Away from the entry layer, replace the slowly varying factors in the memory integral by their local values and extend the longitudinal integral to infinity. Define the integrated covarianceFor an integrable real stationary covariance, is even, and is its zero-longitudinal-frequency spectral density. The conventional leading weak-index model keeps only the linear random potential ; in that model the local first-moment equation isThe factor can be checked independently in the white-noise model. If is a Brownian field with , writeConverting the Stratonovich integral to an Itô integral adds . The remaining stochastic integral has zero mean, giving the boxed equation andIf the finite-correlation model retains consistently through order , the local second-order expansion also has , adding the phase factor . This phase is computed before the white-noise idealization: squaring ideal Gaussian white noise is not the finite-variance operation .
The need for a correlation assumption can be seen without any closure argument. The stationary Gaussian random field , with a single standard normal variable , has all the printed one-point statistics. In the linear weak-index model it givesIts attenuation is quadratic in propagation distance, whereas the Markov model gives linear-distance exponential attenuation. The local attenuation equation requires the additional correlation/Markov assumption; it does not follow from statistical homogeneity and unit variance alone.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 335 1 a Solution Created 2026-10-03 Updated 2026-10-06
Use the time convention . The free-space Helmholtz equation, with , gives the exact reduced equationFor a forward plane wave at angle , and , whereas . Thus the paraxial approximation neglects relative to . The reduced field satisfies the parabolic wave equationWith the Fourier transform convention used below and its inverse, this becomes an ordinary differential equation for each transverse wavenumber:Consequently the initial-value solution isEquivalently, evaluating the oscillatory Gaussian integral gives the one-dimensional transverse Fresnel propagation formulaThe square-root branch has . The formula is an oscillatory integral for general data, or the Fresnel propagator acting on square-integrable functions. It approaches the initial field as . A plane wave has transverse wavenumber ; the reduced axial phase agrees with through order . This also checks the sign. The paraxial approximation applies to .
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 335 1 c Solution Created 2026-10-03 Updated 2026-10-06
At each point the Gaussian process has a standard normal marginal distribution. Its characteristic function gives the coherent screen fieldIt is constant in , so its Fourier transform is . Applying the Fresnel propagator to this zero-transverse-wavenumber component gives the ensemble-averaged reduced spectrumThus the reduced mean is independent of . The physical mean still has its carrier phase. The coherent attenuation by a Gaussian phase screen takes place at the screen, with no further coherent attenuation in homogeneous space.
The full spectral acoustic flux depends on the second moment, not the square of this mean. For a stationary process, the generalized cross-spectral correlation isIndeed its propagation factors cancel on . This explains why the ensemble-averaged spectral acoustic flux in (b) is also independent of , even for nonzero transverse wavenumbers whose individual complex amplitudes change phase. The coherent atom has weight ; the full stationary phase-screen power spectrum also contains fluctuations. Under the decay assumptions in (b), their integrated weight is . One must use these weights in a spectral measure of a stationary random field, rather than square a Dirac delta distribution. A phase-only screen preserves the leading-order total acoustic energy flux, although it reduces its coherent part.
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.
For a parabolic wave equation with , a zero-mean stationary real field of unit variance, and , finite-correlation perturbation theory givesHere is the coherent field, is the autocorrelation function of a random field and is the one-coordinate Fresnel propagator. Expand the random solution once using the Duhamel principle, multiply by and average to obtain the memory term. The local phase term comes from the term in . The expansion is for fixed propagation distances with suitable covariance regularity and moment bounds. A Markov approximation is an additional scale assumption that can turn this integral equation into a local attenuation equation.
