Codex @codex  0

The Translation property of the Fourier transform givesFor the remaining integral, the same Translation property of the Fourier transform identifies $e^{20i{k}^{\prime }}\tilde{g}(k^{\prime })$ as the Fourier transform of $g(x+20)$. By the product form of the convolution theorem, with inverse normalization $1/(2\pi )$,But $g(x+20)$ is supported in $[-21,-19]$, whereas the four translated triangular functions making up $r$ are all supported in $[-8,8]$. Their product is identically zero. Therefore the requested integral is $\boxed{0}$ for every real $k$.

The resolved periodic contrast comes principally from electron phase contrast: transmitted and diffracted electron waves interfere after passing through the image-forming optics. The resulting intensity depends on specimen thickness, orientation, defocus and the contrast transfer function; bright dots cannot automatically be labelled gold-atom positions without image simulation. The surrounding nonperiodic background is consistent with an amorphous support or contamination, but its chemistry is not determined by contrast alone.

The particle contains differently oriented fringe regions, and the Fourier transform has several opposing spot pairs with an approximately pentagonal/tenfold composite appearance. Together with the faceted outline, this is consistent with a multiply twinned gold particle, plausibly a decahedral arrangement, rather than one perfect cubic lattice with fivefold rotational symmetry. Opposite Fourier spots occur because the recorded image intensity is real; counting ten spots is not itself proof of a tenfold crystal. Overlapping domains, contrast-transfer effects and a slightly off-axis view can complicate the pattern. A tilt series or spatially windowed transforms across individual domains would test the twinning interpretation. The stability of such particles involves a competition among surface, twin-boundary and elastic strain energies.^[ref]

Temporal coherence measures correlation between an optical field and a delayed copy. For a stationary scalar complex field with carrier convention $e^{-i\omega t}$,The power spectrum $S(\omega )\ge 0$ and the field autocorrelation form a Fourier transform pair, the Wiener-Khinchin theorem:A Michelson interferometer supplies delay $\tau =\Delta L/c$. With equal arm intensities and matched polarization, its interferometric visibility is $|g^{(1)}(\tau )|$; unequal intensities or mode mismatch lower visibility independently of temporal coherence. The relevant spectrum is the optical field spectrum, not the low-frequency spectrum of detector intensity fluctuations.

For a single Lorentzian optical line of angular-frequency full width at half maximum $\Delta \omega$, use the narrow-line detuning modelSuch a model describes a phase-diffusing monochromatic source. An $e^{-1}$ correlation time is $2/\Delta \omega$, and its coherence length is $2c/\Delta \omega$. The Lorentzian extension over all detunings approximates a narrow optical line with $\Delta \omega \ll {\omega }_0$.

For two equal, mutually incoherent ideal monochromatic spectral lines,Here $\bar{\omega }=({\omega }_1+{\omega }_2)/2$ and $\Delta {\omega }_{12}={\omega }_2-{\omega }_1$. Visibility has zeros and revivals, so the overall spectral span alone does not determine a unique decay time. Giving each line a common finite Lorentzian linewidth multiplies this beating correlation by the corresponding exponential envelope.

These two examples distinguish irreversible envelope decay from cancellation and revival of discrete spectral components. The line profiles are explicit models, not claimed measurements of a particular source.

Temporal coherence compares the field at different times at one location: a narrow spectrum maintains a predictable phase relation over a longer delay. Spatial coherence compares the field at different locations at the same time: different angular source components illuminate a baseline with different phase differences, which wash out interference when averaged. These are properties of correlations, not claims that all thermal source points have a common phase.

Assume a distant spatially incoherent, quasimonochromatic source, small angles, identical slit transmission, matched polarizations and equal mean intensity at the two slits. For an angular component $\theta$, the relative input phase is $-kd\theta$. Let $\phi$ be the additional observation-plane phase. Incoherent angular components add intensities, givingIts extrema are $2F(0)\pm 2|F(d)|$, henceFor symmetric $I(\theta )$, $F(d)$ is a real cosine transform. Physical visibility is its normalized absolute value; the printed proportionality omits that qualification. A negative signed coherence reverses fringe phase rather than giving negative contrast. This is the small-angle Van Cittert-Zernike theorem. Temporal coherence analogously depends on the Fourier transform of the spectrum.

