An indefinite convection–diffusion operator with real spectrum

We confirm rigorously the conjecture, based on numerical and asymptotic evidence, that all the eigenvalues of a certain non-self-adjoint operator are real.