Curva en el espacio

En matemáticas, una curva en el espacio, o curva alabeada, es un tipo de curva cuyos puntos no están todos contenidos en el mismo plano. También se le llama curva en tres dimensiones o en $\mathbb {R} ^{3}$ .

Las dos maneras más utilizadas para representar una curva espacial son la forma cartesiana y la forma paramétrica.

Representación en forma cartesiana implícita

Es posible representar una curva en forma implícita identificando su soporte con el lugar geométrico de los ceros de un campo vectorial ${\displaystyle \Phi$ , es decir, los puntos de coordenadas $(x,y,z)$ que verifican el sistema:

C:{\begin{cases}f(x,y,z)=0\\g(x,y,z)=0\end{cases}}

donde $f$ y $g$ son funciones de valor real de clase al menos $C^{1}$ . Esta representación de una curva puede considerarse como la intersección de dos superficies en forma implícita.

Una condición suficiente para la regularidad local de una curva así representada alrededor de uno de sus puntos $P_{0}=(x_{0},y_{0},z_{0})$ es que su jacobiano:

J={\frac {\partial \Phi (x_{0},y_{0},z_{0})}{\partial (x,y,z)}}

tenga rango máximo, es decir que:

\det {\begin{pmatrix}f_{y}&f_{z}\\g_{y}&g_{z}\\\end{pmatrix}}\neq 0

Según el teorema de la función implícita existen en los entornos $A$ , $B$ y $C$ respectivamente de $x_{0}$ , $y_{0}$ y $z_{0}$ ; y existen funciones $\alpha :A\to B$ y $\beta :A\to C$ de clase al menos $C^{1}$ tales que se cumple lo siguiente:

{\begin{cases}f(x,\alpha (x),\beta (x))=0\\g(x,\alpha (x),\beta (x))=0\end{cases}}

para $x\in A$ . La función $P:A\rightarrow A\times B\times C\subset \mathbb {R} ^{3}$ definida por:

P(t)=(t,\alpha (t),\beta (t))

es una parametrización local para la curva $C$ . De hecho, ${\mbox{Im }}P\subseteq C$ y es regular como $P'(t)=(1,*,*)\neq (0,0,0)$ .

Representación paramétrica

Una curva en forma paramétrica es una función vectorial de una sola variable $\alpha (t):I=[a,b]\subseteq \mathbb {R} \to \mathbb {R} ^{3}$ del tipo:^[1]

\alpha (t)=(\alpha _{1}(t),\alpha _{2}(t),\alpha _{3}(t))\

También se puede escribir como:

\alpha (t):{\begin{cases}x=\alpha _{1}(t)\\y=\alpha _{2}(t)\\z=\alpha _{3}(t)\end{cases}}

La variable $t\in I$ se llama parámetro. Una curva es una función de clase $C^{1}\$ en un intervalo si las funciones $\alpha _{1}(t)\$ , $\alpha _{2}(t)\$ y $\alpha _{3}(t)\$ tienen derivadas continuas en ese intervalo. Se dice que una curva $C^{1}\$ es regular en un punto $t_{0}\$ si:

\alpha '(t_{0})=(\alpha _{1}^{'}(t_{0}),\alpha _{2}^{'}(t_{0}),\alpha _{3}^{'}(t_{0}))\neq (0,0,0)

y regular en $I$ si esto es cierto en cada punto de $I\$ . Un punto en el que $\alpha '(t_{0})=(0,0,0)\$ se denomina punto singular de la curva.

Se dice que una curva en el espacio es simple si no se cruza consigo misma, es decir, si por cada $t_{1}\neq t_{2}\in I$ hay $\alpha (t_{1})\neq \alpha (t_{2})$ . La regularidad de la curva permite definir la recta tangente a la curva, que es la recta paralela al vector:

\alpha '(t_{0})=(\alpha _{1}'(t_{0}),\alpha _{2}^{'}(t_{0}),\alpha _{3}^{'}(t_{0}))

Este vector se denomina vector tangente de longitud $||\alpha '(t_{0})||\$ y también se indica mediante ${\vec {T}}(t_{0})\$ . El vector unitario tangente es también el vector unitario de longitud:

{\hat {T}}(t_{0})={\frac {\alpha '(t_{0})}{||\alpha '(t_{0})||}}

