Fórmulas de Frenet-Serret
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/11/Frenet.svg/300px-Frenet.svg.png)
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
[editar]![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/01/FrenetTN.svg/350px-FrenetTN.svg.png)
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 :
![](http://upload.wikimedia.org/wikipedia/commons/8/87/Frenetframehelix.gif)
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:[1]
Esta matriz es antisimétrica .
Fórmulas en n dimensiones
[editar]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.[2] 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
[editar]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.[3]
Aplicaciones e interpretación
[editar]Cinemática del triedro
[editar]![](http://upload.wikimedia.org/wikipedia/commons/d/d1/Frenet-Serret_moving_frame1.png)
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.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/cb/TNB_frame_momenta.svg/220px-TNB_frame_momenta.svg.png)
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
[editar]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.[4]
- 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.[5]
Ilustraciones gráficas
[editar]- 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.
- 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.
Fórmulas de Frenet-Serret en cálculo
[editar]![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/83/Frenet-Serret_helices.png/220px-Frenet-Serret_helices.png)
En sus apuntes de geometría de curvas, Rudy Rucker[6] 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
[editar]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:[7]
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 s = 0 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
[editar]![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/dd/Ribbon-Frenet.png/350px-Ribbon-Frenet.png)
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,[8] así como los gráficos por computadora.[9]
La cinta de Frenet[10] a lo largo de una curva C es la superficie trazada al barrer el segmento de línea [− N, N] generado por la unidad normal a lo largo de la curva. Esta superficie se confunde a veces con la superficie desarrollable tangente, que es la envolvente E de los planos osculadores de C, dado que tanto la cinta de Frenet como E exhiben propiedades similares a lo largo de C. Concretamente, los planos tangentes de ambas hojas de E, cerca de la singularidad C donde se cruzan estas láminas, se aproximan a los planos osculadores de C; los planos tangentes de la cinta de Frenet a lo largo de C son iguales a estos planos osculadores. La cinta de Frenet en general no es desarrollable.
Congruencia de curvas
[editar]En la geometría euclidiana clásica, un tema de interés es encontrar propiedades de las figuras del plano que sean invariantes bajo congruencias, de modo que si dos figuras son congruentes, entonces deben compartan dichas propiedades. El aparato de Frenet-Serret presenta la curvatura y la torsión como invariantes numéricos de las curvas.
En términos generales, dos curvas C y C' en el espacio son congruentes si una se puede mover rígidamente a la otra. Un movimiento rígido consiste en una combinación de una traslación y una rotación.
El marco de Frenet-Serret se comporta bien bajo la acción de un movimiento rígido. Como T, N y B solo dependen de derivadas sucesivas de la parametrización de la curva, no varían bajo traslaciones (sumar un vector constante a r (t)).
Por otro lado, si aplicamos una rotación M a la curva, entonces el triedro TNB también gira. Más precisamente, la matriz Q cuyas filas son los vectores TNB del marco de Frenet-Serret cambia de acuerdo con la rotación:
La matriz que define las ecuaciones de Frenet no se ve afectada por la rotación:
pues MMT = I al tratarse M de una rotación.
Por lo tanto, sus entradas κ y τ son invariantes de la curva bajo movimientos rígidos.
El recíproco también es cierto: dos curvas cualesquiera que tengan las mismas funciones curvatura y torsión deben ser congruentes. El teorema fundamental de curvas en el espacio afirma que las curvas son congruentes. En particular, la curvatura y la torsión son un conjunto completo de invariantes para las curvas en tres dimensiones.
Otras expresiones del triedro
[editar]Las fórmulas dadas anteriormente para T, N y B sirven cuando el parámetro de la curva es su longitud de arco. Esta suposición es natural en geometría euclidiana, porque la longitud del arco es una invariante euclidiana de la curva. En terminología física, la parametrización por el arco es una elección natural de gauge. Sin embargo, puede ser incómodo trabajar con ella en la práctica, por lo que conviene obtener las fórmulas de Frenet en una parametrización arbitraria.
Sea r(t) una curva diferenciable, no necesariamente parametrizada por la longitud del arco. Entonces el triedro se escribe:
Se puede llegar a ello tomando las tres primeras derivadas de la curva y aplicando el proceso de Gram-Schmidt. La base ortonormal ordenada resultante es precisamente el triedro TNB. Este procedimiento también se generaliza para producir n-edros de Frenet.
En términos del parámetro t, las fórmulas de Frenet-Serret cargan con un factor adicional ||r '(t)|| por la regla de la cadena :
Se pueden calcular expresiones explícitas para la curvatura y la torsión:
Casos límite
[editar]- Si la curvatura es siempre cero, entonces la curva será una línea recta. En este caso los vectores N y B y la torsión no están bien definidos.
- Si la torsión es siempre cero, la curva estará en un plano. El recíproco también es cierto: las curvas planas tienen torsión 0.
- Una curva regular con torsión distinta de cero debe tener curvatura distinta de cero.
- Una hélice tiene curvatura constante y torsión constante.
Véase también
[editar]Notas
[editar]- ↑ Kühnel, 2002, §1.9
- ↑ 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.
- ↑ 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.
- ↑ Crenshaw (1993).
- ↑ Iyer and Vishveshwara (1993).
- ↑ Rucker, Rudy (1999). «Watching Flies Fly: Kappatau Space Curves». San Jose State University. Archivado desde el original el 15 de octubre de 2004.
- ↑ Kühnel, 2002, p. 19
- ↑ Goriely et al. (2006).
- ↑ Hanson.
- ↑ La terminología en inglés se explica en Sternberg (1964). Lectures on Differential Geometry. Englewood Cliffs, N.J., Prentice-Hall. p. 252-254. ISBN 9780135271506..
Referencias
[editar]- Crenshaw, H.C.; Edelstein-Keshet, L. (1993), «Orientation by Helical Motion II. Changing the direction of the axis of motion», Bulletin of Mathematical Biology 55 (1): 213-230, doi:10.1016/s0092-8240(05)80070-9.
- Etgen, Garret; Hille, Einar; Salas, Saturnino (1995), Salas and Hille's Calculus — One and Several Variables (7th edición), John Wiley & Sons, p. 896.
- Frenet, F. (1847), Sur les courbes à double courbure, Thèse, Toulouse.. Abstract in Journal de Mathématiques Pures et Appliquées 17, 1852.
- Goriely, A.; Robertson-Tessi, M.; Tabor, M.; Vandiver, R. (2006), «Elastic growth models», BIOMAT-2006, Springer-Verlag, archivado desde el original el 29 de diciembre de 2006..
- Griffiths, Phillip (1974), «On Cartan's method of Lie groups and moving frames as applied to uniqueness and existence questions in differential geometry», Duke Mathematical Journal 41 (4): 775-814, doi:10.1215/S0012-7094-74-04180-5..
- Guggenheimer, Heinrich (1977), Differential Geometry, Dover, ISBN 0-486-63433-7.
- Hanson, A.J. (2007), «Quaternion Frenet Frames: Making Optimal Tubes and Ribbons from Curves», Indiana University Technical Report.
- Iyer, B.R.; Vishveshwara, C.V. (1993), «Frenet-Serret description of gyroscopic precession», Phys. Rev., D 48 (12): 5706-5720, Bibcode:1993PhRvD..48.5706I, PMID 10016237, doi:10.1103/physrevd.48.5706.
- Jordan, Camille (1874), «Sur la théorie des courbes dans l'espace à n dimensions», C. R. Acad. Sci. Paris 79: 795-797.
- Kühnel, Wolfgang (2002), Differential geometry, Student Mathematical Library 16, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-2656-0.
- Serret, J. A. (1851), «Sur quelques formules relatives à la théorie des courbes à double courbure», Journal de Mathématiques Pures et Appliquées 16..
- Spivak, Michael (1999), A Comprehensive Introduction to Differential Geometry (Volume Two), Publish or Perish, Inc...
- Sternberg, Shlomo (1964), Lectures on Differential Geometry, Prentice-Hall.
- Struik, Dirk J. (1961), Lectures on Classical Differential Geometry, Reading, Mass: Addison-Wesley..