Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/iii/paper-67/1/e/solution
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 67 1 e Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Expanding the matrix determinant from part (b) givesThe finite-interval Airy spectral determinant obeys . At the origin,This zero comes from coalescence of the three rotated equations; it is removable in the underlying boundary system. Indeed, with has only the zero quadratic solution.
For , a zero of is equivalent to the existence of a nonzero combination satisfying the homogeneous endpoint conditions. This can be checked by expanding the determinant of those three endpoint equations. Such a function satisfies , so it is an eigenfunction of with eigenvalue . Integration by parts yieldsso every nonzero zero has . None lies on the boundary : by a cube-root rotation it suffices to take real. With , the determinant equation becomesThe right-hand side has squared modulus for , whereas the left-hand side has modulus one. Therefore there are no nonremovable spectral poles in , and the contour representation has no discrete residue contribution from that domain.
Taken literally as a claim about the operator's discrete spectrum, however, the printed assertion is false. To see this constructively, put , . ThenThus zeros occur whenBetween successive positive cosine maxima and adjacent negative minima the difference changes sign. There are consequently infinitely many positive roots, producing genuine negative eigenvalues of . The third-order resolvent maps into , whose inclusion into is compact, so these are indeed discrete spectrum of an operator with compact resolvent. The valid conclusion is absence of poles in the reconstruction sectors, not absence of operator eigenvalues.
New to topics? Read the docs here!