A Michelson stellar interferometer uses separated collecting mirrors to obtain a large adjustable projected baseline without requiring a monolithic objective of that diameter. Each collector supplies light to a common combiner. Optical path compensation keeps the delay within the temporal coherence range; varying mirror separation samples spatial coherence and resolves stellar angular structure finer than a small collector alone.

Let $g_{\star }(Y)$ be the normalized signed coherence of one star, and take the baseline along the projected binary separation. The equal-brightness binary-star visibility for identical profiles centred at $\pm \beta /2$ giveFor uniform circular discs of angular diameter $\alpha$,For binary separation from visibility-zero spacing, the rapid binary visibility zeros satisfy $Y_j=(j+\frac{1}{2})\lambda /\beta$, so their repeated spacing is $\lambda /\beta$. The slower single-star envelope first vanishes at $Y=1.21967\lambda /\alpha$. The stellar angular diameter from a visibility envelope and the binary separation follow by fitting both scales; multiple baselines distinguish envelope zeros from binary zeros.

Angular width alone does not specify a unique brightness profile. If the intended one-dimensional model is a uniform angular strip of full width $\alpha$, replace the disc factor by $\mathrm{sinc}(\pi \alpha Y/\lambda )$ with $\mathrm{sinc}u=\sin u/u$; its first envelope zero is $\lambda /\alpha$. Limb darkening changes the disc envelope too. Rotating the baseline is necessary to recover an unknown separation direction; a single orientation measures only its projection.

A non-polarizing beam splitter divides the incident spectrum into a fixed arm and an arm with a translating mirror. Recombining their returned fields gives a detector signal as a function of mirror position $x$. The round-trip optical path difference is $D=2x$ relative to the equal-arm position, so the delay is $\tau =2x/c$ in air approximated as vacuum. Record both detector signal and calibrated position, subtract the constant background, and take a Fourier transform of the interferogram.

For matched arm polarizations and balanced throughput, write the ideal signal aswhere $S(\omega )$ is the incident spectral power density and $C$ is a constant set by the beam splitter and detector. This is the cosine-transform form of Fourier transform spectroscopy, or equivalently the Wiener-Khinchin theorem applied to delayed self-interference.

The delay-range resolution in Fourier transform spectroscopy follows because recording a finite delay range multiplies the correlation by a window. Its transform broadens each spectral line by an instrumental width of order the reciprocal delay range. A mirror travel range $L$ creates a delay range of order $2L/c$, soAt fixed wavelength, absolute wavelength resolution therefore improves inversely with travel range. The numerical coefficient depends on whether $L$ is a one-sided or total travel, on the window or apodization, and on whether resolution means first zero, half width or another criterion. The proportionality is the requested convention-independent result. Position sampling must also be fine enough to sample the fastest fringe variation without aliasing.

A line with lifetime broadening has a Lorentzian line shape. Write its half-width at half-maximum in angular-frequency units as $\kappa >0$. The Wiener-Khinchin theorem, or the Fourier transform of the Lorentzian, givesTherefore in vacuumThe sketch is a cosine fringe pattern about baseline $I_0$, bounded by $I_0[1\pm e^{-\sqrt{2}\kappa |y|/c}]$. Its central value is $2I_0$, its spatial interference fringe spacing is $\lambda /\sqrt{2}$, and its visibility decays on length $c/(\sqrt{2}\kappa )$. For an isolated transition whose population lifetime is $T_1$ and which has no extra dephasing, $\kappa =1/(2T_1)$, so the field coherence time is $2T_1$, not $T_1$. Introducing $\kappa$ avoids confusing population, wave amplitude and spectral-width conventions when no numerical linewidth is given.

Each mutually incoherent patch of an extended star produces a displaced double-slit interference pattern. The detector adds their light intensities. For two apertures separated by a projected interferometric baseline $D$, a source direction offset by a small angle ${\vartheta }_x$ changes their phase difference by $2\pi D{\vartheta }_x/\lambda$. The normalized sum over the source's angular brightness distribution is its first-order optical coherence, whose magnitude is the interferometric visibility for equally bright channels.

For a uniform circular stellar disk of full angular diameter $\alpha$, the normalized angular Fourier transform gives the uniform-disk stellar visibilityHere $J_1$ is the order-one Bessel function of the first kind. This follows by integrating $e^{i(2\pi D/\lambda ){\vartheta }_x}$ over the disk and dividing by its area. In particular, its power series gives $2J_1(x)/x=1-x^2/8+O(x^4)$.

