A dominated differentiation under the integral sign suffices. Suppose is measurable, is integrable at one parameter value, and for almost every the map is continuously differentiable on an interval. If throughout that interval for an integrable , then the parameter integral is differentiable, andOne direct sufficient version assumes is continuous in almost everywhere and has that common domination; dominated convergence theorem then proves the assertion.
Here , so the complex-valued function is integrable for every real . For a real increment , the elementary bound givesThe right side is integrable by hypothesis and the integrand converges pointwise to . dominated convergence theorem, applied to real and imaginary parts, provesThis supplies the domination explicitly rather than merely differentiating a formal Fourier transform.