Reparametrización

Dada una curva $\alpha :I\longrightarrow \mathbb {R} ^{3}$ diferenciable y una función $t=t(s)$ definida en el intervalo $S\longrightarrow I$ entonces la curva:

\beta =\alpha \circ t:S\longrightarrow \mathbb {R} ^{3}

tal que para cada $s\in S\longrightarrow \beta (s)=\alpha (t(s)),$ es una reparametrización de la curva $\alpha$ . La reparametrización es regular si: $t(S)=I$ y si $t'(s)\neq 0$ .

Además, si $\beta =\alpha \circ t$ es una reparametrización de $\alpha$ vía $t=t(s)$ entonces:

\beta '(s)={\frac {dt}{ds}}\alpha '(t(s))

De hecho, si:

\alpha (t)=\left(\phi (t),\psi (t),\chi (t)\right)

Entonces:

\beta (s)=\left(\phi (t(s)),\psi (t(s)),\chi (t(s))\right)

y por la regla de derivación de funciones compuestas, se tiene que:

{\frac {d\phi \left(t(s)\right)}{ds}}={\frac {d\phi }{dt}}\cdot {\frac {dt}{ds}}

{\frac {d\psi \left(t(s)\right)}{ds}}={\frac {d\psi }{dt}}\cdot {\frac {dt}{ds}}

{\frac {d\chi \left(t(s)\right)}{ds}}={\frac {d\chi }{dt}}\cdot {\frac {dt}{ds}}

y así se obtiene:

\beta '(s)={\frac {dt}{ds}}\left({\frac {d\phi }{dt}},{\frac {d\psi }{dt}},{\frac {d\chi }{dt}}\right)={\frac {dt}{ds}}\alpha '(t(s))

Longitud en forma paramétrica

Sea $\alpha (t)=(\phi (t),\psi (t),\chi (t))$ diferenciable y $[a,b]\subseteq I$ . Entonces, la longitud del arco curvo entre $\alpha (a)$ y $\alpha (b)$ es:

{\mbox{Long}}(\alpha )=\int _{a}^{b}\|\alpha '(t)\|dt=\int _{a}^{b}{\sqrt {\phi '(t)^{2}+\psi '(t)^{2}+\chi '(t)^{2}}}dt

.

Además, si $\beta (s)$ es una reparametrización de la curva, entonces:

{\mbox{Long}}(\alpha )={\mbox{Long}}(\beta )=\int _{a}^{b}\|\alpha '(t)\|dt=\int _{t^{-1}(a)}^{t^{-1}(b)}\|\beta '(s)\|ds

.

Abscisa curvilínea

Generalizando la penúltima fórmula, se define, como función de $t$ , la abscisa curvilínea (o parámetro de longitud de arco) $s$ como

s(t)=\int _{a}^{t}\|\alpha '(u)\|du=\int _{a}^{t}{\sqrt {\phi '^{2}+\psi '^{2}+\chi '^{2}}}du

;

que, sin considerar su signo, es la longitud del arco de la curva entre el punto fijo $\alpha (a)$ y el punto actual $\alpha (t)$ . Mediante la abscisa curvilínea $s$ se puede reparametrizar la curva de la siguiente manera: como $s'(t)=\|\alpha '(t)\|>0$ se tiene que $s(t)$ es creciente y por tanto invertible, de modo que, llamando a $t(s)$ su inversa, se establece que

\beta (s)=\alpha (t(s))

,

lo que se conoce como parametrización natural de la curva.

Curvatura

Dada una parametrización de abscisas curvilíneas de la curva $\alpha (s)$ , se define el vector curvatura como:

{\vec {k}}(s)={\vec {T}}'(s)

y la curvatura escalar es su módulo.

Fórmulas de Frenet

Véanse también: Geometría diferencial de curvas y Fórmulas de Frenet-Serret.

Una curva suficientemente regular en el espacio tiene en cada punto un sistema de referencia llamado triedro de Frenet, dado por una terna de vectores unitarios tangentes, normales y binormales. Debe tenerse en cuenta que poder definir el triedro de Frenet en cada punto de la curva está subordinado al hecho de que la curva tiene un vector unitario tangente y normal en cada punto de la curva: por esta razón en adelante se habla del campo de los vectores unitarios tangentes y del campo de los vectores unitarios normales. Además, la curva debe ser dos veces diferenciable y esta es una condición adicional no prevista en la definición anterior.

