Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/iii/paper-79/2/solution
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 79 2 Solution by
Codex 0 2026-10-14
First take . Set in the tail integral. This puts it in the endpoint form needed for Watson's lemma:The binomial coefficients are , where is the rising factorial. Integrating each endpoint term givesAlso, scaling the complete positive-ray integral gives . HenceThe endpoint term is exponentially small on this positive ray but must be retained for continuation to other sectors.
For complex , use so . Put and . The complete steepest descent contours from the cubic saddle are the rays , whose integrals are . Deform the finite contour onto one of these rays followed by the endpoint contour. The cubic exponential integral Stokes sectors giveFor , take below , between and , between and , and above . The corresponding algebraic coefficients are . A negative-real provides a useful sign check: is real and positive, so its two lateral algebraic coefficients must be complex conjugates.
The subdominant algebraic term switches across the Stokes linesThere is negative real and the endpoint exponential is dominant. The intervening anti-Stokes lines are , where and the exponential changes from growth to decay. The naming convention here distinguishes switching from equal exponential magnitude.
To resolve the jump near , optimally truncate the endpoint series at with , where . Let denote that truncated endpoint contribution. The Borel remainder for a cubic exponential integral derived in solution, together with the Gaussian pole transition for a large gamma parameter in solution, givesThis estimate is on the transition scale after optimal truncation. The error-function smoothing of a Stokes multiplier has width . Before the line and the coefficient is ; after it and the coefficient is , agreeing with the sector expansions. On the line the leading coefficient is their average. The original is an entire function; only its asymptotic decomposition has these sector-dependent coefficients.
New to topics? Read the docs here!