Is a Simply Connected, Curl-Free Vector Field Always Conservative?

[member 428835]

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!

 

[dextercioby]

What comment to give? It's an immediate result of Stokes' theorem (integral formula) and is very useful in physics (electrodynamics).

 

[member 428835]

thanks for confirming this!

 

[FactChecker]

I am used to incompressible, irrotational fluid flow being a requirement for path independence. What is the vector field interpretation of "incompressible"?

 

[member 428835]

vector notation for incompressible?? no idea. but if a fluid is incompressible then density is constant.

 

[FactChecker]

A vector field is an incompressible flow if the total net flux through any closed surface is zero.

 

[WannabeNewton]

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}$?

 

[FactChecker]

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.

 

[vanhees71]

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)
\vec{\nabla} \times \vec{V}=0 \; \Leftrightarrow \; \int_{\mathcal{C}} \mathrm{d} \vec{r} \cdot \vec{V} \; \Leftrightarrow \; \vec{V}=-\vec{\nabla} \Phi.
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:
\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}.
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
\vec{V}=-\vec{\Phi}+\vec{\nabla} \times \vec{A}.
The scalar potential \Phi is determined from its sources, i.e.,
\vec{\nabla} \cdot \vec{V}=-\Delta \vec{\Phi}
and the vector potential \vec{A} from its vortices,
\vec{\nabla} \times \vec{V}= \vec{\nabla} \times (\vec{\nabla} \times \vec{A}).
Since \vec{A} is only defined up to a gradient field, you can demand
\vec{\nabla} \cdot \vec{A}=0,
and then the latter equation simplifies to (in Cartesian coordinates)
\Delta \vec{A}=-\vec{\nabla} \times \vec{V}.
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:
\Phi(\vec{x})=\int \mathrm{d}^3 \vec{x}' G(\vec{x},\vec{x}') \nabla' \cdot \vec{V}(\vec{x}')
and
\vec{A}(\vec{x})=\int \mathrm{d}^3 \vec{x}' G(\vec{x},\vec{x}') \nabla' \times \vec{V}(\vec{x}').
The Green's function satisfies
\Delta_{\vec{x}} G(\vec{x},\vec{x}')=-\delta^{(3)}(\vec{x}-\vec{x}').
For free space we have
G(\vec{x},\vec{x}')=\frac{1}{4 \pi |\vec{x}-\vec{x}'|},
i.e., the electrostatic potential of a unit point charge located at \vec{x}' (Coulomb potential).

 

[pasmith]

vector notation for incompressible?? no idea. but if a fluid is incompressible then density is constant.

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

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

The fact that a vector field is divergence-free says nothing about its path-independence.

 

[FactChecker]

When people talk about path independence of line integrals of vector fields, is it always \int_{\mathcal{C}} \mathrm{d} \vec{r} \cdot \vec{V} =0 \; that they are referring to?

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