Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2003/iii/paper-60/3/i/solution
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 60 3 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Because , a periodic primitive exists. Fix its additive constant by . Integrating the conserved-field equation once in space gives : the possible integration constant vanishes on taking the spatial mean. Treat the spatial average as the inner product defining functional derivatives. Integration by parts, with no boundary terms under periodic boundary conditions, givesThus the conserved-field real amplitude equation is a gradient flow ascending , or descending , with positive diagonal mobilities. Along a classical solution,For the mixed term put and . The Cauchy-Schwarz inequality and a completed square giveConsequently, for ,The negative leading quartic coefficient proves the upper bound. The stronger pointwise square completionis also useful: a superlevel set bounds the amplitude in , its spatial derivative in , and in , because a quartic polynomial with negative leading coefficient dominates its lower-order terms.
The dynamics dissipates toward the steady-state set rather than sustaining nonconstant periodic motion. Indeed increases to a finite limit, and the time integral of is finite. For global regular trajectories with the usual parabolic precompactness, every limit point is stationary, by the LaSalle invariance principle. A nonconstant periodic or recurrent orbit would force a strictly increasing to return to its original value and is impossible. Boundedness of a monotone functional alone does not prove convergence to one particular equilibrium; isolation of the limiting equilibrium or an additional convergence theorem supplies that stronger claim.
New to topics? Read the docs here!