# Xeodésica

| Xeodésica |
| --- |
|

|  |
| --- |
|  Subclase de
curva  |

 |
|

| Códigos e identificadores |
| --- |
|

|  |  |
| --- | --- |
| Freebase | /m/0mm26  |
| MathWorld | Geodesic  |
| OpenAlex | C165818556 e C2988735580  |

 |

 |
|

| Fontes e ligazóns |
| --- |
|  Descrito pola fonte
* *Enciclopedia soviética armenia, volume 3* pp. 14
* *Meyers Konversations-Lexikon, 4ª edición (1885–1890)* "Q112776768 "
 |

 |
| Wikidata C:Commons |

 Cuártica de Klein con 28 xeodésicas (marcadas por 7 cores e 4 padróns)
En xeometría, unha **xeodésica** é unha curva que representa nalgún sentido o camiño (arco) máis curto entre dous puntos dunha superficie, ou máis xeralmente nunha variedade de Riemann. O termo tamén ten significado en calquera variedade diferenciable cunha conexión. É unha xeneralización da noción de "liña recta".

No sentido orixinal, unha xeodésica era a ruta máis curta entre dous puntos da superficie terrestre. Agora o termo xeneralizouse a espazos matemáticos máis abstractos.

Nunha variedade ou subvariedade de Riemann, as xeodésicas caracterízanse pola propiedade de ter curvatura xeodésica nula. De xeito máis xeral, en presenza dunha conexión afín, unha xeodésica defínese como unha curva cuxos vectores tanxentes permanecen paralelos se son transportados ao longo dela.

As xeodésicas tamén aparecen na relatividade xeral en relación ao tempo.

## Introdución

Un camiño localmente máis curto entre dous puntos dados nun espazo curvo, asumido que é unha variedade de Riemann, pódese definir usando a ecuación para a lonxitude dunha curva (unha función *f* desde un intervalo aberto de **R** ata o espazo), e logo minimizando esta lonxitude entre os puntos usando o cálculo de variacións.

Pode pasar que varias curvas diferentes entre dous puntos minimicen a distancia, como é o caso de dous puntos diametralmente opostos nunha esfera. Neste caso, calquera destas curvas é xeodésica.

Un segmento contiguo dunha xeodésica é tamén unha xeodésica.

En xeral, as xeodésicas non son o mesmo que as "curvas máis curtas" entre dous puntos, aínda que os dous conceptos están estreitamente relacionados. A diferenza é que as xeodésicas son só *localmente* a distancia máis curta entre puntos, e están parametrizadas con "velocidade constante". Percorrer a distancia entre dous puntos dun arco dun círculo máximo pódese facer polo lado longo ou polo lado curto, mais ambos os dous lados son xeodésicas. O mapa WIKINIUM\_MATH\_PH\_0 desde o intervalo unitario na recta numérica real ata si mesmo dá o camiño máis curto entre 0 e 1,mais non é unha xeodésica porque a velocidade do movemento correspondente dun punto non é constante.

As xeodésicas son comunmente vistas no estudo da xeometría de Riemann e máis xeralmente da xeometría métrica. Na relatividade xeral, as xeodésicas no espazo-tempo describen o movemento das partículas puntuais só baixo a influencia da gravidade.

Este artigo presenta o formalismo matemático que implica definir, atopar e probar a existencia de xeodésicas, no caso das variedades de Riemann. O artigo conexión de Levi-Civita analiza o caso máis xeral dunha variedade pseudo-riemanniana e o artigo sobre a xeodésica da relatidade xeral analiza o caso especial da relatividade xeral con maior detalle.

### Exemplos

 Xeodésica sobre un elipsoide triaxial.
 Se unha xoaniña se coloca sobre unha superficie e camiña continuamente "para adiante", por definición trazará unha xeodésica.
Os exemplos máis coñecidos son as liñas rectas na xeometría euclidiana.