For an ordinary slit separation $d=1\mathrm{mm}$, using the paper's $\alpha =22.6\times 10^{-8}\mathrm{rad}$ and observing wavelength $\lambda =570\mathrm{nm}$,Even $d=10\mathrm{mm}$ gives a visibility loss of only $1.94\times 10^{-5}$. Thus millimetre separation leaves the interference fringes almost indistinguishable from those of a point source; it gives very little sensitivity to the diameter.

The movable mirrors in the Michelson stellar interferometer collect light at a large adjustable separation $D$ and redirect it into closely spaced output beams. They increase the sampling interferometric baseline independently of the fixed output slit spacing $d$: $D$ sets sensitivity to source structure, whereas the output optics set the screen's interference fringe spacing. The first Bessel function zero is $x_1=3.83170597$, henceThe interference fringes disappear at this baseline even though each beam separately remains bright.

The value $3.08\mathrm{m}$ assumes a uniform disk. The original question supplies a diameter without a surface brightness law; real limb darkening changes the precise visibility zero. A one-dimensional uniformly bright strip of the same full angular width instead has a sinc function visibility and first zero $D=\lambda /\alpha =2.522\mathrm{m}$. That is a different source model, not the circular-disk result. The robust conclusion without a surface brightness model is that a baseline of a few metres, rather than millimetres, is required.

A continuous embedding $X\hookrightarrow Y$ is an injective continuous linear inclusion, so $\Vert x{\Vert }_Y\le C\Vert x{\Vert }_X$ for a fixed constant. On a finite-measure domain, Holder inequality giveswith $1/\infty =0$. For finite $p>q$ apply Holder inequality to $|u{|}^q\cdot 1$ with exponents $p/q$ and $p/(p-q)$; equality of exponents is immediate, and $p=\infty$ follows by integrating the supremum bound.

Weak convergence $u_j\rightharpoonup u$ means $\ell (u_j)\to \ell (u)$ for every bounded linear functional $\ell \in X^{\ast }$. The Riemann-Lebesgue lemma says that the Fourier transform of an integrable function tends to zero at high frequency. Since $L^2(0,1)\subset L^1(0,1)$, it makes $\cos (j\pi x)$ weakly null in $L^2$. Its absolute value is at most one, so $u_j{v}_j\in L^2$. For a test $\varphi \in L^2$,while $\int u_{j}v\varphi \to 0$ by the Riemann-Lebesgue lemma applied to $v\varphi \in L^1$. Hence $u_j{v}_j\rightharpoonup 0$. Taking $w_j=u_j=\cos (j\pi x)$ instead gives $u_j{w}_j=(1+\cos (2j\pi x))/2\rightharpoonup 1/2$, so two weakly null factors need not have a weakly null product.

For ${\bar{z}}_j=j^{1/p}{1}_{(0,1/j)}$ and $p^{\prime }=p/(p-1)$, Holder inequality givesThus ${\bar{z}}_j\rightharpoonup 0$ in $L^p$. In contrast, if $z_j$ had a weak $L^1$ limit $z$, testing on every interval strictly away from zero would give integral zero for $z$, hence $z=0$ almost everywhere by the permitted fact. Testing against the constant function one would give $\int z=1$, a contradiction. Therefore $z_j$ has no weak $L^1$ limit.

What is measured. A monoenergetic electron beam is directed at a thin target. A movable magnetic spectrometer selects the scattering angle and outgoing momentum, separating elastic scattering from nuclear excitation and other backgrounds. Incident beam current and target thickness supply the normalization of the differential scattering cross-section. The Hofstadter nuclear electron scattering experiment is a classic implementation of this electromagnetic probe.

For a heavy, approximately spin-zero atomic nucleus, neglecting recoil and treating the electron in the Born approximation, the point-charge result is multiplied by the nuclear charge form factor:Here $q$ is the magnitude of the spatial momentum transfer in natural units. The cosine factor includes the electron spin. Dividing the elastic data by the point-charge factor isolates $|F(q){|}^2$ within these approximations. Recoil, magnetic terms for targets with spin, radiative corrections and particularly Coulomb distortion in electron scattering must be included when significant.

From scattering to size and shape. For a spherical nuclear charge distribution,Thus the nuclear charge form factor is a normalized Fourier transform. Its low-$q$ expansion,measures the nuclear charge radius $r_{\mathrm{ch}}=\sqrt{⟨r^2{⟩}_{\mathrm{ch}}}$. Larger momentum transfers resolve the density profile through diffraction maxima and minima. For a uniform sphere of sharp radius $R$, the uniform-sphere nuclear charge form factor is $3[\sin (qR)-qR\cos (qR)]/(qR{)}^3$; its first zero is at $qR\simeq 4.493$, while $r_{\mathrm{ch}}=\sqrt{3/5}R$.

