๐Ÿงฎ Brain Teaser

A Dirichlet-Type Integral: The Sinc Integral

Evaluate:

โˆซ0โˆžsinโกxxโ€‰dx\int_0^{\infty} \frac{\sin x}{x}\, dx

Feynman trickLaplace transformdifferentiation under the integral signsinc function

Answer: The Sinc Integral

Key Idea / Intuition

The function sinโกx/x\sin x / x has no elementary antiderivative, so direct integration is hopeless. The key trick is to introduce a parameter under the integral sign (Feynman's differentiation trick / Laplace transform): replace the integral by I(s)=โˆซ0โˆžeโˆ’sxsinโกxxโ€‰dxI(s) = \int_0^\infty e^{-sx} \frac{\sin x}{x}\,dx, differentiate with respect to ss to kill the xx in the denominator, evaluate the resulting elementary integral, then integrate back and recover I(0)I(0).


Formal Proof / Solution

Step 1: Introduce a parameter.

Define I(s)=โˆซ0โˆžeโˆ’sxsinโกxxโ€‰dx,s>0.I(s) = \int_0^{\infty} e^{-sx} \frac{\sin x}{x}\, dx, \quad s > 0.

Note I(0)I(0) is the desired integral.

Step 2: Differentiate under the integral sign.

Iโ€ฒ(s)=โˆ’โˆซ0โˆžeโˆ’sxsinโกxโ€‰dx.I'(s) = -\int_0^{\infty} e^{-sx} \sin x\, dx.

This is a standard Laplace transform: โˆซ0โˆžeโˆ’sxsinโกxโ€‰dx=1s2+1.\int_0^{\infty} e^{-sx} \sin x\, dx = \frac{1}{s^2 + 1}.

(Quick derivation: integrate by parts twice, or use sinโกx=Imโก(eix)\sin x = \operatorname{Im}(e^{ix}) to get Imโกโ€‰โฃ(1sโˆ’i)=1s2+1\operatorname{Im}\!\left(\frac{1}{s-i}\right) = \frac{1}{s^2+1}.)

So: Iโ€ฒ(s)=โˆ’1s2+1.I'(s) = -\frac{1}{s^2 + 1}.

Step 3: Integrate back.

I(s)=โˆ’arctanโก(s)+C.I(s) = -\arctan(s) + C.

Step 4: Determine the constant.

As sโ†’โˆžs \to \infty, eโˆ’sxโ†’0e^{-sx} \to 0 pointwise and โˆฃsinโกx/xโˆฃโ‰ค1|\sin x / x| \le 1, so by DCT, I(s)โ†’0I(s) \to 0. Thus: 0=โˆ’ฯ€2+Cโ€…โ€ŠโŸนโ€…โ€ŠC=ฯ€2.0 = -\frac{\pi}{2} + C \implies C = \frac{\pi}{2}.

Step 5: Evaluate at s=0s = 0.

I(0)=โˆ’arctanโก(0)+ฯ€2=ฯ€2.I(0) = -\arctan(0) + \frac{\pi}{2} = \frac{\pi}{2}.

โˆซ0โˆžsinโกxxโ€‰dx=ฯ€2\boxed{\int_0^{\infty} \frac{\sin x}{x}\, dx = \frac{\pi}{2}}


Why this is beautiful: The integrand sinโกx/x\sin x / x is perfectly smooth and bounded, yet resists elementary methods entirely. The parameter trick transforms an impossible integral into a trivial ODE, recovering a clean ฯ€/2\pi/2 from essentially no information โ€” a hallmark of Feynman's method at its best.

Written to: questions/2026-06-17_pm.md | Answer: answers/2026-06-17_pm.md

Type: IntegrationEdit on GitHub โ†—