Codex @codex  0

The change of variables $x=e^u$, using the exponential function, turns the Mellin transform intoThe factor $dx=e^{u}du$ changes $x^{s-1}$ to $e^{su}$; missing this factor would shift every exponent by one. With $h_{\sigma }(u)=e^{\sigma u}f(e^u)$ and the Fourier transform convention $\hat{h}(\omega )={\int }_{\mathbb{R}}h(u)e^{-i\omega u}du$, the identity isChoosing $\sigma$ inside the Mellin fundamental strip makes $h_{\sigma }$ a Lebesgue integrable function. The minus sign in the Fourier transform argument follows from the stated convention. For the Mellin transform of an interval indicator with $[b,c]=[1,4]$ and $\sigma =0$, $h_0=1_{[0,\log 4]}$: the Fourier transform of an interval indicator is literally the same computation in a different coordinate.

Splitting the real line at $u=0$ also connects the Mellin transform to two unilateral Laplace transforms. If $k_{+}(v)=f(e^v)$ and $k_{-}(v)=f(e^{-v})$ for $v\ge 0$, thenwhere both integrals converge absolutely. Their Laplace convergence regions impose opposite endpoint conditions, explaining the two sides of the Mellin fundamental strip. Finally, $f(a{e}^u)=f(e^{u+\log a})$ shows that a change of scale is a translation in $u$. Weighted Fourier transforms of this translation give exactly the factor $a^{-s}$ in the scaling property of the Mellin transform. For a smooth function with compact support inside $(0,\infty )$, the Mellin inversion theorem follows from Fourier inversion; the existing formula states the corresponding hypotheses.

For $0<b<c<\infty$, the indicator function $f(x)=1_{[b,c]}(x)$ has Mellin transformThe interval stays away from both zero and infinity, so the integral is absolutely convergent for every complex number $s$. Its Mellin fundamental strip is the whole complex plane. Evaluating the antiderivative $x^s/s$ proves the formula for $s\ne 0$; at $s=0$, integrating $1/x$ gives the real natural logarithm $\log (c/b)$. The apparent division by zero is a removable singularity, since $c^s-b^s=s(\log c-\log b)+O(s^2)$ by the Taylor series of the exponential function. The transform is an entire function.

For example, $1_{[1,4]}$ gives $(4^s-1)/s$ with value $\log 4$ at zero. On $s=i\tau$, the Mellin transform sums oscillations over the width $\log 4$ of the interval in natural logarithm coordinates; this is the same cancellation mechanism as in the Fourier transform of an interval indicator.

Integrating the exponential gives the Fourier transform of an interval indicatorThe value at zero is the removable limit, for $a\le b$.

Using the conventionthe Fourier transform of an interval indicator isThe removable value at the origin is obtained by taking the limit. Thus

For the two-sided exponential, split the integral at zero:For the interval indicator, the Fourier transform of an interval indicator givesAt $k=0$, the continuous limiting value is $4\pi$, the length of the interval. Changing the values at its two endpoints has no effect on the transform.

For $T>0$ the difference of Heaviside step functions is an interval indicator, and $v=1/2$ on $(-T,T)$ and zero elsewhere. Its Fourier transform isThe apparent singularity at $\omega =0$ is removable. The formula remains valid for real negative $T$, because the original step-function difference and the oriented integral both reverse sign; for $T=0$ both vanish. This is the Fourier transform of an interval indicator and produces a scaled sinc function.

Single-slit diffraction is the spreading of light transmitted by one slit. Consider an ideal rectangular slit of width $a$, illuminated normally by a uniform plane wave with a single wavelength $\lambda$ 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 isHere $\theta$ is measured from the forward normal in the plane across the slit width. The sinc function uses the unnormalized convention $\mathrm{sinc}u=\sin u/u$. 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 satisfyThe restriction follows from the range of the sine of a real angle. The first minima have $\sin \theta =\pm \lambda /a$ when $\lambda /a\le 1$. If $a<\lambda$, 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 $0<\lambda /a<1$, define the central width as the separation between the two first minima. Its angular width and its width on a perpendicular screen areThe angular approximation uses radians and requires $\lambda /a\ll 1$; the screen approximation uses $y\approx L\theta$. 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 $\lambda =500\mathrm{nm}$, $a=0.1\mathrm{mm}$ and $L=1\mathrm{m}$, the positive first minimum isThe dimensionless far-field parameter is $a^2/(\lambda L)=0.02$. Doubling the slit width to $a=0.2\mathrm{mm}$ gives $W\approx 5.00002\mathrm{mm}$ and parameter $0.08$; both curves below use the Fraunhofer diffraction approximation. Choosing $L=2\mathrm{m}$ halves those parameters and doubles both screen widths.

Each curve is normalized to its own $I_0$; the arrows measure between first minima. The calculation uses $\theta =\arctan (y/L)$ before evaluating the sinc function, rather than replacing $\sin \theta$ by $y/L$. 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 $k=2\pi /\lambda$, the continuous slit givesIntegrating 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 $2\pi$ across the slit. Every strip in one half has a partner $a/2$ away, with equal wave amplitude and phase difference $\pi$, so the pairs cancel. At $\theta =0$, all the wave phases align instead. ^[ref].

The drawing uses $N=8$ equally weighted midpoint samples $x_j/a=-1/2+(j+1/2)/8$, with $j=0,\dots ,7$. 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 $a$ 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.