تغییرات ژئودزیکها، میدانهای ژاکوبی (Jacobi Fields) و نقاط مزدوج
در فضای اقلیدسی، دو خط موازی تا ابد با فاصلهٔ یکسان امتداد مییابند. اما در یک چندلای ریمانی خمیده، دو ژئودزیک که در ابتدا موازی یا نزدیک به هم حرکت میکنند، به دلیل وجود انحنا یا به هم نزدیک میشوند (مانند نصفالنهارهای کره در قطب) یا از هم شتابان میگریزند (مانند فضا با انحنای منفی). ابزار دقیق ریاضی برای سنجش این رفتار، معادلهٔ ژاکوبی است.
۱. خانوادهٔ تغییرات هموار ژئودزیکها (Variation of Geodesics)
فرض کنید γ: [0, a] → M یک ژئودزیک باشد. یک تغییر تکپارامتری از γ نگاشتی هموار بهصورت Γ: [0, a] × (−ε, ε) → M است بهطوریکه برای هر s، منحنیِ t → Γ(t, s) خود یک ژئودزیک باشد و Γ(t, 0) = γ(t).
میدان برداریِ تغییرات در امتداد γ بهصورت مشتق نسبت به پارامتر تغییر تعریف میشود:
J(t) = ∂Γ/∂s |s=0
معادله دیفرانسیل ژاکوبی (The Jacobi Equation):
اگر T = γ'(t) بردار سرعت ژئودزیک و D/dt = ∇T عملگر مشتق هموردا در طول منحنی باشد، میدان برداری J(t) در معادلهٔ دیفرانسیل خطی مرتبه دوم زیر صدق میکند:
D2J / dt2 + R(J, γ')γ' = 0
این معادلهٔ شگفتانگیز را معادلهٔ انحراف ژئودزیک (Geodesic Deviation Equation) نیز مینامند که در نسبیت عام، اثر نیروهای کشندی (Tidal Forces) گرانش را توضیح میدهد.
۲. مفهوم هندسی نقاط مزدوج (Conjugate Points)
نقطهٔ q = γ(b) را یک نقطهٔ مزدوج برای p = γ(0) در امتداد ژئودزیک γ مینامیم هرگاه یک میدان ژاکوبی ناصفر مانند J وجود داشته باشد بهگونهای که:
J(0) = 0 & J(b) = 0
تحلیل مقایسهای در هندسههای گوناگون:
روی کرهٔ دو بعدی (S2 با انحنای K = 1): اگر ژئودزیک از قطب شمال آغاز شود، تمام ژئودزیکهای همسایه در قطب جنوب به یکدیگر میرسند. معادله ژاکوبی به معادله نوسانگر ساده تبدیل میشود:
J''(t) + J(t) = 0 ⇒ J(t) = sin(t) · E(t).
بنابراین در t = π میدان صفر شده و قطب جنوب نقطهٔ مزدوج قطب شمال است.
در فضای تخت اقلیدسی (K = 0): معادله به J''(t) = 0 بدل میشود، یعنی J(t) = t · v. هیچ نقطهٔ مزدوجی وجود ندارد و پرتوها به صورت خطی واگرا میشوند.
در هندسه هذلولوی (K = −1): معادله به J''(t) − J(t) = 0 تبدیل میشود و پاسخها به فرم نمایی و هذلولوی (sinh(t)) هستند. در این فضا نه تنها هیچ نقطه مزدوجی وجود ندارد، بلکه پرتوها با نرخ نمایی از هم فاصله میگیرند.
قضیهٔ ماندگار کارتان–هادامار (Cartan–Hadamard Theorem):
اگر M یک چندلای ریمانی کامل و همبند باشد که انحنای مقطعی آن همهجا نامثبت است (K ≤ 0)، آنگاه هیچ دو نقطهای با هم مزدوج نیستند و نگاشت نمایی در هر نقطه:
expp: TpM → M
یک پوشش هموار کلی (Universal Covering) است؛ و اگر M همبند ساده باشد، با ℝn دیفئومورف خواهد بود!
ایستگاه بعدی:
بررسی «قضیهٔ هوپف–ریناو (Hopf–Rinow) و تعاریف همارز کامل بودن چندلاها»
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.