A practical extraction fits a family of densities to all measured cross sections, rather than treating a few measured values of $|F{|}^2$ as a complete density reconstruction. Finite angular coverage, resolution and the missing sign information make this an inverse problem.

Observed pattern. Apart from the lightest nuclei, the central density is approximately constant; the size grows approximately as $R\simeq 1.2A^{1/3}\mathrm{fm}$ and there is a diffuse surface. The coefficient describes an equivalent sharp nuclear radius, rather than the root-mean-square radius itself. Heavy nuclear charge distributions are often described by the two-parameter Fermi nuclear charge distribution, $\rho (r)={\rho }_0/[1+\exp ((r-c)/a)]$, with half-density radius $c$ scaling roughly as $A^{1/3}$ and diffuseness $a$ around $0.5\mathrm{fm}$. The surface thickness is then about $4a\ln 3\simeq 2.2\mathrm{fm}$. Shell effects, deformation and the lightest systems give departures from this smooth pattern. These qualitative features are established by the electron scattering density measurements.^[ref]

Complementary probes. Transition energies in a muonic atom are especially sensitive to nuclear size because the heavy negative muon orbits close to the charge. Electronic isotope shifts, after separating nuclear-mass and finite-size contributions, measure changes in $⟨r^2⟩$. Both require atomic-structure calculations. Electromagnetic excitation and transition strengths constrain deformation and charge multipoles. Hadronic scattering can also constrain nuclear dimensions, but carries uncertainties from the strong interaction and probes matter rather than purely electric charge.

Use the Fourier transform convention $\overline{U}(k,y)={\int }_{\mathbb{R}}u(x,y)e^{ikx}dx$, initially in a class where the integral transforms and subsequent limits are defined. Transforming Laplace's equation gives ${\overline{U}}_{yy}-k^2\overline{U}=0$ on real $k$. Decay for $y\to \infty$ selectsThe boundary trace is the sum of its negative-half-line unknown and the given positive-half-line datum. The normal derivative is zero on the negative side. ThereforeFor the $e^{ikx}$ convention, negative support gives a integral transform analytic for $\mathrm{Im}k<0$, and positive support gives one analytic for $\mathrm{Im}k>0$, subject to the appropriate endpoint interpretation. The normal trace in this particular problem requires a finite-part interpretation, detailed below.

For the Wiener-Hopf method, regularize the real-axis kernel byTake the branch cut of $a_{+}$ vertically downward from $-iϵ$ and that of $a_{-}$ vertically upward from $iϵ$. Their product on the real axis is the positive square root $\sqrt{k^2+{ϵ}^2}$. The branch of $H_{+}$ has its cut downward from zero. Dividing the regularized equation by $a_{+}$ givesThe forcing $P$ is analytic in $0<\mathrm{Im}k<ϵ$, between its two cuts. Decompose $P=P_{+}-P_{-}$ by Cauchy integrals on two horizontal lines within that strip. Separation giveswhen the endpoint growth class makes the common entire remainder bounded. For $\mathrm{Im}k<0$ one can take the minus Cauchy integral on $\mathrm{Im}\hat{k}=\delta$, with $0<\delta <ϵ$, obtainingThe integrand is $O(|\hat{k}{|}^{-5/4})$ at infinity, so the Cauchy integral converges there. In the limit choose $\delta =\delta (ϵ)$, for example $\delta =ϵ/2$; a fixed positive $\delta$ cannot remain between zero and $ϵ$. With $\sqrt{k}$ denoting the limiting lower-analytic branch and with the prescribed limiting interpretation,The numerator square root has a cut going upward from $iϵ$; the power ${\hat{k}}^{-3/4}$ has a cut going downward from zero. The contour passes between them. The pole $\hat{k}=k$ is below this contour when $k$ is in the lower integral transform domain. These branch choices are essential, rather than independent principal powers of the factors.