Nunha esfera, as imaxes das xeodésicas son os círculos máximos. O camiño máis curto do punto *A* ao punto *B* nunha esfera vén dado polo arco máis curto do círculo máximo que pasa por *A* e *B*. Se *A* e *B* son puntos antípodas, entón hai *infinitos* camiños máis curtos entre eles. As xeodésicas sobre un elipsoide compórtanse dun xeito máis complicado que sobre unha esfera; en particular, non están pechados en xeral.

### Triángulos

Un **triángulo xeodésico** está formado polas xeodésicas que unen cada par de tres puntos nunha determinada superficie. Na esfera, as xeodésicas son arcos do círculo máximo, formando un triángulo esférico.

 Un triángulo xeodésico sobre a esfera.
 Triángulos xeodésicos en espazos de curvatura positiva (arriba), negativa (media) e cero (inferior).
## Xeometría métrica

En xeometría métrica, unha xeodésica é unha curva que é localmente un minimizador de distancia. Máis precisamente, unha curva *γ* : *I* → *M* desde un intervalo *I* dos reais ata o espazo métrico *M* é unha **xeodésica** se hai unha constante *v* ≥ 0 tal que para calquera *t* ∈ *I* existe unha veciñanza *J* de *t* en *I* tal que para calquera *t*1, *t*2 ∈ *J* temos

 WIKINIUM\_MATH\_PH\_2
Isto xeneraliza a noción de xeodésica para as variedades de Riemann. Porén, en xeometría métrica a xeodésica a miúdo está equipada con parametrización natural, é dicir, na identidade anterior *v* = 1 e daquela temos

 WIKINIUM\_MATH\_PH\_4
Se a última igualdade se satisfai para todo *t*1, *t*2 ∈ *I*, a xeodésica denomínase **xeodésica minimizadora** ou **camiño máis curto**.

En xeral, un espazo métrico pode non ter xeodésicas, agás as curvas constantes. No outro extremo, dous puntos calquera dun espazo de métrica intrínseca están unidos por unha secuencia minimizadora de curvas rectificadas, aínda que esta secuencia minimizadora non ten por que converxer nunha xeodésica.

## Xeometría de Riemann

Nunha variedade de Riemann *M* cun tensor métrico *g*, a lonxitude *L* dunha curva continuamente diferenciable γ : [ *a*, *b* ] → *M* defínese por

 WIKINIUM\_MATH\_PH\_6
Onde WIKINIUM\_MATH\_PH\_8 e a derivada en relación a WIKINIUM\_MATH\_PH\_10 . A métrica WIKINIUM\_MATH\_PH\_11 pode considerarse como unha "métrica infinitesimal" e xera unha verdadeira métrica sobre M que fai de M un espazo métrico.

A distancia *d*(*p*, *q*) entre dous puntos *p* e *q* de *M* defínese como o ínfimo da lonxitude tomada sobre todas as curvas continuas, por anacos, diferenciables continuamente γ : [ *a*, *b* ] → *M* tal que γ( *a* ) = *p* e γ( *b* ) = *q*. Na xeometría riemanniana, todas as xeodésicas son camiños que minimizan a distancia localmente, mais o contrario non é certo. De feito, só os camiños que minimizan a distancia localmente e parametrizan proporcionalmente á lonxitude do arco son xeodésicas. Outra forma equivalente de definir xeodésicas nunha variedade de Riemann é definilas como os mínimos da seguinte función de enerxía (ou capacidade):

 WIKINIUM\_MATH\_PH\_12
Para unha curva WIKINIUM\_MATH\_PH\_14 por anacos (máis xeralmente, unha curva WIKINIUM\_MATH\_PH\_16 ), a desigualdade de Cauchy-Schwarz dá

 WIKINIUM\_MATH\_PH\_18
con igualdade se e só se WIKINIUM\_MATH\_PH\_20 é igual a unha constante, isto é, o camiño debe percorrerse a velocidade constante.

