Fresnel dealt with these integrals around 1819. Euler considered the more general integrals as early as 1781
and
Fresnel integrals in quantum mechanics
They also play an important role in quantum mechanics . The approach to derive quantum mechanics from path integrals is based on integrals of the form:
A practical formulation of the normalization constant is
,
is a whole natural number. For is the integral
and is then called a Fresnel integral . Integrals of this form appear in the Schrödinger equation derived from Feynman's path integrals .
The Fresnel integral results in a complex number, the real and imaginary parts of which are determined by
and
Both integrals converge. Due to the symmetry of the cosine, the cosine integral is invariant to a sign change from , the antisymmetric sine changes the sign . The addition results with and and a case distinction for the signum function as a solution of the Fresnel integral
This also explains the normalization constant, which must be exactly the inverse of the integral solution so that the total expression is 1. In quantum mechanics this is chosen for pragmatic reasons and from the idea that a wave function corresponds to a probability of location; so the integral over this function must be 1, since the described particle is finally somewhere.