2
$\begingroup$

I'm with a problem in an exercise form Do Carmo's Differential Geometry of Curves and Surfaces; it is number 9 section 1.6.

I have a differentiable real function $k(s)$, $s\in I$, and I need to show that the planar curve given by $$ \alpha (s)=\left( \int \cos\theta (s)ds +a,\int \sin\theta (s)ds +b\right) $$ where $$ \theta (s) = \int k(s)ds+\phi $$ has $k(s)$ as its curvature (there is an explanation for this curvature not being exclusively positive in the same book). Both a,b and $\phi$ are constants so they are only important for the second part of the exercise (show that the curve is determined uniquely except of translations and rotations by a $\phi$-angle).

So what I need to show that the curvature of $\alpha$ is $k(s)$. I have already solved exercise 12.d from the same section of the book which gives me

$$ k(s)=\dfrac{x'y''-x''y'}{|\alpha '(s) |^2} $$ Using the definition of $\alpha$ and the Fundamental Theorem of Calculus, I have: $$ \alpha '(s)=(\cos \theta (s)k(s),\sin \theta (s)k(s))=(x'(s),y'(s)) $$ and $$ \alpha ''(s)=(-\sin \theta (s) k(s)^2+\cos \theta(s) k'(s), \cos \theta(s) k(s)^2+\sin \theta(s) k'(s) ) $$

This also gives me $|\alpha '(s)|= |k(s)|$. Substituting on the formula for $k(s)$ above (which should give me k(s)=k(s) ) returns me the value $$ \dfrac{k(s)}{|k(s)|} $$ which is $\pm$ and also very frustrating (shouldn't end up with any restrictions over $k$ ). I can't find where I'm making the mistake. I have tried to do this with arc lenght parametrization, which gave me the same result (by the way, that's how I obtained the formula for $k(s)$).

$\endgroup$
  • 1
    $\begingroup$ The derivate of $\int\cos(\theta(s))$ is simply $\cos(\theta(s))$. So you should find $|\alpha'(s)|=1$. $\endgroup$ – Xoff Aug 28 '12 at 18:23
  • $\begingroup$ ... and therefore we have an example of a really simple problem that got complicated because of a wrong usage of the Calculus Fundamental Theorem. Thanks @Xoff ! That was is accurate and correct. $\endgroup$ – Marra Aug 28 '12 at 18:33
  • $\begingroup$ You should solve the ode of Frenet equations to find $\alpha (s)$ and show that the curve is determined up to rigid motion. $\endgroup$ – Aaron Maroja Nov 19 '15 at 15:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.