## Xeodésica afín

Unha **xeodésica** nunha variedade suave *M* cunha conexión afín ∇ defínese como unha curva γ(*t*) tal que o transporte paralelo ao longo da curva conserva o vector tanxente á curva, polo que

|  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- |
|  WIKINIUM\_MATH\_PH\_22  |

|  |  |  |
| --- | --- | --- |
|   |   |   |
|   |

 | **()** |

en cada punto da curva, onde WIKINIUM\_MATH\_PH\_24 é a derivada en relación a WIKINIUM\_MATH\_PH\_26 . Máis precisamente, para definir a derivada covariante de WIKINIUM\_MATH\_PH\_28 é necesario primeiro estender WIKINIUM\_MATH\_PH\_30 a un campo vectorial continuamente diferenciable nun conxunto aberto. Porén, o valor resultante de (**1**) é independente da elección da extensión.

Usando coordenadas locais en *M*, podemos escribir a **ecuación xeodésica** (usando a convención de suma) como

 WIKINIUM\_MATH\_PH\_32
onde WIKINIUM\_MATH\_PH\_34 son as coordenadas da curva γ(*t*) e WIKINIUM\_MATH\_PH\_36 son os símbolos de Christoffel da conexión ∇. Esta é unha ecuación diferencial ordinaria para as coordenadas. Ten unha solución única dada unha posición inicial e unha velocidade inicial. Polo tanto, desde o punto de vista da mecánica clásica, as xeodésicas poden considerarse como traxectorias de partículas libres nunha variedade. De feito, a ecuación WIKINIUM\_MATH\_PH\_38 significa que o vector aceleración da curva non ten compoñentes na dirección da superficie (e polo tanto é perpendicular ao plano tanxente da superficie en cada punto da curva). Entón, o movemento está completamente determinado pola flexión da superficie. Esta é tamén a idea da relatividade xeral onde as partículas móvense sobre xeodésicas e a flexión é causada pola gravidade.

### Existencia e singularidade

O *teorema de existencia e unicidade local* para xeodésicas afirma que as xeodésicas nunha variedade suave cunha conexión afín existen, e son únicas. Máis precisamente:

Para calquera punto *p* en *M* e para calquera vector *V* en *TpM* (o espazo tanxente a  *M* en *p*) existe unha xeodésica única WIKINIUM\_MATH\_PH\_40  : *I* → *M* tal que
 WIKINIUM\_MATH\_PH\_42 e
 WIKINIUM\_MATH\_PH\_44
onde *I* é un intervalo aberto máximo en **R** que contén o 0.
A demostración deste teorema segue a partir da teoría das ecuacións diferenciais ordinarias, ao notar que a ecuación xeodésica é unha EDO de segunda orde. A existencia e a unicidade dedúcense logo do teorema de Picard–Lindelöf para as solucións da EDO con condicións iniciais dadas. Así γ depende de forma suave tanto de *p* como de *V*.

En xeral, é posible que *I* non sexa todo **R** como, por exemplo, para un disco aberto en **R**2. Calquera WIKINIUM\_MATH\_PH\_46 esténdese a todo WIKINIUM\_MATH\_PH\_47 se e só se WIKINIUM\_MATH\_PH\_48 é xeodésicamente completa

### Fluxo xeodésico

**O fluxo** xeodésico é unha **R**-acción no fibrado tanxente *TM*  dunha variedade *M* definida do seguinte xeito

 WIKINIUM\_MATH\_PH\_49
onde *t* ∈ **R**, *V* ∈ *TM* e WIKINIUM\_MATH\_PH\_51 denota a xeodésica cos datos iniciais WIKINIUM\_MATH\_PH\_53 . Así,  *WIKINIUM\_MATH\_PH\_55 é o mapa exponencial do vector WIKINIUM\_MATH\_PH\_57 . Unha órbita pechada do fluxo xeodésico corresponde a unha xeodésica pechada en* M*.*

