Differentiation under the integral gives . Integrating the derivative of and then once more yields .
With the equation becomes . Thus , , and .
The transformed inhomogeneous equation is . Taking gives the particular integral .
Completing the square gives , so each marginal is . Their covariance is , so they are not independent.
From part (i),
The conditional-normal formula therefore gives
Consequently the Gaussian conditional expectation is
Writing , each . Distinct indicators have joint probability and zero covariance, so and .
Cauchy-Schwarz inequality applied to gives .
Apply part (ii): .
, so .
Substitution and cancellation give .
Equating powers gives .
forces the odd series to vanish. The even recurrence terminates at degree precisely when .
After division by , . The initial data and evenness give , hence .
, so the critical points are . The Hessian matrix at is , making it the local minimum; is degenerate and not a minimum.
. The descending gradient flow trajectory from stays in its bounded contour basin and tends to the only critical point there, .
Writing , , the linearization of a dynamical system is , . Eliminating gives .
Figure 1.
Contours and descending gradient flow for the 2026 Paper IA 2 potential
. Contour lines of U equal x cubed minus 3x plus open parenthesis x plus 1 close parenthesis y squared are overlaid with the descending gradient field. The highlighted trajectory starts at open parenthesis 2 comma 1 close parenthesis and tends to the local minimum at open parenthesis 1 comma 0 close parenthesis; the other marked critical point is degenerate.
Now , whose second term has either sign. Near the minimum, and , so
Spatial derivatives vanish for , giving .
The roots are . They give oscillatory decay for , two exponential decays for , and at equality. All tend to zero.
Put , , and . A solution satisfying both endpoint conditions is
where . The derivative jumps by at , as required.
Substitution gives . Multiply by and integrate over ; decay kills the first and last integrals, leaving . Thus a nonconstant profile requires and approaches a fixed position.
During warming, and . During cooling, with , and .
. Evaluation gives the implicit equation
For , . Hence and
Each of the triples is a triangle with probability , so .
Markov inequality gives when .
Chebyshev inequality gives .
Only triangle pairs sharing an edge have nonzero covariance, so
After division by this is for , ; use part (iii).
The waiting time is geometric with mean .
First-step equations for states “no trailing H” and “one trailing H” give , , hence .
The word has no proper self-overlap, so its mean waiting time is the reciprocal of its probability: . This also follows from two first-step equations.
The standard run recursion gives .
For , . It is the sum of independent geometric variables, so the central limit theorem applies with mean and standard deviation . Take
and .
Shift the absorbing interval to and start at . The gambler’s-ruin harmonic functions give and .
At time the visited vertices form a contiguous arc and the walk is at an endpoint. Exiting an interval of visited vertices, starting one step from an absorbing endpoint, has mean . Therefore and .
For each , cut the cycle at . The event that is last is the event that the lifted walk covers the other residues before crossing that cut. Gambler’s ruin (or cyclic symmetry of the two expanding endpoints) gives .
Conditioning on generation and using independence gives .
Differentiating at gives , hence .
The extinction probability is the smallest fixed point of the convex generating function in . Since and make strict convexity relevant, the only fixed point is .
Here and , so extinction is certain. Iteration gives
and .

Articles by others on the same topic (0)

There are currently no matching articles.