Regularity of Non-cutoff Boltzmann Equation with Hard Potential

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.