Integrals III: Frullani, Beta, Gamma, Weierstrass & Series

Study Sheet

Integrals III: Frullani, Beta, Gamma, Weierstrass & Series

The named results that finish what symmetry and parameters start

The Named Integrals

Tip
Frullani's theorem

0f(ax)f(bx)xdx=(f(0)f())lnba\displaystyle\int_0^\infty\frac{f(ax) - f(bx)}{x}\,dx = \big(f(0) - f(\infty)\big)\ln\frac ba for continuous ff with finite limits at 00 and \infty.

Every integral of the form "difference of two scalings, divided by xx" is Frullani: 0exe3xxdx=ln3\int_0^\infty\frac{e^{-x} - e^{-3x}}{x}dx = \ln 3, 0cosxcos2xxdx=ln2\int_0^\infty\frac{\cos x - \cos 2x}{x}dx = \ln 2, 0arctan2xarctanxxdx=π2ln2\int_0^\infty\frac{\arctan 2x - \arctan x}{x}dx = \tfrac\pi2\ln 2. The 1x\tfrac1x makes each piece diverge alone; only the difference converges, and the value depends on ff only through its two endpoint values — which is why it looks like magic and is really Feynman's trick in disguise.

Tip
Gamma and Beta

Γ(s)=0xs1exdx\Gamma(s) = \displaystyle\int_0^\infty x^{s-1}e^{-x}dx, with Γ(n+1)=n!\Gamma(n+1) = n! and Γ(12)=π\Gamma(\tfrac12) = \sqrt\pi. B(p,q)=01xp1(1x)q1dx=Γ(p)Γ(q)Γ(p+q)B(p, q) = \displaystyle\int_0^1x^{p-1}(1-x)^{q-1}dx = \frac{\Gamma(p)\Gamma(q)}{\Gamma(p+q)}.

Gamma interpolates the factorial (Γ(s+1)=sΓ(s)\Gamma(s+1) = s\Gamma(s) by one integration by parts) and evaluates every 0xneaxdx=n!an+1\int_0^\infty x^ne^{-ax}dx = \tfrac{n!}{a^{n+1}}. Beta evaluates every polynomial-times-polynomial integral on [0,1][0,1] in one line (01x3(1x)2dx=3!2!6!=160\int_0^1x^3(1-x)^2dx = \tfrac{3!\,2!}{6!} = \tfrac1{60}) and, via x=sin2θx = \sin^2\theta, every 0π/2sinmθcosnθdθ=12B(m+12,n+12)\int_0^{\pi/2}\sin^m\theta\cos^n\theta\,d\theta = \tfrac12B(\tfrac{m+1}{2}, \tfrac{n+1}{2}) — the Wallis integrals are Beta values. The reflection formula Γ(s)Γ(1s)=πsinπs\Gamma(s)\Gamma(1-s) = \tfrac{\pi}{\sin\pi s} is why 0dx1+xn=π/nsin(π/n)\int_0^\infty\frac{dx}{1+x^n} = \frac{\pi/n}{\sin(\pi/n)}.

Tip
Weierstrass substitution and series expansion

t=tanx2t = \tan\tfrac x2 rationalizes any R(sinx,cosx)dx\int R(\sin x, \cos x)\,dx. Expanding the integrand in a series and swapping \sum and \int turns hard integrals into known sums.

Weierstrass: sinx=2t1+t2\sin x = \tfrac{2t}{1+t^2}, cosx=1t21+t2\cos x = \tfrac{1-t^2}{1+t^2}, dx=2dt1+t2dx = \tfrac{2\,dt}{1+t^2} — so 0πdx2+cosx=02dt3+t2=π3\int_0^\pi\frac{dx}{2 + \cos x} = \int_0^\infty\frac{2\,dt}{3 + t^2} = \frac{\pi}{\sqrt3}. Series: 01ln(1+x)xdx=(1)n+1n2=π212\int_0^1\frac{\ln(1+x)}{x}dx = \sum\frac{(-1)^{n+1}}{n^2} = \frac{\pi^2}{12}, and 01lnxln(1x)dx=1n(n+1)2=2π26\int_0^1\ln x\ln(1-x)dx = \sum\frac{1}{n(n+1)^2} = 2 - \frac{\pi^2}{6}. The swap is legal under uniform convergence on the interval — say so.

Side note
Which tool, in what order

Symmetry first (it costs nothing). Then look for a parameter (Feynman). Then match a NAMED shape: difference-over-xx is Frullani; xpowerexx^{\text{power}}e^{-x} is Gamma; xa(1x)bx^a(1-x)^b is Beta; a rational function of sine and cosine is Weierstrass; a log or arctan over a simple denominator is a series. Only then reach for parts or partial fractions. The Putnam rewards recognition, not endurance.

Try it
Try it: Beta in disguise

Evaluate 0π/2sin5θcos3θdθ\displaystyle\int_0^{\pi/2}\sin^5\theta\cos^3\theta\,d\theta.

