Understanding F = ∇·F: The Relationship Between Scalar and Vector Fields

  • Context: Graduate 
  • Thread starter Thread starter Jhenrique
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the relationship between scalar and vector fields, specifically examining the expression F = ∇·F and the implications of divergence in the context of potential forms and exact forms. The scope includes theoretical considerations and mathematical reasoning related to differential forms and vector calculus.

Discussion Character

  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants propose that a scalar field can represent an exact form of a vector field, questioning the validity of this idea.
  • Others argue that a divergence is not an exterior derivative and that a scalar field, being a 0-form, cannot be an exact form due to the absence of -1 forms.
  • A participant asserts that the operation ∇·F exists but maintains that the vector field F is not a potential form and that F is not an exact form.
  • Some participants emphasize the importance of specific terminology in mathematical contexts, stating that the terms used have precise meanings that should not be conflated.
  • A later reply introduces analogies from a referenced article, suggesting that while certain properties of vector fields can be analogous to closed or exact forms, they should not be labeled as such due to the specific mathematical definitions involved.
  • One participant provides identities for Cartan derivatives of k-forms in R^3, indicating a deeper mathematical framework for the discussion.

Areas of Agreement / Disagreement

Participants generally disagree on the interpretation of scalar and vector fields in relation to exact forms and potential forms. Multiple competing views remain regarding the definitions and implications of divergence and the terminology used.

Contextual Notes

Limitations include the potential misunderstanding of mathematical definitions and the specific conditions under which certain properties apply. The discussion does not resolve the mathematical steps or assumptions underlying the claims made.

Jhenrique
Messages
676
Reaction score
4
A scalar field can be the exact form of a vector field (potential form)? It's make sense?
 
Physics news on Phys.org
Nope, doesn't make sense. A divergence is not an exterior derivative. A scalar field is a 0-form. It can't be an exact form because an exact n-form must be the exterior derivative of of a n-1 form. There are no -1 forms, so a 0-form cannot be considered exact.
 
  • Like
Likes   Reactions: 1 person
Matterwave said:
Nope, doesn't make sense. A divergence is not an exterior derivative. A scalar field is a 0-form. It can't be an exact form because an exact n-form must be the exterior derivative of of a n-1 form. There are no -1 forms, so a 0-form cannot be considered exact.

You have a lot of knowledge in several areas of science, impressive!
 
But the operation ##\vec{\nabla} \cdot \vec{F} = F## exist! But still so ##\vec{F}## isn't a potential form and ##F## isn't an exact form?
 
You can't call it that. Those terms you used have very specific meanings. You call ##\vec{F}## the vector field and ##F## its divergence.
 
Jhenrique said:
I'm speaking this way cause I have this ideia in my mind: http://en.wikipedia.org/wiki/Exact_form#Vector_field_analogies

The analogy this article is talking about is if ##\vec{\nabla}\cdot\vec{F}=0## we call ##\vec{F}## incompressible analogous to closed. If ##\vec{F}=\vec{\nabla}\times\vec{A}## then we call ##\vec{F}## solenoidal analogous to exact. The final analogy is that exact implies closed ##\vec{\nabla}\cdot(\vec{\nabla}\times\vec{A})=0##.

But these are analogies. You can NOT call ##\vec{F}## a (closed or exact) form. A form has a specific mathematical definition.

Give you an example. Say I have a bicycle and a car. If I put a motor on my bicycle, it turns into a motorized vehicle which is somewhat analogous to a car. But I DON'T call my motorized bicycle a car. I call it a motorized bicycle, or a motorcycle. In the same way F above is analogous to a closed or exact form but I CANNOT call F a closed or exact form. I call it an incompressible or solenoidal vector field.
 
  • Like
Likes   Reactions: 1 person
Maybe what OP was asking for is the following identities for the Cartan derivatives ##d## of ##k##-forms in ##\mathbb R ^3## with canonical metric:
$$0) \, d \phi = (\nabla \phi)^T \cdot d \bar x$$
$$1) \, d A = (\nabla \times \bar A)^T \cdot \star d \bar x
\quad, A:= \bar A^T \cdot d \bar x$$
$$2) \, d B = (\nabla \cdot \bar B) \star 1 \quad, B:= \bar B^T \cdot \star d \bar x $$
Here ##{}^T## is the transpose and ##\star## the Hodge-operator.
 
Last edited:

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 10 ·
Replies
10
Views
4K
Replies
2
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 36 ·
2
Replies
36
Views
6K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K