[Math] Show that $\textbf{$\gamma$}$ lies on a sphere of radius $r$

curvesdifferential-geometryspheres

Let $\textbf{$\gamma$ }(t)$ be a unit-speed curve with $\kappa (t) > 0$ and $\tau (t) \neq 0$ for all $t$.
Show that, if $\textbf{$\gamma$}$ is spherical, i.e., if it lies on the surface of a sphere, then $$\frac{\tau }{\kappa }=\frac{d}{ds}\left (\frac{\dot \kappa}{\tau \kappa^2}\right ) \tag 1$$

Conversely, show that if Eq. $(1)$ holds, then $$\rho^2+(\dot \rho \sigma )^2=r^2$$
for some (positive) constant $r$, where $\rho = \frac{1}{\kappa}$ and $\sigma = \frac{1}{\tau}$, and deduce that $\textbf{$\gamma$}$ lies on a sphere of radius $r$. Verify that Eq. $(1)$ holds for Viviani’s curve.

$$$$


$$$$

At the second part, I am facing some difficulties at showing that $\textbf{$\gamma$}$ lies on a sphere of radius $r$.

Could you give me some hints how to show it?

$$$$

EDIT:

I have done everything besides the verification that Eq. $(1)$ holds for Viviani’s curve.

I have done the following:

The Viviani's curve is $$\gamma (t)=\left (\cos^2 t -\frac{1}{2}, \sin t\cos t , \sin t\right )$$

The curvature is given by the formula $$\kappa =\frac{ \| \gamma '' \times \gamma '\|}{\|\gamma '\|^3}$$

I found that it is equal to $$\kappa =\frac{\sqrt{5+3\cos^2 t}}{(1+\cos^2 t)^{\frac{3}{2}}}$$

Its derivative is $$\kappa '=\frac{6 \cos \sin t (\cos^2 t+2)}{\sqrt{5+3\cos^2 t}(1+\cos^2 t)^{\frac{5}{2}}}$$

The torsion is given by the formula $$\tau =\frac{(\gamma ' \times \gamma '' ) \cdot }{\|\gamma ' \times \gamma '' \|^2}$$

I found that it is equal to $$\tau =\frac{6 \cos t}{5+3 \cos^2 t}$$

Then $$\frac{\kappa '}{\tau \kappa^2}=\frac{\sin t(\cos^2 t+2)(1+\cos^2 t)^{\frac{1}{2}}}{\sqrt{5+3 \cos^2 t}}$$

I calculated $$\left ( \frac{\kappa '}{\tau \kappa^2} \right ) '$$ at Wolfram but this is not equal to $$\frac{\tau }{\kappa}$$ What have I done wrong?

Best Answer

I think this is a lot easier than what you think: Take (1) above: $$\frac{\tau }{\kappa }=\frac{d}{ds}\left (\frac{\dot \kappa}{\tau \kappa^2}\right ) \tag 1$$

Rewrite this in terms of $\sigma$ and $\rho$ $$\frac{\rho}{\sigma }=\frac{d}{ds}\left (\sigma (-\dot \rho)\right ) = -\frac{d}{ds}\left (\dot{\rho} \sigma \right ) \tag 2$$

Now you're almost done.

Take the derivative of the LHS of your expression:

$$\frac{d}{ds}\left(\rho^2 + (\dot{\rho} \sigma)^2 \right) = 2\rho \dot{\rho} + 2(\dot{\rho} \sigma)\frac{d}{ds}(\dot{\rho} \sigma)$$ But we just figured out what that last term is in terms of $\rho$ so substitute: $$\frac{d}{ds}\left(\rho^2 + (\dot{\rho} \sigma)^2 \right) = 2\rho \dot{\rho} + 2(\dot{\rho} \sigma)\left(\frac{-\rho}{\sigma}\right)$$ You can now see that $$\frac{d}{ds}\left(\rho^2 + (\dot{\rho} \sigma)^2 \right) = 0$$

Or in other words $\rho^2 + (\dot{\rho} \sigma)^2$ is a constant (it must be positive, do you see why?). And if you call that constant $r^2$ you are done.

Put $a = \rho N + \sigma \dot{\rho} B$

We have just shown that this vector has a constant length of $r$. You can use the Frenet equations to show that $\dot{a} = -T = -\dot{\gamma}$

Then it is clear that $\gamma + a$ is a constant vector (the center of the circle) and the path $\gamma$ is at a constant distance $r$ from it.

For Viviani's curve put $$ \gamma(t) = \left(\frac{r}{2}(1 + \cos t), \frac{r}{2} \sin(t), r \sin(t/2)\right)$$ Which you can get from Wikipedia or Mathworld (remember we have a constant $r$ for our radius). then $$ \gamma'(t) = \frac{r}{2}\left(-\sin (t), \cos(t), \cos(t/2)\right)$$ $$ \gamma''(t) = -\frac{r}{2}\left(\cos (t), \sin(t), \sin(t/2)/2\right)$$ This is different from what you have. You need to calculate this out to finish.

For example I get $||\gamma'' \times \gamma'|| = \frac{r^2}{8\sqrt{2}}\sqrt{13 + \cos (t)}$

Can you take it from there?