How to verify the smoothness of these functions