Formulation of electron motion in a storage ring with a betatron tune varying with time and a dipole shaker working at a constant frequency