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 , a source direction offset by a small angle changes their phase difference by . 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 , the normalized angular Fourier transform gives the uniform-disk stellar visibility
Here is the order-one Bessel function of the first kind. This follows by integrating over the disk and dividing by its area. In particular, its power series gives .
For an ordinary slit separation , using the paper's and observing wavelength ,
Even gives a visibility loss of only . 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 and redirect it into closely spaced output beams. They increase the sampling interferometric baseline independently of the fixed output slit spacing : sets sensitivity to source structure, whereas the output optics set the screen's interference fringe spacing. The first Bessel function zero is , hence
The interference fringes disappear at this baseline even though each beam separately remains bright.
Figure 1.
Original calculated interferometric visibility for the given stellar diameter and wavelength
. Details.
The value 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 . 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.
In SI units, the Maxwell equations in vacuum with prescribed charge density and current density are
When and , take the curl of the third equation and substitute the fourth. Using the curl of the curl identity and gives the electromagnetic wave equation:
For example, , is a plane electromagnetic wave provided . The electric field, magnetic field and propagation direction are mutually perpendicular.
The Maxwell equations are linear, so the superposition principle applies to fields. However, the Poynting vector is quadratic:
One may add the average wave intensities only when the cross terms vanish under the actual detector average. For co-propagating plane electromagnetic waves of parallel linear polarization, averaging over optical cycles but potentially resolving the difference frequency gives
If the detector integrates for , the last term acquires , with sinc function convention , evaluated at the midpoint phase. Thus suppresses beats, and the infinite-time average adds the wave intensities exactly for distinct fixed frequencies. Random mutually uncorrelated wave phases also remove the cross terms in an ensemble average; orthogonal linear polarizations remove them for co-propagating waves in polarization-insensitive detection. Merely having different frequencies does not remove a resolved beat signal: two nearly equal frequencies with fixed relative wave phase are a concrete counterexample. For different propagation directions, the relevant addition is of average Poynting vectors, or their components through the chosen detector surface.
Take coordinate across the slit and observation angle from its normal vector. Under Fraunhofer diffraction, the relative optical path difference from is . Uniform coherent illumination makes the complex amplitude proportional to the aperture integral:
The light intensity is proportional to , so
The central value is the continuous limit of the sinc function. The first minima satisfy , if . Infinite slit height removes spreading in the other transverse direction; this expression describes the slit-width direction.
Strictly, distance alone does not ensure Fraunhofer diffraction: one also needs , so that quadratic aperture-dependent wave phase is negligible, or observation in a suitable focal plane. For example, , and have but ; the Fresnel diffraction correction is then substantial. The displayed result uses the intended far-field regime of the question and the usual scalar aperture approximation.
For an experimental-noise interpretation of Nyquist's theorem, a resistor in thermal equilibrium at temperature has one-sided open-circuit voltage-noise spectral density
in the classical range , over an approximately rectangular bandwidth . Across a matched load, half the open-circuit voltage appears, giving available noise power . This is thermal agitation, present without a mean current, and is distinct from shot noise. A real readout weights the spectrum with its transfer function: . Cooling, reduced bandwidth and suitable impedance/noise matching reduce measured noise; the resistor's noise does not simply disappear in an ideal amplifier model.[ref]
The bare name also has a sampling interpretation. The Nyquist–Shannon sampling theorem permits exact reconstruction of a bandlimited signal from sufficiently fast uniform samples. The practical condition is , with an anti-aliasing filter before sampling; otherwise distinct continuous frequencies produce identical samples. Ideal reconstruction uses shifted sinc functions. Critical-rate equality needs an appropriate signal class and can fail for unrestricted edge-frequency sinusoids with unknown phase. Sampling fast enough prevents aliasing, but does not remove thermal noise. This distinction covers the source's unspecified use of “Nyquist's theorem”.[ref]
Use the unitary position-to-momentum Fourier transform . Integration gives
where with its continuous value one at zero. The amplitude is real and even, with central maximum , zeros at for nonzero integer , and alternating-sign sidelobes decaying as .
Figure 1.
A finite rectangular position amplitude gives a sinc momentum amplitude and a sinc-squared momentum density
. Source. Details.
The probability density is , not the signed Sinc function amplitude. Its integral is one by the unitarity of the Fourier transform.
In this digital-sampling context, Nyquist's theorem means the Nyquist–Shannon sampling theorem. A continuous signal with no Fourier content outside can be reconstructed from uniformly spaced samples taken sufficiently fast. The familiar practical condition is
Here is the Nyquist frequency, while is the Nyquist rate required by that signal bandwidth. A finite-energy bandlimited formulation allows equality; a rule intended to include arbitrary pure sinusoids at the boundary must be strict, because vanishes at every sampling time .
The mechanism is visible in the Fourier transform. Sampling by a time comb creates shifted copies of the original spectrum, separated by :
If those copies do not overlap, an ideal reconstruction filter selects one copy and recovers the original waveform. Equivalently, ideal interpolation uses the normalized sinc function:
Each interpolation function is one at its own sample and zero at all other sample times. Exact reconstruction presumes the bandwidth condition, an ideal sampling clock and the full sample sequence.
If the spectrum extends beyond half the sampling rate, different continuous frequencies become indistinguishable: this is aliasing. A sinusoid at frequency is indistinguishable on the sampling grid from frequencies differing by integer multiples of , with the usual sign reflection for real signals. For example, sampled at aliases to ; a later digital filter cannot tell which signal generated those samples.
Use an analogue anti-aliasing filter before the analogue-to-digital converter and choose a sampling rate leaving room for its finite transition band. Faster sampling can relax that analogue filtering problem, but simply increasing the number of samples in a fixed-duration record does not improve the independent Fourier-bin spacing beyond approximately . A long recording is needed for low-frequency resolution, while a small sampling interval is needed for high-frequency coverage. Finite records also introduce windowing and spectral leakage.
Digitization adds amplitude quantization as well as time sampling. An ideal -bit converter spanning voltage range has step . When quantization error may be modeled as independent and uniform across one step, its rms size is ; small coherent signals need not obey that white-noise approximation. Sampling rate controls temporal ambiguity, recording duration controls frequency resolution, and converter resolution controls amplitude discretization.
A Fourier series separates a periodic physical signal into harmonics. For example, a periodic voltage applied to a linear circuit can be treated one frequency at a time; the harmonic responses then superpose to give the output waveform.
Write for the pulse width and for its duty cycle, with . The waveform is a train of positive rectangular pulses centred on , each with area one. It is even about , so every sine coefficient vanishes. Cosine orthogonality gives
and, for ,
This is the Fourier series of a periodic rectangular pulse:
The actual constant term in the series is , not . As usual for a jump discontinuity, the series converges to the average of the one-sided values at each pulse edge, namely , irrespective of the value assigned at that isolated endpoint. Elsewhere it converges to the rectangular waveform.
Counting the constant as the first term, the first three terms are
so their sum is
If “first three” instead means the first three nonconstant harmonics, add ; the original plot shows that alternative partial sum as well. The three-term approximation rounds the narrow peaks and ripples between them; many harmonics are needed to represent a sharp pulse.
The original sketches use the illustrative duty cycle and cover . The coefficient panel also displays the first spectral zero.
For , expand the sinc function:
Thus the low-index coefficients, including , have nearly equal values, although their constant-series contribution still has the factor . The first sinc zero occurs at , or . If this is not an integer, the closest integer coefficient is near zero rather than exactly zero: writing gives . This pulse-width scale of Fourier coefficients means that a narrower pulse requires significant harmonics extending to proportionally larger indices, the reciprocal time-width/frequency-width relation.
At first order in time-dependent perturbation theory set and use the parity result . Decomposing the cosine into its two exponentials gives
Both exponentials contribute to the exact first-order result:
Each apparent zero denominator has a continuous limit. In particular the near-resonant fraction tends to as , while the counter-rotating fraction remains bounded on the optical timescale. One may equivalently write the expression as
This form makes explicit and avoids cancellation at resonance. At extremely short time both sinc functions tend to one, so , agreeing with the initial derivative of the original cosine-driven equation. No rotating-wave approximation has yet been made. The separate assumption of weak excitation remains necessary: the first-order expression must not be extended until it predicts probabilities comparable to or larger than one.
There are three independent nonfactorized momentum integrals, namely a tadpole integral, the three-line sunset diagram integral, and the five-line banana integral. The six displayed Feynman diagrams involve six complete integral expressions:
The distinction between independent building blocks and their products removes an ambiguity in counting “different momentum integrals”. For the strict divergent-wave-function renormalization interpretation of ii, the graphs in c reduce to , comprising three full integral expressions and two independent nonfactorized building blocks.
Make a Wick rotation and use to separate ultraviolet divergences from infrared divergences. Write , and let be the Euclidean versions of the integrals above, with their harmless overall factors of removed. A spherical ultraviolet cutoff gives
Thus the one-vertex quartic graph is linearly divergent, and the one-vertex sextic graph is quadratically divergent as .
For the other two building blocks, the spatial Fourier transform is especially transparent. The three-dimensional Euclidean scalar propagator is
The convolution theorem converts the parallel lines into . Angular integration gives, with a short-distance cutoff ,
This is a different convenient cutoff regularization for the connected block; power-divergent coefficients depend on the cutoff convention, whereas the conclusions about powers and the presence of a kinetic logarithm do not. The sinc function is understood to be at .
For , the integrand starts as , so
Its divergent part is independent of external momentum. In particular,
The finite difference and its finite derivative show why the pure three-line sunset diagram does not need a divergent wave-function renormalization in three dimensions.
For , the small-distance Taylor expansion is
Consequently
In particular, the nonzero term requires a genuine divergent wave-function renormalization, in addition to the mass counterterm. The coefficients here refer to the displayed position-space cutoff and have not included Feynman-diagram symmetry factors or bare couplings.
The comparison with the superficial degree of divergence is
Thus the actual leading power agrees with in every case. The additional logarithms in products come from ultraviolet subdivergences, which uniform power counting alone does not resolve.
For and , differentiation with respect to removes the logarithmic divergence of , but leaves divergent factors or multiplying a finite, nonpolynomial function of . These are subdivergent contributions, not new nonlocal counterterms: subtracting each tadpole diagram subdivergence and the momentum-independent subdivergence removes them. For example, in a factorized subtraction scheme , and likewise for . The remaining kinetic logarithm explains the strict interpretation in ii. A dimensional regularization scheme can suppress power divergences; it does not invalidate this cutoff-based comparison with .
For , define
The simple poles are . In the inverse transform , close the contour below for . Its clockwise orientation gives times the sum of residues. That sum is
For , close above; there are no poles. The residue theorem therefore gives
Here is the Heaviside step function. At the continuous retarded limit is . At critical damping, likewise replaces by ; beyond the stated oscillatory range an imaginary converts it to a hyperbolic sine. These continuations retain decaying temporal exponents.
For each fixed , taking gives
For , invert in space and set :
The correctly normalized sinc function transform is
For instance, , and Fourier inversion immediately gives the factor . The PDF's prefactor is inconsistent with its top hat of unit height; it would give height . Using the normalized identity yields
as a distribution. The values assigned precisely at a wave front do not change that distribution. This is the negative of the standard one-dimensional retarded wave Green function, because the PDF's differential operator is .
The sign and initial data can be checked without any contour calculation. Integrating the spatial-Fourier equation through the impulse gives
In real space these are and . In particular,
for a smooth test function , confirming the negative delta-function initial velocity. Before the impulse the displacement and velocity are zero. The disturbance fills the forward causal cone for the constant-speed wave equation, whose fronts move at unit speed, consistent with . The final question's printed is interpreted as , referring to the elastic constant, not to the Fourier wavevector. No initial conditions were otherwise specified, so the causal choice has been made explicitly.
Figure 1.
Retarded rod response: damping of a Fourier mode and the undamped causal cone
. Original calculated Fourier-mode responses for , and the zero-damping spacetime Green function for the operator . Its value is inside the forward cone and zero outside; the negative sign enforces the stated positive delta-function source. Details.
Phase matching makes wave amplitudes emitted at different depths add coherently. Consider collinear plane waves in a uniform transparent material of length , with fixed polarization of waves and nonzero selected nonlinear optical susceptibility. Assume negligible pump depletion, negligible absorption, an initially absent harmonic, and a wide beam for which diffraction is negligible. The pump's wave amplitude is then constant throughout the interaction.
The pump electric field has spatial wave phase ; its quadratic source has spatial wave phase . The freely propagating harmonic has wave number . Define the second-harmonic phase mismatch by
For the chosen complex-field convention, the outgoing harmonic wave amplitude, up to an overall constant and propagation phase, is proportional to
Choosing the conjugate complex-field convention reverses the exponent's sign without changing the wave intensity. Taking the squared complex modulus gives
Here is fixed for the chosen modes and material; its dimensions accommodate the stated wave intensity convention. The quadratic pump dependence follows because the source wave amplitude is proportional to , whereas is proportional to . The sinc function comes from summing contributions along the whole material, just as a finite aperture produces diffraction through addition of complex amplitudes.
At , the integral is and the harmonic wave intensity grows as . At , all those contributions cancel. This cancellation needs no absorption: their wave phases wind through a full turn. At high conversion, the constant-pump assumption fails, so the law cannot continue indefinitely. Tight focusing, finite optical pulses, absorption, and transverse separation of modes also require a more complete model.
Optical dispersion generally makes . In a suitable crystal, birefringence allows modes with different polarization of waves to experience different refractive indices, making their selected values equal. The appropriate crystal direction and allowed nonlinear optical susceptibility component must both work.[ref]
Figure 1. . Original uniform-medium, undepleted plane wave model with chosen . Both curves use the same pump and prefactor: . Doubling raises the matched peak fourfold and halves the mismatch to the first zero. The dimensionless horizontal coordinate is ; no curve is a fit to historical data. Source. Details.
For a worked calculation, choose and . At , the harmonic wave intensity is of its perfectly matched value. At it vanishes in this model. More material can therefore reduce the output. If instead , doubling multiplies output by four. The two curves retain that common normalization, so their different peak heights are meaningful.
For the Fourier series of a periodic rectangular pulse, the sinc function is nearly one when and has its first zero at . Thus narrowing a pulse increases the range of significant Fourier coefficients. Only integer harmonic indices occur, so an envelope zero need not be an exactly vanishing coefficient.
Ramsey ensemble coherence Created 2026-10-20 Updated 2026-10-20
For an ensemble with static detunings , ideal same-phase quarter-turn pulses give . Here is the characteristic function of the offset distribution. A mean-zero Gaussian of RMS width gives ; a symmetric uniform interval gives a sinc function. A width alone does not uniquely specify the envelope.
Sampling expansion by periodic Fourier projection Created 2026-10-07 Updated 2026-10-14
When the continuous Fourier transform of an integrable function vanishes outside , its periodic Fourier coefficients are the integer samples of the continuous representative of , with the sign of the index reversed. Projecting in and then applying the Fourier inversion theorem gives the displayed reconstruction using the normalized sinc function, with each quotient defined as one when . The Cauchy-Schwarz inequality controls the reconstruction error uniformly in . Bessel's inequality bounds the vector of shifted sinc functions, giving absolute uniform tails when the sample sequence belongs to .
Single slit 2026-10-25
A single transmitting aperture whose finite width produces diffraction. For a uniformly illuminated rectangular opening, its far-field amplitude is the Fourier transform of a constant over that opening, giving the sinc function pattern.
Single-slit diffraction Created 2026-10-14 Updated 2026-10-18
Single-slit diffraction is the spreading of light transmitted by one slit. Consider an ideal rectangular slit of width , illuminated normally by a uniform plane wave with a single wavelength in the surrounding medium. This monochromatic wave has uniform wave amplitude and equal incident wave phases across the slit, providing the required optical coherence. In the scalar Fraunhofer diffraction model, the normalized angular wave intensity is
Here is measured from the forward normal in the plane across the slit width. The sinc function uses the unnormalized convention . The limit makes the central value one. This ideal envelope neglects additional direction-dependent propagation and detector factors; near the forward direction it describes the normalized screen irradiance. [ref].
The noncentral zeros satisfy
The restriction follows from the range of the sine of a real angle. The first minima have when . If , this model has no noncentral zero in the forward hemisphere; equality puts the first zeros at grazing directions, outside the small-angle approximation and off any finite perpendicular screen. [ref].
For , define the central width as the separation between the two first minima. Its angular width and its width on a perpendicular screen are
The angular approximation uses radians and requires ; the screen approximation uses . The tangent relation is exact straight-line geometry, even though the underlying Fraunhofer diffraction field is approximate. This width is distinct from the full width at half maximum.
For , and , the positive first minimum is
The dimensionless far-field parameter is . Doubling the slit width to gives and parameter ; both curves below use the Fraunhofer diffraction approximation. Choosing halves those parameters and doubles both screen widths.
Figure 1.
Normalized single-slit diffraction on a screen: a narrower slit produces a wider central maximum
. Details.
Each curve is normalized to its own ; the arrows measure between first minima. The calculation uses before evaluating the sinc function, rather than replacing by . The lower diagram shows the exact screen geometry with the vertical scale enlarged. Normalization removes the change in peak brightness when the slit width changes.
The wave interference explanation is especially simple: divide the slit into equal narrow strips and add their complex amplitudes, rather than their wave intensities. With wavenumber , the continuous slit gives
Integrating the complex exponential gives the endpoint difference; its continuous value at zero is one. Taking the squared complex modulus gives the stated wave intensity. This is the Fourier transform of an interval indicator expressed in angular coordinates. Feynman's continuous-source argument obtains the same pattern by letting the number of sources tend to infinity. [ref].
At the positive first minimum, the wave phases span exactly across the slit. Every strip in one half has a partner away, with equal wave amplitude and phase difference , so the pairs cancel. At , all the wave phases align instead. [ref].
Figure 2.
Complex amplitudes across a slit: aligned contributions at broadside and cancellation at the first minimum
. Details.
The drawing uses equally weighted midpoint samples , with . At the first minimum their complex amplitudes are a common rotation of the eight roots of unity, so their head-to-tail polygon closes exactly. This finite sum illustrates cancellation; the continuous integral, rather than eight point sources, defines the slit pattern at general angles. The circle shows the continuous range of wave phases; coloured arrows show the eight samples.
A narrower aperture requires a larger angle to accumulate the cancelling phase difference, so narrowing the slit widens the beam. This is a useful limit on geometrical optics: confining light more tightly at an opening increases its subsequent angular spread. At fixed incident irradiance and slit height, reducing also reduces transmitted power, exposing a practical balance between diffraction-limited resolution and light throughput. In a diffraction grating, this single-slit diffraction envelope modulates the wave interference between different slits.
Spatial optical coherence 2026-10-14
Spatial optical coherence compares field samples at different positions, usually across a transverse plane at equal time. Two small openings separated by sample this correlation: recombine their light with nearly matched travel times and measure interferometric visibility near the central interference fringes. A narrow opening in front of a broad-spectrum lamp can improve transverse spatial optical coherence while leaving its short temporal optical coherence. These are separate controls: narrow spectral selection by itself need not make an extended source spatially coherent. MIT's lecture notes illustrate the two-opening test and these contrasting source preparations. [ref].
To isolate source width, stipulate a distant, narrowband source with uniform angular brightness on , and mutually uncorrelated emission from distinct source directions. Here is the full angular width in radians, the common wavelength, and the two openings are separated by along the same transverse direction as the source extent. Neglect amplitude differences across the openings. Each source direction contributes a phase difference approximately . Averaging its complex cross term gives
The sinc function is extended continuously to one at . The sign convention in the exponential depends on which opening is numbered first; the symmetric model gives the same real result either way. Equal detected single-opening light intensities make the magnitude equal to interferometric visibility. A displaced source center adds a deterministic wave phase, shifting the interference fringes without changing their contrast.
Figure 1.
Calculated spatial optical coherence for a stipulated uniform incoherent angular source: wider sources wash out and invert interference fringes
. Details.
The strips show with equal single-opening light intensities, a common phase difference coordinate and no single-slit diffraction envelope. At , contrast is ; at , it vanishes. At , the correlation is : weak fringes return with bright and dark positions exchanged. For and , the first zero occurs at . This is a calculated example, not an experimental measurement or a universal source-width law.
A proposed source-width control follows directly from this model: illuminate two fixed openings with a distant adjustable luminous slit of full width at distance , so under the small-angle approximation, and hold and the spectral selection fixed. Increasing overlays more mutually incoherent, displaced interference fringe patterns. Record profiles over several near-central fringes, measure each opening separately and correct intensity imbalance as in first-order optical coherence. Restrict the recorded region so the path difference stays small compared with the optical coherence length, and resolve the fringes with the detector. Real source nonuniformity, finite opening widths and spectral spread modify the stipulated sinc function law. This protocol is a model-based extension of the verified two-opening method, not a claim that the plotted curves were measured.
Thus an extended incoherent source can give locally excellent wave interference when the sampled separation is small, and almost none when it is larger. The useful scale expresses how source extent limits the aperture over which coherent addition is available. The same angular averaging explains why narrowing a source opening can recover visible interference fringes, even without narrowing its optical spectrum.
Squared sinc function Created 2026-09-24 Updated 2026-10-14
The squared sinc function is nonnegative and integrable; it occurs as the Fourier transform of a triangular function.
It is the pointwise square of the sinc function, with its normalization inherited from that function.
Sum-frequency generation 2026-10-20
A nonlinear optics process producing a field at the sum of two input angular frequencies. The driven electric polarization contains a term proportional to the product of the input complex amplitudes. With undepleted plane-wave inputs, integration along a crystal gives an output amplitude proportional to ; the sinc function therefore determines the ideal length and phase mismatch dependence. A nonzero initial output field also interferes with this generated field.
Top-hat wavefunction 2026-10-20
A top-hat wavefunction is constant on an interval and zero elsewhere. It has a uniform position distribution and a sinc function momentum amplitude. Its discontinuous edges place it outside the finite-kinetic-energy domain of the free Hamiltonian. Smooth-edged localized packets can approximate its position profile while having different momentum tails.