Can I get the integral of cos( t^2/2)?

[jibee]

Can I get the integral of cos( t^2/2)?

[Count Iblis]

It can be integrated in closed form from zero to infinity.

[jibee]

Can I get an expression, please?

[Count Iblis]

You can use the fact that for real positive p:

\int_{0}^{\infty}\exp{-px^2}dx=\frac{1}{2}\sqrt{\frac{\pi}{p}}

The integral is an analytical function of the parameter p for Re(p)>0. The integral also converges on the imaginary axis. It then follows by the principle of analytical continuation that the function

\frac{1}{2}\sqrt{\frac{\pi}{p}}

also gives the integral for imaginary p. You do have to choose the correct branch cut for the square root. Since the formula has to agree with the integral for real positive p and we are considering the analytical continuation to the upper half complex plane, we can choose the brach cut on the negative real axis. We then get:

\int_{0}^{\infty}\exp(-i px^2)dx=\frac{1}{2}\sqrt{\frac{\pi}{p}}\exp(-i \pi/4)

for real positive p. Taking the real part of both sides gives:

\int_{0}^{\infty}\cos(px^2)dx=\frac{1}{4}\sqrt{\fr ac{2\pi}{p}}