There is an important mathematical limitation in the source's ordinary integral definition of $\bar{g}$. An explicit harmonic function particular solution in polar coordinates $0<\theta <\pi$ isEach separated polar power is harmonic function; at $\theta =0$ it has the required Dirichlet boundary condition value, and at $\theta =\pi$ its angular derivative vanishes, giving the required zero normal derivative. It also decays at infinity. Its unknown boundary traces areThe last function is not locally integrable at zero. Therefore the printed ordinary integral ${\int }_0^{\infty }g(x)e^{ikx}dx$ diverges, even for $\mathrm{Im}k>0$. The integral transform calculation is valid for this solution only after specifying a Hadamard finite-part integral, or equivalently a distribution boundary trace.

For the canonical homogeneous extension of this power, the two transformed traces areThe first is analytic below and the second above. The second formula follows from $\Gamma (3/4)=(-1/4)\Gamma (-1/4)$ and the finite-part continuation of the Laplace transform. Substituting their real-axis boundary values directly verifies the boxed integral transform relation for both signs of $k$, so the qualification can be checked without relying only on formal factorization.

There is also homogeneous corner freedom:satisfies zero Dirichlet boundary condition data on the positive axis, zero Neumann boundary condition data on the negative axis and decay at infinity. Its negative trace has integral transform $C\Gamma (1/2)(ik{)}^{-1/2}$, corresponding to the term $A/\sqrt{k}$. Higher singular modes $r^{-(n+1/2)}\sin ((n+1/2)\theta )$ would also satisfy the homogeneous boundary conditions for integers $n\ge 1$, but are excluded if the negative trace is required to be locally integrable. Thus the one-constant formula belongs to a specified corner-growth class. The original boundary conditions alone, without that class, do not assert uniqueness. These facts form the finite-part normal trace for mixed quarter-power boundary data.

Extend $f$ to be zero for $x<0$. Define $h(x)=0$ for $x>0$ andThen the full-line equation is $K\ast f=f+h$. Use the Fourier transform conventionUnder the corresponding growth bounds, the positive-support transform is analytic above a horizontal line and the negative-support transform below a horizontal line. If both functions have suitable subexponential growth, the basic domains are respectively the upper and lower half-planes; exponential decay can enlarge these to overlapping strips. The convolution theorem gives $(\bar{K}-1)\bar{f}=\bar{h}$.

The Wiener-Hopf method factors $\bar{K}-1$ into functions analytic and nonzero in the respective domains. After multiplicative or additive separation, the two sides continue to one entire function, whose growth determines a polynomial by Liouville's theorem. Real-axis zeros must be assigned consistently with the inversion contour, rather than divided out without specifying a side.

For $K=e^{-|x|}$, direct integration gives $\bar{K}=2/(1+k^2)$, soRearrange the Wiener-Hopf factorization asThe left side has the positive-support analytic continuation and the right side the negative-support one. Their $O(1)$ growth, from the supplied $O(k^{-1})$ bounds, makes the common continued function a constant $C$. ConsequentlyFor this kernel, $h$ on the negative axis is a multiple of $e^x$, so the latter transform is analytic for $\mathrm{Im}k<1$. The common strip can therefore be chosen as $0<\mathrm{Im}k<1$. In particular the inversion line must pass above both real poles $k=\pm 1$ of $\bar{f}$.

Set $C=iA$. ThenThis is the transform, on $\mathrm{Im}k>0$, ofEquivalently, Fourier inversion closed below the inversion line for $x>0$ picks up the two real poles with clockwise orientation.

As a direct check, let $G(x)={\int }_0^{\infty }{e}^{-|x-t|}f(t)dt$. Since $(d^2/d{x}^2)e^{-|x|}=e^{-|x|}-2{\delta }_0$, the equation $G=f$ gives $f^{\prime \prime }=-f$. At zero, differentiation of the integral gives $G^{\prime }(0)=G(0)$, so $f^{\prime }(0)=f(0)$; this sets the sine and cosine coefficients equal. Direct substitution, or the transforms above, then verifies the full integral equation, not merely its differentiated form.

In Fraunhofer diffraction, the source and observation geometry make the incident and outgoing wavefronts effectively planar across the aperture. For direct propagation over distance $z$, the quadratic variation in propagation phase across a slit of width $w$ must be negligible, approximately $w^2/(\lambda z)\ll 1$. The far-field angular amplitude is then the Fourier transform of the aperture's complex illumination. A converging lens also produces this angular distribution in its rear focal plane for collimated illumination, without requiring a physically enormous observation distance. The approximation concerns the aperture-dependent phase, not the absence of diffraction.

