๐Ÿงฎ Brain Teaser

The Gaussian Integral's Elegant Cousin

Evaluate the definite integral:

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

You may use the fact that โˆซ0โˆžeโˆ’t2dt=ฯ€2\displaystyle\int_0^\infty e^{-t^2} dt = \frac{\sqrt{\pi}}{2}.

Fresnel integralGaussian integralLaplace transformdouble integralFubini

Answer: The Gaussian Integral's Elegant Cousin

Key Idea / Intuition

The trick is to write 1x\frac{1}{\sqrt{x}} using a Gaussian integral โ€” specifically, the identity 1x=2ฯ€โˆซ0โˆžeโˆ’t2xdt\frac{1}{\sqrt{x}} = \frac{2}{\sqrt{\pi}} \int_0^\infty e^{-t^2 x} dt. This converts the oscillatory integral into a double integral where the xx-integration becomes a known Laplace transform of sinโกx\sin x, and the remaining tt-integral is again Gaussian. The two worlds โ€” oscillation and Gaussian decay โ€” combine beautifully.


Formal Proof / Solution

Step 1: Represent 1/x1/\sqrt{x} via a Gaussian.

Use the substitution u=txu = t\sqrt{x} in โˆซ0โˆžeโˆ’u2du=ฯ€2\int_0^\infty e^{-u^2} du = \frac{\sqrt{\pi}}{2} to get:

โˆซ0โˆžeโˆ’t2xdt=ฯ€2x\int_0^\infty e^{-t^2 x} dt = \frac{\sqrt{\pi}}{2\sqrt{x}}

So:

1x=2ฯ€โˆซ0โˆžeโˆ’t2xโ€‰dt\frac{1}{\sqrt{x}} = \frac{2}{\sqrt{\pi}} \int_0^\infty e^{-t^2 x} \, dt

Step 2: Substitute into II.

I=โˆซ0โˆžsinโกxโ‹…2ฯ€โˆซ0โˆžeโˆ’t2xโ€‰dtโ€‰dx=2ฯ€โˆซ0โˆžโˆซ0โˆžeโˆ’t2xsinโกxโ€‰dxโ€‰dtI = \int_0^\infty \sin x \cdot \frac{2}{\sqrt{\pi}} \int_0^\infty e^{-t^2 x} \, dt \, dx = \frac{2}{\sqrt{\pi}} \int_0^\infty \int_0^\infty e^{-t^2 x} \sin x \, dx \, dt

(Fubini is justified by absolute convergence after regularization, or by a standard dominated convergence argument with a regularizing factor eโˆ’ฯตxe^{-\epsilon x}.)

Step 3: Evaluate the inner xx-integral.

Use the standard Laplace transform:

โˆซ0โˆžeโˆ’axsinโกxโ€‰dx=1a2+1,a>0\int_0^\infty e^{-ax} \sin x \, dx = \frac{1}{a^2 + 1}, \quad a > 0

With a=t2a = t^2:

โˆซ0โˆžeโˆ’t2xsinโกxโ€‰dx=1t4+1\int_0^\infty e^{-t^2 x} \sin x \, dx = \frac{1}{t^4 + 1}

Step 4: Evaluate the remaining tt-integral.

I=2ฯ€โˆซ0โˆždtt4+1I = \frac{2}{\sqrt{\pi}} \int_0^\infty \frac{dt}{t^4 + 1}

Now use the known result (derivable via partial fractions or residues):

โˆซ0โˆždtt4+1=ฯ€22\int_0^\infty \frac{dt}{t^4 + 1} = \frac{\pi}{2\sqrt{2}}

Quick derivation: Factor t4+1=(t2+2โ€‰t+1)(t2โˆ’2โ€‰t+1)t^4 + 1 = (t^2 + \sqrt{2}\,t + 1)(t^2 - \sqrt{2}\,t + 1) and use partial fractions, or note by the residue theorem that โˆซโˆ’โˆžโˆždtt4+1=ฯ€2\int_{-\infty}^\infty \frac{dt}{t^4+1} = \frac{\pi}{\sqrt{2}}, so the half-line integral is ฯ€22\frac{\pi}{2\sqrt{2}}.

Step 5: Combine.

I=2ฯ€โ‹…ฯ€22=ฯ€2ฯ€=ฯ€2I = \frac{2}{\sqrt{\pi}} \cdot \frac{\pi}{2\sqrt{2}} = \frac{\pi}{\sqrt{2\pi}} = \sqrt{\frac{\pi}{2}}

I=ฯ€2\boxed{I = \sqrt{\dfrac{\pi}{2}}}


Why beautiful? The answer ฯ€/2\sqrt{\pi/2} is the same as the famous Fresnel integral โˆซ0โˆžcosโก(x2)โ€‰dx\int_0^\infty \cos(x^2)\,dx โ€” and indeed they are secretly the same integral under the substitution xโ†ฆx2x \mapsto x^2. Both arise from the interaction of oscillation and Gaussian decay.

Written to question file and answer file.

Type: IntegrationEdit on GitHub โ†—