Commutation property of covariant derivative

Click For Summary
SUMMARY

The discussion centers on the commutation property of the covariant derivative in the context of an orthogonal patch defined by the parameterization x(u, v). It establishes that if the tangent vectors x_u and x_v are orthogonal (x_u · x_v = 0), then the covariant derivatives satisfy the equality ∇_{x_u}x_v = ∇_{x_v}x_u. The proof relies on the properties of directional derivatives and the Lie bracket, which is zero when the vectors are derivatives of a coordinate system. The necessity of the orthogonality condition is questioned, highlighting its role in ensuring the commutation property holds.

PREREQUISITES
  • Understanding of covariant derivatives in differential geometry
  • Familiarity with directional derivatives and their properties
  • Knowledge of orthogonal patches in parameterized surfaces
  • Basic concepts of Lie brackets and their implications in vector fields
NEXT STEPS
  • Study the properties of covariant derivatives in Riemannian geometry
  • Learn about the implications of the Lie bracket in differential geometry
  • Explore the concept of orthogonal coordinate systems and their applications
  • Investigate the role of normal components in the covariant derivative
USEFUL FOR

Mathematicians, physicists, and students of differential geometry who are exploring the properties of covariant derivatives and their applications in the study of surfaces and manifolds.

demonelite123
Messages
216
Reaction score
0
My book defines the covariant derivative of a tangent vector field as the directional derivative of each component, and then we subtract out the normal component to the surface.

I am a little confused about proving some properties. One of them states:
If x(u, v) is an orthogonal patch, x_u \cdot x_v = 0, then \nabla_{x_u}x_v = \nabla_{x_v}x_u.

It seems clear to me that by the definition of the directional derivative, x_v[x_u] = \frac{\partial}{\partial v}x_u = x_{uv} = x_{vu} = x_u[x_v]. Therefore if it is true for the directional derivative, then it is clear that it is true for the directional derivative minus its normal component, or in other words the covariant derivative.

i can't figure out why the assumption x_u \cdot x_v = 0 was needed. can someone help explain?
 
Physics news on Phys.org
demonelite123 said:
My book defines the covariant derivative of a tangent vector field as the directional derivative of each component, and then we subtract out the normal component to the surface.

I am a little confused about proving some properties. One of them states:
If x(u, v) is an orthogonal patch, x_u \cdot x_v = 0, then \nabla_{x_u}x_v = \nabla_{x_v}x_u.

It seems clear to me that by the definition of the directional derivative, x_v[x_u] = \frac{\partial}{\partial v}x_u = x_{uv} = x_{vu} = x_u[x_v]. Therefore if it is true for the directional derivative, then it is clear that it is true for the directional derivative minus its normal component, or in other words the covariant derivative.

i can't figure out why the assumption x_u \cdot x_v = 0 was needed. can someone help explain?

What you say is right.

\nabla_{x_u}x_v - \nabla_{x_v}x_u =[x_u, x_v]

If the vectors are the derivatives of a coordinate system the Lie bracket is always zero.
 
Last edited:

Similar threads

  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 15 ·
Replies
15
Views
6K
  • · Replies 14 ·
Replies
14
Views
5K
  • · Replies 42 ·
2
Replies
42
Views
14K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 124 ·
5
Replies
124
Views
10K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 35 ·
2
Replies
35
Views
11K