$\operatorname{rot}\operatorname{grad}\varphi$ 恒等于零。