Introducción

La longitud de una curva como una integral nos permite estudiarla analíticamente. Recordemos que en cálculo el estudio de ciertos objetos matemáticos se hacen a partir de una aproximación. En este caso la noción intuitiva será: la longitud de una curva será el límite de longitudes de polígonos aproximados. Esta longitud estará definida como una integral.

Definición. Una arco de curva esta dado por una función vectorial $f:[a,b]\to {\mathbb{R}}^n$. Donde el dominio esta restringido al intervalo cerrado $[a,b]\in \mathbb{R}$.
Definición. Sea C un arco de curva en ${\mathbb{R}}^n$ dada por la función
$$f(t)=(f_1(t),f_2(t),\dots ,f_n(t))$$
Consideremos el conjunto
$$P=\{P|Pespartici\acute{o}nde[a,b]\}$$
Para cada partición $P:a=t_0,t_1,\dots ,t_{n-1},t_n=b$ de $[a,b]$ consideramos la poligonal
$$f(t_0),f(t_2),\dots ,f(t_{n-1}),f(t_n)$$
y su correspondiente longitud
$$s(P)=|f(t_1)-f(t_0)|+|f(t_2)-f(t_1)|+\cdots +|f(t_{n-1})-f(t_n)|=\sum _{i=1}^n||f(t_i)-f(t_{i-1})||$$
Se dice C es rectificable si el conjunto $s(P)$ esta acotado.

