משולש גיאודטי על ספירה תלת-ממדית. הגאודיזות הן המעגלים הגדולים של הספירה.
בגאומטריה דיפרנציאלית , מסילה גאודזית היא מסילה המתארת באופן מקומי את הדרך הקצרה ביותר בין שתי נקודות במרחב. זוהי הכללה של מושג הקו הישר מהגאומטריה האוקלידית ליריעות כלליות. למשל, על פני הכדור , המסילות הגאודזיות הן המעגלים הגדולים שהרדיוס שלהם שווה לרדיוס הכדור.
על פי תורת היחסות הכללית , גופים שלא פועלים עליהם כוחות מלבד כוח הכבידה , נעים בממוצע על פני מסילות גאודזיות במרחב-זמן .
אם מוגדרת מטריקה דיפרנציאלית על המרחב האפיני, למשל באמצעות סמלי כריסטופל , המסילות הגאודזיות מקיימות את המשוואה הדיפרנציאלית הנובעת מן העובדה שהווקטור המשיק שלהן מקביל לעצמו לאחר טרנספורט מקבילי לאורך העקום. ניתן גם למצוא את המסילה הקצרה ביותר בין שתי נקודות במרחב עקום על ידי כתיבת משוואת אורך הקו לפי פרמטר כלשהו, ואז למצוא את המינימום של משוואה זו על ידי חשבון וריאציות .
מסילה גאודזית במרחב עקום
ביריעה רימנית עם טנזור מטרי
g
{\displaystyle g}
, האורך של מסילה גזירה ברציפות
γ γ -->
: : -->
[
a
,
b
]
→ → -->
M
{\displaystyle \gamma \colon [a,b]\rightarrow M}
מוגדר על ידי
L
(
γ γ -->
)
=
∫ ∫ -->
a
b
g
(
γ γ -->
˙ ˙ -->
(
t
)
,
γ γ -->
˙ ˙ -->
(
t
)
)
d
t
.
{\displaystyle L(\gamma )=\int _{a}^{b}{\sqrt {g({\dot {\gamma }}(t),{\dot {\gamma }}(t))}}\,\mathrm {d} t.}
המרחק
d
(
p
,
q
)
{\displaystyle d(p,q)}
בין שתי נקודות
p
,
q
{\displaystyle p,q}
ב-
M
{\displaystyle M}
מוגדר כאינפימום של כל אורכי המסילות האפשריות הגזירות ברציפות למקוטעין
γ γ -->
: : -->
[
a
,
b
]
→ → -->
M
{\displaystyle \gamma \colon [a,b]\rightarrow M}
כך ש-
γ γ -->
(
a
)
=
p
{\displaystyle \gamma (a)=p}
ו-
γ γ -->
(
b
)
=
q
{\displaystyle \gamma (b)=q}
.
משוואת המסילה הגאודזית
במרחב בעל טרנספורט מקבילי , הטרנספורט המקבילי של וקטור משיק לאורך המסילה הגאודזית אינו משנה אותו:
∇ ∇ -->
u
u
=
0
{\displaystyle \nabla _{u}u=0}
כאשר
u
=
∂ ∂ -->
∂ ∂ -->
τ τ -->
{\displaystyle u={\frac {\partial }{\partial \tau }}}
והעקומה היא
x
j
(
τ τ -->
)
{\displaystyle x^{j}(\tau )}
.
בהטלה למערכת צירים נקבל:
∂ ∂ -->
2
x
j
∂ ∂ -->
τ τ -->
2
+
Γ Γ -->
i
k
j
∂ ∂ -->
x
i
∂ ∂ -->
τ τ -->
∂ ∂ -->
x
k
∂ ∂ -->
τ τ -->
=
0
{\displaystyle {\frac {\partial ^{2}x^{j}}{\partial \tau ^{2}}}+{\Gamma _{i}}_{k}^{\!j}{\frac {\partial x^{i}}{\partial \tau }}{\frac {\partial x^{k}}{\partial \tau }}=0}
כאשר
e
j
{\displaystyle e_{j}}
הם ווקטורי הבסיס, ו-
Γ Γ -->
i
k
j
{\displaystyle {\Gamma _{i}}_{k}^{\!j}}
הם סמלי כריסטופל .
קישורים חיצוניים