Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Position vector and tangent vector in Riemannian spaces

  1. Apr 26, 2009 #1

    mma

    User Avatar

    In Euclidean vector spaces the derivative of the position vector of a running point of a
    curve is the tangent vector of the curve.

    In thehttp://www.matematik.lu.se/matematiklu/personal/sigma/Riemann.pdf" [Broken], on page 78 appears a vector which can be regarded as position vector in a Riemann space. This vector is the element of the tangent spce at the given point, it has the direction parallel to the direction of the geodesic connecting this point with the origin, and magnitude equal with the length of this geodesic. (Of course 'origin' means an arbitrarily fixed point of our Riemann space).

    This vector is denoted by \hat \sigma on p. 78.

    On this page when the author calculates the derivative of the norm of this position vector along a curve, I see that in the right side of the equation appears the tangent vector of the curve instead of the covariant derivative of the position vector.

    Is it really true that in Riemann spaces also holds that the covariant derivative of the (above defined) position vector of a running point of a curve is the tangent vector of the curve? How can one see this?
     
    Last edited by a moderator: May 4, 2017
  2. jcsd
  3. Apr 27, 2009 #2

    mma

    User Avatar

    I am afraid that this was a bad thought and really there is nothing to do here (in the told equation of the lecture notes) with the covariant derivaive. I thought of it only because of the formal Leibnitz-rule with respect to the scalar product.

    So, my question is simply: Why can we calculate the derivative of the norm-square of the "position vector" along a curve as the twice of the scalar product of the "position vector" and the tangent vector of the curve?
     
  4. Apr 27, 2009 #3
    The basic idea is that the exponential map induces a local diffeomorphism between the tangent space and the Riemannian manifold. In Euclidean space, there is a natural identification between position vectors and tangent vectors, and normal coordinates are a technical nicety used to extend this (locally) to Riemannian manifolds. In general, a Riemannian connection allows you to compute the derivative of the norm squared by representing it as the inner product:

    d/dt |c'(t)|^2 = d/dt <c'(t),c'(t)> = 2<D_t (c'(t)), c'(t)>

    In normal coordinates, we have two nice things to work with. The first is that we have Euclidean coordinates, and the second is that the equation of a geodesic is particularly simple. Thus, certain calculation simplify.
     
  5. Apr 28, 2009 #4

    mma

    User Avatar

    Thanks! My doubts are because the metric pulled back by the exponential map isn't an euclidean metric on the tangent space (on the domain if the exponential map), i.e. the metric tensor of this metric can change point by point. So it's surprising for me that the derivative of the metric tensor doesn't appear in this derivation. But I see from your answer that I should make a closer acquaintance with these normal coordinates. I will do this.
     
  6. Apr 28, 2009 #5
    I should certainly clarify that only the geodesics going through the origin in normal coordinates are straight lines. The fact that no derivative of the metric appears is precisely the condition that the connection is Riemannian.
     
  7. May 3, 2009 #6

    mma

    User Avatar

    But I still don't understand. I try to explain what is that isn't clear for me.

    Let [tex]o \in M[/tex]. Take a curve [tex]c(t)[/tex] in [tex]T_oM[/tex]. Then for each [tex]t[/tex], [tex]c(t)[/tex] is a vector in [tex]T_oM[/tex], so [tex]\Vert c(t) \Vert = g_o(c(t),c(t))[/tex], hence

    [tex]\frac{d\Vert c(t) \Vert^2}{dt} = 2g_o(\dot c(t),c(t))[/tex]

    where

    [tex]\dot c(t) = \lim_{h \to 0} \frac{c(t+h) - c(t)}{h} \in T_oM[/tex]

    It's OK, but my question is just coming.

    Let [tex]\Phi[/tex] be the exponential map between [tex]T_oM[/tex] and [tex]M[/tex]. Then my question was that what ensures that

    [tex]\frac{d\Vert d\Phi (\partial_{c(t),c(t)}) \Vert^2}{dt} = 2g_{\Phi(c(t))}(d\Phi(\partial_{c(t),\dot c(t)}),d\Phi(\partial_{c(t),c(t)}))[/tex]

    where [tex]\partial_{p,v} \in T_pT_oM [/tex] denotes the partial derivation at [tex]p \in T_oM[/tex] in the direction of [tex]v \in T_oM[/tex].

    We can restrict the problem into [tex]T_oM[/tex] if we introduce the pullback metric [tex]\tilde g[/tex] on [tex]T_oM[/tex] as [tex]\tilde g_p(X_p, Y_p) := g_{\Phi(p)}(d\Phi(X_p), d\Phi(Y_p))[/tex]
    for any [tex]p \in T_oM [/tex] and [tex]X_p, Y_p \in T_pT_oM [/tex].

    Because this metric turns [tex]\Phi[/tex] into an isometry between [tex]T_oM[/tex] and [tex]M[/tex], the question is now that what ensures that

    [tex]\frac{d\tilde g_{c(t)}(\partial_{c(t),c(t)}, \partial_{c(t),c(t)})}{dt} = 2 \tilde g_{c(t)}(\partial_{c(t),\dot c(t)},\partial_{c(t),c(t)})[/tex]

    Because of te properties of the exponential map, this equation is equivalent with


    [tex]\frac{d\tilde g_{0}(\partial_{0,c(t)}, \partial_{0,c(t)})}{dt} = 2 \tilde g_{c(t)}(\partial_{c(t),\dot c(t)},\partial_{c(t),c(t)})[/tex]

    My problem is that the LHS of this equation is independent of [tex] \tilde g_{c(t)}[/tex] (in fact, it is [tex]\frac{dg_o(c(t),c(t))}{dt}[/tex] ) and so are [tex]\partial_{c(t),\dot c(t)} [/tex] and [tex]\partial_{c(t),c(t)}[/tex] on the RHS. If the equality holds for a specific [tex] \tilde g_{c(t)}[/tex] ,
    then when I change this [tex] \tilde g_{c(t)}[/tex] then the equality must go wrong, isn't it?
     
    Last edited: May 3, 2009
  8. May 6, 2009 #7

    mma

    User Avatar

    I think that c'(t) is [tex]\partial_{c(t),c(t)}[/tex], and D_t (c'(t)) is [tex]\nabla_{\dot c(t)}c'(t)[/tex] in my notation.

    In this case the question is that why would be

    [tex]\nabla_{\dot c(t)}c'(t) = \partial_{c(t),\dot c(t)} [/tex] ?
     
  9. May 6, 2009 #8
    The notation is making it difficult, but I'll attempt to explain. You said that for each t, c(t) is a vector. This is certainly not correct - only c'(t) is a vector. Once this is clarified, the rest is not terribly bad. If you want to take the derivative of c'(t) along c(t), you need a connection. There's no canonical way to identify the vector spaces in question. My guess is that
    [tex]
    \nabla_{\dot c(t)} \dot c(t) = \partial_{c(t),\dot c(t)}
    [/tex]
    is simply the translation of my notation into your notation, if I'm not mistaken.
     
  10. May 6, 2009 #9

    mma

    User Avatar

    Sorry for the unsatisfactory notation and explanation. Originally I've really spoken about an arbitrary Riemann space [tex]M[/tex], and, in general, of course, the points of a Riemann space aren't vectors. But in post #6 I've restricted our investigations to one special Riemann space, namely to the tangent space of M at its point [tex]o[/tex], i.e. to [tex]T_oM[/tex], which I endowed by the metric pulled back from [tex]M[/tex] to [tex]T_oM[/tex] by the exponential map. I took the [tex]c(t)[/tex] curve in [tex]T_oM[/tex], i.e. in a vector space, hence for each [tex]t[/tex], [tex]c(t)[/tex] is an element of a vector space, i.e. it is a vector.


    Because I made [tex]T_oM[/tex] a Riemann space, I must make a distiction between the vectors that are the elements of [tex]T_oM[/tex] from the tangent vectors of [tex]T_oM[/tex]. Of course, we can identify the elements of [tex]T_oM[/tex] with the tangent vectors at any point [tex]p \in T_oM[/tex] (i.e. with the elements of [tex]T_pT_oM[/tex]). Each vector [tex]v \in T_oM[/tex] defines a derivation (i.e. a tangent vector) at [tex]p \in T_oM[/tex] by

    [tex]\left. {f \mapsto \frac{df(p + sv)}{ds}}\right|_{s = 0}[/tex].

    where, for the sake of the next usage, I rewrote the usual parameter [tex]t[/tex] to [tex]s[/tex]. (This is the directional derivation of [tex]f[/tex] at [tex]p[/tex] in the direction of [tex]v[/tex] )

    This tangent vector is denoted by [tex]\partial_{p,v}[/tex]. Specially, in the case of [tex]p=c(t)[/tex] and [tex]v=\dot c(t)[/tex]

    [tex]\partial_{c(t),\dot c(t)}[/tex] is the derivation [tex]f \mapsto \frac{df(c(t) + s \dot c(t))}{ds}[/tex]

    This derivation (= tangent vector) has nothing to do with the metric, while [tex]\nabla[/tex] is defined by the connection defined by the metric. So it is hard to belive that they are the same.
     
  11. May 6, 2009 #10
    Are you familiar with the fact that in normal coordinates, the Christoffel symbols vanish at the origin? This may be the cause of your confusion. In your derivation, you're evaluating everything at the origin, correct? In normal coordinates at the origin, both the Christoffel symbols and the first partials of the metric vanish.
     
  12. May 6, 2009 #11

    mma

    User Avatar

    Of course not. The scalar product is taken always at c(t), and your covariant derivative is taken also there, isn't it?
     
  13. May 9, 2009 #12
    In general, p is taken to be the origin in normal coordinates, with what you've written. If p is not the origin in normal coordinates, you can still talk about the vector field, but in general it will be more complicated, since the Christoffel symbols don't vanish (equivalently, the first partials of the metric don't vanish). Once you get away from the origin, there is no guarantee that the geodesics between two points will be the straight lines in normal coordinates.

    Based on the link you gave, the author is assuming that p is the origin in normal coordinates.
     
  14. May 10, 2009 #13

    mma

    User Avatar

    I am afraid that it still isn't clear, what is my problem. I try to give a specific example in 2 dimensions. Let use polar coordinates. The usual Euclidean metric tensor in polar coordinates is:
    [tex] g =
    \begin{pmatrix}1 & 0 \\
    0 & r^2 \\
    \end{pmatrix}
    [/tex]

    Suppose that our pullback metric is: [tex]\tilde {g} = \begin{pmatrix}1 & \phi \\
    \phi & r^2 \\
    \end{pmatrix}[/tex]

    The geodesics through the origin with this metric are the same straight lines as in the case of [tex]g[/tex]. But, if we take [tex]c(t)[/tex] or, with the notation of the lecture notes, [tex] \sigma(t)[/tex] , for example

    [tex] \sigma(t) = (d,t)[/tex] where d is a constant, then

    [tex]\frac{d}{dt}\left|\hat\sigma(t)\right| = 0[/tex]

    but

    [tex]\tilde {g}(\dot \sigma(t), \hat \sigma(t)) = t [/tex].

    So it seems that the equality

    [tex]\frac{d}{dt}\left|\hat\sigma(t)\right| = \frac{ \tilde {g}(\dot \sigma(t), \hat \sigma(t))}{\left| \hat \sigma(t) \right |}[/tex]

    in the lecture notes doesn't hold in this case. Is this really an error in the lecture notes, or I miss something?
     
    Last edited: May 10, 2009
  15. May 24, 2009 #14

    mma

    User Avatar

    Of course I missed.
    The metric I provided isn't positive definite, i.e. it isn't a Riemannian metric.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Position vector and tangent vector in Riemannian spaces
  1. Tangent vectors (Replies: 21)

Loading...