سیستم های دینامیکی روی خمینه (Dynamical Systems on Manifolds)، در ریاضیات (Mathematics)
انواع سیستم های دینامیکی (Dynamical Systems را در آموزش زیر شرح دادیم :
سیستم های دینامیکی روی خمینه (Dynamical Systems on Manifolds) :
در بسیاری از مسائل، فضای حالت یک فضای اقلیدسی ساده
\[ \mathbb{R}^n \]نیست، بلکه یک خمینه (manifold) است؛ یعنی فضایی که ممکن است دارای انحنا، توپولوژی غیربدیهی (مثل کره یا چنبره) یا ساختارهای هندسی خاص باشد. به عنوان مثال، حرکت یک آونگ ساده در فضای حالت
\[ (θ, ω) \]روی استوانه
\[ S^1 × ℝ \]تعریف می شود، زیرا زاویه
\[ θ \]روی دایره
\[ S^1 \]قرار دارد. اینجاست که مفهوم سیستم های دینامیکی روی خمینه مطرح می شود.
از نظر ریاضی، یک خمینه
\[ M \](با بعد
\[ n \]) در مقیاس محلی شبیه
\[ \mathbb{R}^n \]است اما ساختار کلی تری دارد. سیستم دینامیکی روی
\[ M \]معمولا به صورت یک میدان برداری (در زمان پیوسته) یا یک دیفئومورفیسم (در زمان گسسته) روی
\[ M \]تعریف می شود. معادلات دیفرانسیل حاکم باید با ساختار خمینه سازگار باشند و اغلب در مختصات محلی نوشته می شوند.
مثال کلاسیک، حرکت ژئودزیکی روی یک خمینه ریمانی (مانند کره) است. معادله ژئودزیک یک سیستم دینامیکی همیلتونی روی فضای مماس (یا فضای فاز) خمینه است. در اینجا، خمینه نقش فضای پیکربندی را دارد و فضای فاز، خمینه همگام (cotangent bundle) است.
\[ \frac{d}{dt} \left( g_{ij} \dot{q}^j \right) = \frac{1}{2} \frac{\partial g_{jk}}{\partial q^i} \dot{q}^j \dot{q}^k \]تحلیل این سیستم ها نیازمند ابزارهای هندسه دیفرانسیل و توپولوژی است. مفاهیمی مانند برگ بندی (foliation)، ساختارهای سمپلکتیک (symplectic)، و قضایای پوانکاره-بندیکسون برای خمینه های دوبعدی تعمیم می یابند. همچنین، وجود جاذب ها و مدارهای تناوبی به توپولوژی خمینه وابسته است. برای مثال، روی کره
\[ S^2 \]، هر میدان برداری هموار باید حداقل یک نقطه تعادل داشته باشد (قضیه گلوله مودار).
کاربردهای فراوان: مکانیک لاگرانژی و همیلتونی (که به طور طبیعی روی خمینه های پیکربندی تعریف می شوند)، دینامیک سیالات روی کره (مدل های جوی)، حرکت ماهواره ها در فضا (با در نظر گرفتن وضعیت چرخشی روی گروه
\[ SO(3) \])، و رباتیک (پیکربندی بازوهای رباتیک روی خمینه های پیچیده).
از دیدگاه عددی، شبیه سازی این سیستم ها نیازمند انتگرالگیرهای هندسی (geometric integrators) است که ساختار خمینه را حفظ کنند (مثلا روش های سمپلکتیک برای سیستم های همیلتونی).
به طور خلاصه، سیستم های روی خمینه، پل میان هندسه و دینامیک هستند و درک عمیق آن ها برای پیشرفت در فیزیک نظری و ریاضیات کاربردی ضروری است.
