derecha|miniaturadeimagen|358x358px| Una curva alabeada; los vectores T, N y B ; y el plano osculador atravesado por T y N En geometría diferencial, las fórmulas de Frenet-Serret describen las propiedades cinemáticas de una partícula que se mueve a lo largo de una curva diferenciable en el espacio euclídeo tridimensional , o las propiedades geométricas de la propia curva módulo desplazamientos de la misma. Más específicamente, las fórmulas describen las derivadas de cada vector unitario del triedro de Frenet-Serret en términos de los otros dos. Las fórmulas llevan el nombre de los dos matemáticos franceses que las descubrieron de forma independiente: Jean Frédéric Frenet, en su tesis de 1847, y Joseph Alfred Serret, en 1851. La notación vectorial y el álgebra lineal que se emplean actualmente para escribir estas fórmulas aún no estaban disponibles en el momento de su descubrimiento.
En cada punto de una curva diferenciable, el triedro de Frenet-Serret es una base ortonormal de formada por los siguientes vectores:
T es el vector unitario tangente a la curva, apuntando en la dirección del movimiento. N es el vector unitario normal, en el sentido de la derivada de T con respecto del parámetro longitud de arco. B es el vector unitario binormal, el producto vectorial de T y N.
Las fórmulas de Frenet-Serret son:
donde d/ds denota la derivada con respecto al parámetro longitud del arco, κ es la curvatura y τ es la torsión de la curva, dos magnitudes escalares. Intuitivamente, la curvatura mide lo que dista una curva de ser una línea recta, mientras que la torsión mide lo que dista una curva de ser plana.
Enunciado derecha|miniaturadeimagen|350x350px| Los vectores T y N en dos puntos de una curva plana, una versión desplazada del segundo diedro (punteado) y el cambio en T, δT. Si δs es la distancia entre los puntos, en el límite apuntará en la dirección N y su magnitud —la curvatura— describe la velocidad de rotación del diedro. Sea r(s) una curva en el espacio euclídeo, que representa el vector de posición de la partícula en función del tiempo. Las fórmulas de Frenet-Serret se aplican a curvas que no son degeneradas, es decir, que se curvan en todo punto. Más formalmente, se requiere que el vector de velocidad r'(s) y el vector de aceleración r''(s) no sean proporcionales.
Además, se puede suponer que la curva está parametrizada por el arco (es decir, que para todo s), ya que cualquier parametrización de la curva da la misma curvatura en cada punto.
En estas condiciones, el triedro de Frenet-Serret (o TNB) se define como:
El vector unitario tangente T en una parametrización por el arco se define como El vector unitario normal N a su vez se define como de donde se sigue, ya que la longitud de T es constantemente 1, que N es perpendicular a T. Como , obtenemos la primera fórmula de Frenet-Serret.
El vector unitario binormal B se define como el producto vectorial de T y N :
derecha|miniaturadeimagen|290x290px| El triedro de Frenet-Serret moviéndose a lo largo de una hélice . La T está representada por la flecha azul, la N por la flecha roja, y la B por la flecha negra.
Las fórmulas de Frenet-Serret (o Teorema de Frenet-Serret) son:
donde es la curvatura y es la torsión.
O, en notación matricial:
Esta matriz es antisimétrica .
Fórmulas en n dimensiones Las fórmulas de Frenet-Serret fueron generalizadas a espacios euclídeos de dimensión superior por Camille Jordan en 1874.
Supongamos que r(s) es una curva suave en , y que las primeras n derivadas de r son linealmente independientes.Solo hace falta que las primeras n − 1 sean linealmente independientes, ya que el último vector en se puede escoger como el único vector ortogonal a los demás y que resulta en una orientación positiva del triedro. Los vectores en el n-edro de Frenet-Serret son una base ortonormal construida aplicando el proceso de Gram-Schmidt a los vectores (r'(s), r''(s), ..., r(n)(s)).
El vector tangente unitario es el primer vector de Frenet e1(s), y se define como:
donde
El vector normal, a veces llamado vector de curvatura, indica lo que dista la curva de ser una línea recta. Se define como:
Su forma normalizada, el vector normal unitario, es el segundo vector de Frenet e2(s) y se define como:
Los vectores tangente y normal en el punto s definen el plano osculador en el punto r(s).
Los vectores restantes en el n-edro (el binormal, trinormal, etc.) se definen de manera similar:
El último vector del sistema se define como el producto vectorial de los primeros vectores:
Las siguientes funciones reales χi(s) se denominan curvaturas generalizadas:
Las fórmulas de Frenet-Serret, expresadas en lenguaje matricial, son
Nótese que la convención usada al definir las curvaturas y el sistema de Frenet en dimensión n no es universal. La curvatura superior (también llamada torsión, en este contexto) y el último vector en el marco , difieren de la torsión habitual por el signo
(la orientación de la base). Las fórmulas de Frenet-Serret son invariantes al invertir los signos de y simultáneamente, y este cambio de signo hace que el sistema quede orientado positivamente. Como se definió anteriormente, el sistema hereda su orientación del jet de .
Demostración Sea la matriz de orden 3 cuyas filas son los vectores del triedro de Frenet:
Al formar las filas una base ortonormal, es una matriz ortogonal. Es decir, la transpuesta de Q coincide con la inversa de Q. Basta con demostrar que
La primera fila de esta ecuación se satisface por definición de N y κ, así como la última fila por definición de torsión. Por lo tanto, basta con demostrar que es una matriz antisimétrica . Como I = QQT, derivando y aplicando la regla del producto se obtiene
y se tiene la antisimetría requerida.Esta prueba probablemente se deba a Élie Cartan. Véase Griffiths (1974), donde desarrolla la misma prueba, pero usando la forma de Maurer-Cartan. Nuestra descripción explícita de la forma de Maurer-Cartan usando matrices es estándar. Véase, por ejemplo, Spivak, Volume II, p. 37. Generalizar esta prueba a n dimensiones no es difícil, pero se omitió en favor de la claridad de exposición. De nuevo, ver Griffiths (1974) para más detalles.
Aplicaciones e interpretación
Cinemática del triedro derecha|miniaturadeimagen| El triedro de Frenet-Serret moviéndose a lo largo de una hélice en el espacio El triedro de Frenet-Serret asocia a cada punto de la curva una base ortonormal del espacio, o sea, un sistema de referencia o sistema de coordenadas (ver imagen).
Las fórmulas de Frenet-Serret admiten una interpretación cinemática: imagínese a un observador que se mueve a lo largo de la curva en el tiempo, utilizando el triedro de Frenet en cada punto como su sistema de coordenadas. Las fórmulas de Frenet-Serret dictan que este sistema de coordenadas va girando a medida que el observador se mueve a lo largo de la curva. Por lo tanto, este sistema de coordenadas siempre es no inercial. El momento angular del sistema de coordenadas del observador es proporcional al vector de Darboux del triedro. izquierda|miniaturadeimagen| Un trompo cuyo eje está situado a lo largo del binormal gira con velocidad angular κ. Si el eje está a lo largo de la tangente, se observa que gira con velocidad angular τ . Más conretamente, supongamos que el observador lleva consigo un trompo (inercial) (o un giroscopio) a lo largo de la curva. Si el eje de la peonza apunta en la dirección del tangente, se observará que gira alrededor de su eje con una velocidad angular -τ relativa al sistema de coordenadas no inercial del observador. Si, por el contrario, el eje de la peonza apunta en la dirección del binormal, entonces se observa que gira con velocidad angular -κ. Esto se visualiza fácilmente en el caso de que la curvatura sea una constante positiva y la torsión desaparezca. El observador se encuentra entonces en movimiento circular uniforme . Si la peonza apunta en la dirección del binormal, entonces, por conservación del momento angular, debe girar en la dirección opuesta al movimiento circular. En el caso límite cuando la curvatura desaparece, la normal para el observador sufre una precesión sobre el vector tangente y, de manera similar, el trompo girará en la dirección opuesta a esta precesión.
Aplicaciones La cinemática del triedro tiene muchas aplicaciones en las ciencias.
En las ciencias de la vida, particularmente en modelos de movimiento microbiano, se ha utilizado el triedro de Frenet-Serret para explicar el mecanismo a través del cual un organismo en movimiento en un medio viscoso cambia de dirección.Crenshaw (1993). En física, el triedro de Frenet-Serret es útil cuando es imposible o inconveniente asignar un sistema de coordenadas naturales para una trayectoria. Tal es a menudo el caso, por ejemplo, en la teoría de la relatividad . En este contexto, los marcos de Frenet-Serret se han utilizado para modelar la precesión de un giroscopio en un pozo gravitatorio.Iyer and Vishveshwara (1993).
Ilustraciones gráficas
Ejemplo de una base de Frenet en movimiento (T en azul, N en verde, B en violeta) a lo largo de la curva de Viviani.
Archivo:Frenet-Serret-frame_along_Vivani-curve.gif
En el ejemplo de un nudo en el toro, se muestran el vector tangente T, el vector normal N y el vector binormal B, junto con la curvatura κ(s) y la torsión τ(s). En los extremos de la función de torsión, la rotación del triedro (T, N, B) alrededor del vector tangente es claramente visible.
Archivo:Torus-Knot_nebeneinander_animated.gif
Fórmulas de Frenet-Serret en cálculo derecha|miniaturadeimagen| Dos hélices (slinkies) en el espacio. (a) Una hélice más compacta con mayor curvatura y menor torsión. (b) Una hélice estirada con una torsión ligeramente mayor pero una curvatura menor. En sus apuntes de geometría de curvas, Rudy Rucker emplea el modelo de un slinky para explicar el significado de la torsión y la curvatura. El slinky, dice, se caracteriza por la propiedad de que la cantidad
permanece constante si el slinky se estira verticalmente a lo largo de su eje central. (Aquí 2πh es la altura de un solo giro del slinky y r el radio). En particular, la curvatura y la torsión son complementarias en el sentido de que, al aumentar la torsión estirando el slinky, la curvatura disminuye.
Expansión en serie de Taylor La diferenciación repetida de la curva y la aplicación de las fórmulas de Frenet-Serret proporciona la siguiente aproximación de Taylor a la curva en torno a s=0:
Para una curva genérica cuya torsión no se anula, la proyección de la curva sobre varios planos coordenados en el sistema de coordenadas T, N, B cerca de tiene las siguientes interpretaciones:
El plano osculador es el plano que contiene a T y a N. La proyección de la curva sobre este plano tiene la forma: Es una parábola si ignoramos los términos de orden o(s²), cuya curvatura en 0 es κ(0). El plano normal es el plano que contienea N y a B. La proyección de la curva sobre este plano tiene la forma: El plano rectificador es el plano que contiene a T y a B . La proyección de la curva sobre este plano es:
Cintas y tubos miniaturadeimagen|350x350px| Una cinta definida por una curva de torsión constante y una curvatura muy oscilante. La parametrización por la longitud de arco de la curva se definió mediante la integración de las ecuaciones de Frenet-Serret. El aparato de Frenet-Serret permite definir ciertas cintas y tubos óptimos centrados alrededor de una curva. Sus aplicaciones abarcan los ámbitos de la ciencia de los materiales y la teoría de la elasticidad,Goriely et al. (2006). así como los gráficos por computadora.Hanson.