الأنظمة الهاميلتونية فائقة التكامل

الأنظمة الهاميلتونية فائقة التكامل

في الرياضيات والميكانيكا التحليلية، يُعرف النظام الهاميلتوني فائق التكامل (Superintegrable Hamiltonian system) بأنه نظام هاميلتوني مُعرف على متشعب سمبلكتي (Symplectic manifold) ذي أبعاد $2n$، حيث تتحقق مجموعة من الشروط الرياضية التي تجعل النظام يمتلك عدداً من تكاملات الحركة يتجاوز الحد الأدنى المطلوب للتكامل الكلي.

الشروط الرياضية للنظام فائق التكامل

لكي يُصنف النظام الهاميلتوني على أنه فائق التكامل، يجب أن يستوفي الشروط التالية:

• وجود تكاملات حركة إضافية: يجب أن يوجد عدد $k$ من تكاملات الحركة المستقلة $F_i$ بحيث يكون $k > n$. تشكل الأسطح المستوية لهذه التكاملات (المتشعبات الثابتة) متشعباً ليفياً $F: Z \to N = F(Z)$ فوق مجموعة مفتوحة متصلة $N \subset \mathbb{R}^k$.
• علاقة قوسون (Poisson bracket): يجب أن توجد دوال حقيقية ملساء $s_{ij}$ على $N$ بحيث يكون قوسون تكاملات الحركة وفق الصيغة: {F_i, F_j} = s_{ij} \circ F.
• رتبة المصفوفة: يجب أن تكون مصفوفة الدوال $s_{ij}$ ذات رتبة مكملة (corank) ثابتة $m = 2n - k$ على المجموعة $N$.

الفرق بين التكامل الكلي والتكامل الفائق

عندما يكون عدد تكاملات الحركة $k$ مساوياً لعدد درجات الحرية $n$ (أي $k = n$)، فإننا نكون أمام حالة النظام الهاميلتوني القابل للتكامل كلياً (Completely integrable Hamiltonian system). أما في الأنظمة فائقة التكامل، فإن وجود تكاملات إضافية ($k > n$) يؤدي إلى تقييد أكبر للمسارات في فضاء الطور، مما يجعل الحركة أكثر انتظاماً وبساطة.

مبرهنة ميشينكو-فومينكو

تعد مبرهنة ميشينكو-فومينكو (Mishchenko-Fomenko theorem) تعميماً لمبرهنة ليفيل-أرنولد (Liouville-Arnold theorem) الخاصة بالأنظمة القابلة للتكامل كلياً. تتناول هذه المبرهنة إحداثيات الفعل والزاوية في الأنظمة فائقة التكامل.

تنص المبرهنة على أنه إذا كانت المتشعبات الثابتة للنظام فائق التكامل متصلة، مدمجة، ومتشاكلة تماثلياً (diffeomorphic)، فإن المتشعب الليفي $F$ يكون حزمة ألياف من التورات (tori) $T^m$. وفي هذه الحالة، يوجد جوار مفتوح $U$ يمثل حزمة ألياف تافهة مزودة بإحداثيات فعل-زاوية معممة $(I_A, p_i, q^i, \phi^A)$، حيث:

• $\phi^A$ هي إحداثيات على التور $T^m$.
• هذه الإحداثيات تمثل إحداثيات داربو (Darboux coordinates) على المتشعب السمبلكتي $U$.
• يعتمد هاميلتوني النظام فقط على متغيرات الفعل $I_A$، والتي تكون دوال كازيمير (Casimir functions) للبنية القوسونية المستحثة على $F(U)$.

الحالات غير المدمجة

تم تعميم مبرهنتي ليفيل-أرنولد وميشينكو-فومينكو لتشمل الحالات التي تكون فيها المتشعبات الثابتة غير مدمجة. في هذه الحالة، تكون هذه المتشعبات متشاكلة تماثلياً مع أسطوانة تورية (toroidal cylinder) صيغتها $T^{m-r} \times \mathbb{R}^r$.