Integrals With No Antiderivative
Plenty of definite integrals have NO elementary antiderivative — , , — yet their values over specific intervals are clean: , , . The tools in this topic never find an antiderivative. They exploit SYMMETRY of the interval, PARAMETERS you can differentiate in, and SUBSTITUTIONS that map an interval onto itself. This is the calculus that competitions (Putnam especially) and physics actually use.
Embed the integral in a family , compute (usually elementary), integrate back in , and fix the constant from a value of where is known. Example: has , so (using ). The that made the integral impossible was erased by one .
Compute .
Step 1 — add a damping parameter: , with and the target .
Step 2 — (a Laplace transform).
Step 3 — integrate: (constant from ).
Step 4 — . Every step elementary; the answer famously not.
King's Rule, Queen's Rule, and Reflection
— substituting flips the interval onto itself. Its power: ADD the two forms. For , the reflection swaps and , and adding gives , so . A stray factor of on becomes ; adding again gives — how falls out.
if , and if . Companion (sometimes "Jack's rule"): for even , for odd . Example: ; and by the odd-symmetry about ... check: so use the period instead — because has zero mean over a full period.
Find .
Step 1 — King: .
Step 2 — add: .
Step 3 — substitute and fold with Queen: .
Step 4 — , so .
Glasser's Master Theorem and the 1/x Reflection
For any integrable and constants , : . The simplest case (Cauchy–Schlömilch) is : the map covers every real value once on each half-line, and the two pieces of add up to . So — a hideous integrand, evaluated by recognizing the pattern.
On the substitution maps the interval to itself. Two uses: it can show an integral equals its own negative (so it is : ), or produce a second form to add: becomes , and adding, dividing by , and substituting yields . When the interval is , try this before anything else.
More Named Integrals, With Proofs
(one integration by parts each lands on ). Substituting turns into ; and Feynman with the parameter gives .
(the Mellin integral at ). , which evaluates . Wallis: , from the reduction formula for squeezed between consecutive terms. And by expanding and integrating termwise.
Let and , so . The boundary term vanishes at both ends (near , ; at infinity it is bounded over ). What remains is , and the substitution leaves .
Let . Integration by parts gives , so and . Since on , , and squeezes . Writing that ratio out: , which rearranges to .
The Named Integrals: Frullani, Beta, Gamma, Weierstrass
. With : . Proof idea: write and swap the order of integration — Feynman's idea once more.
(integrate by parts times), and . So instantly, and . Also , which is the Gaussian integral wearing a different hat.
turns , , : ANY rational function of and becomes a rational function of , solvable by partial fractions. Example: .
Find .
Step 1 — expand .
Step 2 — swap sum and integral: (the inner integral is by parts).
Step 3 — partial fractions : telescoping gives , the last sums to .
Step 4 — total . Series turn integrals into sums you already know.