Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge 2008 Paper 1 2 ii Solution Created 2026-10-18 Updated 2026-10-20
Multiply the two displayed equations by and subtract the one with indices reversed. The product terms combine into the Lagrange identity for a Sturm-Liouville operator:Integrating from zero to infinity givesAll factors are polynomials. The endpoint term at zero vanishes because of the factor , and the one at infinity vanishes because the exponential function dominates every polynomial. Therefore, if ,The integral is absolutely convergent. This is orthogonality in the weighted inner product with weight ; the boundary cancellation is the self-adjoint mechanism behind the Laguerre differential operator on polynomials.
The product rule gives the two partial derivativesThey both vanish at the origin. The exponential function is never zero, so any further stationary point must satisfy or , and or . Having both coordinates nonzero would require both opposite differences to be , which is impossible. If , the nonzero choices are ; if , they are . Hence the full list is
The partial derivatives are and . Since the exponential function never vanishes, substituting into the partial differential equation gives . Hence
The outer exponential function differentiates to itself, and the inner sine has derivative cosine. The chain rule gives
This exponential function is positive everywhere, with , as and as . Its derivatives areIt is strictly decreasing overall, with a horizontal stationary inflection point at . A second, nonstationary inflection point occurs at , where . The only horizontal asymptote is toward positive infinity; the graph is not symmetric about the vertical axis.
The decreasing cubic exponential, its stationary inflection, and its positive horizontal asymptote
. Details. At a single point of contact the line is a tangent line, so its slope equals the derivative of the exponential function. At the contact coordinate ,Since , dividing gives , hence . To verify uniqueness, the difference has positive second derivative everywhere and its unique minimum is zero at . Thus this line touches the curve once.
In the homogeneous equation, substitute the exponential function . The characteristic equation isIts distinct roots are . Combining the complex-conjugate pair into real sine and cosine gives the complementary functionFive linearly independent terms supply the required five homogeneous degrees of freedom.
Because the exponential function is strictly increasing, the level sets are exactly those of . For they satisfyThere are no contours for , the level is the origin, and gives nested closed ovals symmetric about both axes. Their stronger fourth-power growth in makes them relatively narrower horizontally as the level rises.
For , the contour equation becomesThe central local minimum is surrounded by closed ovals for , accompanied by outer open branches. At , the level passes through the two saddle points and changes its connectivity. Levels have only outer branches, while levels above the saddle value have an upper and a lower branch. The sketch is restricted to the requested square; labels give , so they identify the corresponding contours of without exponentially large labels.
Use integration by parts in , writing the integrand as . Since an antiderivative of is ,The boundary term vanishes because the Gaussian exponential function decays faster than any fixed power. These improper integrals are absolutely convergent, justifying the limiting integration by parts.
Starting from the permitted Gaussian integral , the Gaussian moment recurrence gives and thenMore generally, iteration gives , using the double factorial with .
The product rule gives . The exponential function never vanishes, so a stationary point requires . In the given interval this means . Substitution givesThe derivative changes from positive to negative there, making it a strict local maximum.
Substitute into the Taylor series for the exponential function:The general nonzero term is ; the power series coefficients of powers not divisible by three are zero. The radius of convergence is infinite.

