  This article proves the regularity for the Boltzmann equation without angular
cutoff with hard potential. By sharpening the coercivity and upper bound
estimate on the collision operator, analyzing the Poisson bracket between the
transport operator and some weighted pseudo-differential operator, we prove the
regularizing effect in space and velocity variables when the initial data has
mild regularity.
