stringtranslate.com

Geodésico

Klein cuártica con 28 geodésicas (marcadas con 7 colores y 4 patrones)

En geometría , una geodésica ( /ˌdʒiː.əˈdɛsɪk,-oʊ-,-ˈdiːsɪk,-zɪk/ ) [ 1] [ 2 ] es una curva que representa en cierto sentido el camino más corto [ a] ( arco ) entre dos puntos en una superficie , o más generalmente en una variedad de Riemann . El término también tiene significado en cualquier variedad diferenciable con una conexión . Es una generalización de la noción de " línea recta " .

El sustantivo geodésico y el adjetivo geodésico provienen de geodesia , la ciencia de medir el tamaño y la forma de la Tierra , aunque muchos de los principios subyacentes se pueden aplicar a cualquier geometría elipsoidal . En el sentido original, una geodésica era la ruta más corta entre dos puntos en la superficie de la Tierra . Para una Tierra esférica , es un segmento de un círculo máximo (ver también distancia de círculo máximo ). Desde entonces, el término se ha generalizado a espacios matemáticos más abstractos; por ejemplo, en teoría de grafos , se podría considerar una geodésica entre dos vértices /nodos de un grafo .

En una variedad o subvariedad riemanniana , las geodésicas se caracterizan por la propiedad de tener una curvatura geodésica que se desvanece . De manera más general, en presencia de una conexión afín , una geodésica se define como una curva cuyos vectores tangentes permanecen paralelos si son transportados a lo largo de ella. Aplicando esto a la conexión de Levi-Civita de una métrica riemanniana se recupera la noción anterior.

Las geodésicas son de particular importancia en la relatividad general . Las geodésicas temporales en la relatividad general describen el movimiento de partículas de prueba en caída libre .

Introducción

Un camino localmente más corto entre dos puntos dados en un espacio curvo, asumiendo que [a] es una variedad de Riemann , se puede definir utilizando la ecuación para la longitud de una curva (una función f desde un intervalo abierto de R hasta el espacio), y luego minimizando esta longitud entre los puntos utilizando el cálculo de variaciones . Esto tiene algunos problemas técnicos menores porque hay un espacio de dimensión infinita de diferentes formas de parametrizar el camino más corto. Es más simple restringir el conjunto de curvas a aquellas que están parametrizadas "con velocidad constante" 1, lo que significa que la distancia desde f ( s ) a f ( t ) a lo largo de la curva es igual a | st |. Equivalentemente, se puede utilizar una cantidad diferente, denominada energía de la curva; minimizar la energía conduce a las mismas ecuaciones para una geodésica (aquí la "velocidad constante" es una consecuencia de la minimización). [ cita requerida ] Intuitivamente, se puede entender esta segunda formulación al observar que una banda elástica estirada entre dos puntos contraerá su ancho y, al hacerlo, minimizará su energía. La forma resultante de la banda es una geodésica.

Es posible que varias curvas diferentes entre dos puntos minimicen la distancia, como sucede con dos puntos diametralmente opuestos en una esfera. En tal caso, cualquiera de estas curvas es una geodésica.

Un segmento contiguo de una geodésica es a su vez una geodésica.

En general, las geodésicas no son lo mismo que las "curvas más cortas" entre dos puntos, aunque los dos conceptos están estrechamente relacionados. La diferencia es que las geodésicas son sólo localmente la distancia más corta entre puntos, y están parametrizadas con una "velocidad constante". Recorrer el "camino largo" en un círculo máximo entre dos puntos de una esfera es una geodésica, pero no el camino más corto entre los puntos. La función del intervalo unitario en la línea de números reales hacia sí misma da el camino más corto entre 0 y 1, pero no es una geodésica porque la velocidad del movimiento correspondiente de un punto no es constante.

Las geodésicas se ven comúnmente en el estudio de la geometría de Riemann y, de manera más general, de la geometría métrica . En la relatividad general , las geodésicas en el espacio-tiempo describen el movimiento de partículas puntuales bajo la influencia de la gravedad únicamente. En particular, la trayectoria que sigue una roca que cae, un satélite en órbita o la forma de una órbita planetaria son todas geodésicas [b] en el espacio-tiempo curvo. De manera más general, el tema de la geometría sub-riemanniana trata de las trayectorias que pueden tomar los objetos cuando no son libres y su movimiento está restringido de varias maneras.

