Eliminate to obtain the two-dimensional autonomous differential equation
Its Jacobian matrix at the endemic equilibrium is
Since ,
The trace-determinant stability criterion shows that both eigenvalues have negative real part. The Endemic equilibrium of the SIR model with waning immunity is therefore locally asymptotically stable.