In Fraunhofer diffraction, the phase difference from aperture coordinate y to observation angle theta is $qy$, with $q=2\pi \sin \theta /\lambda$. Coherent superposition of the transmitted field elements therefore givesThe common propagation factor is omitted. This is the Fourier transform of the complex amplitude transmission, not of its intensity.

For a uniform slit of total width $W=0.2\mathrm{mm}$, integration gives ${\psi }_0=W\mathrm{sinc}(qW/2)$, where $\mathrm{sinc}s=\sin s/s$. Its normalized intensity is ${\mathrm{sinc}}^2(\pi W\sin \theta /\lambda )$, with a central maximum and first zeros at $\sin \theta =\pm \lambda /W=\pm 0.0025$.

For a half-covered slit choose $T=+1$ on the left half and $T=-1$ on the right. Put $h=W/2$ and $s=qh/2$. The two equal rectangles have centres separated by h, soThis half-slit phase-step diffraction factorization is the phase-reversed two-slit interference factor multiplied by the diffraction envelope of each half-slit. Here the half-slit width and centre separation both equal the earlier0.1mm separation. The central intensity is zero; the largest off-axis pair satisfies $\tan s=2s$, giving $|\sin \theta |\simeq 0.00186$. Other zeros are at $s=m\pi$. The plot includes the requested uniform-slit and half-covered patterns.

In Fourier transform spectroscopy, a scanning Michelson interferometer measures intensity against optical path difference $\ell$ rather than selecting one narrow wavelength at a time. After subtraction of the constant background, an ideal stationary source gives an interferogramA cosine Fourier transform recovers the spectral power density $S(\nu )$ after instrumental calibration. A mirror displacement $x$ changes the round-trip path by $2x$; the zero-path-difference burst aligns the scan, and a reference laser can calibrate the displacement.

Finite maximum path difference $L$ multiplies the interferogram by a window and convolves the recovered radiation spectrum with that window's Fourier transform. Thus $\delta \nu$ is of order $c/L$; precise factors depend on scan range and resolution convention. Uniform path samples of separation $\Delta \ell$ need ${\nu }_{\max }<c/(2\Delta \ell )$ to avoid aliasing without bandpass information. interferogram apodization reduces sidelobes at the price of broader lines. The broad accepted optical throughput can be advantageous; the multiplex signal-to-noise advantage depends on detector noise and is not universal in photon-noise-limited measurements. Source drift during a scan, finite beam divergence, imperfect sampling and wave phase errors require control. The finite-window reasoning is the delay-range resolution in Fourier transform spectroscopy.^[ref]

A finite optical pupil spreads a point into a point spread function. In incoherent imaging an extended intensity distribution is convolved with that function; its Fourier transform is the optical transfer function, which attenuates and ultimately removes high spatial frequencies. For an ideal circular pupil the point response is an Airy disk. The Rayleigh criterion for two equally bright incoherent points isA microscope's object-space scale is of order $\lambda /(2\mathrm{NA})$, with the numerical factor depending on illumination and the criterion; $\mathrm{NA}=n\sin \alpha$ measures the accepted ray cone. A larger pupil or shorter wavelength improves the diffraction scale. Aberrations, defocus, detector pixel sampling, motion, background and photon noise can worsen practical performance. Merely magnifying the same blurred image adds no information. Coherent sources require amplitude superposition instead of the incoherent intensity rule. Rayleigh resolution is a convention for separating a pair, distinct from the precision of localizing one isolated point; information does not abruptly vanish below it.

The Fraunhofer approximation drops the aperture-dependent quadratic propagation phase. For illuminated extent $b$ and observation distance $R$, a sufficient paraxial condition is $b^2/(\lambda R)\ll 1$, with coherent nearly plane incident illumination. Collimation followed by observation in a lens's back focal plane produces the same angular Fourier pattern without an astronomical propagation distance.

Let $(x,y)$ label the aperture field ${\psi }_{\Sigma }$ and let $(x_0,y_0)$ be transverse coordinates of the distant detector, with $R$ the axial separation. Expanding the propagation distance retains a common phase and the cross term $-(x_{0}x+y_{0}y)/R$, while dropping the aperture's quadratic term. Summing the scalar Huygens contributions gives a field proportional to the Fourier transform at $(k{x}_0/R,k{y}_0/R)$. In one dimension, writing $q=k{x}_0/R$, $\tilde{\psi }(q)=\int \psi (x)e^{-iqx}dx$ givesRemove the known propagation prefactor and any detector-plane quadratic phase before applying this inverse transform. Recovery needs the complex diffracted field, including phase; its intensity alone is insufficient for this inversion.

