Introducción

Definición. Si C es un arco de curva rectificable, definimos su longitud $L(C)$ como la suma
$$\boxed{{\displaystyle L_C=sups(P)=sup\{\mathrm{\Sigma }\Vert f(t_k)-f(t_{k-1})\Vert \}}}$$
Ahora vamos a obtener una fórmula para la longitud de arco.
Sea $\bar{\alpha }:[a,b]\to {\mathbb{R}}^2$ ó ${\mathbb{R}}^3$, continua en $[a,b]$, derivable en (a,b) y $\overline{{\alpha }^{\prime }}(t)\ne 0$ para todo $t\in [a,b]$ y sea $P=t_0,t_1,\dots ,t_n$ una partición de $[a,b]$

entonces según la figura se tiene que
$$\ell (\bar{\alpha })\approx \sum _{i=1}^n\Vert \alpha (t_i)-\alpha (t_{i-1})\Vert =\sum _{i=1}^n\sqrt{{[{\alpha }_1(t_i)-{\alpha }_1(t_{i-1})]}^2+\dots +{[{\alpha }_n(t_i)-{\alpha }_n(t_{i-1})]}^2}$$
Aplicando el teorema del valor medio en cada subintervalo $[t_{i-1},t_i]$ tenemos que
$$\frac{{\alpha }_i(t_i)-{\alpha }_i(t_{i-1})}{t_i-t_{i-1}}={\alpha }^{\prime }(t^{\ast }),t^{\ast }\in (t_{i-1},t_i)$$
se tiene que
$$\begin{array}{rl}& \sum _{i=1}^n\sqrt{{[{\alpha }_1(t_i)-{\alpha }_1(t_{i-1})]}^2+\dots +{[{\alpha }_n(t_i)-{\alpha }_n(t_{i-1})]}^2}=\\ & \sum _{i=1}^n\sqrt{{[{\alpha }_1^{\prime }(t_1)(t_i-t_{i-1})]}^2+\dots +{[{\alpha }_n^{\prime }(t_n)(t_i-t_{i-1})]}^2}=\\ & \sum _{i=1}^n(t_i-t_{i-1})\sqrt{{[{\alpha }_1^{\prime }(t_1)]}^2+\dots +{[{\alpha }_n^{\prime }(t_n)]}^2}=\\ & \sum _{i=1}^n(t_i-t_{i-1})\sqrt{{[{\alpha }_1^{\prime }(t_1)]}^2+\dots +{[{\alpha }_n^{\prime }(t_n)]}^2}=\\ & \sum _{i=1}^n(t_i-t_{i-1})\sqrt{{[{\alpha }_1^{\prime }(t)]}^2+\dots +{[{\alpha }_n^{\prime }(t)]}^2}=\\ & \sum _{i=1}^n\Vert {\alpha }^{\prime }(t^{\ast })\Vert (t_i-t_{i-1})\\ & Sin\to \mathrm{\infty }entonces\sum _{i=1}^n\Vert {\alpha }^{\prime }(t^{\ast })\Vert (t_i-t_{i-1})\to {\int }_a^b\Vert {\alpha }^{\prime }(t)\Vert dt\end{array}$$
Definición. Sea $f:I\subset \mathbb{R}\to {\mathbb{R}}^2$ ó ${\mathbb{R}}^3$ una curva parametrizable. Sean $a,b\in I$ con $a<b$. Para cualquier partición $P=t_0,\dots ,t_n$ del intervalo $[a,b]$ definimos
$$sup\{\sum _{i=1}^n\Vert {\alpha }^{\prime }(t)\Vert (t_i-t_{i-1})\}={\int }_a^b\Vert {\alpha }^{\prime }(t)\Vert dt$$
curva o la longitud de arco de la curva en caso de que la integral exista.
Ejemplo. Calcular la longitud de arco de $\sigma (t)=(rt-r\sin (t),r-r\cos (t))$. En este caso
tenemos que ${\sigma }^{\prime }=(r-r\cos (t),r\sin (t))$ para $t\in [0,2\pi ]$ $\therefore$ la longitud de arco es:
$$\begin{array}{rl}{\int }_0^{2\pi }\sqrt{(r-r\cos (t){)}^2+(r\sin (t){)}^2}& ={\int }_0^{2\pi }\sqrt{r^2-2r^2\cos (t)+r^2{\cos }^2(t)+r^2{\sin }^2(t)}dt\\ & ={\int }_0^{2\pi }\sqrt{2r^2-2r^2\cos (t)}dt\\ & =\sqrt{2}r{\int }_0^{2\pi }\sqrt{1-\cos (t)}dt\\ & =\sqrt{2}r{\int }_0^{2\pi }\sqrt{2}\sin \left(\frac{t}{2}\right)dt\\ & =2r{\int }_0^{2\pi }\sin \left(\frac{t}{2}\right)dt\\ & =2r(2\cdot {(-\cos \left(\frac{t}{2}\right)|}_0^{2\pi })\\ & =8r.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}\end{array}$$

