- #1

- 20

- 1

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter terahertz
- Start date

- #1

- 20

- 1

- #2

arildno

Science Advisor

Homework Helper

Gold Member

Dearly Missed

- 9,970

- 134

There is no "physical" reason, in contrast to "maths".

Rather, what you need is a strategy to VISUALIZE the content in concepts like the "curl" and the "divergence", so that's what I'll try to do here!

Let's say the vector is the velocity field for a fluid!

The curl tells you how, locally, the fluid rotates on a tiny disk element of it.

The curl of the velocity field gives us, therefore, an image of that at each point, we have tiny disks of fluid spinning about their own axes, with their own angular velocities.

But, the local DIVERGENCE of a vector tells us how a tiny element "exceeds" its bounds, for example the rate by which the element grows in size, effectively, summing up how the velocities directed outwards from the boundary of the element tells us of the element's flow out beyond its own borders.

-------------------------------------

But, what about these tiny, rotating wheels in the curl field?

They do NOT "exceed" their own bounds, their velocity is always TANGENTIAL to their own boundaries, and thus, the local divergence of these wheels must be..0

-----

Now, when the velocity field ITSELF is the curl of another vector (such as when the fluid is incompressible), it means that such a decomposition of the vector field into tiny, spinning wheels contains the FULL information about the behaviour of the velocity field, and that, globally, the divergence of it must be zero.

Rather, what you need is a strategy to VISUALIZE the content in concepts like the "curl" and the "divergence", so that's what I'll try to do here!

Let's say the vector is the velocity field for a fluid!

The curl tells you how, locally, the fluid rotates on a tiny disk element of it.

The curl of the velocity field gives us, therefore, an image of that at each point, we have tiny disks of fluid spinning about their own axes, with their own angular velocities.

But, the local DIVERGENCE of a vector tells us how a tiny element "exceeds" its bounds, for example the rate by which the element grows in size, effectively, summing up how the velocities directed outwards from the boundary of the element tells us of the element's flow out beyond its own borders.

-------------------------------------

But, what about these tiny, rotating wheels in the curl field?

They do NOT "exceed" their own bounds, their velocity is always TANGENTIAL to their own boundaries, and thus, the local divergence of these wheels must be..0

-----

Now, when the velocity field ITSELF is the curl of another vector (such as when the fluid is incompressible), it means that such a decomposition of the vector field into tiny, spinning wheels contains the FULL information about the behaviour of the velocity field, and that, globally, the divergence of it must be zero.

Last edited:

- #3

atyy

Science Advisor

- 14,398

- 2,642

This is an example of the theorem that "the boundary of a boundary is zero," as emphasized by Misner, Thorne, and Wheeler, Gravitation, box 15.1, pages 365-371.

- #4

- 8,705

- 2,762

[itex]\int (\nabla \times \vec{F}) \cdot \vec{dS} = \int \vec{F} \cdot \vec{d\mathcal{l}}[/itex]

where F is a vector field, and where the left side is an integral of the curl of F over a (2D) surface, and the right side is the line integral of F over the (1D) boundary of that surface.

For divergence, we have:

[itex]\int (\nabla \cdot \vec{G}) dV = \int \vec{G} \cdot \vec{d S}[/itex]

where G is a vector field, and where the left side is an integral of the divergence of G over a (3D) volume, and the right side is a surface integral of G over the (2D) boundary of that volume.

Putting these two together by letting [itex]\vec{G} = \nabla \times \vec{F}[/itex], gives:

[itex]\int (\nabla \cdot (\nabla \times \vec{F})) dV = \int \vec{F} \cdot \vec{d\mathcal{l}}[/itex]

where the left side is an integral over a volume, and the right side is an integral over the boundary of the boundary of that volume. What does "the boundary of the boundary" mean? Well, the boundary of a 3D volume is a 2D

