Motivación:

Comparar una curva parametrizada $\alpha$ con una familia de curvas (círculos, rectas, …).

Círculos

$F^{-1}(0)$ para una función $F(x,y)=x^2+y^2–r^2$

Rectas

$F^{-1}(0)$ para una función $F(x,y)=ax+by+c$

$$

Sea $\alpha :\mathcal{I}\to {\mathbb{R}}^2$ una curva parametrizada $\alpha (t)=(x(t),y(t)).$

Sea $F:{\mathbb{R}}^2\to \mathbb{R}$ una función $F(x,y).$

Consideremos un punto $p=\alpha (t_0)$ y supongamos que $p$ está en la curva de nivel cero de $F$, es decir, $F(p)=0$

Sea $g:\mathcal{I}\to \mathbb{R}$ la composición $F\circ \alpha$ donde a cada $t\to F(\alpha (t_0))=F(p)=0$

Decimos que la curva $\alpha$ y la curva de nivel $F^{-1}(0)$ tienen un contacto de orden $k$ en $p=\alpha (t_0)$ si: $$g(t_0)=0$$ $$g^{\prime }(t_0)=0$$ $$g^{\prime \prime }(t_0)=0$$ $$⋮$$ $$g^{k-1}(t_0)=0$$ pero $$g^k(t_0)\ne 0$$

Apliquemos este concepto.

Sea $\overrightarrow{u}=(a,b)\in {\mathbb{R}}^2$ un vector distinto de $\overrightarrow{0}.$

$F(\overrightarrow{x})=\Vert \overrightarrow{x}–\overrightarrow{u}{\Vert }^2–\Vert \overrightarrow{p}–\overrightarrow{u}{\Vert }^2$

$\overrightarrow{p}\in F^{-1}(0)$

$g(s)=F(\alpha (s))$

$g(s)=\Vert \alpha (s)–\overrightarrow{u}{\Vert }^2–\Vert \alpha (s_0)–\overrightarrow{u}{\Vert }^2$

$g(s_0)=F(p)=0$

$g(s)=⟨\alpha –u,\alpha –u⟩$

$g^{\prime }(s)=⟨{\alpha }^{\prime },\alpha –u⟩⟨\alpha –u,{\alpha }^{\prime }⟩=2⟨\alpha –u,{\alpha }^{\prime }⟩$

Además $g^{\prime }(s_0)=0⟺⟨\alpha (s_0)–u,{\alpha }^{\prime }(s_0)⟩=0$, es decir, si el vector $\alpha (s_0)–u$ es ortogonal al vector tangente ${\alpha }^{\prime }(s_0)=T(s_0).$

$g(s_0)=0$ y $g^{\prime }(s_0)=0⟺$ la curva $\alpha$ y $F^{-1}(0)$ pasan por el punto $p=\alpha (s_0)$ y el círculo $F^{-1}(0)$ es tangente a la curva $\alpha$ en el punto $p$ si y sólo si, $u$ céntro del círciño, está en la recta normal a la curva $\alpha$ en el punto $p=\alpha (s_0).$ Es decir, $$\alpha (s_0)–u\perp T$$

¿Cómo debe ser $\overrightarrow{u}$ para que $g^{\prime \prime }(s_0)=0$? Además de que $g(s_0)=0$ y $g^{\prime }(s_0)=0$

$g^{\prime }(s)=2⟨\alpha (s)–u,{\alpha }^{\prime }(s)⟩$

$g^{\prime \prime }(s)=2[⟨{\alpha }^{\prime }(s),{\alpha }^{\prime }(s)⟩+⟨\alpha (s)–u,{\alpha }^{\prime \prime }(s)⟩]$

Luego

$$g^{\prime \prime }(s)=0⟺⟨\alpha (s_0)–u,{\alpha }^{\prime \prime }(s_0)⟩+1=0$$

$$g^{\prime \prime }(s)=0⟺⟨\alpha (s_0)–1,\mathcal{K}N(s_0)⟩+1=0$$

como $\alpha (s_0)–u\perp T⟺u–\alpha (s_0)=\lambda N(s_0)$ para algún $\lambda \in \mathbb{R}$

$$g^{\prime \prime }(s)=0⟺⟨–\lambda N,\mathcal{K}N⟩=0$$

Despejemos ${\lambda }^{\ast }$, entonces

$$1–{\lambda }^{\ast }\mathcal{K}⟨N,N⟩=0$$

$$1–{\lambda }^{\ast }\mathcal{K}=0$$

$${\lambda }^{\ast }={\displaystyle \frac{1}{\mathcal{K}}}$$

de todos los círculos con centro en la recta normal a $\alpha$ en $p$ que pasan por $p$, el que tiene un orden de contacto mayor con la curva $\alpha$ es el que tiene centro en el punto $$u=\alpha (s_0)+{\lambda }^{\ast }N(s_0)$$ $$u=p+{\displaystyle \frac{1}{\mathcal{K}}}N(s_0)$$

