11

I am just confused, help me guys.

The question comes up, because we say that curl is either clockwise or anti-clockwise at a point.

Andrews
  • 4,293
Holy cow
  • 1,467

2 Answers2

20

In 2D, the curl can be thought of as pointing in the $z$ or $-z$ direction. But that's a bit contrived, because you can just think of it as a scalar. So if $F(x,y) = \langle M, N \rangle$, then $\nabla \times F = \frac{\partial N}{\partial x} - \frac{\partial M}{\partial y}$.


Why is curl a scalar in 2D, but a vector in 3D?

It turns out that the standard treatment of multivariable calculus hides a few things. If you want to get into some deep water: we can think about things called "multivectors". A scalar is a $0$-vector, a vector is a $1$-vector, what would a $2$-vector (bivector) be? Just like a vector is like a line with a length, but no position, a bivector is like a plane with an area, but no position. If it helps to think of it as a floating parallelogram, do just that. This pattern extends up to $n$-vectors, where $n$ is the dimension of the space.

Let's play with $3$ dimensions because it's familiar. How many independent vectors can we have? $3$. How many independent scalars? Weird question, but $1$. For bivectors, it's $3$, and trivectors, it's $1$. This suggests a pairing, called the Hodge dual. Essentially, there is a vector space isomorphism between $k$-vectors and $(n-k)$-vectors.

So where was I going with this? Curl. The curl takes a vector field, and spits out a bivector field. But because multivectors aren't usually taught, we apply the Hodge dual implicitly. So in two dimensions, our bivectors become scalars, and in three, they become vectors. In four dimensions, they would still be bivectors.

In fact, all three of our multivariable derivatives are just one kind of derivative called the "exterior derivative", but all our silent Hodge dual-ing make them appear different. Scalar fields become vector fields (gradient). Vector fields become bivector fields (curl). And $(n-1)$-vector fields (duals of vector fields) become $n$-vector fields (duals of scalar fields) (divergence).

Henry Swanson
  • 13,278
  • I love this answer! The exterior product of two vectors is always a bivector (except bivectors don't exist in 1 dimension, and in 2 dimensions bivectors are isomorphic to scalars), which makes me wonder if the curl of a vector field makes sense in any dimension (other than 1), through the exterior product – étale-cohomology Aug 28 '17 at 03:46
  • it does't explain why the vortex or curl is in the plane when the force is pointing perpendicular in the z direction. – Sedumjoy Sep 01 '17 at 00:27
  • I've been trying to make sense of the full picture linking the usual treatment of multivariable calculus with the "geometric algebra" version, in order to understand the exterior derivative, for months if not years, and this 4 paragraph answer does a better job of that than all articles and textbooks that I've seen until now: thank you very much. – Tristan Duquesne Jan 29 '22 at 11:41
12

Long story short: yes.

Long story long: technically, the curl of a 2D vector field does not exist as a vector quantity. However, we can think of a 2D vector field as being embedded in $\mathbb{R}^3$ by replacing points $(x,y)$ with $(x,y,z)$ and vectors $(x,y)$ with $(x,y,0)$.

So, consider a 2D vector field given by $(F_1(x,y),F_2(x,y))$. We think of this as really being the vector field $F = (F_1(x,y),F_2(x,y),0)$. The curl formula is $$ \nabla \times F = (F_{3y} - F_{2z},F_{1z}-F_{3x},F_{2x}-F_{1y}) $$ Since $F_3 = F_{1z} = F_{2z} = 0$, this becomes $$ \nabla \times F = (0,0,F_{2x}-F_{1y}) $$ So that the curl vector points entirely in the $z$-direction, perpendicular to the $xy$ plane.

For this reason, we define the scalar curl of a 2D vector field as the quantity $F_{2x}-F_{1y}$, where positive curl corresponds to an upward 3D curl, which corresponds to counterclockwise circulation.

Ben Grossmann
  • 234,171
  • 12
  • 184
  • 355