Easy curl/conservative question

  • #1
2,017
112
hey pf!

can someone comment on this statement i believe to be true: a simply connected, curl-free vector field is conservative (path independent).

thanks!
 

Answers and Replies

  • #2
dextercioby
Science Advisor
Homework Helper
Insights Author
13,162
725
What comment to give? It's an immediate result of Stokes' theorem (integral formula) and is very useful in physics (electrodynamics).
 
  • #3
2,017
112
thanks for confirming this!
 
  • #4
FactChecker
Science Advisor
Gold Member
6,637
2,686
I am used to incompressible, irrotational fluid flow being a requirement for path independence. What is the vector field interpretation of "incompressible"?
 
  • #5
2,017
112
vector notation for incompressible?? no idea. but if a fluid is incompressible then density is constant.
 
  • #6
FactChecker
Science Advisor
Gold Member
6,637
2,686
A vector field is an incompressible flow if the total net flux through any closed surface is zero.
 
  • #7
WannabeNewton
Science Advisor
5,815
543
What is the vector field interpretation of "incompressible"?

If ##\vec{v}## is the velocity field of the fluid then ##\vec{\nabla} \cdot \vec{v} = \frac{1}{V}\vec{\nabla}_{\vec{v}} V## where ##V## is a volume element carried along the fluid flow. Do you know the definition of an incompressible fluid in terms of volume elements? Can this volume element change along the flow if the fluid is incompressible? What does that tell you about ##\vec{\nabla} \cdot \vec{v}##?
 
  • Like
Likes 1 person
  • #8
FactChecker
Science Advisor
Gold Member
6,637
2,686
I always thought that incompressible was also required for path independence, but it is not clear to me now. Obviously irrotational is required since otherwise some circles would have different clockwise and counterclockwise integrals.
 
  • #9
vanhees71
Science Advisor
Insights Author
Gold Member
19,071
9,881
The path-independence of line integrals, i.e., their only dependence of initial and final points of the paths but not their shapes implies that the line integral along all closed lines is zero. In a simply connected region of space and if the vector field in question is continuously differentiable in this region that follows from the vanishing of its curl (Poincare's Lemma)
[tex]\vec{\nabla} \times \vec{V}=0 \; \Leftrightarrow \; \int_{\mathcal{C}} \mathrm{d} \vec{r} \cdot \vec{V} \; \Leftrightarrow \; \vec{V}=-\vec{\nabla} \Phi.[/tex]
In the same way you can show that a vector field whose integral over any closed surface vanishes in a region, where each such surface can be continuously contracted to a point is a solenoidal field and its divergence vanishes:
[tex]\vec{\nabla} \cdot \vec{V}=0 \; \Leftrightarrow \; \int_S \mathrm{d}^2 \vec{F} \cdot \vec{V}=0 \; \Leftrightarrow \; \vec{V}=\vec{\nabla} \times \vec{A}.[/tex]
From this it follows the Helmholtz decomposition theorem, i.e., for any sufficiently well-behaved vector field in sufficiently nice regions of space you can write
[tex]\vec{V}=-\vec{\Phi}+\vec{\nabla} \times \vec{A}.[/tex]
The scalar potential [itex]\Phi[/itex] is determined from its sources, i.e.,
[tex]\vec{\nabla} \cdot \vec{V}=-\Delta \vec{\Phi}[/tex]
and the vector potential [itex]\vec{A}[/itex] from its vortices,
[tex]\vec{\nabla} \times \vec{V}= \vec{\nabla} \times (\vec{\nabla} \times \vec{A}).[/tex]
Since [itex]\vec{A}[/itex] is only defined up to a gradient field, you can demand
[tex]\vec{\nabla} \cdot \vec{A}=0,[/tex]
and then the latter equation simplifies to (in Cartesian coordinates)
[tex]\Delta \vec{A}=-\vec{\nabla} \times \vec{V}.[/tex]
So you get the decomposition with help of any Green's function of the Laplace operator that satisfies the boundary conditions suitable for your problem:
[tex]\Phi(\vec{x})=\int \mathrm{d}^3 \vec{x}' G(\vec{x},\vec{x}') \nabla' \cdot \vec{V}(\vec{x}')[/tex]
and
[tex]\vec{A}(\vec{x})=\int \mathrm{d}^3 \vec{x}' G(\vec{x},\vec{x}') \nabla' \times \vec{V}(\vec{x}').[/tex]
The Green's function satisfies
[tex]\Delta_{\vec{x}} G(\vec{x},\vec{x}')=-\delta^{(3)}(\vec{x}-\vec{x}').[/tex]
For free space we have
[tex]G(\vec{x},\vec{x}')=\frac{1}{4 \pi |\vec{x}-\vec{x}'|},[/tex]
i.e., the electrostatic potential of a unit point charge located at [itex]\vec{x}'[/itex] (Coulomb potential).
 
  • #10
pasmith
Homework Helper
2,106
729
vector notation for incompressible?? no idea. but if a fluid is incompressible then density is constant.

If a fluid is incompressible then the density [itex]\rho[/itex] of individual fluid particles is constant, so that
[tex]
\frac{\partial \rho}{\partial t} + \vec v \cdot \nabla \rho = 0
[/tex]
which is not the same as asserting that density is constant, ie. [itex]\dfrac{\partial \rho}{\partial t} = 0[/itex] and [itex]\nabla \rho = 0[/itex].

Conservation of mass requires that
[tex]
\frac{\partial \rho}{\partial t} + \nabla \cdot (\rho \vec v) = 0
[/tex]
and applying the product rule gives
[tex]
\frac{\partial \rho}{\partial t} + \rho \nabla \cdot \vec v + \vec v \cdot \nabla \rho = 0
[/tex]
and if the fluid is incompressible then this reduces to
[tex]
\nabla \cdot \vec v = 0.
[/tex]

The fact that a vector field is divergence-free says nothing about its path-independence.
 
  • Like
Likes 1 person
  • #11
FactChecker
Science Advisor
Gold Member
6,637
2,686
When people talk about path independence of line integrals of vector fields, is it always [tex] \int_{\mathcal{C}} \mathrm{d} \vec{r} \cdot \vec{V} =0 \; [/tex] that they are referring to?

What about [tex] \int_{\mathcal{C}} \mathrm{d} \vec{r} \times \vec{V} =0 ? \; [/tex] That would require an incompressible (solenoidal) vector field.
 

Related Threads on Easy curl/conservative question

  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
11
Views
2K
  • Last Post
Replies
10
Views
3K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
7
Views
1K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
9
Views
3K
  • Last Post
Replies
8
Views
3K
  • Last Post
Replies
1
Views
1K
Top