Reparametrización de curvas

Consideremos la curva $f:[-1,1]\to {\mathbb{R}}^2$
dada por $f(t)=(-t,\sqrt{1-t^2})$ la cual describe un arco de la
circunferencia $x^2+y^2=1$ entre -1 y 1.

Sea $\bar{f}:[0,\pi ]\to [0,1]$ la función $\bar{f}(s)=[\cos (s),\sin (s)]$

Si definimos una función $\phi :[0,\pi ]\to [-1,1]$ dada por $\phi (s)=-cos(s)$ tenemos que $\bar{f}=f\circ \phi$, es decir
$$\bar{f}(s)=f\circ \phi (s)=f(\phi (s))=f(-cos(s))=[-(-cos(s)),\sqrt{1-(-\cos (s){)}^2}]=[cos(s),\sin (s)]$$

Decimos que $\bar{f}$ es una reparametrización de $f$.$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$
Definición. Sea $f:[a,b]\subset {\mathbb{R}}^n$ una curva con derivada distinta de cero. Sea $\phi :[c,d]\to [a,b]$ una función con derivada continua sobreyectiva tal que ${\phi }^{\prime }\ne 0$ $\mathrm{\forall }s\in [a,b]$. Entonces la curva $\bar{f}=f\circ \phi :[c,d]\to {\mathbb{R}}^n$ se llama reparametrización de la curva f.
Nota:
La condición ${\phi }^{\prime }\ne 0$ nos conduce a ${\phi }^{\prime }>0$ o ${\phi }^{\prime }<0$. Si ${\phi }^{\prime }>0$ entonces $\phi$ es una función creciente en [c,d] de modo que $\phi (c)=a$ y $\phi (d)=b$ y asi los puntos inicial y final de $\bar{f}$ coinciden con los respectivos de f$$\bar{f}(c)=f\circ \phi (c)=f(\phi (c))=f(a)y\bar{f}(d)=f\circ \phi (d)=f(\phi (d))=f(b)$$
como ${\bar{f}}^{\prime }(s)={\phi }^{\prime }(s)f^{\prime }(\phi (s))$ entonces $f^{\prime }$ y ${\bar{f}}^{\prime }$ tienen la misma dirección y en este caso como ${\phi }^{\prime }>0$, entonces, el camino en el que $\bar{f}$ recorre la curva descrita por f es en la misma dirección. Por lo tanto diremos que $\bar{f}$ es una reparametrización de f que conserva la orientación.
Ejemplo. Obtenga una reparametrización de la curva $f:[0,2]\to {\mathbb{R}}^2$ dada por $f(t)=(3t+2,t^3+3)$.
Solución. Proponemos la función $t=\phi (s)=2s$, en la cual se tiene ${\phi }^{\prime }(s)=2>0$,
es decir si su derivada es constante, entonces no se anula para ningun valor. Ahora bien si $t=0\Rightarrow s=0$ y $t=2\Rightarrow s=1$ por lo tanto $\phi :[0,1]\to [0,2]$ mientras que
$$\bar{f}(s)=f(\phi (s))=f(2s)=(3(2s)+2,(2s{)}^3+3)=(6s+2,8s^3+3)s\in [0,1]$$ tenemos entonces que $\bar{f}$ es una reparametrización de f. Vamos a comprobar que representan el mismo lugar geométrico. Para $f(t)$ se tiene ${\displaystyle x=3t+2\to t=\frac{x-2}{3}}$ y si $y=t^3+3$ entonces ${\displaystyle y={\left(\frac{x-2}{3}\right)}^3+3}$ mientras que para $\bar{f}(s)$, ${\displaystyle x=6s+2\to s=\frac{x-2}{6}}$ por tanto si $y=8s^3+3$ entonces ${\displaystyle y=8{\left(\frac{x-2}{6}\right)}^3+3}$ por lo que igualando coordenadas de cada representación paramétrica, se tiene$${\left(\frac{x-2}{3}\right)}^3+3=8{\left(\frac{x-2}{6}\right)}^3+3\Rightarrow \frac{1}{3^3}=\frac{8}{6^3}$$ lo cual es cierto y por lo tanto representan el mismo lugar geometrico.$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$
Proposición. Supongamos que $f:[a,b]\to {\mathbb{R}}^n$ es una curva con $f^{\prime }\ne 0$ y que $\bar{f}:[c,d]\to {\mathbb{R}}^n$ es una reparametrización de f. Entonces
$${\int }_a^b\Vert f^{\prime }(t)\Vert dt={\int }_c^d\Vert {\bar{f}}^{\prime }(s)\Vert ds$$
Demostración. Tenemos que $\bar{f}=f\circ \phi$, donde $\phi :[c,d]\to [a,b]$ es de clase $c^1$, biyectiva y ${\phi }^{\prime }\ne 0\mathrm{\forall }s\in [c,d]$. Entonces
$$\begin{array}{rl}L(\bar{f})& ={\int }_c^d|{\bar{f}}^{\prime }(s)|ds\\ & ={\int }_c^d\Vert {\phi }^{\prime }(s)f^{\prime }(\phi (s))\Vert ds\\ & ={\int }_c^d\Vert {\bar{f}}^{\prime }(\phi (s))\Vert |{\phi }^{\prime }(s)|ds(si{\phi }^{\prime }>0)\\ & ={\int }_c^d\Vert {\bar{f}}^{\prime }(\phi (s))\Vert {\phi }^{\prime }(s)ds\\ & ={\int }_a^b\Vert f^{\prime }(t)\Vert dt,(t=\phi (s),dt={\phi }^{\prime }(s)ds)\\ & =L(f).\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}\end{array}$$

