Marco de Darboux
En geometría diferencial de superficies, un marco de Darboux (o también referencia de Darboux) es una base móvil natural construida sobre una superficie. Es análogo al marco de Frenet-Serret, pero aplicado a la geometría de superficies. Un marco de Darboux existe en cualquier punto (que no sea umbilical) de una superficie embebida en un espacio euclídeo. Lleva el nombre del matemático francés Jean Gaston Darboux.
![](../I/Darboux_frame.png.webp)
Marco de Darboux de una curva embebida en una superficie
Sea S una superficie orientada en el espacio euclídeo tridimensional 'E3. La construcción de marcos de Darboux en S primero considera referencias que se mueven en una curva inscrita en S, y luego se particularizan considerando que las curvas se desarrollan en la dirección de las curvaturas principales.
Definición
En cada punto p de una superficie orientada, se puede asociar un vector unitario normal u(p) de forma única, una vez que se haya elegido una orientación para la normal en cualquier punto fijo particular. Si γ(s) es una curva en S, parametrizada por la longitud del arco, entonces el marco de Darboux de γ se define por
- (el vector unitario tangente)
- (el vector unitario normal)
- (el vector unitario tangente normal)
El triplete T, t, u define una base ortonormal orientada positivamente adjunta a cada punto de la curva: un sistema de referencia natural que se va ajustando a medida que se recorre una curva embebida en una superficie.
Curvatura geodésica, curvatura normal y torsión relativa
Debe tenerse en cuenta que un marco de Darboux para una curva no produce un marco de movimiento natural en la superficie, ya que todavía depende de una elección inicial del vector tangente. Para obtener un marco en movimiento en la superficie, primero hay comparar el marco de Darboux de γ con su marco de Frenet-Serret. Sean:
- (el vector unitario tangente, como arriba)
- (el vector normal de Frenet)
- (el vector binormal de Frenet).
Dado que el vector tangente es el mismo en ambos casos, existe un ángulo único α tal que una rotación en el plano de N y B produce el par t y u:
Aplicando una diferencial y las fórmulas de Frenet-Serret, se obtiene que:
donde:
- κg es la curvatura geodésica de la curva,
- κn es la curvatura normal de la curva, y
- τr es la torsión relativa (también llamada torsión geodésica) de la curva.
Marco de Darboux sobre una superficie
En esta sección se particulariza el caso del marco de Darboux sobre una curva en el caso en el que la curva es una curva principal de la superficie (una línea de curvatura). En ese caso, dado que las curvas principales están asociadas canónicamente a una superficie en todos los puntos que no son umbilicales, el marco de Darboux es un marco móvil canónico.
El triedro
![](../I/Darboux_trihedron.svg.png.webp)
La introducción del triedro (trièdre en francés), una invención de Darboux, permite una simplificación conceptual del problema de mover marcos sobre curvas y superficies al tratar las coordenadas de los puntos de una curva y los vectores del marco en un manera uniforme. Un triedro consta de un punto P en el espacio euclídeo y de tres vectores ortonormales e1, e2 y e3 basados en el punto P. Un triedro en movimiento es aquel cuyos componentes dependen de uno o más parámetros. Por ejemplo, un triedro se mueve sobre una curva si el punto P depende de un único parámetro s, y P(s) traza la curva. De manera similar, si P(s,t) depende de un par de parámetros, entonces lo que se recorre es una superficie.
Se dice que un triedro está adaptado a una superficie si P siempre se encuentra en la superficie y e'3 es la unidad orientada normal a la superficie en P. En el caso del marco de Darboux en una curva embebida, el cuarteto
- (P(s) = γ(s), e1(s) = T (s), e2(s) = t(s), e3( s) = u(s))
define un tetraedro adaptado a la superficie en la que está embebida la curva.
En términos de este triedro, las ecuaciones de estructura son:
Cambio de marco de referencia
Supongamos que cualquier otro triedro adaptado
- (P, e1, e2, e3)
se da para la curva embebida. Dado que, por definición, P sigue siendo el mismo punto de la curva que para el triedro de Darboux, y e3 = u es el vector unitario normal, este nuevo triedro está relacionado con el triedro de Darboux por una rotación de la forma
donde θ = θ(s) es una función de s. Tomando un diferencial y aplicando la ecuación de Darboux se obtiene que:
donde (ωi,ωij) son funciones de s, satisfaciendo
Ecuaciones de estructura
El lema de Poincaré, aplicado a cada doble diferencial ddP, ddei, produce la siguiente estructura de ecuaciones de Cartan. Siendo ddP = 0, entonces:
A partir de que ddei = 0,
Estas últimas son las ecuaciones de Gauss-Codazzi de la superficie, expresadas en la terminología de las formas diferenciales.
Curvas principales
Considérese la segunda forma fundamental de S. Esta es la forma 2 simétrica en S dada por:
Según el teorema de descomposición espectral, existe alguna opción de marco (ei) en la que (iiij) es una matriz diagonal. Sus autovalores son las curvaturas principales de la superficie. Un marco diagonalizador a1, a2, a3 consta del vector normal a3, y de dos direcciones principales a1 y a2. Esto se llama marco de Darboux en la superficie. El marco se define canónicamente (mediante una ordenación de los valores propios, por ejemplo) excepto en los puntos umbilicales de la superficie.
Marcos móviles
El marco de Darboux es un ejemplo de un marco móvil natural definido sobre una superficie. Con ligeras modificaciones, la noción de marco móvil se puede generalizar a una hipersuperficie en un espacio euclídeo de n dimensiones, o incluso a cualquier subvariedad embebida. Esta generalización se encuentra entre las muchas contribuciones de Élie Cartan al método de las referencias móviles.
Marcos en el espacio euclídeo
Un marco (euclídeo) en el espacio euclídeo En es un análogo del triedro para dimensiones superiores. Se define como una (n + 1)-tupla de vectores extraídos de En, (v; f1, .. ., fn), donde:
- v es una elección del origen de En, y
- (f1, ..., fn) es una base ortonormal del espacio vectorial basada en v.
Sea F(n) el conjunto de todos los marcos euclídeos. El grupo euclídeo actúa sobre F(n) de la siguiente manera. Sea φ ∈ Euc(n) un elemento del grupo euclídeo que se descompone como:
donde A es una transformación ortogonal y x0 es una traslación. Entonces, en un marco se tiene que
Geométricamente, el grupo afín mueve el origen de la forma habitual y actúa mediante una rotación sobre los vectores de base ortogonales, ya que estos están vinculados a la elección particular del origen. Esta es una acción de grupo efectiva y transitiva, por lo que F(n) es un espacio homogéneo principal de Euc(n).
Ecuaciones de estructura
Dado el siguiente sistema de funciones F(n) → En:[1]
El operador de proyección P es de especial importancia. La imagen inversa de un punto P−1(v) consta de todas las bases ortonormales con punto base en v. En particular, P : F(n) → En presenta F(n) como un fibrado principal cuyo grupo de estructura es el grupo ortogonal O(n) (de hecho, este haz de fibras principal es simplemente el fibrado tautológico de un espacio homogéneo F(n) → F(n)/O(n) = En.)
La derivada exterior de P (considerada como forma diferencial con valores vectoriales) se descompone únicamente como
para algún sistema de 1-formas con valores escalares ωi. De manera similar, hay una matriz de orden n × n de formas unitarias (ωij) tales que
Dado que los ei son ortonormales bajo el producto interior del espacio euclídeo, la matriz de 1 formas ωij es antisimétrica. En particular, está determinada únicamente por su parte triangular superior (ωji | i < j). El sistema de n(n + 1)/2 uno-formas (ωi, ωji (i<j)) produce un paralelismo absoluto de F(n), ya que los diferenciales de coordenadas de cada una de ellas puede expresarse en términos de ellas mismas. Bajo la acción del grupo euclídeo, estas formas se transforman de la siguiente manera: Sea φ la transformación euclídea que consiste en una traslación vi y una matriz de rotación (Aji). Entonces, la relación siguiente se comprueba fácilmente mediante la invariancia de la derivada exterior bajo un regrediente:
Además, según el lema de Poincaré, se tienen las siguientes ecuaciones de estructura
Marcos adaptados y las ecuaciones de Gauss-Codazzi
Sea φ : M → En un embebido de una variedad diferenciable de dimensión p en un espacio euclídeo. El espacio de marcos adaptados en M, denotado aquí por Fφ(M) es la colección de tuplas (x; f1,...,fn) donde x ∈ M, y la fi forman una base ortonormal de En tal que f1,...,fp son tangentes a φ(M) en φ(x).[2]
Ya se han considerado varios ejemplos de marcos adaptados. El primer vector T del marco de Frenet-Serret (T, N, B) es tangente a una curva y los tres vectores son mutuamente ortonormales. De manera similar, el marco de Darboux sobre una superficie es un marco ortonormal cuyos dos primeros vectores son tangentes a la superficie. Los marcos adaptados son útiles porque las formas invariantes (ωi,ωji) retroceden en φ, y las ecuaciones de estructura se conservan bajo este retroceso. En consecuencia, el sistema de formas resultante proporciona información estructural sobre cómo se sitúa M dentro del espacio euclídeo. En el caso del marco de Frenet-Serret, las ecuaciones de estructura son precisamente las fórmulas de Frenet-Serret, y éstas sirven para clasificar curvas por completo (prescindiendo de desplazamientos euclídeos). El caso general es análogo: las ecuaciones de estructura para un sistema adaptado de marcos clasifican subvariedades embebidas arbitrarias (también prescindiendo de desplazamientos euclídeos).
En detalle, la proyección π : F(M) → M dada por π(x; fi) = x da ' 'F(M) la estructura de un fibrado principal en M (el grupo de estructura para el haz es O(p) × O(n &minus ; p).) Este paquete principal se integra en el paquete de marcos euclídeos F(n) por φ(v;fi) : = (φ(v);fi) ∈ F(n). Por lo tanto, es posible definir los retrocesos de las formas invariantes de F(n):
Dado que la derivada exterior es equivariante bajo retrocesos, las siguientes ecuaciones de estructura permiten sostener que
Además, debido a que algunos de los vectores de marco f1...fp son tangentes a M mientras que los otros son normales, las ecuaciones de estructura se dividen naturalmente en sus contribuciones tangenciales y normales.[3] Ahora, considérese que los índices latinos en minúsculas a,b,c oscilen entre 1 y p (es decir, los índices tangenciales) y los índices griegos μ, γ oscilen entre p+1 a n (es decir, los índices normales). La primera observación es que
ya que estas formas generan la subvariedad φ(M) (en el sentido del teorema de integración de Frobenius).
El primer conjunto de ecuaciones de estructura ahora se convierte en:
De estos, el último implica por el lema de Cartan que
donde sμab es simétrica en a y b (las segundas formas fundamentales de φ(M)). Por lo tanto, las ecuaciones (1) son las fórmulas de Gauss (véaseecuaciones de Gauss-Codazzi). En particular, θba es la forma de conexión de la conexión de Levi-Civita en M.
Las segundas ecuaciones de estructura también se dividen en las siguientes expresiones:
La primera ecuación es la ecuación de Gauss que expresa la forma de curvatura Ω de M en términos de la segunda forma fundamental. La segunda es la ecuación de Codazzi-Mainardi que expresa las derivadas covariantes de la segunda forma fundamental en términos de la conexión normal. La tercera es la ecuación de Ricci.
Véase también
- Derivada de Darboux
- Forma de Maurer-Cartan
Referencias
- Tratamiento basado en el Apéndice II de Hermann a Cartan (1983), aunque adopta este enfoque para el grupo afín. El caso del grupo euclídeo puede encontrarse, en términos equivalentes pero ligeramente más avanzados, en Sternberg (1967), Capítulo VI. Tenga en cuenta que hemos abusado ligeramente de la notación (siguiendo a Hermann y también a Cartan) al considerar fi como elementos del espacio euclidiano En en lugar del espacio vectorial basado en R'n en v. Esta sutil distinción no importa, ya que en última instancia solo se utilizan los diferenciales de estas aplicaciones.
- Este tratamiento procede de Sternberg (1964), Capítulo VI, Teorema 3.1, p. 251.
- Aunque tratada por Sternberg (1964), esta descripción explícita proviene de Spivak (1999), capítulos III.1 y IV.7.C.
Bibliografía
- Cartan, Élie (1937). La théorie des groupes finis et continus et la géométrie différentielle traitées par la méthode du repère mobile. Gauthier-Villars.
- Cartan, É; Hermann, R. (1983). Geometry of Riemannian spaces. Math Sci Press, Massachusetts.
- Darboux, Gaston (1896) [1887]. Leçons sur la théorie génerale des surfaces (en francés). I–IV. Gauthier-Villars.
- —— (1887). Leçons sur la théorie génerale des surfaces (en francés) I. Paris: Gauthier-Villars – via University of Michigan Historical Math Collection.
- —— (1915). Leçons sur la théorie génerale des surfaces (en francés) II. Paris: Gauthier-Villars – via University of Michigan Historical Math Collection.
- —— (1894). Leçons sur la théorie génerale des surfaces (en francés) III. Paris: Gauthier-Villars – via University of Michigan Historical Math Collection.
- —— (1896). Leçons sur la théorie génerale des surfaces (en francés) IV. Paris: Gauthier-Villars – via University of Michigan Historical Math Collection.
- Guggenheimer, Heinrich (1977). «Chapter 10. Surfaces». Differential Geometry. Dover. ISBN 0-486-63433-7.
- Spivak, Michael (1999). A Comprehensive introduction to differential geometry (Volume 3). Publish or Perish. ISBN 0-914098-72-1.
- Spivak, Michael (1999). A Comprehensive introduction to differential geometry (Volume 4). Publish or Perish. ISBN 0-914098-73-X.
- Sternberg, Shlomo (1964). Lectures on differential geometry. Prentice-Hall.