Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-76/1/c/solution
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 76 1 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
For small , use to write the defining oscillatory integral asThe first integral is , where the cosine integral satisfies . Its logarithm follows by integrating the singularity of its derivative; its conventional constant is the Euler--Mascheroni constant. The primary normalization is given by dlmf.nist.gov/6.6.E6 .
The second integrand has an integrable inverse-square-root endpoint singularity and an tail. The dominated convergence theorem therefore gives its limitSplitting at and using also bounds its error by . ThusIn particular, the leading term is .
For large , the phase has its only stationary point at the endpoint . Its expansion is , so the contributing width is . The endpoint stationary phase method and the Fresnel integral yieldA smooth cutoff near the endpoint justifies this local replacement; the remaining nonstationary tail can be integrated by parts, with no stationary contribution at infinity. Taking the real part gives the Bessel function of the second kind asymptoticThe additive error formulation remains meaningful near zeros of the leading oscillation. Both limits were derived from the given integral, rather than identifying a special function and merely quoting its asymptotics.
New to topics? Read the docs here!