Función Longitud de Arco

A continuación introducimos la función longitud de arco de una curva. Esta función nos permitirá prporcionar una nueva reparametrización de una curva, lo cual será de gran
utilidad más adelante.
Definición. Sea $f:[a,b]\to {\mathbb{R}}^n$ una curva de longitud L. Se llama función longitud de arco de la curva $f(t)$ a la función $s:[a,b]\to [0,L]$ dada por
$$s(t)={\int }_a^t\Vert f^{\prime }(u)\Vert du$$
$s(t)$ es la longitud del arco entre los puntos $P_0$ y $P$, que son los puntos terminales de $f(a)$ y $f(t)$

Ejemplo. Hallar la función longitud de arco de la hélice $f(t)=(\cos (t),\sin (t),t),t\in [0,2\pi ]$.
Solución. En este caso tenemos que
$$\begin{array}{rl}{f}^{\prime }(t)& =(-\sin (t),\cos (t),1)\\ |f^{\prime }(t)|& =\sqrt{(-\sin (t){)}^2+(\cos (t){)}^2+1^2}=\sqrt{2}\end{array}$$
Ahora, para $t\in [0,2\pi ]$ tenemos
$$s(t)={\int }_0^t\Vert f^{\prime }(u)\Vert du={\int }_0^t\sqrt{2}du=\sqrt{2}t$$
Si $t\in [0,2\pi ]$ entonces
$$\begin{array}{rl}s(0)& =0\\ s(2\pi )& =2\pi \sqrt{2}\end{array}$$
Luego, la función longitud de arco $s:[0,2\pi ]\to [0,2\pi \sqrt{2}]$ de esta porción de hélice es
$$s(t)=\sqrt{2}t.\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$

