Derivative of a curve traversed in the opposite direction

  • Thread starter Kreizhn
  • Start date
743
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))
\end{align*}
[/tex]
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
\end{align*}[/tex]

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)
\end{align*}
[/tex]

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?
 
21,992
3,269
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]?
 
743
1
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).
 

Related Threads for: Derivative of a curve traversed in the opposite direction

  • Posted
Replies
3
Views
8K
  • Posted
Replies
5
Views
2K
Replies
5
Views
949
Replies
1
Views
2K
Replies
6
Views
3K
Replies
1
Views
815

Physics Forums Values

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving
Top