Difference between revisions of "Regular curve"

Take the regular curve $\gamma$, and the "reparametrisation" $$\phi(t)\mapsto t^3=\tilde{t}$$ - this is indeed bijective and smooth, however its inverse $$\phi^{-1}(\tilde{t})=\tilde{t}^\frac{1}{3}$$ is not smooth.

Thus $$\phi$$ is not a diffeomorphism. Thus $$\tilde{\gamma}(\tilde{t})=(\tilde{t}^3,\tilde{t}^6)$$ is not a reparametrisation.

Consider two parameterised curves $\gamma$ and $\tilde{\gamma}$ where $\gamma$ is regular.

We wish to show that $\tilde{\gamma}$ is regular. By being a reparametrisation we know $$\exists\phi$$ which is a diffeomorphism such that: $$\tilde{\gamma}(\tilde{t})=\gamma(\phi(\tilde{t}))$$

Then taking the equation: $$t=\phi(\psi(t))$$ and differentiating with respect to $t$ we see: $$1=\frac{d\phi}{d\tilde{t}}\frac{d\psi}{dt}$$ - this means both $\frac{d\phi}{d\tilde{t} }$ and $\frac{d\psi}{dt}$ are non-zero

Next consider $$\tilde{\gamma}(\tilde{t})=\gamma(\phi(\tilde{t}))$$ differentiating this with respect to $\tilde{t}$ yields:

$$\frac{d\tilde{\gamma}}{d\tilde{t}}=\frac{d\gamma}{dt}\frac{d\phi}{d\tilde{t}}$$ but:

• $$\frac{d\gamma}{dt}\ne 0$$ as the curve $\gamma$ is regular
• $$\frac{d\phi}{d\tilde{t}}\ne 0$$ from the above.

This completes the proof.