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 continua en el espacio euclidiano tridimensional R 3 , o las propiedades geométricas de la curva misma independientemente de cualquier movimiento. Más específicamente, las fórmulas describen las derivadas de los llamados vectores unitarios tangentes, normales y binormales entre sí. 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 utilizan actualmente para escribir estas fórmulas aún no estaban en uso en el momento de su descubrimiento.
Los vectores unitarios tangente, normal y binormal, a menudo llamados T , N y B , o colectivamente el marco Frenet-Serret o marco TNB , juntos forman una base ortonormal que abarca R 3 y se definen de la siguiente manera:
Las fórmulas de Frenet-Serret son:
donde d / ds es la derivada con respecto a la longitud del arco, κ es la curvatura y τ es la torsión de la curva. Los dos escalares κ y τ definen efectivamente la curvatura y torsión de una curva espacial. La colección asociada, T , N , B , κ y τ , se denomina aparato de Frenet-Serret . Intuitivamente, la curvatura mide la falla de una curva para que sea una línea recta, mientras que la torsión mide la falla de una curva para que sea plana.
Sea r ( t ) una curva en el espacio euclidiano , 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 , lo que aproximadamente significa que tienen una curvatura distinta de cero . Más formalmente, en esta situación se requiere que el vector de velocidad r ′ ( t ) y el vector de aceleración r ′ ′ ( t ) no sean proporcionales.
Sea s ( t ) la longitud del arco que la partícula se ha movido a lo largo de la curva en el tiempo t . La cantidad s se usa para dar a la curva trazada por la trayectoria de la partícula una parametrización natural por longitud de arco, ya que muchas trayectorias de partículas diferentes pueden trazar la misma curva geométrica atravesándola a diferentes velocidades. En detalle, s viene dado por
Además, dado que asumimos que r ′ ≠ 0, se deduce que s ( t ) es una función estrictamente creciente monótona. Por lo tanto, es posible resolver t como una función de s , y así escribir r ( s ) = r ( t ( s )). Por tanto, la curva se parametriza de manera preferida por su longitud de arco.
Con una curva r ( s ) no degenerada , parametrizada por su longitud de arco, ahora es posible definir la trama Frenet-Serret (o trama TNB ):
| ( 1 ) |
| ( 2 ) |
Tenga en cuenta que al llamar a curvatura obtenemos automáticamente la primera relación.
| ( 3 ) |
De la ecuación ( 2 ) que sigue, ya que T siempre tiene unidad de magnitud , que N (el cambio de T ) es siempre perpendicular a T , ya que no hay cambio en la longitud de T . De la ecuación ( 3 ) se deduce que B siempre es perpendicular tanto T y N . Por tanto, los tres vectores unitarios T , N y B son todos perpendiculares entre sí.
Las fórmulas de Frenet-Serret son:
donde está la curvatura y es la torsión .
Las fórmulas de Frenet-Serret también se conocen como teorema de Frenet-Serret y se pueden enunciar de forma más concisa mediante la notación matricial: [1]
Esta matriz es simétrica sesgada .
Las fórmulas de Frenet-Serret fueron generalizadas a espacios euclidianos de dimensiones superiores por Camille Jordan en 1874.
Suponga que r ( s ) es una curva suave en R n , y que las primeras n derivadas de r son linealmente independientes. [2] Los vectores en el marco Frenet-Serret son una base ortonormal construida aplicando el proceso de Gram-Schmidt a los vectores ( r ′ ( s ), r ′ ′ ( s ), ..., r ( n ) ( s )).
En detalle, el vector tangente unitario es el primer vector Frenet e 1 ( s ) y se define como
donde
El vector normal , a veces llamado vector de curvatura , indica la desviación de la curva de ser una línea recta. Se define como
Su forma normalizada, el vector normal unitario , es el segundo vector Frenet e 2 ( s ) y se define como
La tangente y el vector normal en el punto s definen el plano osculante en el punto r ( s ).
Los vectores restantes en el marco (el binormal, trinormal, etc.) se definen de manera similar por
El último vector en el marco está definido por el producto cruzado de los primeros n-1 vectores:
Las funciones de valor real utilizadas debajo de χ i ( s ) se denominan curvatura generalizada y se definen como
Las fórmulas de Frenet-Serret , expresadas en lenguaje matricial, son
Tenga en cuenta que, como se define aquí, las curvaturas generalizadas y el marco pueden diferir ligeramente de la convención que se encuentra en otras fuentes. La curvatura superior (también llamada torsión, en este contexto) y el último vector en el marco , se diferencian por un signo
(la orientación de la base) de la torsión habitual. Las fórmulas de Frenet-Serret son invariantes al cambiar el signo de ambos y , y este cambio de signo hace que el marco esté orientado positivamente. Como se definió anteriormente, el marco hereda su orientación del chorro de .
Considere la matriz de 3 por 3
Las filas de esta matriz son vectores unitarios perpendiculares entre sí: una base ortonormal de . Como resultado, la transpuesta de Q es igual a la inversa de Q : Q es una matriz ortogonal . Basta mostrar que
Tenga en cuenta que la primera fila de esta ecuación ya se cumple, por definición de la normal N y la curvatura κ , así como la última fila por la definición de torsión. Por tanto, basta con mostrar que dQ / ds Q T es una matriz de simetría sesgada . Como I = QQ T , tomando una derivada y aplicando la regla del producto se obtiene
que establece la simetría oblicua requerida. [3]
El marco Frenet-Serret que consta de la tangente T , N normal y B binormal forma colectivamente una base ortonormal de espacio tridimensional. En cada punto de la curva, esto adjunta un marco de referencia o un sistema de coordenadas rectilíneas (ver imagen).
Las fórmulas de Frenet-Serret admiten una interpretación cinemática . Imagine que un observador se mueve a lo largo de la curva en el tiempo, utilizando el marco adjunto en cada punto como su sistema de coordenadas. Las fórmulas de Frenet-Serret significan que este sistema de coordenadas gira constantemente a medida que un observador se mueve a lo largo de la curva. Por tanto, este sistema de coordenadas siempre es no inercial . El momento angular del sistema de coordenadas del observador es proporcional al vector Darboux del marco.
Concretamente, suponga que el observador lleva consigo una parte superior ( inercial) (o giroscopio ) a lo largo de la curva. Si el eje de la parte superior apunta a lo largo de la tangente a la curva, entonces se observará que gira alrededor de su eje con velocidad angular -τ relativa al sistema de coordenadas no inercial del observador. Si, por el contrario, el eje de la parte superior apunta en la dirección 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 un movimiento circular uniforme . Si la parte superior apunta en la dirección de la binormal, entonces, por conservación del momento angular , debe girar en el sentido opuesto.dirección del movimiento circular. En el caso límite en que la curvatura desaparece, la normal del observador precesa alrededor del vector tangente y, de manera similar, la parte superior rotará en la dirección opuesta a esta precesión.
El caso general se ilustra a continuación . Hay más ilustraciones en Wikimedia.
Aplicaciones. La cinemática del marco tiene muchas aplicaciones en las ciencias.
Las fórmulas de Frenet-Serret se introducen con frecuencia en los cursos de cálculo multivariable como un complemento al estudio de las curvas espaciales como la hélice . Una hélice se puede caracterizar por la altura 2π hy el radio r de un solo giro. La curvatura y torsión de una hélice (con radio constante) están dadas por las fórmulas
El signo de la torsión se determina por el diestro o zurdo sentido en el que los giros de hélice alrededor de su eje central. Explícitamente, la parametrización de un solo giro de una hélice derecha con altura 2π hy radio r es
y, para una hélice para zurdos,
Tenga en cuenta que estas no son las parametrizaciones de la longitud del arco (en cuyo caso, cada una de las x , y y z deberían dividirse entre ).
En sus escritos expositivos sobre la geometría de las curvas, Rudy Rucker [6] emplea el modelo de un slinky para explicar el significado de la torsión y la curvatura. El furtivo, 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 la torsión se puede incrementar a expensas de la curvatura estirando el slinky.
Diferenciar repetidamente la curva y aplicar las fórmulas de Frenet-Serret da la siguiente aproximación de Taylor a la curva cerca de s = 0: [7]
Para una curva genérica con torsión que no desaparece, la proyección de la curva en varios planos de coordenadas en el sistema de coordenadas T , N , B en s = 0 tiene las siguientes interpretaciones:
El aparato de Frenet-Serret permite definir ciertas cintas y tubos óptimos centrados alrededor de una curva. Estos tienen diversas aplicaciones en la ciencia de los materiales y la teoría de la elasticidad , [8] así como en 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 es a veces confundido con el desarrollable tangente , que es la envolvente E de los planos osculadores de C . Esto es quizás porque tanto la cinta Frenet y E exhiben propiedades similares a lo largo de C . Es decir, los planos tangentes de ambas hojas de E , cerca del lugar singular C donde se cruzan estas hojas, se acercan a los planos osculantes de C; los planos tangentes de la cinta de Frenet a lo largo de C son iguales a estos planos osculantes. La cinta Frenet, en general, no se puede desarrollar.
En la geometría euclidiana clásica , uno está interesado en estudiar las propiedades de las figuras en el plano que son invariantes bajo congruencia, de modo que si dos figuras son congruentes, entonces deben tener las mismas propiedades. El aparato de Frenet-Serret presenta la curvatura y la torsión como invariantes numéricos de una curva espacial.
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 traslación y rotación. Una traslación mueve un punto de C a un punto de C ′. La rotación luego ajusta la orientación de la curva C para alinearse con la de C ′. Esta combinación de traslación y rotación se denomina movimiento euclidiano . En términos de la parametrización r ( t ) que define la primera curva C , un movimiento euclidiano general de C es un compuesto de las siguientes operaciones:
El marco Frenet-Serret se comporta particularmente bien con respecto a los movimientos euclidianos. Primero, dado que T , N y B se pueden dar como derivadas sucesivas de la parametrización de la curva, cada una de ellas es insensible a la adición de un vector constante a r ( t ). Intuitivamente, el marco TNB adjunto a r ( t ) es el mismo que el marco TNB adjunto a la nueva curva r ( t ) + v .
Esto deja solo las rotaciones a considerar. Intuitivamente, si aplicamos una rotación M a la curva, entonces el marco TNB también gira. Más precisamente, la matriz Q cuyas filas son los vectores TNB del marco Frenet-Serret cambia por la matriz de una rotación
A fortiori , la matriz dQ / ds Q T no se ve afectada por una rotación:
ya que MM T = I para la matriz de una rotación.
Por lo tanto, las entradas κ y τ de dQ / ds Q T son invariantes de la curva bajo movimientos euclidianos: si se aplica un movimiento euclidiano a una curva, la curva resultante tiene la misma curvatura y torsión.
Además, utilizando el marco de Frenet-Serret, también se puede probar lo contrario: dos curvas cualesquiera que tengan la misma función de curvatura y torsión deben ser congruentes mediante un movimiento euclidiano. En términos generales, las fórmulas de Frenet-Serret expresan la derivada de Darboux del marco TNB . Si las derivadas de Darboux de dos marcos son iguales, entonces una versión del teorema fundamental del cálculo afirma que las curvas son congruentes. En particular, la curvatura y la torsión son un conjunto completo de invariantes para una curva en tres dimensiones.
Las fórmulas dadas anteriormente para T , N y B dependen de la curva dada en términos del parámetro de longitud de arco. Esta es una suposición natural en la geometría euclidiana, porque la longitud de arco es una invariante euclidiana de la curva. En la terminología de la física, la parametrización de arclength es una elección natural de gauge . Sin embargo, puede resultar incómodo trabajar con él en la práctica. Hay disponibles otras expresiones equivalentes.
Suponga que la curva viene dada por r ( t ), donde el parámetro t ya no necesita ser arclength. Entonces, el vector unitario tangente T puede escribirse como
El vector normal N toma la forma
El binormal B es entonces
Una forma alternativa de llegar a las mismas expresiones es tomar las tres primeras derivadas de la curva r ′ ( t ), r ′ ′ ( t ), r ′ ′ ′ ( t ) y aplicar el proceso de Gram-Schmidt . La base ortonormal ordenada resultante es precisamente el marco TNB . Este procedimiento también se generaliza para producir marcos Frenet en dimensiones más altas.
En términos del parámetro t , las fórmulas de Frenet-Serret recogen un factor adicional de || r ′ ( t ) || debido a la regla de la cadena :
Pueden calcularse expresiones explícitas para la curvatura y la torsión. Por ejemplo,
La torsión se puede expresar usando un producto triple escalar de la siguiente manera,
Si la curvatura es siempre cero, la curva será una línea recta. Aquí los vectores N , B y la torsión no están bien definidos.
Si la torsión es siempre cero, entonces la curva estará en un plano.
Una curva puede tener una curvatura distinta de cero y una torsión cero. Por ejemplo, el círculo de radio R dado por r ( t ) = ( R cos t , R pecado t , 0) en la z = 0 avión tiene cero torsión y la curvatura igual a 1 / R . Sin embargo, lo contrario es falso. Es decir, una curva regular con torsión distinta de cero debe tener una curvatura distinta de cero. (Esto es solo lo contrario del hecho de que la curvatura cero implica una torsión cero).
Una hélice tiene una curvatura y una torsión constantes.
Dada una curva contenida en el plano x - y , su vector tangente T también está contenido en ese plano. Su vector binormal B puede postularse naturalmente para que coincida con la normal al plano (a lo largo del eje z ). Por último, la curva normal se puede encontrar de completar el sistema de mano derecha, N = B × T . [11] Esta forma está bien definida incluso cuando la curvatura es cero; por ejemplo, la normal a una línea recta en un plano será perpendicular a la tangente, todo coplanar.