Smoothness of Wave Functions in Thermal Equilibrium