To see intuitively what it means that the boundary of a boundary is zero, let's take the example of the surface of the Earth. If you consider the surface that is the northern hemisphere, then the boundary of that surface is the circle known as the equator. Now, imagine moving that circle to the south, to enclose more of the surface of the Earth. Then as the circle gets closer to the South pole, the surface consisting of all points north of the circle grows. When you actually reach the South pole, the boundary has shrunk to a single point, and the surface has grown to include the entire surface of the Earth. So the surface of the Earth has a boundary of size zero.

The surface of the Earth is itself the boundary of the interior of the Earth. So if you start with a volume, and take its boundary, you get a closed surface. Then when you take its boundary, you get zero.

- #5

- 20

- 1

When I take the curl of the field, I associate a rotating disk with each point. Each disk will have its own angular velocity and direction (given by the right-hand rule for the direction of angular velocities). Now, when I take the divergence of the curl, I am essentially trying to find out how much the angular velocity changes in an infinitesimal volume. And this is where the confusion arises; the angular velocities of the disks (the curl at each point) varies, so, in general, the divergence should not be zero. For example, in going from A to C, the speeds of the disks at A, B and C could be omega, 2 times omega and 3 times omega. In this case, the divergence will not be zero because the velocities are increasing. In other words, the field obtained by the curl operation is strengthening in going from A to C. Hence the divergence, at least in the vicinity of A, B and C should not be zero.

I hope my reasoning was not too complicated. I shall grateful if you could point out the flaw in my concept.

- #6

- 8,705

- 2,762

[itex]\nabla \cdot (\nabla \times \vec{F}) \delta V \approx \sum_{faces} (\nabla \times \vec{F})_{normal} \delta A[/itex]

where [itex](\nabla \times \vec{F})_{normal}[/itex] means the component of the curl that is normal to that face. For a single face, we have:

[itex](\nabla \times \vec{F})_{normal} \delta A \approx \int \vec{F} \cdot \vec{d\mathcal{l}}[/itex]

where [itex]\int \vec{F} \cdot \vec{d\mathcal{l}}[/itex] is the line integral of [itex]\vec{F}[/itex] around the border of the face, with the direction of the integration being counter-clockwise (when looking down on the face).

As shown in the picture, the line integrals cancel exactly: The line integral for the top face (indicated by the red loop) overlaps one edge for the right face (indicated by the green loop), but the directions for the two integrals are opposite, so those two contributions cancel exactly. Similarly, the line integral for the top faces cancels the contribution for the front face (indicated by the blue loop) along one edge. Every one of the 12 edges of the cube belongs to two different faces, and so it gets integrated over twice in opposite directions. So all contributions cancel exactly.

- #7

arildno

Science Advisor

Homework Helper

Gold Member

Dearly Missed

- 9,970

- 134

You might either study closely the moreprecise arguments given by stevendaryl, but the rotating disk analogy works perfectly well also.

Since the divergence on EACH such locally placed disk is zero, adding any number of them together adds up to zero as well, irrespective of what the disk's value of the local angular velocity is.

- #8

Meir Achuz

Science Advisor

Homework Helper

Gold Member

- 3,530

- 114

You might use [itex]\nabla\cdot(\nabla\times{\bf V})=(\nabla\times\nabla)\cdot{\bf V}=0.[/itex]

- #9

- 346

- 48

You might use [itex]\nabla\cdot(\nabla\times{\bf V})=(\nabla\times\nabla)\cdot{\bf V}=0.[/itex]

The implication that [itex]\nabla \times \nabla =0 [/itex] is wrong! You can't treat differential operators like a vector.

DON'T DO IT!

The Laplacian of a vector is an example where this logic can lead one very astray.

[itex]\nabla^2 \vec A =\nabla \left(\nabla \cdot \vec A \right) + \nabla \times \nabla \times \vec A [/itex]

The last term is important and not zero!

Now going back to the original question