With x=sin2θx = \sin^2\theta this is 12B(3,2)=122!1!4!=124\tfrac12B(3, 2) = \tfrac12\cdot\tfrac{2!\,1!}{4!} = \tfrac{1}{24}. (Or substitute u=sinθu = \sin\theta, cos2θ=1u2\cos^2\theta = 1 - u^2: 01u5(1u2)du=1618=124\int_0^1u^5(1 - u^2)du = \tfrac16 - \tfrac18 = \tfrac1{24} ✓.)

Proofs & Why It Matters

Tip
Proof: Frullani's theorem

Assume ff continuous with f(0)f(0), f()f(\infty) finite and 0<a<b0 < a < b.

Write f(ax)f(bx)x=abf(tx)dt\dfrac{f(ax) - f(bx)}{x} = -\displaystyle\int_a^b f'(tx)\,dt (fundamental theorem in tt; assume ff' continuous for the clean version). Then 0f(ax)f(bx)xdx=ab(0f(tx)dx)dt=abf()f(0)tdt=(f(0)f())lnba\int_0^\infty\frac{f(ax) - f(bx)}{x}dx = -\int_a^b\left(\int_0^\infty f'(tx)\,dx\right)dt = -\int_a^b\frac{f(\infty) - f(0)}{t}dt = (f(0) - f(\infty))\ln\frac ba, swapping the order of integration (Fubini, justified by absolute convergence). \blacksquare Significance: the proof IS Feynman's trick — the 1x\tfrac1x was hiding an integral over a parameter. Once you see that, Frullani stops being a formula to memorize.

Tip
Proof: Γ(12)=π\Gamma(\tfrac12) = \sqrt\pi and the Gaussian integral

Two famous constants, one computation.

Substituting x=u2x = u^2 in Γ(12)=0x1/2exdx\Gamma(\tfrac12) = \int_0^\infty x^{-1/2}e^{-x}dx gives 20eu2du=eu2du=I2\int_0^\infty e^{-u^2}du = \int_{-\infty}^\infty e^{-u^2}du = I. Square it and go polar: I2=e(x2+y2)dA=02π ⁣0er2rdrdθ=2π12=πI^2 = \iint e^{-(x^2+y^2)}dA = \int_0^{2\pi}\!\int_0^\infty e^{-r^2}r\,dr\,d\theta = 2\pi\cdot\tfrac12 = \pi. So I=π=Γ(12)I = \sqrt\pi = \Gamma(\tfrac12). \blacksquare No one-variable method evaluates this integral; the plane does. Every normal-distribution constant in statistics traces back to this square.

Going Deeper: Worked Problems

Example
Worked: a Frullani with cosines

Evaluate 0cosxcos2xxdx\displaystyle\int_0^\infty\frac{\cos x - \cos 2x}{x}\,dx.

Step 1 — recognize f(t)=costf(t) = \cos t with a=1a = 1, b=2b = 2; but cost\cos t has no limit at \infty, so the plain theorem does not apply.

Step 2 — the fix: Frullani holds if f()f(\infty) is replaced by the CESÀRO mean limT1T0Tf\lim_{T\to\infty}\tfrac1T\int_0^Tf, which for cosine is 00.

Step 3 — the value is (f(0)0)ln21=ln2(f(0) - 0)\ln\tfrac21 = \ln 2.

Step 4 — verify with the damping trick: 0esxcosxcos2xxdx=12lns2+4s2+1ln2\int_0^\infty e^{-sx}\frac{\cos x - \cos 2x}{x}dx = \tfrac12\ln\frac{s^2 + 4}{s^2 + 1} \to \ln 2 as s0s \to 0 ✓. Knowing the theorem's exact hypotheses — and how to repair them — is the difference between a 1010 and a 11.

Example
Worked: a series-expansion integral from a Putnam

Evaluate 01ln(1+x)xdx\displaystyle\int_0^1\frac{\ln(1 + x)}{x}\,dx.

Step 1 — ln(1+x)=n1(1)n+1xnn\ln(1 + x) = \sum_{n\ge1}\frac{(-1)^{n+1}x^n}{n} on [0,1][0, 1] (convergent at x=1x = 1 by the alternating series test; uniform on [0,1][0,1] by Abel).

Step 2 — divide by xx and integrate term by term: n1(1)n+1n01xn1dx=(1)n+1n2\sum_{n\ge1}\frac{(-1)^{n+1}}{n}\int_0^1x^{n-1}dx = \sum\frac{(-1)^{n+1}}{n^2}.

Step 3 — this is η(2)=(1212)ζ(2)=12π26=π212\eta(2) = (1 - 2^{1-2})\zeta(2) = \tfrac12\cdot\tfrac{\pi^2}{6} = \tfrac{\pi^2}{12}.

Step 4 — numeric check: 114+19116+0.8221 - \tfrac14 + \tfrac19 - \tfrac1{16} + \cdots \approx 0.822 and π2120.822\tfrac{\pi^2}{12} \approx 0.822 ✓.