es el CÍRCULO OSCULADOR.

Si pedimos $g(s_0)=0$ nos quedamos con círculos que pasan por el punto $p.$

Si además pedimos que $g^{\prime }(s_0)=0$ nos quedamos con círculos cuyos centros están en la recta normal a $\alpha$ en el punto $p.$

Si también pedimos $g^{\prime \prime }(s_0)=0$ nos quedamos con círculos cuyo centro coincide con el círculo osculador. (esto ocurre si ${\alpha }^{\prime \prime }(s_0)\ne \overrightarrow{0}$) Si $\mathcal{K}(s_0)=0$ no existiría tal círculo.

Si además pedimos que $g^{\prime \prime \prime }(s_0)=0$ ¿qué sucede?

$g^{\prime }(s)=2⟨\alpha (s)–u,{\alpha }^{\prime }(s)⟩$

$g^{\prime \prime }(s)=2[⟨{\alpha }^{\prime }(s),{\alpha }^{\prime }(s)⟩+⟨\alpha (s)–u,{\alpha }^{\prime \prime }(s)⟩]$

$g^{\prime \prime \prime }(s)=2[⟨{\alpha }^{\prime }(s),{\alpha }^{\prime \prime }(s)⟩+⟨\alpha (s)–u,{\alpha }^{\prime \prime \prime }(s)⟩]$

Luego $g^{\prime \prime \prime }(s)=0⟺⟨\alpha (s_0)–u,{\alpha }^{\prime \prime \prime }(s_0)⟩=0$

Como $u–\alpha (s_0)=\lambda N(s_0)$

Entonces $\begin{array}{rl}⟨\alpha (s_0)–u,{\alpha }^{\prime \prime \prime }(s_0)⟩& =⟨\lambda N(s_0),{\mathcal{K}}^{\prime }(s_0)N(s_0)+\mathcal{K}{N}^{\prime }(s_0)⟩\\ & =\lambda {\mathcal{K}}^{\prime }(s_0)\\ & ={\displaystyle \frac{1}{\mathcal{K}(s_0)}}{\mathcal{K}}^{\prime }(s_0)\end{array}$

Entonces tenemos que $g(s_0)=g^{\prime }(s_0)=g^{\prime \prime }(s_0)=g^{\prime \prime \prime }(s_0)⟺\mathcal{K}(s_0)\ne 0$ contacto de orden $\ge 4$

$$

Definición:

Sea $p=\alpha (s_0)$ un punto en una curva $\alpha =\alpha (s_0).$

Decimos que $p$ es un vértice si existe un círculo $\mathcal{C}$ que tiene contacto de orden al menos 4 con la curva $\alpha .$

Vértice Ordinario, si el contacto es de orden 4.

Vértice Degenerado, si el contacto es de orden mayor que 4.

Orden 4 $⟺g(s_0)=g^{\prime }(s_0)=g^{\prime \prime }(s_0)=g^{\prime \prime \prime }(s_0)=0.$

$$

Definición:

Sea $p=\alpha (s_0)$ un punto en una curva. Decimos que $p$ es un punto de inflexión si tiene contacto de orden al menos 3 con la recta tangente.

Punto de inflexión Ordinario, si el contacto es de orden 3.

Punto de inflexión Degenerado, si el contacto es de orden mayor que 3.

Fórmulas para curvatura y torsión cuando la curva no está parametrizada por longitud de arco.

(*) Expresar la curvatura y la torsión como determinantes.

(*) Usar la regla de la cadena para derivar composiciones.

CASO $n=2$ curva plana

Dada $\alpha (t)=(x(t),y(t))$ y $t=h(s)$ con $s=$ longitud de arco; entonces $$\gamma (s)=\alpha (h(s))=(u(s),v(s))$$ $${\gamma }^{\prime }(s)=(u^{\prime }(s),v^{\prime }(s))$$

Curvatura de $\gamma$ en el punto $s$ es el número $\mathcal{K}$ para el cual se cumple la ecuación $${\gamma }^{\prime \prime }(s)=\mathcal{K}(–v^{\prime }(s),u^{\prime }(s))$$

Así definida $\mathcal{K}(s)$ puede ser $\mathcal{K}(s)>0$, $\mathcal{K}(s)<0$ o incluso $\mathcal{K}(s)=0.$

Se sigue cumpliendo que $$|\mathcal{K}|=\Vert {\gamma }^{\prime \prime }(s)\Vert$$

Si $\gamma (s)$ está dada por longitud de arco, entonces $$\Vert {\gamma }^{\prime }(s)\Vert =1⟺⟨{\gamma }^{\prime }(s),{\gamma }^{\prime }(s)⟩=1$$