Este artículo presenta el formalismo matemático involucrado en la definición, el hallazgo y la prueba de la existencia de geodésicas, en el caso de variedades de Riemann . El artículo Conexión de Levi-Civita analiza el caso más general de una variedad pseudo-riemanniana y geodésica (relatividad general) analiza el caso especial de la relatividad general con mayor detalle.

Ejemplos

Una geodésica sobre un elipsoide triaxial .
Si un insecto se coloca sobre una superficie y camina continuamente "hacia adelante", por definición trazará una geodésica.

Los ejemplos más conocidos son las líneas rectas en la geometría euclidiana . En una esfera , las imágenes de las geodésicas son los círculos máximos . El camino más corto desde el punto A al punto B en una esfera está dado por el arco más corto del círculo máximo que pasa por A y B. Si A y B son puntos antípodas , entonces hay infinitos caminos más cortos entre ellos. Las geodésicas en un elipsoide se comportan de una manera más complicada que en una esfera; en particular, no son cerradas en general (ver figura).

Triángulos

Un triángulo geodésico en la esfera.

Un triángulo geodésico se forma mediante las geodésicas que unen cada par de tres puntos de una superficie dada. En la esfera, las geodésicas son arcos de círculo máximo que forman un triángulo esférico .

Triángulos geodésicos en espacios de curvatura positiva (arriba), negativa (medio) y cero (abajo).

Geometría métrica

En geometría métrica , una geodésica es una curva que es en todas partes localmente un minimizador de distancias . Más precisamente, una curva γ  : IM desde un intervalo I de los reales hasta el espacio métrico M es una geodésica si existe una constante v ≥ 0 tal que para cualquier tI existe un entorno J de t en I tal que para cualquier t 1 ,  t 2J tenemos

Esto generaliza la noción de geodésica para variedades de Riemann. Sin embargo, en geometría métrica la geodésica considerada a menudo está equipada con parametrización natural , es decir, en la identidad anterior v  = 1 y

Si la última igualdad se satisface para todo t 1 , t 2I , la geodésica se denomina geodésica minimizadora o camino más corto .

En general, un espacio métrico puede no tener geodésicas, excepto curvas constantes. En el otro extremo, dos puntos cualesquiera en un espacio métrico de longitud están unidos por una secuencia minimizadora de caminos rectificables , aunque esta secuencia minimizadora no necesita converger a una geodésica.

Geometría de Riemann

En una variedad riemanniana M con tensor métrico g , la longitud L de una curva continuamente diferenciable γ : [ a , b ] →  M está definida por

La distancia d ( p ,  q ) entre dos puntos p y q de M se define como el ínfimo de la longitud tomada sobre todas las curvas continuas, diferenciables por partes γ : [ a , b ] →  M tales que γ( a ) =  p y γ( b ) =  q . En geometría de Riemann, todas las geodésicas son caminos que minimizan la distancia localmente, pero lo inverso no es cierto. De hecho, solo los caminos que minimizan la distancia localmente y están parametrizados proporcionalmente a la longitud del arco son geodésicas. Otra forma equivalente de definir geodésicas en una variedad de Riemann es definirlas como los mínimos de la siguiente acción o función de energía

Todos los mínimos de E son también mínimos de L , pero L es un conjunto más grande ya que las trayectorias que son mínimos de L pueden volver a parametrizarse arbitrariamente (sin cambiar su longitud), mientras que los mínimos de E no. Para una curva por partes (más generalmente, una curva), la desigualdad de Cauchy-Schwarz da

con igualdad si y solo si es igual a una ae constante; el camino debe recorrerse a velocidad constante. Sucede que los minimizadores de también minimizan , porque resultan estar parametrizados de manera afín, y la desigualdad es una igualdad. La utilidad de este enfoque es que el problema de buscar minimizadores de E es un problema variacional más robusto. De hecho, E es una "función convexa" de , de modo que dentro de cada clase de isotopía de "funciones razonables", uno debería esperar la existencia, unicidad y regularidad de minimizadores. En contraste, los "minimizadores" del funcional generalmente no son muy regulares, porque se permiten reparametrizaciones arbitrarias.

Las ecuaciones de movimiento de Euler-Lagrange para la función E se dan entonces en coordenadas locales mediante

¿Dónde están los símbolos de Christoffel de la métrica? Esta es la ecuación geodésica , que se analiza a continuación.

Cálculo de variaciones

Se pueden aplicar técnicas del cálculo clásico de variaciones para examinar la función de energía E . La primera variación de energía se define en coordenadas locales por

