Path-independence example in three dimensions

In three dimensions, we can write a vector field as

F(x, y, z) = (F1(x, y, z), F2(x, y, z), F3(x, y, z)).    

Assume that F is defined everywhere in R3, except for possibly a finite number of points. Then, F is path-independent if and only if the curl of F is zero, i.e., if

$\displaystyle \nabla$ x F = $\displaystyle \left(\vphantom{\frac{\partial F_3}{\partial y} - \frac{\partial ...
... x}, \frac{\partial F_2}{\partial x} - \frac{\partial F_1}{\partial y} }\right.$$\displaystyle {\frac{{\partial F_3}}{{\partial y}}}$ - $\displaystyle {\frac{{\partial F_2}}{{\partial z}}}$,$\displaystyle {\frac{{\partial F_1}}{{\partial z}}}$ - $\displaystyle {\frac{{\partial F_3}}{{\partial x}}}$,$\displaystyle {\frac{{\partial F_2}}{{\partial x}}}$ - $\displaystyle {\frac{{\partial F_1}}{{\partial y}}}$$\displaystyle \left.\vphantom{\frac{\partial F_3}{\partial y} - \frac{\partial ...
... x}, \frac{\partial F_2}{\partial x} - \frac{\partial F_1}{\partial y} }\right)$ = (0, 0, 0)    

We can write this condition as

$\displaystyle {\frac{{\partial F_1}}{{\partial y}}}$ = $\displaystyle {\frac{{\partial F_2}}{{\partial x}}}$,    $\displaystyle {\frac{{\partial F_1}}{{\partial z}}}$ = $\displaystyle {\frac{{\partial F_3}}{{\partial x}}}$, and $\displaystyle {\frac{{\partial F_2}}{{\partial z}}}$ = $\displaystyle {\frac{{\partial F_3}}{{\partial y}}}$.    

It's the same thing.

Here are two examples.

Example 1: $ \int_{C}^{}$(x2 - zey)dx + (y3 - xzey)dy + (z4 - xey)dz.
Is the integral path-independent?

This corresponds to F(x, y, z) = (x2 - zey, y3 - xzey, z4 - xey). The vector field F defined on R3. So we can use the above condition.

$\displaystyle {\frac{{\partial F_1}}{{\partial y}}}$ = $\displaystyle {\frac{{\partial F_2}}{{\partial x}}}$ = - zey,        $\displaystyle {\frac{{\partial F_1}}{{\partial z}}}$ = $\displaystyle {\frac{{\partial F_3}}{{\partial x}}}$ = - ey    
$\displaystyle {\frac{{\partial F_2}}{{\partial z}}}$ = $\displaystyle {\frac{{\partial F_3}}{{\partial y}}}$ = - xey    

The curl is zero, so the integral is path-independent.

Example 2: $ \int_{C}^{}$(x2 - xey)dx + (y3 - xzey)dy + (z4 - xey)dz.
Is the integral path-independent?

This corresponds to F(x, y, z) = (x2 - xey, y3 - xzey, z4 - xey).

$\displaystyle {\frac{{\partial F_1}}{{\partial y}}}$ = - xey $\displaystyle \neq$ $\displaystyle {\frac{{\partial F_2}}{{\partial x}}}$ = - zey,        $\displaystyle {\frac{{\partial F_1}}{{\partial z}}}$ = 0 $\displaystyle \neq$ $\displaystyle {\frac{{\partial F_3}}{{\partial x}}}$ = - ey    
$\displaystyle {\frac{{\partial F_2}}{{\partial z}}}$ = $\displaystyle {\frac{{\partial F_3}}{{\partial y}}}$ = - xey    

The curl is not zero, so the integral is path-dependent.

Note: since path-independence doesn't depend on $\displaystyle {\frac{{\partial F_1}}{{\partial x}}}$, $\displaystyle {\frac{{\partial F_2}}{{\partial y}}}$, $\displaystyle {\frac{{\partial F_z}}{{\partial z}}}$, you can easily conclude from Example 1 that

F(x, y, z) = (x2 - zey + x1000, y3 - xzey - cos y372, z4 - xey + ez+99)    

is also path-independent.



Duane Nykamp
nykamp@math.umn.edu
2005-11-02