0
$\begingroup$

We know that if the curl vanishes: $$ \nabla \times \vec{v} = 0$$ then the field is irrotational and is conservative, but what about in higher dimensions than 1? The cross product is not defined there, so the above formula is no longer meaningful.

Are there similar conditions to determine if a vector field can be expressed as the gradient of a potential function?

$\endgroup$
5
  • $\begingroup$ Where did you get the idea that the cross product is not defined in more than 2D? $\endgroup$
    – tpg2114
    Commented Nov 19, 2015 at 8:25
  • 3
    $\begingroup$ The condition is $\partial_i v_j - \partial_j v_i = 0$ for all $1 \leq i < j \leq n$, which is 3D just says all the components of the curl vanish. Basically, it's exactly the same, but in 3D we have the coincidence that there are exactly 3 such quantities, so we can put them in a vector. In general dimension, curl is a 'bivector'. $\endgroup$
    – knzhou
    Commented Nov 19, 2015 at 8:33
  • 1
    $\begingroup$ Related: physics.stackexchange.com/q/9864/2451 $\endgroup$
    – Qmechanic
    Commented Nov 19, 2015 at 8:55
  • $\begingroup$ the condition $\partial_i v_j - \partial_j v_i = 0$ cannot be expressed as "curl" in dimension higher than 3, right? $\endgroup$ Commented Nov 19, 2015 at 11:30
  • 4
    $\begingroup$ @Kevin Zhou: That should be an answer. $\endgroup$
    – Qmechanic
    Commented Nov 19, 2015 at 11:54

2 Answers 2

2
$\begingroup$

Yes.

1. option: Another (equivalent) criterion: If the work done on a arbitrarily chosen closed path is zero, then the field is conservative. I.e:

$$ \oint \vec{F} \cdot \mathrm{d}\vec{r} = 0 $$

means $\vec{F}$ is conservative.

2. option: More general definition of curl

$$ \left(\mathrm{curl} \ \vec{F} \right)\cdot \vec{n} = \lim_{A \rightarrow 0} \left( \frac{1}{|A|} \oint_C \vec{F} \cdot \mathrm{d}\vec{r} \right) $$

where $A$ denotes area enclosed by the curve $C$ and $n$ is the normal vector to that area.

It is obvious that the both options are:

  • equivalent
  • and could be formulated in N-dimensions
$\endgroup$
1
$\begingroup$

There are many conditions for identifying that a vector field $\vec v$ is conservative or not:

  1. $\nabla \times \vec v =0$

A conservative field vector is essentially irrotational.

  1. $\oint_c \vec v \cdot d\vec r =0$

Work done by a conservative vector field about any closed path $C$ is $0$.

  1. $\vec v=\nabla \phi$

A conservative vector field can always be represented as the gradient of a scalar potential.

  1. $\vec v \cdot d\vec r$ is an exact differential for a conservative vector field.

Special test for 2-D vectors:

Let be $\vec v = P \hat i + Q \hat j$ a vector field on an open and simply-connected region $D$. Then if $P$ and $Q$ have continuous first order partial derivatives in $D$ and $$\frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}$$

the vector field is conservative.

Further quoting from this link to clear the doubt about the curl of $2-D, 3-D$ vector fields,

If F is a three-dimensional vector field, $F:\mathbb{R}^3 \to \mathbb{R}^3$ , then we can derive another condition. This condition is based on the fact that a vector field $\vec F$ is conservative if and only if $\vec F=\nabla f$ for some potential function. We can calculate that the curl of a gradient is zero, curl $\nabla f=0$, for any twice continuously differentiable $f:\mathbb{R}^3 \to \mathbb{R}$. Therefore, if $\vec F$ is conservative, then its curl must be zero, as curl $F$ = curl $\nabla f=0$.
For a continuously differentiable two-dimensional vector field, $F:\mathbb{R}^2 \to \mathbb{R}^2$, we can similarly conclude that if the vector field is conservative, then the scalar curl must be zero, $$\frac{\partial F_2}{\partial x}−\frac{\partial F_1}{\partial y}=\frac{\partial f_2}{\partial x\partial y}−\frac{\partial f_2}{\partial y\partial x}=0$$ We have to be careful here. The valid statement is that if $\vec F$ is conservative, then its curl must be zero. Without additional conditions on the vector field, the converse may not be true, so we cannot conclude that $\vec F$ is conservative just from its curl being zero. There are path-dependent vector fields with zero curl. On the other hand, we can conclude that if the curl of $\vec F$ is non-zero, then F must be path-dependent.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.