Nunha variedade (pseudo-)riemanniana, o fluxo xeodésico identifícase cun fluxo hamiltoniano no fibrado cotanxente. A Hamiltoniana vén dada pola inversa da métrica (pseudo-)riemanniana, avaliada fronte á U-forma canónica (ou forma de Liouville). En particular, o fluxo conserva a métrica (pseudo-)riemanniana WIKINIUM\_MATH\_PH\_58 , é dicir.

 WIKINIUM\_MATH\_PH\_60
En particular, cando *V* é un vector unitario, WIKINIUM\_MATH\_PH\_62 segue a ser a velocidade unitaria en todo momento, polo que o fluxo xeodésico é tanxente ao fibrado tanxente unitario.O Teorema de Liouville implica a invarianza dunha medida cinemática no fibrado tanxente unitario.

### Spray xeodésico

O fluxo xeodésico define unha familia de curvas no fibrado tanxente. As derivadas destas curvas definen un campo vectorial no espazo total do fibrado tanxente, coñecido como **spray xeodésico**.

Máis precisamente, unha conexión afín dá lugar a unha división do fibrado duplo tanxente TT*M* en fibrado horizontal e fibrado vertical:

 WIKINIUM\_MATH\_PH\_64
O spray xeodésico é o único campo vectorial horizontal *W* que satisfai

 WIKINIUM\_MATH\_PH\_66
en cada punto *v* ∈ T*M*; aquí WIKINIUM\_MATH\_PH\_68 TT*M* → T*M* indica o pushforward (diferencial) ao longo da proxección WIKINIUM\_MATH\_PH\_70 : T*M* → *M* asociado ao fibrado tanxente.

### Xeodésica afín e proxectiva

A ecuación (**1**) é invariante baixo reparametrizacións afíns; é dicir, parametrizacións da forma

 WIKINIUM\_MATH\_PH\_72
onde *a* e *b* son números reais constantes. Así, ademais de especificar unha determinada clase de curvas inseridas, a ecuación xeodésica tamén determina unha clase preferida de parametrizacións en cada unha das curvas. En consecuencia, as solucións de (**1**) chámanse xeodésicas con **parámetro afín**.

Unha conexión afín está *determinada pola* a súa familia de xeodésicas parametrizadas de forma afín, ata tensor de torsión. A torsión en si non afecta, de feito, á familia das xeodésicas, xa que a ecuación xeodésica depende só da parte simétrica da conexión. Máis precisamente, se WIKINIUM\_MATH\_PH\_74 son dúas conexións tales que o tensor da diferenza

 WIKINIUM\_MATH\_PH\_76
é antisimétrica, entón WIKINIUM\_MATH\_PH\_78 e WIKINIUM\_MATH\_PH\_80 teñen as mesmas xeodésicas, coas mesmas parametrizacións afíns. Ademais, hai unha conexión única que ten a mesma xeodésica que WIKINIUM\_MATH\_PH\_82 , mais cunha torsión que desaparece.

As xeodésicas sen unha parametrización particular descríbense mediante unha conexión proxectiva.

## Métodos computacionais

Varios autores teñen propostas de solución eficientes para o problema da xeodésica mínima en superficies, por exemplo Mitchell, Kimmel, Crane, e outros máis.

## Notas

## Véxase tamén

### Bibliografía

* Spivak, Michael (1999). *A Comprehensive introduction to differential geometry (Volume 2)*. Houston, TX: Publish or Perish. ISBN 978-0-914098-71-3.

### Outros artigos

* Curva diferenciable
* Xeinetría diferencial
* Círculo xeodéxico

### Ligazóns externas

* Xeometría de Riemann.
* Métrica de Riemann.
* Lonxitude de Riemann.
* Xeodésicas 1.
* Xeodésicas 2.
* Existencia de Xeodésicas.