Reparametrización por Longitud de Arco

Entre las muchas reparametrizaciones de una curva contamos con una que está muy relacionada con las características geométricas de la curva y además, posee propiedades importantes. Esta es la reparametrización por longitud de arco, la que se obtiene mediante la función de longitud de arco.
Sea $f:[a,b]\to {\mathbb{R}}^n$ una curva diferenciable. Para reparametrizarla por longitud de arco se siguen los siguientes pasos:
(a) Hallar la función longitud de arco de la curva:
$$s:[a,b]\to [0,L],{\displaystyle s(t)={\int }_a^t\Vert f^{\prime }(u)\Vert du}$$
(b) Hallar la función inversa de la función longitud de arco:
$$\phi =s^{-1}:[0,L]\to [a,b]$$
La reparametrización por longitud de arco de la curva $f:[a,b]\to {\mathbb{R}}^n$ es
$$\bar{f}=f\circ \phi :[0,L]\to {\mathbb{R}}^n$$
Ejemplo. Sea $f(t)=(r\cos t,r\sin t)$ con $t\in [0,2\pi ]$. Obtengamos su reparametrizacion por longitud de arco.
Solución.
(a) Hallamos la función longitud de arco s(t) que en éste caso es:
$$f^{\prime }(t)=(-r\sin (t),r\cos (t))y\Vert f^{\prime }(t)\Vert =\sqrt{(-r\sin (t){)}^2+(r\cos (t){)}^2}=r$$
$s:[0,2\pi ]\to [0,2\pi r]$, ${\displaystyle s(t)={\int }_0^t\Vert f^{\prime }(u)\Vert du={\int }_0^{t}rdu=rt}$ esto es
$$s(t)=rt$$
Si $t\in [0,2\pi ]$ entonces
$$\begin{array}{rl}s(0)& =0\\ s(2\pi )& =2\pi r\end{array}$$
Por lo que $s\in [0,2\pi r]$
(b) Hallamos la función inversa de la longitud de arco
$$\phi =s^{-1}:[0,2\pi r]\to [0,2\pi ]$$
Sea $s=s(t)$. Entonces $s=rt$, por lo tanto despejando t tenemos ${\displaystyle t=\frac{s}{r}}$. Luego
$$t=\phi (s)=s^{-1}=\frac{s}{r}$$
Por lo tanto la reparametrización buscada es
$$\bar{f}(s)=f\circ \phi (s)=f(\phi (s))=f\left(\frac{s}{r}\right)=(r\cos \left(\frac{s}{r}\right),r\sin \left(\frac{s}{r}\right))\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$
Observación.
En el ejemplo anterior notamos que:
$$\Vert {\bar{f}}^{\prime }(s)\Vert =\Vert -r\sin \left(\frac{s}{r}\right)\frac{1}{r},r\cos \left(\frac{s}{r}\right)\frac{1}{r}\Vert =\Vert -\sin \left(\frac{s}{r}\right),\cos \left(\frac{s}{r}\right)\Vert =1$$

Ejemplo. Sea $f(t)=(\cos t,\sin t,t),t\in [0,2\pi ]$ . Obtengamos la reparametrizacion por la longitud de arco.
Solución.
(a) Hallamos la función longitud de arco s(t), que en éste caso es:
$$f^{\prime }(t)=(-\sin (t),\cos (t),1)y\Vert f^{\prime }(t)\Vert =\sqrt{(\sin (t){)}^2+(\cos (t){)}^2+1^2}=\sqrt{2}$$
Si $t\in [0,2\pi ]$ entonces $s:[0,2\pi ]\to [0,2\pi \sqrt{2}]$, por lo que${\displaystyle s(t)={\int }_0^t\Vert f^{\prime }(u)\Vert du={\int }_0^t\sqrt{2}du=\sqrt{2}t}$ esto es
$$s(t)=\sqrt{2}t$$
Hallamos la función inversa de la longitud de arco
$$\phi =s^{-1}:[0,2\pi \sqrt{2}]\to [0,2\pi ]$$
Sea $s=s(t)$. Entonces $s=\sqrt{2}t$, por lo tanto despejando t tenemos ${\displaystyle t=\frac{s}{\sqrt{2}}}$. Luego
$$t=\phi (s)=s^{-1}=\frac{s}{\sqrt{2}}$$
y la reparametrización buscada es
$$\bar{f}(s)=f\circ h(s)=f(h(s))=f\left(\frac{s}{\sqrt{2}}\right)=(r\cos \left(\frac{s}{\sqrt{2}}\right),\sin \left(\frac{s}{\sqrt{2}}\right),\frac{s}{\sqrt{2}}),s\in [0,2\pi \sqrt{2}]\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$