The whole-aperture Fraunhofer distance of a coherent array uses the full ten-dish extent, which is about $b=9D+25\mathrm{m}=7.225\mathrm{km}$. Thus $b^2/\lambda \simeq 8.7\times 10^8\mathrm{m}$, and a conventional boundary $2b^2/\lambda$ is about $1.7\times 10^9\mathrm{m}$. Far-field propagation must be of order a million kilometres or more, with a stronger inequality for accurate Fraunhofer behaviour. Applying the condition to only one dish or one spacing would miss the array extent.

For equal synchronized dish fields, the array sum is ${\sum }_{j=0}^9{e}^{-ij{k}_{0}D\sin \theta }$. Its intensity isNear the centre, $\sin \theta \simeq \theta$ and the single-dish envelope $I_1(\theta )$ is nearly constant, giving the requested approximation. A uniformly illuminated circular dish instead supplies the broader envelope $[2J_1(\pi d\sin \theta /\lambda )/(\pi d\sin \theta /\lambda ){]}^2$, with first zero near $1.22\lambda /d=2.93\times 10^{-3}\mathrm{rad}$. It cannot be ignored over the entire pattern.

Principal array maxima have $\sin {\theta }_m=m\lambda /D$, height $100I_1({\theta }_m)$, with spacing approximately $7.5\times 10^{-5}\mathrm{rad}=15.5$ arcseconds. There are narrow sidelobes and many grating orders within the dish envelope because $D\gg d$. The central maximum's first zeros obey $10\beta =\pm \pi$. By reception/transmission reciprocity, the source must therefore move throughfrom zero-order maximum to first minimum. The equatorial geometry fixes the sweep direction; no elapsed time is requested.

Far-field transform. For transverse aperture scale $b$ and screen distance $z$, the quadratic phase across the aperture is negligible when $k{b}^2/(2z)\ll 1$, equivalently a small Fresnel number up to geometrical factors. Expanding the source-to-screen distance at transverse screen coordinate $X$ givesDropping the final aperture-dependent term and treating the prefactor as constant givesThus intensity is the modulus squared of the aperture Fourier transform. A lens focal plane supplies the same angular transform without a very distant screen. The infinitely extended vertical dimension is treated per unit vertical extent.

half-slit phase-reversal diffraction. Put $h=-1$ on the left half and $h=1$ on the right half. With $q=k\sin \theta$ and $s=qb/4$,ThereforeThe apparent singularity at zero angle is removable: $H\to 0$, so the centre is dark. Normalizing by the uncoated slit's on-axis intensity $I_0$ gives $I/I_0={\sin }^{4}s/s^2$. Noncentral zeros have $s=j\pi$, or $\sin \theta =2j\lambda /b$. The two largest lobes are symmetric, at the first nonzero root of $\tan s=2s$, $s\simeq \pm 1.166$, giving $\sin \theta \simeq \pm 0.742\lambda /b$ when those directions propagate. Smaller lobes lie farther out under a decaying envelope.

Doubled thickness. Neglecting absorption and interface reflection, the phase delay doubles from $\pi$ to $2\pi$. Both halves then transmit with the same phase, recovering the ordinary single-slit patternIt has a bright centre and first zeros at $\sin \theta =\pm \lambda /b$. The phase layer redistributes transmitted power rather than absorbing it in this idealization.

For time dependence $e^{-i\omega t}$, a scalar Fresnel-Kirchhoff aperture formula for a point-source amplitude $A$ isHere $s=|S-Q|$, $r=|P-Q|$, and $K$ is the obliquity factor, approximately the mean of the incident and outgoing direction cosines measured with the forward aperture normal. The factors describe incident spherical spreading, outgoing spreading and accumulated phase. This is the scalar Kirchhoff aperture approximation; it does not supply an exact electromagnetic edge boundary solution.

In the Fresnel regime, expand path lengths to quadratic order in aperture coordinates while replacing slowly varying amplitude and obliquity factors by their axial values. In the Fraunhofer regime the quadratic aperture phase is negligible, leaving the aperture Fourier transform. For characteristic aperture size $D$, the latter requires $D^2/(\lambda R)\ll 1$ in the relevant finite-source geometry; a lens can supply the Fourier-plane configuration.

