Geodezia linio

En diferenciala geometrio, geodezia linio estas linio, kiu estas laŭeble rekta sur glata sternaĵo. En la ĝenerala teorio de relativeco, punkta partiklo moviĝas laŭ geodezia kurbo, sub la efiko de gravito.

Difino redakti

Supozu ke $M$ estas glata sternaĵo, kune kun afina konekto

\nabla \colon \Gamma (\mathrm {T} M)\otimes \Gamma (\mathrm {T} M)\to \Gamma (\mathrm {T} M)

.

Konsideru glatan kurbon

\gamma \colon (a,b)\to M

.

La kurbo estas geodezia kurbo, se kaj nur se ĝi plenumas la ĉi-subajn kondiĉojn:

Ĉe ajna tempo $t$ , ekzistas ĉirkaŭaĵo $(t-\epsilon ,t+\epsilon )$ de $t$ kaj ankaŭ ĉirkaŭaĵo $U\supseteq \gamma ((t-\epsilon ,t+\epsilon ))$ de la bildaro de la limigaĵo $\gamma \upharpoonright (t-\epsilon ,t+\epsilon )$ , tiaj ke pri ajna vektora kampo $X\in \Gamma (\mathrm {T} U)$ sur $U$ , se $X(\gamma (s))={\dot {\gamma }}(s)$ ĉe ĉiu $s\in (t-\epsilon ,t+\epsilon )$ , do la jena ekvacio, la geodezia ekvacio estas vera:
: $\nabla _{{\dot {\gamma }}(s)}X|_{\gamma (s)}=0\quad \forall s\in (t-\epsilon ,t+\epsilon )$ .

Fakte, la geodezia ekvacio ne dependas de la plivastigo $X$ de $\gamma$ ; eksplicite, per lokaj koordinatoj $x^{i}$ , la geodezia ekvacio aspektas jene:

{\ddot {\gamma }}^{i}(s)+\Gamma _{jk}^{i}{\dot {\gamma }}^{j}(t){\dot {\gamma }}^{k}(t)=0

.

En tiu, $\Gamma _{jk}^{i}$ estas la komponantoj de la afina konekto $\nabla$ (la simboloj de Christoffel, se la konekton difinas rimana metriko).

Propraĵoj redakti

La geodezia ekvacio estas duaorda ordinara diferenciala ekvacio. Tial, geodezia kurbo ĉiam ekzistas loke en ajna direkto. Eksplicite, sur glata sternaĵo $M$ , ĉe ajna punkto $x\in M$ kaj ajna tanĝa vektoro $v\in \mathrm {T} _{x}M$ , ekzistas pozitiva reelo $\epsilon >0$ kaj geodezia kurbo