2
$\begingroup$

If you have found a parametrization $\vec \alpha(s)$ of a curve $C$ for which $\int \lVert \vec \alpha\,'(s)\rVert \mathrm ds$ cannot be expressed in terms of elementary functions, does it make sense to search for a different parametrization?

This question was inspired by this specific example. I feel like the answer is no, and here is a sketchy proof:

Suppose we have two parametrizations of the curve $C$, say $\vec \alpha (s)$ and $\vec \mu (t)$ valid on $s\in[a,b]$ and $t\in[c,d]$, with continuous derivatives. Then there is some function $f$ such that $\vec \alpha(s)=\vec\mu(f(s))$. Now if $\vec \alpha\,'(s)$ and $\vec \mu \, '(t)$ are never zero (which I believe we can assume without loss of generality) then we have $\vec \alpha \, ' (s)=\vec \mu\,'(f(s))f'(s)$ (the existence of $f'(s)$ is guaranteed in this case).

Furthermore, since $f$ is differentiable it is continuous. Now the fact that $\vec \alpha$ and $\vec \mu$ are differentiable implies continuity of each function $\alpha_i$, where $\vec \alpha(s)=(\alpha_1,\,\alpha_2,\,\dots,\alpha_n)$. Similarly, each $\mu_i$ is continuous, and for all $t$ at least one of $\mu_i(t)\ne 0$. Hence we have that $f'(s)=\frac {\alpha_i'(s)}{\mu_i'(f(s))}$.

There must be some overlap in non-zero functions, however. I'm not sure how to write this formally, but for example: if we have that $\mu_1'(f(s))$ is the only nonzero $\mu_i'(f(s))$ on some interval $(x,y)$, then $f'(s)=\frac{\alpha_1'(s)}{\mu_1'(f(s))}$ on $(x,y)$. Now suppose $\mu_1'(f(s))=0$ outside this interval. Then on $[y,z)$ there must be some $i=k$ such that $\mu_k'(f(s))$ is nonzero. Since $\mu_k'(f(s))$ is continuous, it must be nonzero on an open interval (including $y$), and therefore $\mu_1'(f(s))$ is not the only nonzero function on $(x,y)$.

This overlap allows us to conclude that $f'(s)$ must be continuous (that was the whole point of the above argument) and nonzero. Thus we either have that $f'(s)>0$ on $[a,b]$ or $f'(s)<0$ on $[a,b]$. Either way, we have that $$\int \lVert \vec \alpha\,'(s)\rVert \mathrm ds =\pm\int \lVert \vec \mu\,'(f(s))\rVert f'(s)\mathrm ds=\pm\int\lVert\vec\mu\,'(t)\rVert\mathrm dt$$ and so if the arc length using the parametrization $\vec \alpha$ cannot be expressed in terms of elementary functions, the new parametrization cannot either.


I'm not positive we can assume that $\vec\alpha\,'(s)$ and $\vec \mu\,'(t)$ are never zero without loss of generality, but it seems to make sense. Actually, looking at the result I believe we could argue that it wouldn't make a difference if they were equal to zero at some points.

It also occurred to me that the argument yielding continuity of $f'(s)$ was not really needed, it was obvious that $f'(s)$ was at least piecewise continuous and we can reach our conclusion with that weaker result as well.

  • 0
    You shouldn't be able to do that without assuming that $\alpha$ and $\mu$ are themselves expressed in terms of elementary functions (otherwise there are trivial examples), and I don't see where you're using such an assumption in your sketch.2012-09-03
  • 0
    @HenningMakholm I will add this assumption - for my purposes, it would be necessary.2012-09-03
  • 0
    The greater problem, as far as I can see, is that you don't seem to be _using_ the assumption -- therefore your argument cannot be valid. In fact, I don't see how you get from the body of the arguments (which seems to be entirely about continuity and derivatives) to the end conclusion that some particular function is not elementary. There's a coordinate change from $s$ to $t$ hidden in your last equals sign, and _a priori_ it might be that this coordinate change just happens to correct for the non-elementariness of the length as a function of $s$.2012-09-03
  • 0
    @HenningMakholm The assumption is that $\int \lVert \vec \alpha ' (s) \rVert ds$ is not elementary. I conclude that for any other parametrization $\vec \mu$ we have that $\int \lVert \vec \alpha ' (s) \rVert \mathrm ds = \pm\int \lVert \vec \mu ' (t) \rVert \mathrm du$ and so if the latter *is* elementary then the former would be as well. Hence $\int \lVert \vec \mu ' (t) \rVert \mathrm du$ cannot be expressed using elementary functions. My interest is in the integrals, not the initial parametrizations.2012-09-03
  • 0
    Let's put $A=\int\|\alpha'(s)\|\,ds$ and $M=\int\|\mu'(t)\|\,dt$. Then its true enough that $M(t)=A(f^{-1}(t))$. But just because $A$ is non-elementary doesn't mean that its composition with $f^{-1}$ is _also_ non-elementary. You haven't argued whether $f$ or $f^{-1}$ are elementary or not, but that doesn't even matter, because it is possible for the composition of a non-elementary function and an elementary one to be elementary.2012-09-03
  • 0
    @HenningMakholm I'm following you now. Suppose $f$ is elementary though - then we would have $M(f(s))=A(s)$. The composition of two elementary functions is elementary, so we can conclude that $M$ cannot be elementary, correct?2012-09-03
  • 0
    That sounds right -- so it comes to whether you can prove $f$ is always elementary. It's certainly not true _in general_ for two elementary parameterizations of the same curve, that the parameter change function is necessarily elementary (since there are elementary functions whose inverses are not elementary).2012-09-03
  • 0
    @HenningMakholm Right, so we can conclude instead that if we find two different parametrizations, one which admits an elementary function for the arc length integral and one which has no elementary function for the arc length integral, then the change in parametrization function sending the latter's parameter to the former ($f$) is nonelementary.2012-09-03
  • 0
    @HenningMakholm But then $\alpha_i(s)=\mu_i(f(s))$ and since we have overlapping areas where each $\mu_i'(t)\ne 0$ then some $\mu_i$ is invertible at each point so $f(s)=\mu_i^{-1}(\alpha_i(s))$. Now if $\vec \alpha(s)$ is elementary and each $\mu_i^{-1}(t)$ is elementary, we have that $f$ must be elementary and the original result from my question follows. I am not familiar with elementary functions whose inverses are not elementary, but I am sure there are some examples.2012-09-03
  • 0
    One example is $x\mapsto x^x$.2012-09-03
  • 0
    @HenningMakholm If you wanted to consolidate your comments to an answer, or even just post an answer referencing the comments, I would be happy to accept it. Thanks for the help in understanding this.2012-09-16

0 Answers 0