Derivando $$\begin{array}{rl}⟨{\gamma }^{\prime \prime }(s),{\gamma }^{\prime }(s)⟩+⟨{\gamma }^{\prime }(s),{\gamma }^{\prime \prime }(s)⟩& \equiv 0\\ ⟨{\gamma }^{\prime }(s),{\gamma }^{\prime \prime }(s)⟩& \equiv 0\end{array}$$

$$\therefore {\gamma }^{\prime \prime }(s)\text{ es ortogonal a }{\gamma }^{\prime }(s)$$

Luego, ${\gamma }^{\prime \prime }(s)$ está en la recta ortogonal a ${\gamma }^{\prime }(s).$

¿Cuál es el signo de $\mathcal{K}(s)$?

Observemos el producto punto de ${\gamma }^{\prime \prime }(s)$ con $(-v(s),u(s)).$

Signo de $\mathcal{K}(s)=$ signo $|\begin{array}{cc}{u}^{\prime }& u^{\prime \prime }\\ v^{\prime }& v^{\prime \prime }\end{array}|$

Por lo que el signo de $\mathcal{K}(s)$ está dado por el signo del determinante de $({\gamma }^{\prime }|{\gamma }^{\prime \prime }).$

Luego

$\begin{array}{rl}{u}^{\prime \prime }& =–\mathcal{K}{v}^{\prime }\\ v^{\prime \prime }& =\mathcal{K}{u}^{\prime }\end{array}$

Por lo que

$\begin{array}{rl}|\begin{array}{cc}{u}^{\prime }& u^{\prime \prime }\\ v^{\prime }& v^{\prime \prime }\end{array}|& =|\begin{array}{cc}{u}^{\prime }& –\mathcal{K}{v}^{\prime }\\ v^{\prime }& \mathcal{K}{u}^{\prime }\end{array}|\\ & =u^{\prime }{u}^{\prime }\mathcal{K}–v^{\prime }{v}^{\prime }\mathcal{K}\\ & =\mathcal{K}((u^{\prime }{)}^2–(v^{\prime }{)}^2)\\ & =\mathcal{K}\end{array}$$

Entonces $$|{\gamma }^{\prime }|=|(u^{\prime },v^{\prime })|=1$$

1° paso: La curvatura se puede ver como

$$\mathcal{K}(s)=|\begin{array}{cc}{u}^{\prime }(s)& u^{\prime \prime }(s)\\ v^{\prime }(s)& v^{\prime \prime }(s)\end{array}|$$

2° paso: Ahora consideremos la relación con cambio de variable.

$$u(s)=x(h(s))=x(t)$$

Derivando

$u^{\prime }(s)={\displaystyle \frac{du}{ds}}={\displaystyle \frac{dx}{dt}}{\displaystyle \frac{dt}{ds}}=\dot{x}(t){\displaystyle \frac{dt}{ds}}$

$u^{\prime \prime }(s)={\displaystyle \frac{d}{ds}}({\displaystyle \frac{dx}{dt}}{\displaystyle \frac{dt}{ds}})$