Los puntos críticos de la primera variante son precisamente las geodésicas. La segunda variante está definida por

En un sentido apropiado, los ceros de la segunda variación a lo largo de una geodésica γ surgen a lo largo de los campos de Jacobi . Por lo tanto, los campos de Jacobi se consideran variaciones a través de geodésicas.

Aplicando técnicas variacionales de la mecánica clásica , también se pueden considerar las geodésicas como flujos hamiltonianos . Son soluciones de las ecuaciones de Hamilton asociadas , con la métrica (pseudo)riemanniana tomada como hamiltoniana .

Geodésicas afines

Una geodésica en una variedad suave M con una conexión afín ∇ se define como una curva γ( t ) tal que el transporte paralelo a lo largo de la curva preserva el vector tangente a la curva, por lo que

en cada punto de la curva, donde es la derivada con respecto a . Más precisamente, para definir la derivada covariante de es necesario primero extender a un campo vectorial continuamente diferenciable en un conjunto abierto . Sin embargo, el valor resultante de ( 1 ) es independiente de la elección de la extensión.

Usando coordenadas locales en M , podemos escribir la ecuación geodésica (usando la convención de suma ) como

donde son las coordenadas de la curva γ( t ) y son los símbolos de Christoffel de la conexión ∇. Esta es una ecuación diferencial ordinaria para las coordenadas. Tiene una solución única, dada una posición inicial y una velocidad inicial. Por lo tanto, desde el punto de vista de la mecánica clásica , las geodésicas pueden considerarse como trayectorias de partículas libres en una variedad. De hecho, la ecuación significa que el vector de aceleración de la curva no tiene componentes en la dirección de la superficie (y, por lo tanto, es perpendicular al plano tangente de la superficie en cada punto de la curva). Entonces, el movimiento está completamente determinado por la flexión de la superficie. Esta es también la idea de la relatividad general donde las partículas se mueven en geodésicas y la flexión es causada por la gravedad.

Existencia y singularidad

El teorema de existencia local y unicidad para geodésicas establece que las geodésicas en una variedad suave con una conexión afín existen y son únicas. Más precisamente:

Para cualquier punto p en M y para cualquier vector V en T p M (el espacio tangente a M en p ) existe una geodésica única  : IM tal que
y
donde I es un intervalo abierto máximo en R que contiene 0.

La prueba de este teorema se desprende de la teoría de ecuaciones diferenciales ordinarias , al observar que la ecuación geodésica es una EDO de segundo orden. La existencia y unicidad se desprenden entonces del teorema de Picard-Lindelöf para las soluciones de EDO con condiciones iniciales prescritas. γ depende suavemente tanto de p como  de V .

En general, I puede no ser todo R como por ejemplo para un disco abierto en R 2 . Cualquier γ se extiende a todo si y solo si M es geodésicamente completo .

Flujo geodésico

El flujo geodésico es una acción R local sobre el fibrado tangente TM de una variedad M definida de la siguiente manera

donde t  ∈  R , V  ∈  TM y denota la geodésica con datos iniciales . Por lo tanto, es el mapa exponencial del vector tV . Una órbita cerrada del flujo geodésico corresponde a una geodésica cerrada en  M .

En una variedad (pseudo)riemanniana, el flujo geodésico se identifica con un flujo hamiltoniano en el fibrado cotangente. El hamiltoniano viene dado entonces por la inversa de la métrica (pseudo)riemanniana, evaluada frente a la forma única canónica . En particular, el flujo conserva la métrica (pseudo)riemanniana , es decir

En particular, cuando V es un vector unitario, la velocidad unitaria permanece constante, por lo que el flujo geodésico es tangente al fibrado tangente unitario . El teorema de Liouville implica la invariancia de una medida cinemática en el fibrado tangente unitario.

Pulverización geodésica

El flujo geodésico define una familia de curvas en el fibrado tangente . Las derivadas de estas curvas definen un campo vectorial en el espacio total del fibrado tangente, conocido como rociado geodésico .

Más precisamente, una conexión afín da lugar a una división del fibrado doble tangente TT M en fibrados horizontales y verticales :

La pulverización geodésica es el único campo vectorial horizontal W que satisface

en cada punto v  ∈ T M ; aquí π  : TT ​​M  → T M denota el empuje hacia delante (diferencial) a lo largo de la proyección π  : T M  →  M asociada al fibrado tangente.