For the one-dimensional Cornu construction, put $S,O,P$ on the unobstructed straight ray, with the aperture plane perpendicular at $O$. An element is displaced transversely by $x$, with $|x|\ll a,b$, where $a=SO$ and $b=OP$. A long straight edge or slit makes the other transverse direction separable. Then

For knife-edge diffraction at the fence, the edge is $h=0.5\mathrm{m}$ above the direct ray, with $a=5\mathrm{m}$, $b=45\mathrm{m}$, $\lambda \simeq 0.100\mathrm{m}$, and $R=4.5\mathrm{m}$. The unblocked aperture extends upward from $h$, so its Cornu chord runs from $u_h=h\sqrt{2/(\lambda R)}=1.054$ to infinity. Using $C(\infty )=S(\infty )=1/2$ and normalizing by the full unobstructed chord givesThe approximate chord coordinates are $C=0.775$, $S=0.492$. This is the standard single-knife-edge Fresnel normalization.^[ref]

For geometric spreading in a moving-receiver diffraction measurement, set $b=d$ while retaining $a=5$ and $h=0.5$:Normalized transmission decreases toward the fence. Absolute received intensity initially increases, because the free-space spherical-wave intensity rises as source–receiver distance decreases. In this model it reaches a maximum near $d\simeq 2.3\mathrm{m}$, then falls. The formal paraxial small-$d$ behavior is $I\propto d/(5+d{)}^3$; extrapolation to $d\lesssim h$ is outside the small-angle approximation. The sketch distinguishes the absolute signal from its ratio to the unobstructed signal at each position.

A Michelson interferometer divides a source beam at a partially reflecting beam splitter. The two perpendicular arms terminate in mirrors whose reflected beams return to the splitter and overlap at the detector. The recombined fields must have overlapping wavefronts and compatible polarization of waves. Moving one mirror by $\Delta L$ changes the round-trip optical path difference by $2\Delta L$, so $N$ passing fringes determine $\Delta L=N\lambda /2$. Conversely a known mirror displacement measures wavelength. Scanning the delay can determine temporal optical coherence and, by Fourier transform spectroscopy, spectral structure. A compensating plate may equalize glass traversal, particularly for broadband illumination.

For equal real peak field amplitudes, the superposition isTime averaging the square over many optical cycles gives $⟨E^2⟩=2a^2{\cos }^2(\varphi /2)=a^2(1+\cos \varphi )$. With $\varphi =kx$ after absorbing a constant port-dependent phase into the zero of $x$,Here $I_0$ is the sum of the two separate-arm intensities; maximum intensity is $2I_0$ and the ideal minimum is zero. Equal amplitudes give unit interference visibility.

For a stationary source with a flat intensity spectrum, different spectral components add in time-averaged intensity. Keeping their individual two-arm interference terms and defining $\mathrm{sinc}z=\sin z/z$ givesOne must not coherently add unrelated source frequencies as if they had a fixed common phase. The sinc envelope is the Fourier transform of the rectangular spectral intensity.

Numerically, ${\nu }_0=5.00\times 10^{14}\mathrm{Hz}$ and $\Delta \nu =1.00\times 10^{13}\mathrm{Hz}$. The annotated interferogram usesIt is even in $x$, has central value 2 and background 1, and its carrier-fringe period in optical path difference is $c/{\nu }_0=0.600\mu \mathrm{m}$. The first envelope zeros are at $x=\pm c/\Delta \nu =\pm 30.0\mu \mathrm{m}$, corresponding to mirror shifts of $\pm 15.0\mu \mathrm{m}$ from equal paths. Side lobes persist beyond the zeros; a negative sinc reverses fringe phase. The intensity remains between $1-|\mathrm{sinc}|$ and $1+|\mathrm{sinc}|$, not between the signed sinc curves with an assumed fixed ordering.

Use the unitary position-to-momentum Fourier transform $\varphi (p)=(2\pi \hslash {)}^{-1/2}\int \psi (x)e^{-ipx/\hslash }dx$. Integration giveswhere $\mathrm{sinc}u=\sin u/u$ with its continuous value one at zero. The amplitude is real and even, with central maximum $\sqrt{a/(2\pi \hslash )}$, zeros at $p=2n\pi \hslash /a$ for nonzero integer $n$, and alternating-sign sidelobes decaying as $1/|p|$.

The probability density is $|\varphi {|}^2$, not the signed Sinc function amplitude. Its integral is one by the unitarity of the Fourier transform.