Integrate the entire function around the positively oriented sector boundary: the real segment , the arc for , and the radial segment back to zero. Cauchy integral theorem givesThe last term follows from and ; its minus sign is the return orientation.
On the arc, . The supplied sine bound gives throughout this sector, soThe Gaussian integral then yields . Taking real and imaginary parts proves both Fresnel integrals:The contour estimate proves existence of the improper oscillatory integrals as well as their values; absolute convergence is neither asserted nor required.
Articles by others on the same topic
There are currently no matching articles.