Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 1 14G b Solution Created 2026-09-24 Updated 2026-10-14
If with , then . The left side vanishes, so .
Conversely, if , write . Then . If were invertible, multiplying by its inverse would imply , contradicting the minimal degree. Thus is not invertible. In finite dimension this means it has a nonzero kernel, furnishing an eigenvector with eigenvalue . Hence the eigenvalues are exactly the roots of the minimal polynomial, with the scalar-field convention stated in part (a).
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 1 17F Solution Created 2026-09-24 Updated 2026-10-14
By orthogonal diagonalization of the positive-definite symmetric matrix , form its positive symmetric inverse square root . Then , and is real symmetric. Let have an orthonormal eigenbasis of as its columns, so . Taking givesBoth factors of are invertible. This proves the simultaneous congruence diagonalization with a positive form by an explicit construction; it is congruence rather than simultaneous similarity.
To find the entries without constructing , take determinants inSince , the entries are precisely the roots, with multiplicity, of . Equivalently they are the eigenvalues of , although that matrix need not itself be symmetric.
For the given , its leading principal minors are , so it is positive definite. Expanding the determinant givesThus the diagonal entries, in any order, are
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 1 5G Solution Created 2026-09-24 Updated 2026-10-14
Relative to the coordinate basis, the linear map has matrixExpanding in its first column gives the monic characteristic polynomialIts eigenvalues are and , three distinct complex numbers. Eigenvectors corresponding to distinct eigenvalues are linearly independent, so they form a basis of and is diagonalizable.
Every annihilating polynomial must vanish at all three eigenvalues: applying to a corresponding eigenvector gives . Conversely, in the eigenbasis the product of the three distinct linear factors annihilates . Hence the minimal polynomial isIf with scalars not both zero, the nonzero polynomial of degree at most two would annihilate , contradicting this minimal degree of three. Thus and are linearly independent endomorphisms.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 1 7B Solution Created 2026-09-24 Updated 2026-10-14
Fix real and use a rectangle with vertical sides at real coordinates . The function is entire, so its closed contour integral is zero by Cauchy's integral theorem. The bottom horizontal side contributes and the top contributes the negative of . This identity applies for either sign of , with the corresponding oriented rectangle.
On a vertical side, with , andThe sum of the two vertical integrals in absolute value is at most . Both horizontal improper integrals converge absolutely, since . Letting therefore provesComplete the square in the Fourier transform:The shifted-integral identity applies after scaling by . The Gaussian integral is : the square of becomes in polar coordinates. Thus the Gaussian Fourier transform yieldsThe eigenvalue reflects the unnormalized transform convention in this question.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 11C Solution Created 2026-09-24 Updated 2026-10-14
Under a Cartesian frame change , where is an orthogonal matrix. Orthogonality gives and . Thereforewhich is the tensor component transformation law. Also directly, proving that it is a symmetric Cartesian second-rank tensor for every choice of the two scalars.
For , the direction of is an eigenvector with eigenvalue . Every vector perpendicular to is an eigenvector with eigenvalue , a two-dimensional eigenspace. If , these eigenvalues coincide and every nonzero vector is an eigenvector. If , the tensor is zero and again every nonzero vector is an eigenvector, now with eigenvalue zero.
For the position-dependent field with zero divergence, the product rule givesContraction of the two Levi-Civita symbols in the curl and cross product givesConsequentlyThese constants give the magnetic part of the Maxwell stress tensor, with its physical prefactor suppressed. They are forced if the identity is to hold for every divergence-free field: forces ; at the origin then forces .
Apply the divergence theorem separately to each component:Since the whole vector field vanishes on , all components of vanish there, and hence the vector volume integral is zero. The argument assumes a differentiable field and a boundary for which the divergence theorem applies.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 15G a Solution Created 2026-09-24 Updated 2026-10-14
If is a unipotent matrix, is a nilpotent matrix. If for a nonzero eigenvector, then for some , forcing .
Conversely, suppose the only eigenvalue is . Over , the characteristic polynomial is then . The Cayley-Hamilton theorem gives , so is nilpotent. Thus is unipotent if and only if its only eigenvalue is one.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 17F ii Solution Created 2026-09-24 Updated 2026-10-14
For any complex , the shifted linear operator is normal: expansion of leaves just . Apply part (i) to this shifted normal operator:Hence a nonzero vector is an eigenvector of with eigenvalue if and only if it is an eigenvector of with eigenvalue . The eigenspaces coincide, with conjugate eigenvalues.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 17F iv Solution Created 2026-09-24 Updated 2026-10-14
Proceed by induction on . The zero-dimensional case has the empty orthonormal basis. In positive dimension, the fundamental theorem of algebra gives a root of the characteristic polynomial, hence a unit eigenvector of , say with eigenvalue . Part (ii) makes it an eigenvector of as well. Thus the line spanned by and its orthogonal complement are invariant under both operators by the introductory adjoint argument.
On , the restriction of is the adjoint of the restriction of , and the restrictions still commute. The restricted linear operator is therefore normal. By induction it has an orthonormal basis of eigenvectors. Adjoining proves an orthonormal eigenbasis exists for , establishing the finite-dimensional spectral theorem by construction.
For the final deduction, use this orthonormal basis and write . DefineThe real nonnegative diagonal entries make a Hermitian operator, and the modulus-one diagonal entries make a unitary operator. Both are diagonal in the same orthonormal basis, so they commute and even when . This proves the required factorization without assuming invertibility.
Conversely, if with , , and , then andThus is normal. Normality is equivalent to a commuting Hermitian–unitary factorization, with the Hermitian factor even selectable nonnegative. This is the polar decomposition with a unitary extension on the kernel.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 6G Solution Created 2026-09-24 Updated 2026-10-14
The minimal polynomial divides the annihilating polynomial , since . Every nonconstant monic divisor can occur in dimension four: use Jordan blocks of sizes at most two at eigenvalue and of size one at eigenvalue , adding scalar blocks as needed. The complete list isFor example the first four occur for , , , and , respectively; the final one occurs for .
Failure to be diagonalizable requires a size-two Jordan block at zero. The condition requires at least one block at one, since every allowed zero block squares to zero. A size-two zero block and one scalar block at one leave only one dimension. It can carry zero or one. Thus, up to permutation of blocks, the only possible Jordan normal forms are
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 12A Solution Created 2026-09-24 Updated 2026-10-14
Use the weighted inner product . For real eigenfunctions, integration by parts with the zero endpoint values givesThus . The regular separated Sturm-Liouville problem has simple eigenvalues: for a fixed eigenvalue, prescribing leaves only the initial flux free, so uniqueness of the associated first-order system makes any two eigenfunctions proportional. Distinct eigenfunctions are therefore orthogonal, and choosing their signs and scales so that givesThe positive energy form realizes as a positive self-adjoint operator in this weighted space, with compact inverse on the bounded interval. The spectral theorem for compact self-adjoint operators supplies a complete eigenbasis. This is the standard regular Sturm-Liouville eigenfunction expansion, also valid with continuous by working with the continuous flux .
For a source , expand a zero-endpoint solution of in that basis. Multiplication by and unweighted integration giveSince is not an eigenvalue, every coefficient is determined. The spectral Green function of a regular Sturm-Liouville problem is consequentlyWeighted completeness means as a distribution, so applying to this series produces the required delta source. The source integration is with , explaining the absence of an additional factor in the stated kernel.
For the subsequent operator the sign is explicitly reversed: and . To cover every real non-eigenvalue , define the homogeneous solutionIt satisfies , and . Matching the two endpoint solutions continuously at with derivative jump yieldsThe denominator is nonzero precisely off the Dirichlet eigenvalues . In particular . At , its spectral expansion givesThis odd reciprocal-square sum from a Dirichlet Green function proves .