The Named Integrals
for continuous with finite limits at and .
Every integral of the form "difference of two scalings, divided by " is Frullani: , , . The makes each piece diverge alone; only the difference converges, and the value depends on only through its two endpoint values — which is why it looks like magic and is really Feynman's trick in disguise.
, with and . .
Gamma interpolates the factorial ( by one integration by parts) and evaluates every . Beta evaluates every polynomial-times-polynomial integral on in one line () and, via , every — the Wallis integrals are Beta values. The reflection formula is why .
rationalizes any . Expanding the integrand in a series and swapping and turns hard integrals into known sums.
Weierstrass: , , — so . Series: , and . The swap is legal under uniform convergence on the interval — say so.
Symmetry first (it costs nothing). Then look for a parameter (Feynman). Then match a NAMED shape: difference-over- is Frullani; is Gamma; 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.
Evaluate .
With this is . (Or substitute , : ✓.)
Proofs & Why It Matters
Assume continuous with , finite and .
Write (fundamental theorem in ; assume continuous for the clean version). Then , swapping the order of integration (Fubini, justified by absolute convergence). Significance: the proof IS Feynman's trick — the was hiding an integral over a parameter. Once you see that, Frullani stops being a formula to memorize.
Two famous constants, one computation.
Substituting in gives . Square it and go polar: . So . 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
Evaluate .
Step 1 — recognize with , ; but has no limit at , so the plain theorem does not apply.
Step 2 — the fix: Frullani holds if is replaced by the CESÀRO mean , which for cosine is .
Step 3 — the value is .
Step 4 — verify with the damping trick: as ✓. Knowing the theorem's exact hypotheses — and how to repair them — is the difference between a and a .
Evaluate .
Step 1 — on (convergent at by the alternating series test; uniform on by Abel).
Step 2 — divide by and integrate term by term: .
Step 3 — this is .
Step 4 — numeric check: and ✓.