Directional Derivatives and Commutation

Click For Summary
SUMMARY

This discussion focuses on proving that directional derivatives do not commute, specifically through the equation: (\vec{A} \cdot \nabla)(\vec{B} \cdot \nabla f) - (\vec{B} \cdot \nabla)(\vec{A} \cdot \nabla f) = (\vec{A} \cdot \nabla \vec{B} - \vec{B} \cdot \nabla \vec{A}) \cdot \nabla f. The user applied the vector identity for the gradient of a dot product and simplified the expression to demonstrate the non-commutativity. The final solution confirms that the second and third terms cancel out, leading to the required proof.

PREREQUISITES
  • Understanding of vector calculus, specifically directional derivatives.
  • Familiarity with the gradient operator (∇) and its properties.
  • Knowledge of vector identities, particularly the gradient of a dot product.
  • Proficiency in manipulating vector fields and derivatives.
NEXT STEPS
  • Study the properties of directional derivatives in vector calculus.
  • Learn about vector identities and their applications in proofs.
  • Explore examples of non-commutative operations in vector fields.
  • Investigate the implications of directional derivatives in physics and engineering contexts.
USEFUL FOR

Students and professionals in mathematics, physics, and engineering who are studying vector calculus and need to understand the behavior of directional derivatives.

tnb
Messages
2
Reaction score
0

Homework Statement



I need to prove that directional derivatives do not commute.

Homework Equations



Thus, I need to show that:
[tex] (\vec{A} \cdot \nabla)(\vec{B} \cdot \nabla f) - (\vec{B} \cdot \nabla)(\vec{A} \cdot \nabla f) = (\vec{A} \cdot \nabla \vec{B} - \vec{B} \cdot \nabla \vec{A}) \cdot \nabla f[/tex]

The Attempt at a Solution



I used the following vector identity:

[tex]\nabla (\vec{C} \cdot \vec{D}) = (\vec{C} \cdot \nabla) \vec{D} + (\vec{D} \cdot \nabla) \vec{C} + \vec{C} \times (\nabla \times \vec{D}) + \vec{D} \times (\nabla \times \vec{C})[/tex]

And got:

[tex]\vec{A} \cdot \left[ \vec{B} \times (\nabla \times \nabla f) + (\vec{B} \cdot \nabla)\nabla f + \nabla f \times (\nabla \times \vec{B}) + (\nabla f \cdot \nabla) \vec{B} \right] - \vec{B} \cdot \left[ \vec{A} \times (\nabla \times \nabla f) + (\vec{A} \cdot \nabla)\nabla f + \nabla f \times (\nabla \times \vec{A}) + (\nabla f \cdot \nabla) \vec{A} \right][/tex]

Then I reduced this to:

[tex]\vec{A} \cdot \left[ \nabla f \times (\nabla \times \vec{B}) + (\nabla f \cdot \nabla) \vec{B} \right] - \vec{B} \cdot \left[ \nabla f \times (\nabla \times \vec{A}) + (\nabla f \cdot \nabla) \vec{A} \right][/tex]

I am not sure how to proceed from here or if I even am on the right track. Any help is much appreciated. Thanks.
 
Last edited:
Physics news on Phys.org
So I found a solution but would still find it useful if someone could explain the vector identity used:

(A⃗ ⋅∇)(B⃗ ⋅∇f)−(B⃗ ⋅∇)(A⃗ ⋅∇f) =
[tex]\vec{B} \cdot \left[ (\vec{A} \cdot \nabla ) \nabla f \right] + (\vec{A} \cdot \nabla \vec{B}) \cdot \nabla f - \vec{A} \cdot \left[ (\vec{B} \cdot \nabla ) \nabla f \right] + (\vec{B} \cdot \nabla \vec{A}) \cdot \nabla f[/tex]

The second and third terms cancel and yield the given answer.
 
Last edited:

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
2K
  • · Replies 26 ·
Replies
26
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 13 ·
Replies
13
Views
4K