$u^{\prime \prime }(s)=({\displaystyle \frac{d}{ds}}{\displaystyle \frac{dx}{dt}}{\displaystyle \frac{dt}{ds}}+{\displaystyle \frac{dx}{dt}}({\displaystyle \frac{d}{ds}}{\displaystyle \frac{dt}{ds}})$

$u^{\prime \prime }(s)={\displaystyle \frac{d^{2}x}{d{t}^2}}{\displaystyle \frac{dt}{ds}}{\displaystyle \frac{dt}{ds}}+{\displaystyle \frac{dx}{dt}}{\displaystyle \frac{d^{2}t}{d{s}^2}}{u^{\prime }}^{\prime }(s)$

$u^{\prime \prime }(s)=\ddot{x}(t)({\displaystyle \frac{dt}{ds}}{)}^2+\dot{x}(t){\displaystyle \frac{d^{2}t}{d{s}^2}}$

Entonces la curvatura está dada por:

$\mathcal{K}(s)=\left|\begin{array}{cc}{u}^{\prime }(s)& u^{\prime \prime }(s)\\ \\ v^{\prime }(s)& v^{\prime \prime }(s)\end{array}\right|$

$$

$\mathcal{K}(s)=\left|\begin{array}{cc}{\displaystyle \frac{du}{ds}}& {\displaystyle \frac{d^{2}u}{d{s}^2}}\\ \\ {\displaystyle \frac{dv}{ds}}& {\displaystyle \frac{d^{2}v}{d{s}^2}}\end{array}\right|$

$$

$\mathcal{K}(s)=\left|\begin{array}{cccc}{\displaystyle \frac{dx}{dt}}{\displaystyle \frac{dt}{ds}}& & & {\displaystyle \frac{d^{2}x}{d{t}^2}}({\displaystyle \frac{dt}{ds}}{)}^2+{\displaystyle \frac{dx}{dt}}{\displaystyle \frac{d^{2}t}{d{s}^2}}\\ \\ {\displaystyle \frac{dy}{dt}}{\displaystyle \frac{dt}{ds}}& & & {\displaystyle \frac{d^{2}y}{d{t}^2}}({\displaystyle \frac{dt}{ds}}{)}^2+{\displaystyle \frac{dy}{dt}}{\displaystyle \frac{d^{2}t}{d{s}^2}}\end{array}\right|$

$$

$\mathcal{K}(s)=\left|\begin{array}{cccc}{\displaystyle \frac{dx}{dt}}{\displaystyle \frac{dt}{ds}}& & & {\displaystyle \frac{d^{2}x}{d{t}^2}}({\displaystyle \frac{dt}{ds}}{)}^2\\ \\ {\displaystyle \frac{dy}{dt}}{\displaystyle \frac{dt}{ds}}& & & {\displaystyle \frac{d^{2}y}{d{t}^2}}({\displaystyle \frac{dt}{ds}}{)}^2\end{array}\right|+\left|\begin{array}{cccc}{\displaystyle \frac{dx}{dt}}{\displaystyle \frac{dt}{ds}}& & & {\displaystyle \frac{dx}{dt}}{\displaystyle \frac{d^{2}t}{d{s}^2}}\\ \\ {\displaystyle \frac{dy}{dt}}{\displaystyle \frac{dt}{ds}}& & & {\displaystyle \frac{dy}{dt}}{\displaystyle \frac{d^{2}t}{d{s}^2}}\end{array}\right|$

$$

$\mathcal{K}(s)=({\displaystyle \frac{dt}{ds}}{)}^3\left|\begin{array}{cccc}{\displaystyle \frac{dx}{dt}}& & & {\displaystyle \frac{d^{2}x}{d{t}^2}}\\ \\ {\displaystyle \frac{dy}{dt}}& & & {\displaystyle \frac{d^{2}y}{d{t}^2}}\end{array}\right|+({\displaystyle \frac{dt}{ds}}){\displaystyle \frac{d^{2}t}{d{s}^2}}\left|\begin{array}{cccc}{\displaystyle \frac{dx}{dt}}& & & {\displaystyle \frac{dx}{dt}}\\ \\ {\displaystyle \frac{dy}{dt}}& & & {\displaystyle \frac{dy}{dt}}\end{array}\right|$

$$

$\mathcal{K}(s)=({\displaystyle \frac{dt}{ds}}{)}^3\left|\begin{array}{cccc}{\displaystyle \frac{dx}{dt}}& & & {\displaystyle \frac{d^{2}x}{d{t}^2}}\\ \\ {\displaystyle \frac{dy}{dt}}& & & {\displaystyle \frac{d^{2}y}{d{t}^2}}\end{array}\right|$

$$

Pero $s=\int \Vert {\alpha }^{\prime }\Vert (t)dt$ entonces ${\displaystyle \frac{ds}{dt}}=\Vert {\alpha }^{\prime }(t)\Vert =\sqrt{({\displaystyle \frac{dx}{dt}}{)}^2+({\displaystyle \frac{dy}{dt}}{)}^2}$

Por lo tanto

$\mathcal{K}(s)={\displaystyle \frac{\left|\begin{array}{cccc}{\displaystyle \frac{dx}{dt}}& & & {\displaystyle \frac{d^{2}x}{d{t}^2}}\\ \\ {\displaystyle \frac{dy}{dt}}& & & {\displaystyle \frac{d^{2}y}{d{t}^2}}\end{array}\right|}{(({\displaystyle \frac{dx}{dt}}{)}^2+({\displaystyle \frac{dy}{dt}}{)}^2{)}^{\frac{3}{2}}}}$

Luego, cuando $n=2$ $$\mathcal{K}(t)={\displaystyle \frac{\dot{x}\ddot{y}–\dot{y}\ddot{x}}{((\dot{x}{)}^2+(\dot{y}{)}^2{)}^{\frac{3}{2}}}}$$

$$

CASO $n=3$

1° paso: Expresar la curvatura y la torsión en términos de determinantes.

$$T(s)={\gamma }^{\prime }(s)$$ $$N(s)={\displaystyle \frac{{\gamma }^{\prime \prime }(s)}{\Vert {\gamma }^{\prime \prime }(s)\Vert }}$$

Luego $${\gamma }^{\prime \prime }(s)=\mathcal{K}(s)N(s)$$

y $B(s)=T(s)\times N(s)$

entonces ${\gamma }^{\prime }(s)\times {\gamma }^{\prime \prime }(s)=T(s)\times \mathcal{K}(s)N(s)$

${\gamma }^{\prime }(s)\times {\gamma }^{\prime \prime }(s)=\mathcal{K}(s)(T(s)\times N(s))=\mathcal{K}(s)B(s)$

$\Vert {\gamma }^{\prime }(s)\times {\gamma }^{\prime \prime }(s)\Vert =\mathcal{K}$ con el parámetro longitud de arco, ya que $\Vert B(s)\Vert =1.$

$$

Cuando no está parametrizada por longitud de arco, $$\gamma (s)=(x(s),y(s),z(s))$$ $${\gamma }^{\prime }(s)=({\displaystyle \frac{dx}{ds}},{\displaystyle \frac{dy}{ds}},{\displaystyle \frac{dz}{ds}})$$ $$\gamma (s)=({\displaystyle \frac{d^{2}x}{d{s}^2}},{\displaystyle \frac{d^{2}y}{d{s}^2}},{\displaystyle \frac{d^{2}z}{d{s}^2}})$$

Entonces $${\gamma }^{\prime }(s)\times {\gamma }^{\prime \prime }(s)=\left|\begin{array}{ccc}\hat{i}& \hat{j}& \hat{k}\\ \\ {\displaystyle \frac{dx}{ds}}& {\displaystyle \frac{dy}{ds}}& {\displaystyle \frac{dz}{ds}}\\ \\ {\displaystyle \frac{d^{2}x}{d{s}^2}}& {\displaystyle \frac{d^{2}y}{d{s}^2}}& {\displaystyle \frac{d^{2}z}{d{s}^2}}\end{array}\right|$$

$${\gamma }^{\prime }(s)\times {\gamma }^{\prime \prime }(s)=\left|\begin{array}{ccccc}\hat{i}& & \hat{j}& & \hat{k}\\ \\ {\displaystyle \frac{dx}{dt}}{\displaystyle \frac{dt}{ds}}& & {\displaystyle \frac{dy}{dt}}{\displaystyle \frac{dt}{ds}}& & {\displaystyle \frac{dz}{dt}}{\displaystyle \frac{dt}{ds}}\\ \\ {\displaystyle \frac{d^{2}x}{d{t}^2}}({\displaystyle \frac{dt}{ds}}{)}^2+{\displaystyle \frac{dx}{dt}}{\displaystyle \frac{d^{2}t}{d{s}^2}}& & {\displaystyle \frac{d^{2}y}{d{t}^2}}({\displaystyle \frac{dt}{ds}}{)}^2+{\displaystyle \frac{dy}{dt}}{\displaystyle \frac{d^{2}t}{d{s}^2}}& & {\displaystyle \frac{d^{2}z}{d{t}^2}}({\displaystyle \frac{dt}{ds}}{)}^2+{\displaystyle \frac{dz}{dt}}{\displaystyle \frac{d^{2}t}{d{s}^2}}\end{array}\right|$$

Por lo tanto, para $n=3$ se tiene que $$\mathcal{K}(t)={\displaystyle \frac{\Vert \dot{\gamma }(t)\times \ddot{\gamma }(t)\Vert }{\Vert \dot{\gamma }(t){\Vert }^3}}$$

$$

Torsión

$$T^{\prime }(s)=\mathcal{K}(s)N(s)$$

$$N^{\prime }(s)=–\mathcal{K}(s)T(s)–\tau (s)B(s)$$

$$B^{\prime }(s)=\tau (s)N(s)$$

Tenemos que:

${\gamma }^{\prime }=T(s)$

${\gamma }^{\prime \prime }=T^{\prime }(s)=\mathcal{K}N$

${\gamma }^{\prime \prime \prime }={\displaystyle \frac{d}{ds}}(\mathcal{K}N={\mathcal{K}}^{\prime }N+\mathcal{K}{N}^{\prime }={\mathcal{K}}^{\prime }N+\mathcal{K}(–\mathcal{K}(s)T(s)–\tau (s)B(s))={\mathcal{K}}^{\prime }N-{\mathcal{K}}^2(s)T(s)–\mathcal{K}\tau (s)B(s)$

Resolviendo el triple producto escalar de $({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })$ se tiene que:

$\begin{array}{rl}({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })& =(T,\mathcal{K}N,-{\mathcal{K}}^{2}T+{\mathcal{K}}^{\prime }N–\mathcal{K}\tau B\\ & =\mathcal{K}(T,N,-{\mathcal{K}}^{2}T+{\mathcal{K}}^{\prime }N–\mathcal{K}\tau B)\\ & =\mathcal{K}(T,N,-{\mathcal{K}}^{2}T)+(T,N,{\mathcal{K}}^{\prime }N)+(T,N,-\mathcal{K}\tau B))\\ & =–{\mathcal{K}}^3(T,N,T)+\mathcal{K}{\mathcal{K}}^{\prime }(T,N,N)–{\mathcal{K}}^2\tau (T,N,B)\end{array}$

Por lo tanto $$({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })=–{\mathcal{K}}^2\tau$$

Por lo tanto, para curvas parametrizadas por longitud de arco $$\tau (s)={\displaystyle \frac{–({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })}{{\mathcal{K}}^2(s)}}$$

Partiendo de $\tau (s)={\displaystyle \frac{–({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })}{{\mathcal{K}}^2(s)}}$

Buscamos una expresión en términos de $t$ y las derivadas con respecto a $t$.

1° paso:

${\gamma }^{\prime }=\dot{\gamma }(t){\displaystyle \frac{dt}{ds}}$

${\gamma }^{\prime \prime }=\ddot{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^2+\dot{\gamma }(t){\displaystyle \frac{d^{2}t}{d{s}^2}}$

${\gamma }^{\prime \prime \prime }=\stackrel{⃛}{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^3+\ddot{\gamma }(t)2{\displaystyle \frac{dt}{ds}}{\displaystyle \frac{d^{2}t}{d{s}^2}}+\ddot{\gamma }(t){\displaystyle \frac{dt}{ds}}{\displaystyle \frac{d^{2}t}{d{s}^2}}+\dot{\gamma }(t){\displaystyle \frac{d^{3}t}{d{s}^3}}$

Entonces ${\gamma }^{\prime \prime \prime }=\stackrel{⃛}{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^3+3\ddot{\gamma }(t){\displaystyle \frac{dt}{ds}}{\displaystyle \frac{d^{2}t}{d{s}^2}}+\dot{\gamma }(t){\displaystyle \frac{d^{3}t}{d{s}^3}}$

Luego $$\begin{array}{rl}({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })& =(\dot{\gamma }(t){\displaystyle \frac{dt}{ds}},\ddot{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^2+\dot{\gamma }(t){\displaystyle \frac{d^{2}t}{d{s}^2}},\stackrel{⃛}{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^3+3\ddot{\gamma }(t){\displaystyle \frac{dt}{ds}}{\displaystyle \frac{d^{2}t}{d{s}^2}}+\dot{\gamma }(t){\displaystyle \frac{d^{3}t}{d{s}^3}})\\ & =(\dot{\gamma }(t){\displaystyle \frac{dt}{ds}},\ddot{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^2,\stackrel{⃛}{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^3)+(\dot{\gamma }(t){\displaystyle \frac{dt}{ds}},\ddot{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^2,3\ddot{\gamma }(t){\displaystyle \frac{dt}{ds}}{\displaystyle \frac{d^{2}t}{d{s}^2}})+\\ & (\dot{\gamma }(t){\displaystyle \frac{dt}{ds}},\ddot{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^2,\dot{\gamma }(t){\displaystyle \frac{d^{3}t}{d{s}^3}}))+(\dot{\gamma }(t){\displaystyle \frac{dt}{ds}},\dot{\gamma }(t){\displaystyle \frac{d^{2}t}{d{s}^2}},\stackrel{⃛}{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^3+3\ddot{\gamma }(t){\displaystyle \frac{dt}{ds}}{\displaystyle \frac{d^{2}t}{d{s}^2}}+\dot{\gamma }(t){\displaystyle \frac{d^{3}t}{d{s}^3}})\end{array}$$

$$

Entonces

$\begin{array}{rl}({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })& =(\dot{\gamma }(t){\displaystyle \frac{dt}{ds}},\ddot{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^2,\stackrel{⃛}{\gamma }(t)({\displaystyle \frac{dt}{ds}}{)}^3)\\ & =({\displaystyle \frac{dt}{ds}}{)}^6({\gamma }^{\prime },{{\gamma }^{\prime }}^{\prime },{{{\gamma }^{\prime }}^{\prime }}^{\prime })\end{array}$

Por lo tanto $$({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })\Vert \dot{\gamma }{\Vert }^6$$

Luego $$\tau (s)={\displaystyle \frac{-({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })}{{\mathcal{K}}^2}}={\displaystyle \frac{{\displaystyle \frac{({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })}{\Vert \dot{\gamma }{\Vert }^6}}}{{\displaystyle \frac{\Vert \dot{\gamma }\times \ddot{\gamma }{\Vert }^2}{\Vert \dot{\gamma }{\Vert }^6}}}}$$

$$\therefore \tau (s)={\displaystyle \frac{-({\gamma }^{\prime },{\gamma }^{\prime \prime },{\gamma }^{\prime \prime \prime })}{\Vert \dot{\gamma }\times \ddot{\gamma }{\Vert }^2}}$$

$$

Forma canónica local

Sea $\gamma (s)=(x(s),y(s),z(s))$ podemos desarrollar cada función en series de Taylor. Luego $$\gamma (s)=\gamma (0)+s{\gamma }^{\prime }(0)+{\displaystyle \frac{s^2}{2}}{\gamma }^{\prime \prime }(0)+{\displaystyle \frac{s^3}{6}}{\gamma }^{\prime \prime \prime }(0)+\dots$$

Sin pérdida de generalidad, $\gamma (0)=\overrightarrow{0}$ entonces ${\gamma }^{\prime }(0)$

Luego $$e_1=(1,0,0)=T(0)$$ $$e_2=(0,1,0)=N(0)$$ $$e_3=(0,0,1)=B(0)$$

Entonces $(x(s),y(s),z(s))=(0,0,0)+s(1,0,0)+{\displaystyle \frac{s^2}{2}}(0,\mathcal{K},0)+{\displaystyle \frac{s^3}{6}}(-\mathcal{K},{\mathcal{K}}^{\prime },–\mathcal{K}\tau )+\dots$

Por lo que $$x(s)=s+{\displaystyle \frac{s^3}{6}}{\mathcal{K}}^2(0)+Residu{o}_x(s)$$ $$y(s)={\displaystyle \frac{s^2}{2}}\mathcal{K}(0)+{\displaystyle \frac{s^3}{6}}{\mathcal{K}}^{\prime }(0)+Residu{o}_y(s)$$ $$z(s)={\displaystyle \frac{\mathcal{K}(0)\tau (0)}{6}}{s}^3+Residu{o}_z(s)$$

Sea $\alpha :(a,b)\subset \mathbb{R}\to {\mathbb{R}}^n$ una curva parametrizada, sea $\mathcal{I}=(a,b).$

Sea $h:\mathcal{J}=(c,d)\to \mathcal{I}=(a,b)$ una función monótona $\mathbb{R}\to \mathbb{R}$ tal que:

$$h(c,d)=(a,b)$$

Sea $t\in (a,b)$ y sea $\tau \in (c,d).$

Podemos hacer la composición $$\beta :\mathcal{J}\to {\mathbb{R}}^n$$

$$\beta =\alpha \circ h$$

$\beta (\tau )=\alpha (h(\tau ))$

$t=h(\tau )$

entonces ${\beta }^{\prime }(\tau )=\frac{d}{d\tau }(\alpha (h(\tau ))={\alpha }^{\prime }(h(\tau ))h^{\prime }(\tau )$

Pueden suceder dos casos:

* $h^{\prime }(\tau )>0\mathrm{\forall }\tau \Rightarrow h$ es creciente, entonces el vector ${\beta }^{\prime }(\tau )$ es un mútliplo positivo de ${\alpha }^{\prime }(h(\tau ))$, es decir, apunta en la misma dirección.

* $h^{\prime }(\tau )<0\mathrm{\forall }\tau \Rightarrow h$ es decreciente, entonces el vector ${\beta }^{\prime }(\tau )$ es un mútliplo negativo de ${\alpha }^{\prime }(h(\tau ))$, es decir, apunta en la dirección contraria.

EJemplo:

Una hélice $\gamma (t)=(\cos t,\sin t,t)$

${\gamma }^{\prime }(t)=(-\sin t,\cos t,1)$

$\Vert {\gamma }^{\prime }(t)\Vert =\sqrt{(-\sin t{)}^2+(\cos t{)}^2+(1{)}^2}$

$\Vert {\gamma }^{\prime }(t)\Vert =\sqrt{2}$ por lo que esta curva está parametrizada con rapidez constante.

Reparametricemos a $\gamma (t)$ con longitud de arco.

Sea $t=h(s)$ tal que $\beta (0)=\gamma (h(s))$ cumpla que $\Vert {\beta }^{\prime }(s)\Vert =1$ para toda $s.$

Entonces ${\beta }^{\prime }(s)={\gamma }^{\prime }(h(s))h^{\prime }(s)$

$\Vert {\beta }^{\prime }(s)\Vert =\Vert {\gamma }^{\prime }(h(s))\Vert |h^{\prime }(s)|$

$\Vert {\beta }^{\prime }(s)\Vert =\sqrt{2}|h^{\prime }(s)|$

Buscamos $h$ tal que $h^{\prime }(s)>0.$

Entonces $\sqrt{2}{h}^{\prime }(s)\equiv 1\Rightarrow h^{\prime }(s)\equiv {\displaystyle \frac{1}{\sqrt{2}}}$

Una solución de la ecuación anterior es $h(s)={\displaystyle \frac{1}{\sqrt{2}}}s$

Entonces $$\beta (s)=(\cos ({\displaystyle \frac{s}{\sqrt{2}}}),\sin ({\displaystyle \frac{s}{\sqrt{2}}}),{\displaystyle \frac{s}{\sqrt{2}}})$$

Esta curva recorre la misma hélice pero ahora está parametrizada con rapidez unitaria.

Longitud de arco medida desde el punto $\beta (0)=(1,0,0)$

Calculemos la curvatura de la hélice en cada punto.

$\mathcal{K}(s)=\Vert {\beta }^{\prime \prime }(s)\Vert$

$\beta (s)=(\cos ({\displaystyle \frac{s}{\sqrt{2}}}),\sin ({\displaystyle \frac{s}{\sqrt{2}}}),{\displaystyle \frac{s}{\sqrt{2}}})$

${\beta }^{\prime }(s)=(–{\displaystyle \frac{1}{\sqrt{2}}}\sin ({\displaystyle \frac{s}{\sqrt{2}}}),{\displaystyle \frac{1}{\sqrt{2}}}\cos ({\displaystyle \frac{s}{\sqrt{2}}}),{\displaystyle \frac{1}{\sqrt{2}}})=T(s)$ unitario.

${\beta }^{\prime \prime }(s)=(–{\displaystyle \frac{1}{2}}\cos ({\displaystyle \frac{s}{\sqrt{2}}}),–{\displaystyle \frac{1}{2}}\sin ({\displaystyle \frac{s}{\sqrt{2}}}),0)$

$\Vert {\beta }^{\prime \prime }(s)\Vert =\sqrt{(–{\displaystyle \frac{1}{2}}\cos ({\displaystyle \frac{s}{\sqrt{2}}}){)}^2+(–{\displaystyle \frac{1}{2}}\sin ({\displaystyle \frac{s}{\sqrt{2}}}){)}^2}$

$\Vert {\beta }^{\prime \prime }(s)\Vert ={\displaystyle \frac{1}{2}}$

Luego $N(s)=(–\cos ({\displaystyle \frac{s}{\sqrt{2}}}),–\sin ({\displaystyle \frac{s}{\sqrt{2}}}),0)$ que es horizontal y paralelo al plano $xy.$

En el siguiente enlace puedes observar la animación de este ejemplo.

https://www.geogebra.org/classic/tcudugk8

La torsión y el triedro de Frenet – Serret.

Dada una curva $\alpha :\mathcal{I}\subset \mathbb{R}\to {\mathbb{R}}^3$ parametrizada por longitud de arco, tenemos el vector tangente $T(s):={\alpha }^{\prime }(s).$

Si ${\alpha }^{\prime \prime }(s)\ne \overrightarrow{0}$, tenemos el vector normal $N(s):={\displaystyle \frac{{\alpha }^{\prime \prime }(s)}{\Vert {\alpha }^{\prime \prime }(s)\Vert }}$

Observación: ${\displaystyle \frac{d}{ds}}T(s)={\displaystyle \frac{d}{ds}}{\alpha }^{\prime }(s)={\alpha }^{\prime \prime }(s)=\Vert {\alpha }^{\prime \prime }(s)\Vert N(s).$ Entonces $$T^{\prime }(s)=\mathcal{K}(s)=N(s)$$

Con $T$ y $N$ podemos producir otro vector, el vector Binormal $\overrightarrow{B}(s)$, donde $$\overrightarrow{B}(s)=T(s)\times N(s)$$

¿Cómo cambia $\beta (s)$?

$$\begin{array}{rl}{\beta }^{\prime }(s)& =(T(s)\times N(s){)}^{\prime }\\ & =T^{\prime }(s)\times N(s)+T(s)\times N^{\prime }(s)\\ & =\mathcal{K}\cdot N(s)\times N(s)+T(s)\times N^{\prime }(s)\\ & =\mathcal{K}+T(s)\times (aT+cB)\\ {\beta }^{\prime }(s)& =c(T\times B)=cN(s)\end{array}$$

Definamos la torsion de la curva en el punto $\alpha (s)$ como el número $\tau (s)$ tal que $$B^{\prime }(s)=–\tau (s)N(s)$$

Tres fórmulas

$$\begin{array}{rl}{T}^{\prime }(s)& =\mathcal{K}(s)N(s)\\ B^{\prime }(s)& =–\tau (s)N(s)\\ N^{\prime }(s)& =\mathcal{K}(s)T(s)+\tau (s)B(s)\end{array}$$

La fórmula de $N^{\prime }(s)$ se deduce a partir de $N=B\times T$, ya que derivando esta expresión se tiene que:

$$\begin{array}{rl}{N}^{\prime }& =(B\times T{)}^{\prime }\\ & =B^{\prime }\times T+B\times T^{\prime }\\ & =–\tau (N\times T)+B\times (\mathcal{K}N)\\ & =\tau (T\times N)+\mathcal{K}(B\times N)\\ N^{\prime }& =\mathcal{K}T+\tau B\end{array}$$