Ejemplo. Muestre que el arco de parábola C dado por $f(t)=(t,t^2)$ con $t\in (0,1)$ es rectificable.
En este caso sea $P\in [0,1]$ dada por $0=t_0<t_1<\cdots <t_n=1$. Tenemos entonces
$$\begin{array}{rl}s(P)& =\sum _{i=1}^n|f(t_i)-f(t_{i-1})|\\ & =\sum _{i=1}^n|(t_i,t_i^2)-(t_{i-1},t_{i-1}^2)|\\ & =\sum _{i=1}^n|(t_i-t_{i-1},t_i^2-t_{i-1}^2)|\\ & \le \sum _{i=1}^n|t_i-t_{i-1}|+|t_i^2-t_{i-1}^2|\\ & =\sum _{i=1}^n|t_i-t_{i-1}|+|(t_i-t_{i-1}||(t_i+t_{i-1}|\\ & =\sum _{i=1}^n(t_i-t_{i-1})(1+(t_i-t_{i-1})Si0\le t_{i-1}\le t_1\le 1entonces1+t_{i-1}+t_i\le 3\\ & \le 3\sum _{i=1}^n(t_i-t_{i-1})\\ & \le 3\end{array}$$
esto quiere decir que la suma $s(P)$ es acotada y por lo tanto, el arco es rectificable.$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$
Ejemplo. Mostrar que la siguiente función vectorial (curva) $f:[0,1]\to {\mathbb{R}}^2$ dada por ${\displaystyle f(t)=[t,t\cos \left(\frac{1}{t}\right)]}$ donde $f(0)=(0,0)$ no es rectificable.
En este caso consideramos particiones de $[0,1]$ de la forma
$$P:t_0=0,t_1=\frac{1}{(n-1)\pi },t_2=\frac{1}{(n-2)\pi },\dots ,t_{n-2}=\frac{1}{2\pi },t_{n-1}\frac{1}{\pi },t_n=1$$
Los puntos de la poligonal que corresponden a la partición P son
$$f(t_0)=(0,0),f(t_1)=(\frac{1}{(n-1)\pi },\frac{1}{(n-1)\pi }\cos ((n-1)\pi )),f(t_2)=(\frac{1}{(n-2)\pi },\frac{1}{(n-2)\pi }\cos ((n-2)\pi )),\dots$$
$$,f(t_{n-2})=(\frac{1}{2\pi },\frac{1}{2\pi }\cos (2\pi )),f(t_{n-1})=(\frac{1}{\pi },\frac{1}{\pi }\cos (\pi )),f(t_n)=(1,\cos (1))$$
La suma de las distancias de los segmentos de la poligonal es
$$\begin{array}{rl}s(P)& =|f(t_1)-f(t_0)|+|f(t_2)-f(t_1)|+\cdots |f(t_n)-f(t_{n-1})|\\ & =\left|(\frac{1}{(n-1)\pi },\frac{1}{(n-1)\pi }\cos ((n-1)\pi ))\right|\\ & +\left|(\frac{1}{(n-2)\pi }-\frac{1}{(n-1)\pi },\frac{1}{(n-2)\pi }\cos ((n-2)\pi )-\frac{1}{(n-1)\pi }\cos ((n-1)\pi ))\right|\\ & +\cdots +\left|(1-\frac{1}{\pi },\cos (1)-\frac{1}{\pi }\cos (\pi ))\right|\\ & \ge \sum _{k=1}^{n-2}\left|(\frac{1}{k\pi }-\frac{1}{(k+1)\pi },\frac{1}{k\pi }\cos (k\pi )-\frac{1}{(k+1)\pi }\cos ((k+1)\pi ))\right|\\ & \ge \sum _{k=1}^{n-2}|\frac{1}{k\pi }\cos (k\pi )-\frac{1}{(k+1)\pi }\cos ((k+1)\pi )|\\ & \ge \sum _{k=1}^{n-2}|\frac{(-1{)}^k}{k\pi }-\frac{(-1{)}^{k+1}}{(k+1)\pi }|\\ & =\sum _{k=1}^{n-2}|\frac{1}{k\pi }+\frac{1}{(k+1)\pi }|\\ & \ge \frac{2}{\pi }\sum _{k=1}^{n-2}\frac{1}{k+1}\end{array}$$
Entonces,
$$\underset{n\to \mathrm{\infty }}{lim}s(P)\ge \underset{n\to \mathrm{\infty }}{lim}\frac{2}{\pi }\sum _{k=1}^{n-2}\frac{1}{k+1}=+\mathrm{\infty }$$
lo cual implica que la suma $s(P)$ no es acotada y por lo tanto el arco de curva no es rectificable.$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$
Teorema. [Criterio para determinar si una curva es rectificable]
Todo arco de curva de clase $C^1$ (con derivada continua) es rectificable.
Demostración.Sea $f(t)=(f_1(t),f_2(t),\dots ,f_n(t))$ un arco de curva de clase $C^1$. Entonces, las funciones $f^{\prime }i$ son continuas en $[a,b]$ y por tanto estan acotadas es decir, existen constantes positivas $M1,\dots ,M_n$ tales que
$$|f^{\prime }1(t)|\le M1,\dots ,|f^{\prime }n(t)|\le Mn\mathrm{\forall }t\in [a,b]$$
Sea P una partición del intervalo $[a,b]$ determinada por los puntos $a=t_0<t_1<\cdots <t_n=b$. Para cada $i\in 1,2,\dots ,n$ tenemos
$$\begin{array}{rl}\Vert f(t_i)-f(t_{i-1})\Vert & =\sqrt{\sum _{j=1}^n{(f_j(t_i)-f_j(t_{i-1}))}^2}\\ & \le \sum _{j=1}^n|f_j(t_i)-f_j(t_{i-1})|\end{array}$$
Por el teorema del valor medio de Lagrange, existen ${\xi }_1,{\xi }_2,\dots ,{\xi }_n$ en el intervalo $(t_{i-1},t_i)$ tales que
$$\begin{array}{rl}|f_1(t_i)-f_1(t_{i-1})|& =|f^{\prime }1(\xi 1)|(t_i-t_{i-1})\\ ⋮& =⋮\\ |f_n(t_i)-f_n(t_{i-1})|& =|f^{\prime }n(\xi 1)|(t_i-t_{i-1})\end{array}$$
En consecuencia,
$$\begin{array}{rl}\Vert f(t_i)-f(t_{i-1})\Vert & \le |f_1(t_i)-f_1(t_{i-1})|+\cdots +|f_n(t_i)-f_n(t_{i-1})|\\ & \le (|f^{\prime }1(\xi 1)|+\cdots +|f^{\prime }n(\xi 1)|)(t_i-t_{i-1})\\ & \le (M_1+\cdots +M_n)(t_i-t_{i-1}).\end{array}$$
Si $s(P)$ es la longitud de la poligonal determinada por P tenemos
$$\begin{array}{rl}s(P)& =\sum _{i=1}^n\Vert f(t_i)-f(t_{i-1})\Vert \\ & \le (M_1+\cdots +M_n)\sum _{i=1}^n(t_i-t_{i-1})\\ & =(M_1+\cdots +M_n)(b-a).\end{array}$$
Es decir, el conjunto $s(P)$ con P partición de $[a,b]$ está acotado y por tanto el arco de curva es rectificable.$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$
Ejemplo. Muestre que el arco de curva C dado por $f(t)=(t,t^3)$ con $t\in (0,1)$ es rectificable.
En este caso $f^{\prime }(t)=(1,3t^2)$, cada función componente es continua y por tanto $f(t)$ es de clase $C^1$ por lo que según el resultado anterior, se tiene que f es rectificable en el intervalo indicado.$\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

En esta sección vimos cómo aproximar la longitud de arco de una función vectorial con dominio acotado mediante el cálculo de las longitudes de polígonos. En la siguiente sección definiremos el cálculo de la longitud de arco, el cual, está determinado mediante una integral.

Tarea Moral

1.- Prueba que la curva definida como $y=\{\begin{array}{l}{x}^{2}sen{\displaystyle \frac{1}{x}},0<x\le 1\\ 0,x=0\end{array}$ tiene longitud finita.

2.- Prueba que $y=\{\begin{array}{l}xsen{\displaystyle \frac{1}{x}},0<x\le 1\\ 0,x=0\end{array}$ no es rectificable.

3.- Prueba que si una función f es deinida y monótona en el intervalo cerrado $[a,b]$ entonces el arco de curva definido como $y=f(x)$, $(a\le x\le b)$ es rectificable.

4.- Muestra que la siguiente función $\gamma :A=[0,2\pi ]\to \mathbb{R}$ dada por $\gamma (t)={\displaystyle \frac{3}{2}}(cos(t),sint(t))$ es rectificable.

5.- Propón una función vectorial cuyo arco de curva sea rectificable y una donde no lo sea.