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.
Most integrands have no antiderivative made of familiar functions — , , — and yet their definite integrals are often exactly computable. The tools are symmetry (reflect the interval onto itself), differentiation under the integral sign (introduce a parameter and differentiate with respect to it), series expansion, and the gamma and beta functions. The skill is choosing the trick that makes the integrand collapse.
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.
Concluding that because has no elementary antiderivative, cannot be found. The definite integral equals — the absence of an antiderivative says nothing about the number.
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.
Why It Works
The Gaussian integral : square it and write the product as a double integral, over the plane. In polar coordinates and , so . The extra factor from the Jacobian is exactly what makes the inner integral elementary — a one-dimensional problem with no answer becomes a two-dimensional one with an easy one.
Do not read a proof the way you read a rule. Cover the last line, ask what the previous line forces, and only then uncover it. If a step feels like magic, that is the step to work by hand with a concrete number.