Nonlinear stability theory for a rotating gravitating disk