Past exam of the mathematics course of the University of Cambridge 2020 ii Paper 1 33C b iv Solution Created 2026-09-24 Updated 2026-10-03
Given a solution , construct and hence the smooth matrices and . Let solve the linear ordinary differential equationBecause is skew-symmetric,so is an orthogonal matrix and is invertible. Moreover,It follows thatThus the Lax pair flow is an Isospectral Lax equation: every is similar to and has the same eigenvalues and characteristic polynomial.
Every symmetric function of these constant eigenvalues is a first integral. In particular, the trace invariants of a Lax equationare constant because the cyclic property of the trace givesFor example,is an explicit first integral of equation .
Past exam of the mathematics course of the University of Cambridge 2021 ia Paper 1 7A Solution Created 2026-09-24 Updated 2026-09-25
By the real spectral theorem, a real symmetric matrix has an orthogonal diagonalizationWriting givesThis is nonnegative for every exactly when every . Thus the quadratic-form and eigenvalue definitions of a positive semidefinite matrix agree.
When is positive semidefinite, defineThis matrix is symmetric and positive semidefinite, and its square is , so it is the principal square root of a positive semidefinite matrix.
For nonsingular , the matrix is symmetric andfor every nonzero . Thus is positive definite, andexists and is nonsingular. Let . Since is symmetric,Hence is an orthogonal matrix andthe polar decomposition of an invertible real matrix.
In three dimensions, stretches or contracts along three mutually perpendicular eigenvector directions by its positive eigenvalues. The orthogonal map is then applied: it is a rotation when , and a rotation combined with a reflection when .
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 2 17B a Solution Created 2026-09-24 Updated 2026-09-25
For a nonzero vector , a Householder reflection isIt is immediately symmetric. If , then , soHence is also an orthogonal matrix, with .
The similarity transformation can be expanded asComputing , , and the scalar costs arithmetic operations, after which the remaining updates are outer products and scalar multiples, also costing . Thus can be formed in operations rather than by two general matrix multiplications.
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 2 17B b Solution Created 2026-09-24 Updated 2026-09-25
Starting with , for choose a Householder reflection that acts only on coordinates and maps the tail of column ,to a multiple of its first coordinate vector. SetThis zeros all entries in column below its first subdiagonal. Because fixes the first coordinates, it preserves the zeros created in earlier columns. After steps,is an Upper Hessenberg matrix.
Each is orthogonal and symmetric. Ifthen is orthogonal andPart (a) shows that each similarity update costs arithmetic operations, and there are updates. The total cost is therefore
Past exam of the mathematics course of the University of Cambridge 2021 iii Paper 327 3 d Solution 2026-09-29
By the spectral theorem for real symmetric matrices, write with orthogonal and . Part a and the tensor-product property of the Fourier transform giveThusApplying the pullback rule from part c to the orthogonal change of variables, for which , replaces by and by . Since determinant and signature are invariant under orthogonal conjugation,
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 41E a Solution Created 2026-09-24 Updated 2026-09-25
Each QR decomposition givesInduction therefore yields the first Accumulated QR factorization identity:
We next prove the corresponding factorization of a matrix power. The case is just . Ifthen the similarity formula above impliesConsequently,The product is orthogonal, and the product is upper triangular. Henceis a QR decomposition.
Past exam of the mathematics course of the University of Cambridge 2021 ii Paper 1 41E b Solution Created 2026-09-24 Updated 2026-10-03
False under the hypotheses as printed. Nonzero coefficients do not ensure the two-column dominant-subspace condition.
For a counterexample, take , eigenvaluesand an orthonormal eigenbasis for whichThe two displayed coefficient vectors are orthonormal and can be completed to an orthogonal matrix, so such a real symmetric matrix exists. Every and is nonzero, butIndeed, with ,is a nonzero multiple of , while the remaining direction in
isThusBy the simultaneous iteration interpretation of the QR algorithm, the leading two columns of the accumulated factor span this same space. The leading block is therefore an orthogonal-coordinate representation of the compression of to this space. Sincewe havefor every relevant , rather than . Hence the requested Hausdorff convergence does not hold.
isThusBy the simultaneous iteration interpretation of the QR algorithm, the leading two columns of the accumulated factor span this same space. The leading block is therefore an orthogonal-coordinate representation of the compression of to this space. Sincewe havefor every relevant , rather than . Hence the requested Hausdorff convergence does not hold.
For completeness, the intended statement becomes true if one addsLet consist of the first two columns of . The Accumulated QR factorization identity givesAfter division by , every component along
tends to zero because of the strict spectral gap, while makes the two surviving dominant components independent. Therefore these two-dimensional subspaces converge to the dominant invariant subspaceThere are two-by-two orthogonal matrices such thatBecauseup to the harmless index convention at , we obtainin the matrix 2-norm. Orthogonal similarity preserves the spectrum, and the stated spectral perturbation bound now gives
tends to zero because of the strict spectral gap, while makes the two surviving dominant components independent. Therefore these two-dimensional subspaces converge to the dominant invariant subspaceThere are two-by-two orthogonal matrices such thatBecauseup to the harmless index convention at , we obtainin the matrix 2-norm. Orthogonal similarity preserves the spectrum, and the stated spectral perturbation bound now gives
Past exam of the mathematics course of the University of Cambridge 2022 ib Paper 1 8F b ii Solution Created 2026-09-24 Updated 2026-09-25
Over , the real skew-symmetric matrix is normal because . Part (a) gives an orthonormal complex eigenbasis, and the nonzero eigenvalues are purely imaginary pairs .
For each , choose a unit real vector in the kernel of and putThen , , andThus has matrixon the orthonormal basis . Distinct such invariant planes are orthogonal; complete them by an orthonormal basis of . Taking these basis vectors as the columns of an orthogonal matrix gives
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 327 3 Solution 2026-09-28
The Malgrange–Ehrenpreis theorem states that every nonzero constant-coefficient linear partial differential operator on has a fundamental solution of a linear differential operator: there is an such that .
Write . After an orthogonal change of coordinates and multiplication by a nonzero constant, its polynomial symbol may be written as a monic polynomial in the last frequency,For each real , this polynomial has complex roots counted with multiplicity. Among a fixed finite collection of horizontal lines at bounded heights, one can choose a line that stays a positive distance from all those roots. Continuity of the roots preserves the choice on a neighborhood . Take a countable locally finite cover by such neighborhoods, refine it to a measurable disjoint partition , and let be the chosen height on . The resulting Hörmander staircasehas bounded heights and may be chosen so that on each step.
For a test function , defineThe Paley–Wiener–Schwartz theorem gives rapid decay in the real frequency directions and at most a fixed exponential factor in the bounded imaginary direction. Together with , this proves that the integral defines a continuous distribution. Applying cancels the denominator. The remaining integrand is entire in , so the Cauchy integral theorem shifts every horizontal contour to the real axis; the partition then recombines into . The Fourier inversion theorem giveswhich proves the theorem.
Polar vector 2026-10-06
A polar vector transforms as under an orthogonal matrix , including an orientation-reversing transformation. Displacement, velocity and force are polar vectors. An axial vector instead transforms as .
Pseudovector Created 2026-09-28 Updated 2026-10-06
An axial vector transforms as under an orthogonal matrix . It agrees with a polar vector under a proper rotation matrix and has the additional determinant sign under an orientation-reversing transformation. Angular momentum and angular velocity are axial vectors.
SO(3) group Created 2026-10-05 Updated 2026-10-07
The SO(3) group consists of real three-by-three orthogonal matrices with determinant one. It acts by rotation in three dimensions. Its group manifold is , since the Adjoint double cover from SU(2) to SO(3) identifies antipodal points of the three-sphere.
Spectral theorem for real symmetric matrices Created 2026-09-29 Updated 2026-10-05
Every real symmetric matrix has an orthonormal basis of real eigenvectors. Equivalently, it admits an orthogonal diagonalization with real diagonal and an orthogonal matrix.
If real matrices satisfy and , then is a contraction and is an orthogonal matrix for . Hence for every . The bound is independent of commutativity and gives unconditional stability for a centered convection-diffusion semidiscretization with homogeneous Dirichlet boundary conditions. It does not itself bound the mesh-dependent commutators that enter a time-error estimate.
A real orthogonal matrix of size three with has an eigenvector of eigenvalue . Its orthogonal complement is invariant, and the restriction there is an orientation-preserving plane rotation. Thus is a rotation about the axis composed with a reflection across the plane perpendicular to . Writing the plane angle as , . A pure plane reflection is the case ; if , it cannot be a pure plane reflection.