试证明: 由 Navier-Stokes 方程组描述的流体运动一般总是有旋的, 即若 $\rot{\bf u}={\bf 0}$, 则 Navier-Stokes 方程组 (3. 4)-(3. 5) 即化为 Euler 方程组 (1. 15).
证明: 若 $\rot{\bf u}={\bf 0}$, 则 $$\bex -\lap{\bf u}=\rot\rot{\bf u}-\n \Div{\bf u}={\bf 0}, \eex$$ 而 Navier-Stokes 方程组化为 Euler 方程组.
