Mathematical analysis of the tippe top

A rigorous, and possibly complete analysis of the phase space picture of the tippe top solutions for all initial conditions when the top does not jump and all relations between parameters $\alpha$ and $\gamma$, is for the first time presented here. It is based on the use the Jellett's integral of motion $\lambda$ and the analysis of the energy function. Theorems about stability and attractivity of the asymptotic manifold are proved in detail. Lyapunov stability of (periodic) asymptotic solutions with respect to arbitrary perturbations is shown.