Past exam of the mathematics course of the University of Cambridge 2025 ib Paper 4 9E b ii Solution Created 2026-09-24 Updated 2026-09-25
The prime ideals of are and the maximal ideals generated by the monic irreduciblesFor a nonzero prime , use the residue classes of , where . Multiplication by on is represented by the companion matrix of the monic polynomial . In particular, for this may equivalently be written as one size- Jordan block with eigenvalue . The ideal does not give a finite-dimensional quotient.
For a two-level Fourier recurrence , the amplification matrix isStability requires its powers to be uniformly bounded in the time index and the mesh frequencies. If its two amplification roots have modulus at most one and their separation has a positive mesh-independent lower bound, the eigenvectors give a uniformly bounded diagonalization of a matrix, proving stability. A repeated unit-modulus root of this companion matrix instead produces a Jordan block and linear growth in time. Thus checking only the moduli of the roots is insufficient.
For weak quadratic coupling between frequencies one and two, the first oscillator's complex amplitude can obey with a constant real second-oscillator amplitude . In real coordinates this is a linear slow system with squared growth rate . Exponential amplification occurs when the modulation amplitude exceeds detuning, . The method of multiple scales is valid over bounded slow time while the physical amplitudes remain in the weak-coupling regime. At equality the slow matrix can have a Jordan block and produce linear growth for some initial phases.
Let the rotation and reflection generators act on polynomials of degree at most two byThen and . The operator has one size-three unipotent Jordan block, so this three-dimensional representation cannot split into invariant subspaces of dimension at most two.
The model matrix has a defective double eigenvalue when . Its characteristic polynomial is , giving the displayed roots. For fixed nonzero the small root is and the other is . These expansions cease to be ordered at , the distinguished limit in which both roots split on a square-root scale. This is the generic leading behavior when a perturbation closes a two-dimensional Jordan block through a nonzero lower-left entry; it need not occur for a perturbation that leaves that entry zero.
Uniform power bound from separated amplification roots Created 2026-10-06 Updated 2026-10-07
For a uniformly bounded two-level Fourier companion matrix with distinct roots of modulus at most one, its powers satisfyA positive frequency-uniform gap therefore gives a uniform bound on every power. The Parseval identity then supplies spatial L2 norm stability. When the gap closes at a repeated unit root, a Jordan block can produce growth proportional to the number of steps despite both roots having modulus one.