Sea $\alpha (s)=\left(\phi (s),\psi (s),\chi (s)\right)$ una curva parametrizada según la abscisa curvilínea. El campo de vectores unitarios tangentes a la curva viene dado por:

{\overrightarrow {T(s)}}={\frac {\alpha '(s)}{\|\alpha '(s)\|}}

El campo unitario normal viene dado por:

{\overrightarrow {N(s)}}={\frac {T'(s)}{\|T'(s)\|}}

Explotando la definición de curvatura puede darse otra forma al campo de vectores unitarios normales:

{\overrightarrow {N(s)}}={\frac {T'(s)}{k(s)}}

Dado que $T$ tiene una norma constante, la cantidad $\|T\|^{2}$ también será constante, es decir

\left(\left\|T\right\|^{2}\right)'=0

expresión reescrita como:

\left(T\cdot T\right)'=0

Desarrollando la ecuación, se obtiene:

2T\cdot T'=0

Es decir, el vector $T'$ es ortogonal a $T$ y por tanto paralelo a $N$ .

El campo de vectores unitarios binormales se define como:

{\overrightarrow {B(s)}}={\overrightarrow {T(s)}}\times {\overrightarrow {N(s)}}

La importancia del triedro de Frenet es que es un sistema de referencia ortonormal móvil, es decir, se ajusta a medida que se recorren distintos puntos $P$ de la curva.

Dada la curva $\alpha (s)$ , el triedro de Frenet se mueve integrámente con $P$ y siempre permanece como un sistema ortonormal. En otras palabras, el triedro de Frenet es una base ortonormal, de acuerdo con las fórmulas de Frenet:

{\begin{cases}{\overrightarrow {T'(s)}}=a_{1}\cdot {\overrightarrow {T(s)}}+b_{1}\cdot {\overrightarrow {N(s)}}+c_{1}\cdot {\overrightarrow {B(s)}}\\{\overrightarrow {N'(s)}}=a_{2}\cdot {\overrightarrow {T(s)}}+b_{2}\cdot {\overrightarrow {N(s)}}+c_{2}\cdot {\overrightarrow {B(s)}}\\{\overrightarrow {B'(s)}}=a_{3}\cdot {\overrightarrow {T(s)}}+b_{3}\cdot {\overrightarrow {N(s)}}+c_{3}\cdot {\overrightarrow {B(s)}}\end{cases}}

La matriz:

C={\begin{bmatrix}a_{1}&b_{1}&c_{1}\\a_{2}&b_{2}&c_{2}\\a_{3}&b_{3}&c_{3}\end{bmatrix}}

se llama matriz de Cartan de la base del triedro. Sus coeficientes son claramente cero en la diagonal principal, ya que su producto escalar es cero debido a la ortonormalidad de la base. Usando la definición de curvatura e introduciendo la definición de torsión según la función siguiente:

\tau (s)=-B'(s)\cdot {\overrightarrow {N(s)}}

.

Se obtienen así las fórmulas de Frenet para la parametrización de la abscisa curvilínea:

{\begin{cases}{\overrightarrow {T'}}=k(s)\cdot {\overrightarrow {N(s)}}\\{\overrightarrow {N'(s)}}=-k(s)\cdot {\overrightarrow {T(s)}}+\tau (s)\cdot {\overrightarrow {B(s)}}\\{\overrightarrow {B'(s)}}=-\tau (s)\cdot {\overrightarrow {N(s)}}\end{cases}}

es decir, la matriz de Cartan es antisimétrica:

C={\begin{bmatrix}0&k(s)&0\\-k(s)&0&\tau (s)\\0&-\tau (s)&0\end{bmatrix}}

Si existe alguna parametrización de la curva: $\alpha (t)=(\phi (t),\psi (t),\chi (t))$ , formalmente el triedro de Frenet es igual y se puede calcular de la siguiente manera:

{\overrightarrow {T(t)}}={\frac {\alpha '(t)}{\|\alpha '(t)\|}},

{\overrightarrow {B(t)}}={\frac {\alpha '(t)\times \alpha ''(t)}{\|\alpha '(t)\times \alpha ''(t)\|}},

{\overrightarrow {N(t)}}={\overrightarrow {B(t)}}\times {\overrightarrow {T(t)}}.

Además, se obtienen las fórmulas de Frenet:

{\begin{cases}{\overrightarrow {T'(t)}}=k(t)\cdot \|\alpha '(t)\|\cdot {\overrightarrow {N(t)}}\\{\overrightarrow {N'(t)}}=-k(t)\cdot \|\alpha '(t)\|\cdot {\overrightarrow {T(t)}}+\tau (t)\cdot \|\alpha '(t)\|\cdot {\overrightarrow {B(t)}}\\{\overrightarrow {B'(t)}}=-\tau (t)\cdot \|\alpha '(t)\|\cdot {\overrightarrow {N(t)}}\end{cases}}

a lo que se debe que, si por ejemplo ${\vec {T}}(s(t))$ es el campo tangente de cualquier parametrización, entonces su derivada con respecto a $t$ :

{\frac {\overrightarrow {T'(s(t))}}{ds}}\cdot {\frac {ds(t))}{dt}}=k(s(t))\cdot {\overrightarrow {N(s(t))}}\cdot \|\alpha '(t)\|

y así sucesivamente para las otras dos fórmulas de Frenet.

Curvatura y torsión

Por tanto, una curva en el espacio está completamente definida por los dos parámetros de curvatura y de torsión. Fundamental en este punto es su cálculo explícito tanto en la parametrización en abscisas curvilíneas como en cualquier parametrización.

Curvatura y torsión en la parametrización natural

Sea $\alpha (s)=\left(\phi (s),\psi (s),\chi (s)\right)$ la parametrización natural de una curva tres veces diferenciable. Entonces, para cada punto se define el triedro de Frenet

{\overrightarrow {T(s)}}={\frac {\alpha '(s)}{\|\alpha '(s)\|}}\qquad {\overrightarrow {N(s)}}={\frac {T'(s)}{\|T'(s)\|}}={\frac {T'(s)}{k(s)}}\qquad {\overrightarrow {B(s)}}={\overrightarrow {T(s)}}\times {\overrightarrow {N(s)}}

La curvatura y la torsión se obtienen de la forma siguiente:

k(s)=\|\alpha ''(s)\|=\|\alpha '(s)\times \alpha ''(s)\|

\tau (s)={\frac {\alpha '(s)\cdot \alpha ''(s)\times \alpha '''(s)}{k^{2}(s)}}

Curvatura y torsión en cualquier parametrización

Sea $\alpha (t)=(\phi (t),\psi (t),\chi (t))$ cualquier parametrización de una curva tres veces diferenciable. Entonces, las expresiones de la curvatura y de la torsión toman la forma:

k(t)={\frac {\|\alpha '(t)\times \alpha ''(t)\|}{\|\alpha '(t)\|^{3}}}

\tau (t)={\frac {\alpha '(t)\times \alpha ''(t)\cdot \alpha '''(t)}{\|\alpha '(t)\times \alpha ''(t)\|^{2}}}={\frac {\det(\alpha '(t),\alpha ''(t),\alpha '''(t))}{\|\alpha '(t)\times \alpha ''(t)\|^{2}}}

Referencias

↑ Matt Insall and Eric Weisstein (2012). «MathWorld - Curve».

Bibliografía

Erwin Kreyszig, Differential Geometry, Dover Publications, New York, 1991, ISBN 0-486-66721-9. Chapter II is a classical treatment of Theory of Curves in 3-dimensions.
Euclid, commentary and trans. by T. L. Heath Elements Vol. 1 (1908 Cambridge) Google Books
E. H. Lockwood A Book of Curves (1961 Cambridge)

Véase también

Enlaces externos

Índice de curvas tridimensionales en el sitio Encyclopédie des Formes Mathématiques Remarquables, es decir mathcurve.com
Índice de curvas famosas, Escuela de Matemáticas y Estadística, Universidad de St Andrews, Escocia
Curvas matemáticas Una colección de 874 curvas matemáticas bidimensionales.
Peter Moses. «Gallery of Space Curves Made from Circles, includes animations».
Peter Moses. «Gallery of Bishop Curves and Other Spherical Curves, includes animations».

Datos: Q3699706

[mathworld-1] Matt Insall and Eric Weisstein (2012). «MathWorld - Curve».

[1]