A useful differentiation under the integral sign theorem is this: if is integrable, is differentiable in almost everywhere, and on every compact parameter interval is bounded by an integrable function of , then , under the usual pointwise continuity hypotheses. It follows by applying dominated convergence to difference quotients. The theorem can be iterated when a corresponding bound holds for the second derivative.
On a compact interval , the original integrand is bounded by , using . Its first and second parameter derivatives arewith integrable bounds and . Thus is twice differentiable. Subtracting the integrals givesThe final integral is finite: its integrand tends to one at zero and is absolutely bounded by at infinity. Consequentlywhich establishes the required parameter-independent constant without needing an explicit Fresnel integral evaluation.
Articles by others on the same topic
There are currently no matching articles.