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

Derivative of a curve traversed in the opposite direction

  1. Feb 20, 2013 #1
    I hope that this is a foolish question and that someone can make quick meat out of it. If [itex] \gamma: S^1 \to M [/itex] is a loop on an arbitrary manifold M, our goal is to analyze the tangent vectors to [itex] \gamma [/itex] when the loop is traversed in the opposite direction.

    Let [itex] \iota: S^1 \to S^1 [/itex] be the map which reverses your favourite parameterization of [itex] S^1[/itex]. That is, if [itex] S^1 = \mathbb R/2\pi\mathbb Z [/itex] then [itex] \iota(\theta) = -\theta[/itex]; if [itex] S^1 = \{ z \in \mathbb C: |z|=1 \} [/itex] then [itex] \iota(z) = \bar z [/itex], etc. I think it is clear that these are identical maps given appropriate composition with parameterization isomorphism.

    We want to compute [itex] (\gamma \circ \iota)'(\theta) [/itex]. We may equivalently write this as any of the following equivalent expressions
    [tex] \begin{align*}
    (\gamma \circ \iota)'(\theta_0) &= d(\gamma\circ\iota)\left.\frac{d}{d\theta}\right|_{\theta_0} = (d\gamma_{\iota(\theta_0)} \circ d\iota_{\theta_0}) \left.\frac{d}{d\theta}\right|_{\theta_0} \\
    &= d\gamma_{\iota(\theta_0)} (\iota'(\theta_0))
    where in the latter equation, we view [itex]\iota [/itex] as a loop on [itex] S^1[/itex].

    We now determine the action of [itex] d\iota[/itex]. For the sake of example, let us fix [itex] S^1 = \mathbb R/2\pi \mathbb Z [/itex], [itex] \theta_0 \in S_1 [/itex]. If [itex] X \in T_{\theta_0} S^1 [/itex] then set [itex] \beta: \mathbb R\to S^1 [/itex] such that [itex] \beta(0) = \theta_0, \beta'(0) = X [/itex] so that
    [tex] \begin{align*}
    d\iota_{\theta_0} \left.\frac{d}{d\theta}\right|_{\theta_0} &= \left.\frac{d}{dt}\right|_{t=0} \iota(\beta(t)) \\
    &= -\left.\frac d{dt} \right|_{t=0} \beta(t) \\
    &= - X

    Hence we find that
    [tex] \begin{align*}
    (\gamma\circ\iota)'(\theta_0) &= d\gamma_{\iota(\theta_0)} d\iota_{\theta_0} \left. \frac d{d\theta}\right|_{\theta_0}\\
    &= -d\gamma_{\iota(\theta_0)} X \\
    &= -\gamma'(X)

    This is of course non-sense in general, since [itex] d\iota_{\theta}(X) = -X [/itex] implies that [itex] X [/itex] lives in the wrong space; and one would suspect that [itex] (\gamma(-\theta))' = -\gamma'(-\theta) [/itex], but this extra negative sign in the argument seems to disappear. However, everything works out in the end since in fact, [itex] \iota [/itex] is easily seen to be a diffeomorphism hence [itex] d\iota [/itex] is an isomorphism on the tangent spaces, and we get
    [tex] d\iota(X) = -d\iota(X), \qquad (\gamma(-\theta))' = -\gamma(-\theta). [/tex]
    So ultimately, the reason why it looks wrong in the first place is that there is an implicit identification of [itex] -X [/itex] with [itex] -d\iota(X) [/itex].

    My question is as follows: In my experience such identifications are made explicitly by the mathematician, yet in this case the isomorphism "hid" itself. If one had naively carried through with the computation, one would have actually gotten the wrong answer ([itex] -\gamma'(\theta) \neq -\gamma'(-\theta) [/itex] in general!). Where did the isomorphism go? Was there some assumption above that made the identification implicit?
  2. jcsd
  3. Feb 22, 2013 #2
    I'm not sure what you mean with [itex]\frac{d}{d\theta}[/itex] it is clearly some vector field associated with a parametrization, but which one?

    Somehow, I think you're thinking of [itex]\theta(e^{ix})=x[/itex] with [itex]x\in[0,2\pi)[/itex] or something similar. This is an example of a so called angle function. This would yield a valid parametriation on [itex]S^1\setminus \{1\}[/itex] and the field [itex]\frac{d}{d\theta}[/itex] is initially defined on [itex]S^1\setminus \{1\}[/itex], but can be extended on the entire circle.

    Is this what you mean with [itex]\frac{d}{d\theta}[/itex]?
  4. Feb 22, 2013 #3
    My apologies, perhaps it would have been better if I had chosen the parameterization of [itex] S^1 = \mathbb R / 2\pi \mathbb Z[/itex] before writing that line. All I meant is that if we take [itex] \gamma: S^1 \to M [/itex] and [itex] \iota: S^1 \to S^1 [/itex] to be loops in their respective codomains, then they are implicitly parameterized (I have always taken curves to be parameterized, otherwise their interpretation as curves is lost and they become simply maps). This implicit parameterization endows the domain with a coordinate chart about each point [itex] \theta_0[/itex], so in this context I meant [itex] \left.\frac d{d\theta}\right|_{\theta_0} [/itex] to represent the induced derivation on [itex] T_{\theta_0} S^1 [/itex] coming from the coordinate map, rather than specifically alluding to any vector field.

    Hence [itex] \frac d{d\theta} [/itex] depends on your choice of parameterization: it is not meant to refer to a specific parameterization (though I fix a parameterization later).
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook