On any bounded parameter interval , the derivative of the integrand has the integrable majorant
The dominated convergence theorem therefore justifies differentiation under the integral sign at every real , giving
Use integration by parts in this absolutely convergent integral, with . Both boundary terms vanish, since the sine is zero at and the Gaussian tends to zero at infinity. Hence
It follows that , or equivalently . This identity holds on all of , including zero. With the supplied Gaussian integral value,
The fourth power comes from the printed phase ; the parameter has been differentiated with that phase throughout.

Articles by others on the same topic (0)

There are currently no matching articles.