Optimal $C^{\frac{1}{2}}$ regularity of the Boltzmann equation in non-convex domains

Regularity of the Boltzmann equation, particularly in the presence of physical boundary conditions, heavily relies on the geometry of the boundaries. In the case of non-convex domains with specular reflection boundary conditions, the problem remained outstanding until recently due to the severe singularity of billiard trajectories near the grazing set, where the trajectory map is not differentiable. This challenge was addressed in [32], where $C^{\frac{1}{2}-}_{x,v}$ Hölder regularity was proven. In this paper, we introduce a novel dynamical singular regime integration methodology to establish the optimal $C^{\frac{1}{2}}_{x,v}$ regularity for the Boltzmann equation past a convex obstacle.