Differentiating Under the Integral
Embed the integral in a family , differentiate in the parameter, integrate back, and fix the constant from a value of where is known.
Why it works: whenever and are continuous (Leibniz rule). The parameter is chosen so that is ELEMENTARY even though is not — a logarithm in a denominator, an oscillating factor, a power that refuses to integrate. Then is a routine integral, is its antiderivative in , and one known value pins the constant. The technique is Richard Feynman's name for a trick already in Leibniz; on the Putnam it appears in some form most years.
Set , with .
Step 1 — differentiate in : — the logarithm cancels.
Step 2 — .
Step 3 — integrate back: , and gives .
Step 4 — so , and in general . Check: at the integrand is near and near , so a value near is plausible ✓.
The integrand has no elementary antiderivative; the parameter is a DAMPING factor.
Step 1 — define for ; the target is , and as (the exponential crushes everything).
Step 2 — — a Laplace transform, computable by two integrations by parts or by taking the imaginary part of .
Step 3 — integrate: , and forces .
Step 4 — . (The interchange of limit and integral at needs care — Abel's theorem or dominated convergence — which is exactly the kind of sentence a Putnam grader wants to see.)
If there is no parameter, invent one: replace a constant by (), an exponent by (), or multiply by to make a divergent-looking integral converge. Then ask which choice makes elementary. That question, not the calculus, is the whole art.
Evaluate by Feynman's trick.
Set with . Then , so and . (This is also Frullani's theorem, topic 4 — two names for one mechanism.)
Proofs & Why It Matters
If and are continuous on , then .
Form the difference quotient . By the mean value theorem in , the integrand equals for some between and . Continuity of on the compact rectangle makes it uniformly continuous, so UNIFORMLY in as — and uniform convergence lets the limit pass inside the integral. For infinite intervals one needs a dominating integrable function (dominated convergence); Putnam solutions should say so in one sentence.
The Laplace transform that powers the Dirichlet integral.
Integrate by parts twice with then : . Solve: , so . Significance: the same "bounce-back and solve" is the engine of from first-year calculus — Feynman's trick is built from techniques you already own.
Going Deeper: Worked Problems
Compute as a function of .
Step 1 — let be the integral; (half the Gaussian).
Step 2 — differentiate: .
Step 3 — integrate by parts with , (so ): .
Step 4 — a differential equation! gives , and fixes : .
Step 5 — the lesson: sometimes is expressed back in terms of , and Feynman's trick hands you an ODE instead of a direct integral.
A Putnam classic with the parameter already present.
Step 1 — .
Step 2 — the Weierstrass substitution (topic 4) or the identity reduces it to the standard .
Step 3 — so for .
Step 4 — is constant, and : the integral is for every . (For , factor out to get .) A whole family of integrals evaluated by showing the derivative vanishes.