On blow-up for the cut-off Boltzmann equation with very hard potentials

We construct smooth, strictly positive solutions of the three-dimensional cut-off Boltzmann equation with very hard potentials whose densities become unbounded in finite time. A main ingredient is a new velocity weight that is Gaussian on a ball and has a polynomial tail of fixed order. We establish coercive estimates for the linearized collision operator and bilinear estimates for the collision term, with constants independent of the radius of the Gaussian region. Combining these weighted estimates with an imploding solution of the compressible Euler equations, we develop an energy framework that controls the Boltzmann solution up to the blow-up time. The initial data agree with a constant Maxwellian outside a bounded spatial region and have finite relative entropy.