La reparametrización por longitud de arco tiene rapidez constante

Sabemos que si $\mathbf{\text{s}}:[a,b]\to [c,d]$ es una función de clase $c^1$ tal que ${\mathbf{\text{s}}}^{\prime }\ne 0\mathrm{\forall }t\in [a,b]$, también se tiene ${\mathbf{\text{s}}}^{-1}:[c,d]\to [a,b]$ es tal que $({\mathbf{\text{s}}}^{-1}{)}^{\prime }$ es de clase $c^1$.
Observamos que la función $\phi ={\mathbf{\text{s}}}^{-1}:[c,d]\to [a,b]$ tiene entonces las características que se necesitan para que $\bar{f}=f\circ \phi$ sea una reparametrización de f.

Tenemos que para $s\in [c,d]$
$$\bar{f}(s)=(f\circ \phi )(s)=f(\phi (s))$$
por lo que
$${\bar{f}}^{\prime }(s)=(f\circ \phi {)}^{\prime }(s)=f^{\prime }(\phi (s)){\phi }^{\prime }(s)$$
Pero
$${\phi }^{\prime }(s)=({\mathbf{\text{s}}}^{-1}{)}^{\prime }(s)=\frac{1}{{\mathbf{\text{s}}}^{\prime }({\mathbf{\text{s}}}^{-1}(s))}=\frac{1}{{\mathbf{\text{s}}}^{\prime }(\phi (s))}=\frac{1}{\Vert f^{\prime }(\phi (s))\Vert }$$
Por lo tanto
$$\Vert {\bar{f}}^{\prime }(s)\Vert =\Vert f^{\prime }(\phi (s)){\phi }^{\prime }(s)\Vert =\Vert f^{\prime }(\phi (s))\cdot \frac{1}{\Vert f^{\prime }(\phi (s))\Vert }\Vert =\Vert f^{\prime }(\phi (s))\Vert \cdot \frac{1}{\Vert f^{\prime }(\phi (s))\Vert }=1\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$$

Propiedad de la reparametrización por longitud constante

Si $\bar{f}$ es una reparametrización de f tal que $\Vert \bar{f}(t)\Vert =1$ para toda $t\in [a,b]$ entonces
$$L(\bar{f})={\int }_a^b\Vert \bar{f}(t)\Vert dt={\int }_a^{b}dt=b-a$$
Por lo que $\bar{f}$ es una reparametrización tal que la longitud que describe es igual al tiempo que tarda en recorrerla.$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

Más adelante

Tarea Moral

1.- Aporta una parametrización al cuadrado unitario de ${\mathbb{R}}^2$ con vértices en los puntos: (0,0), (1,0), (1,1), (0,1).

2.- Determina la longitud de arco de la parábola descrita por $f(t)=(t^2,2t)$, $t\in [0,1]$

3.- Determina la longitud de la gráfica de $y=ln(1-x^2)$ entre $x=0$ y $x={\displaystyle \frac{1}{2}}$

4.- La gráfica polar de $r=1+cos\theta$ es una cardioide y sus ecuaciones paramétricas son: $x=(1+cos\theta )cos\theta$, $y=(1+cos\theta )sen\theta$, $\theta \in [0,2\pi ]$. Determina su longitud de arco.

5.- Encuentra una reparametrización de la elipse $r(t)=(acost,bsent)$, $t\in [0,2\pi ]$ y determina su reparametrización por longitud de arco.