Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/iii/paper-67/1/e/solution

Expanding the matrix determinant from part (b) gives
The 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 yields
so every nonzero zero has . None lies on the boundary : by a cube-root rotation it suffices to take real. With , the determinant equation becomes
The 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 , . Then
Thus zeros occur when
Between 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!