Show Lie Bracket of X & Y is Linear Comb. of Commuting Vector Fields

  • Thread starter Thread starter WannabeNewton
  • Start date Start date
  • Tags Tags
    Bracket Lie bracket
Click For Summary
SUMMARY

The discussion centers on proving that the Lie bracket of two vector fields, X and Y, which are linear combinations of m commuting vector fields, is also a linear combination of those same m vector fields. The user denotes the vector fields as V_{(a)} and expresses X and Y in terms of scalar functions and these vector fields. The derived expression for the Lie bracket, [X, Y] = α^{c}V_{(d)}(V_{(c)}·∇β^{d}) - β^{d}V_{(c)}(V_{(d)}·∇α^{c}), confirms that the Lie bracket can indeed be represented as a linear combination of the m vector fields, despite the user's initial concerns about the neatness of the expression.

PREREQUISITES
  • Understanding of Lie brackets in vector calculus
  • Familiarity with vector fields and their linear combinations
  • Knowledge of the Einstein summation convention
  • Proficiency in using the Lie derivative
NEXT STEPS
  • Study the properties of Lie brackets in vector fields
  • Learn about the implications of the Einstein summation convention in tensor calculus
  • Explore the concept of commuting vector fields and their significance
  • Investigate applications of Lie derivatives in differential geometry
USEFUL FOR

Mathematicians, physicists, and students studying differential geometry or vector calculus, particularly those interested in the properties of Lie brackets and vector fields.

WannabeNewton
Science Advisor
Gold Member
Messages
5,850
Reaction score
553

Homework Statement


Show that if the vector fields X and Y are linear combinations (not necessarily with constant coefficients) of m vector fields that all commute with one another, then the lie bracket of X and Y is a linear combination of the same m vector fields.

The Attempt at a Solution


I started off by denoting the m vector fields by V_{(a)} so that [V_{(c)}, V_{(d)}] = 0 for all V_{(a)}. I wrote the vector fields X and Y as X = \alpha ^{c}V_{(c)} and Y = \beta ^{d}V_{(d)} where \alpha ,\beta are scalar functions. Then, [X, Y] = [\alpha ^{c}V_{(c)}, \beta ^{d}V_{(d)}] right? I worked out the lie derivative in component form and put it back in abstract form to get [X, Y]= [\alpha ^{c}V_{(c)}, \beta ^{d}V_{(d)}] = \alpha ^{c}V_{(d)}(V_{(c)}\cdot \triangledown \beta ^{d}) - \beta ^{d}V_{(c)}(V_{(d)}\cdot \triangledown \alpha ^{c}) but I don't see how this helps me at all in showing that [X, Y] can be written as a linear combination of the V_{(a)}'s (the m vector fields). Help please =D.

EDIT: I forgot to mention that I am using the Einstein summation convention here so that any repeated letters with one on top and one on bottom indicates summation.
 
Physics news on Phys.org
Apparently, [X, Y]= \alpha ^{c}V_{(d)}(V_{(c)}\cdot \triangledown \beta ^{d}) - \beta ^{d}V_{(c)}(V_{(d)}\cdot \triangledown \alpha ^{c}) is sufficient to conclude that the lie bracket is a linear combination of the m vector fields. I'm not convinced only because, while the expression does contain linear combinations of the m vector fields, the expression doesn't look neat in the slightest. If anyone wants to weigh in I would be very glad but I will assume that the conclusion is correct for now as it agrees with what the text has.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 30 ·
2
Replies
30
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
1
Views
1K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 18 ·
Replies
18
Views
3K