  We prove that the equation modelling an annular Josephson junction has a
rotating fluxon wave for all values of the parameters. We also obtain results
on uniqueness of the rotating fluxon wave in some parameter regimes, and
results on multiplicity of rotating fluxon waves in other parameter regimes.