When I take the curl of the field, I associate a rotating disk with each point. Each disk will have its own angular velocity and direction (given by the right-hand rule for the direction of angular velocities). Now, when I take the divergence of the curl, I am essentially trying to find out how much the angular velocity changes in an infinitesimal volume. And this is where the confusion arises; the angular velocities of the disks (the curl at each point) varies, so, in general, the divergence should not be zero. For example, in going from A to C, the speeds of the disks at A, B and C could be omega, 2 times omega and 3 times omega. In this case, the divergence will not be zero because the velocities are increasing. In other words, the field obtained by the curl operation is strengthening in going from A to C. Hence the divergence, at least in the vicinity of A, B and C should not be zero.

I think your problem is that you are associating all types of rotation with the curl. This is a common misconception of the curl, but it is not true. For example consider the flow [itex] V_{\theta} = \frac{C}{r} [/itex]. This flow is clearly rotation, but [itex] \nabla \times \vec V= 0 [/itex]. The rotational component of the flow that the curl picks out is going to be divergenceless.

Last edited:

- #10

- 8,705

- 2,762

The implication that [itex]\nabla \times \nabla =0 [/itex] is wrong! You can't treat differential operators like a vector.

DON'T DO IT!

The Laplacian of a vector is an example where this logic can lead one very astray.

[itex]\nabla^2 \vec A =\nabla \left(\nabla \cdot \vec A \right) + \nabla \times \nabla \times \vec A [/itex]

The last term is important and not zero!

Not that it's very important, but I would say that [itex]\nabla \times \nabla =0 [/itex] is correct (at least for flat spacetime). I would interpret [itex]\nabla \times \nabla =0 [/itex] to be a vector of operators [itex]O_i[/itex] defined by

[itex]O_x = \nabla_y \nabla_z - \nabla_z \nabla_y[/itex]

[itex]O_y = \nabla_z \nabla_x - \nabla_x \nabla_z[/itex]

[itex]O_z = \nabla_x \nabla_y - \nabla_y \nabla_z[/itex]

Since derivatives commute, all of these are zero.

The expression [itex] \nabla \times \nabla \times \vec A [/itex] means [itex]\nabla \times (\nabla \times \vec{A})[/itex], not [itex](\nabla \times \nabla) \times \vec{A}[/itex]

I think you're right, that you might get in trouble treating operators like vectors, but I don't think that's a good counterexample. A better example is the angular momentum operator from quantum mechanics:

[itex]J_x = -i (y \partial_z - z \partial_y)[/itex]

[itex]J_y = -i (z \partial_x - x \partial_z)[/itex]

[itex]J_z = -i (x \partial_y - y \partial_x)[/itex]

If you think of that as a vector [itex]\vec{J}[/itex], then you find

[itex]\vec{J} \times \vec{J} = i \vec{J}[/itex], rather than zero.

- #11

- 20

- 1

the_wolfman, are you saying that the rotating disks analogy is over-simplistic and/or imperfect? If so, can you give another analogy? Thanks!

- #12

arildno

Science Advisor

Homework Helper

Gold Member

Dearly Missed

- 9,970

- 134

Not necessarily a misconception, but it does highlight a subtlety with rotation in fluid flow:The implication that [itex]\nabla \times \nabla =0 [/itex] is wrong! You can't treat differential operators like a vector.

DON'T DO IT!

The Laplacian of a vector is an example where this logic can lead one very astray.

[itex]\nabla^2 \vec A =\nabla \left(\nabla \cdot \vec A \right) + \nabla \times \nabla \times \vec A [/itex]

The last term is important and not zero!

Now going back to the original question

I think your problem is that you are associating all types of rotation with the curl. This is a common misconception of the curl, but it is not true. For example consider the flow [itex] V_{\theta} = \frac{C}{r} [/itex]. This flow is clearly rotation, but [itex] \nabla \times \vec V= 0 [/itex]. The rotational component of the flow that the curl picks out is going to be divergenceless.

There is no LOCAL rotation of fluid elements, but that doesn't mean the fluid cannot rotate as a whole.

This is in contrast to, for example, the velocity field for a rotating rigid body, in which the local (and global!) angular velocity is half the curl.

Last edited:

Share:

- Replies
- 17

- Views
- 9K