Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2011/ii/paper-4/31a/solution

Put and . The equation becomes
At the regular-singular criterion requires and to be analytic. This holds precisely for . Thus the singularity at infinity is irregular, corresponding to essential exponential behaviour of solutions, exactly for . For it is regular singular, with powers and possibly logarithms rather than such essential exponentials.
For , the Liouville–Green approximation uses , amplitude and phase integral . On a consistently chosen branch, the two leading solutions are
The derivative correction is smaller by order , and the two exponential signs give independent solutions.
Using the convention that Stokes lines have equal exponential phase, , their rays are . The equal-magnitude, oscillatory rays, often called anti-Stokes lines, satisfy , giving . If the alternative naming convention is used, these two names interchange; the stated equations specify the rays unambiguously.
To give the sector precisely, the solution recessive on the positive axis can be represented by
where is the Modified Bessel function of the second kind. Substitution verifies the differential equation. Its asymptotic is valid on closed subsectors of on the continued branch. Consequently
Actual exponential decay occurs in the narrower sector ; in the adjacent portions of the larger asymptotic sector the same continued exponential grows. This distinguishes the validity of the approximation to the positive-axis recessive solution from the directions where its modulus decays.

New to topics? Read the docs here!