De manera más general, la misma construcción permite construir un campo vectorial para cualquier conexión de Ehresmann en el fibrado tangente. Para que el campo vectorial resultante sea un spray (en el fibrado tangente eliminado T M  \ {0}) es suficiente que la conexión sea equivariante bajo reescalamientos positivos: no necesita ser lineal. Es decir, (cf. Conexión de Ehresmann#Fibrados vectoriales y derivadas covariantes ) es suficiente que la distribución horizontal satisfaga

para cada X  ∈ T M  \ {0} y λ > 0. Aquí d ( S λ ) es el empuje hacia adelante a lo largo de la homotecia escalar . Un caso particular de una conexión no lineal que surge de esta manera es el asociado a una variedad de Finsler .

Geodésicas afines y proyectivas

La ecuación ( 1 ) es invariante bajo reparametrizaciones afines; es decir, parametrizaciones de la forma

donde a y b son números reales constantes. Por lo tanto, además de especificar una cierta clase de curvas embebidas, la ecuación geodésica también determina una clase preferida de parametrizaciones en cada una de las curvas. En consecuencia, las soluciones de ( 1 ) se denominan geodésicas con parámetro afín .

Una conexión afín está determinada por su familia de geodésicas parametrizadas afínmente, hasta la torsión (Spivak 1999, Capítulo 6, Apéndice I). La torsión en sí misma, de hecho, no afecta a la familia de geodésicas, ya que la ecuación geodésica depende solo de la parte simétrica de la conexión. Más precisamente, si son dos conexiones tales que el tensor de diferencia

es antisimétrico , entonces y tienen las mismas geodésicas, con las mismas parametrizaciones afines. Además, existe una conexión única que tiene las mismas geodésicas que , pero con torsión que se desvanece.

Las geodésicas sin una parametrización particular se describen mediante una conexión proyectiva .

Métodos computacionales

Mitchell, [3] Kimmel, [4] Crane, [5] y otros han propuesto solucionadores eficientes para el problema geodésico mínimo en superficies .

Prueba de cinta

Una "prueba" de cinta es una forma de encontrar una geodésica en una superficie física. [6] La idea es colocar un trozo de papel alrededor de una línea recta (una cinta) sobre una superficie curva lo más cerca posible sin estirar ni aplastar la cinta (sin cambiar su geometría interna).

Por ejemplo, cuando se enrolla una cinta alrededor de un cono, la cinta no quedaría sobre la superficie del cono, sino que sobresaldría, de modo que el círculo no sería una geodésica sobre el cono. Si se ajusta la cinta de modo que todas sus partes toquen la superficie del cono, daría una aproximación a una geodésica.

Matemáticamente, la prueba de la cinta se puede formular como la búsqueda de una aplicación de un vecindario de una línea en un plano en una superficie de modo que la aplicación "no cambie mucho las distancias alrededor"; es decir, a la distancia desde tenemos donde y son métricas en y .

Aplicaciones

Las geodésicas sirven como base para calcular:

Véase también

Notas

  1. ^ ab Para una variedad pseudo-riemanniana , por ejemplo, una variedad lorentziana , la definición es más complicada.
  2. ^ La ruta es un máximo local del intervalo k en lugar de un mínimo local.

Referencias

  1. ^ "geodésico". Diccionario de inglés Lexico UK . Oxford University Press . Archivado desde el original el 16 de marzo de 2020.
  2. ^ "geodésico". Diccionario Merriam-Webster.com . Merriam-Webster.
  3. ^ Mitchell, J.; Mount, D.; Papadimitriou, C. (1987). "El problema geodésico discreto". Revista SIAM de informática . 16 (4): 647–668. doi :10.1137/0216045.
  4. ^ Kimmel, R.; Sethian, JA (1998). "Computing Geodesic Paths on Manifolds" (PDF) . Actas de la Academia Nacional de Ciencias . 95 (15): 8431–8435. Bibcode :1998PNAS...95.8431K. doi : 10.1073/pnas.95.15.8431 . PMC 21092 . PMID  9671694. Archivado (PDF) desde el original el 2022-10-09. 
  5. ^ Crane, K.; Weischedel, C.; Wardetzky, M. (2017). "El método del calor para el cálculo de distancias". Comunicaciones de la ACM . 60 (11): 90–99. doi :10.1145/3131280. S2CID  7078650.
  6. ^ Michael Stevens (2 de noviembre de 2017), [1] .

Lectura adicional

Enlaces externos