מסילה גאודזית

משולש גאודטי על ספירה תלת-ממדית. הגאודזות הן המעגלים הגדולים של הספירה

בגאומטריה דיפרנציאלית, מסילה גאודזית היא מסילה המתארת באופן מקומי את הדרך הקצרה ביותר בין שתי נקודות במרחב. זוהי הכללה של מושג הקו הישר מהגאומטריה האוקלידית ליריעות כלליות. למשל, על פני הכדור, המסילות הגאודזיות הן המעגלים הגדולים שהרדיוס שלהם שווה לרדיוס הכדור.

על פי תורת היחסות הכללית, גופים שלא פועלים עליהם כוחות מלבד כוח הכבידה, נעים על פני מסילות גאודזיות במרחב-זמן העקום.

אם מוגדרת מטריקה דיפרנציאלית על המרחב האפיני, למשל באמצעות סמלי כריסטופל, המסילות הגאודזיות מקיימות את המשוואה הדיפרנציאלית הנובעת מן העובדה שהווקטור המשיק שלהן מקביל לעצמו לאחר העתקה מקבילה לאורך העקום. ניתן גם למצוא את המסילה הקצרה ביותר בין שתי נקודות במרחב עקום על ידי כתיבת משוואת אורך הקו לפי פרמטר כלשהו, ואז למצוא את המינימום של משוואה זו על ידי חשבון וריאציות.

מסילה גאודזית במרחב עקום

ביריעה רימנית עם טנזור מטרי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle g} , האורך של מסילה גזירה ברציפות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \gamma:[a,b]\to M} מוגדר על ידי

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L(\gamma)=\int\limits_a^b\sqrt{g\bigl(\dot\gamma(t),\dot\gamma(t)\bigr)}\,dt}

המרחק הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d(p,q)} בין שתי נקודות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle p,q} ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle M} מוגדר כאינפימום של כל אורכי המסילות האפשריות הגזירות ברציפות למקוטעין הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \gamma:[a,b]\to M} כך שמתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \gamma(a)=p,\gamma(b)=q} .

משוואת המסילה הגאודזית

במרחב בעל העתקה מקבילה, הטרנספורט המקבילי של וקטור משיק לאורך המסילה הגאודזית אינו משנה אותו:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \nabla_u u=0}

כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle u=\frac{\part}{\part\tau}} והעקומה היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x^j(\tau)} בהטלה למערכת צירים נקבל:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\part^2 x^j}{\part\tau^2}+{\Gamma_i}_k^j\frac{\part x^i}{\part\tau}\frac{\part x^k}{\part\tau}=0}

כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle e_j} הם וקטורי הבסיס. הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle {\Gamma_i}_k^j} הם סמלי כריסטופל.