What is the Meaning of Lie and Covariant Derivatives in Curved Spaces?

  • Thread starter Karlisbad
  • Start date
  • Tags
    Operator
In summary, Lie Group theory involves the study of generators for translation and rotation invariance in Lagrangian mechanics. The Lie derivative and covariant derivative are generalizations of the derivative for curved spaces, acting as Lie operators. In certain cases, the Lie derivative can be expressed as a covariant derivative. This concept is often applied in quantum mechanics, where the momentum vector applied to a wave function is represented by the gradient of the function. However, it is important to note that Lie derivatives are left or right invariant vector fields, and their representation as derivatives depends on the specific Lie algebra being considered.
  • #1
Karlisbad
131
0
From the "Lie Group" theory point of view we know that:

[tex] p [/tex] := is the generator for traslation (if the Lagrangian is invariant under traslation then p is conserved)

[tex] L [/tex]:= s the generator for rotation (if the Lagrangian is invariant under traslation then L is conserved)

(I'm referring to momentum p and Angular momentum L, although the notation is obvious :blushing: )

My question is if we take the "Lie derivative" and "covariant derivative" as a generalization of derivative for curved spaces.. if we suppose they're Lie operators..what's their meaning?..if the momentum operator acts like this:

[tex] pf(x)\rightarrow \frac{df}{dx} [/tex] derivative of the function..could the same holds for Lie and covariant derivative (covariant derivative is just a generalization to gradient, and i think that Lie derivatives can be expressed in some cases as Covariant derivatives, in QM the momentum vector applied over the wave function is just the gradient of the [tex] \psi [/tex]
 
Physics news on Phys.org
  • #2
You confuse several levels here. What you call Lie operator is a left (or right) invariant vector field, an element of a Lie algebra. The example you gave for ##p## is just a possible representation, better realization of a Lie algebra. If we come from a group of smooth functions we will get a natural operation of the Lie algebra elements as Lie derivatives on these functions. Your example looks like the Poincaré group (algebra). For a general context of Lie derivatives see:
https://www.physicsforums.com/insights/pantheon-derivatives-part-ii/ and following parts

And here is an example of a realization of ##\mathfrak{sl}(2) \cong \mathfrak{su}(2)## as differential operators on ##\mathcal{C}^\infty(\mathbb{R})## (sec. 6.2 and 7.3):
https://www.physicsforums.com/insights/journey-manifold-su2-part-ii/
 

What is the meaning of the "==" operator?

The "==" operator is used to compare two values and check if they are equal. If the values are equal, the operator will return a boolean value of true. If the values are not equal, it will return false.

How is the "&&" operator used in programming?

The "&&" operator is known as the logical AND operator. It is used to combine two boolean expressions and will only return true if both expressions are true. If one or both expressions are false, it will return false.

What does the "!" operator do in coding?

The "!" operator, also known as the logical NOT operator, is used to reverse the boolean value of an expression. If the expression is true, the operator will return false, and if the expression is false, it will return true.

What is the purpose of the "++" operator?

The "++" operator is known as the increment operator and is used to increase the value of a variable by one. It can be used with both integer and floating-point numbers. For example, if a variable x has a value of 5, x++ will change the value of x to 6.

How does the "?:' operator work in programming?

The "?:' operator, also known as the ternary operator, is a conditional operator that is used to assign a value based on a condition. It takes in three operands - a condition, a value to be returned if the condition is true, and a value to be returned if the condition is false. For example, x > 10 ? "Big" : "Small" will return "Big" if the variable x is greater than 10, and "Small" if it is less than or equal to 10.

Similar threads

Replies
5
Views
594
  • Classical Physics
Replies
4
Views
277
  • Quantum Physics
Replies
14
Views
2K
  • Advanced Physics Homework Help
Replies
5
Views
2K
  • Special and General Relativity
4
Replies
124
Views
6K
Replies
2
Views
1K
  • Special and General Relativity
Replies
6
Views
2K
Replies
3
Views
939
  • High Energy, Nuclear, Particle Physics
Replies
1
Views
1K
Replies
27
Views
2K
Back
Top