Section 8.4 Closed Vector Fields in Space
If \(N=3\) and and \(\vect f=(f_1,f_2,f_3)\) is a vector field then \(\vect f\) is closed if
\begin{align*}
\frac{\partial}{\partial x_2}f_3(\vect x)
\amp=\frac{\partial}{\partial x_3}f_2(\vect x)\\
\frac{\partial}{\partial x_3}f_1(\vect x)
\amp=\frac{\partial}{\partial x_1}f_3(\vect x)\\
\frac{\partial}{\partial x_2}f_1(\vect x)
\amp=\frac{\partial}{\partial x_1}f_2(\vect x)\text{.}
\end{align*}
If we introduce a new differential expression on vector fields in \(\mathbb R^3\) we can state the above conditions in a very concise form.
Definition 8.14. Curl of a vector field.
If \(\vect f=(f_1,f_2,f_3)\) is a vector field defined on a subset of \(\mathbb R^3\) we set
\begin{equation}
\curl\vect f(\vect x)
:=\nabla\times\vect f(\vect x)
:=
\begin{bmatrix}
\dfrac{\partial}{\partial x_2}f_3(\vect x)
-\dfrac{\partial}{\partial x_3}f_2(\vect x) \\
\dfrac{\partial}{\partial x_3}f_1(\vect x)
-\dfrac{\partial}{\partial x_1}f_3(\vect x) \\
\dfrac{\partial}{\partial x_1}f_2(\vect x)
-\dfrac{\partial}{\partial x_2}f_1(\vect x)
\end{bmatrix}\text{.}\tag{8.6}
\end{equation}
With these definitions we have the following.
Fact 8.16.
A vector field, \(\vect f\text{,}\) defined on a subset of \(\mathbb R^3\) is closed if and only if \(\curl\vect f=0\) on its domain.
The curl will appear again later when discussing the Theorem of Stokes.