Note About Relational Mechanics of General Forms of Particle Actions

إليك ملخص تقني مفصل لورقة "ملاحظة حول الميكانيكا العلاقاتية للأشكال العامة لأفعال الجسيمات" للكاتب ج. كلوسون (J. Klusoň).

1. بيان المشكلة

تتناول الورقة تحدي صياغة الميكانيكا العلاقاتية (Relational Mechanics) لنظام مكون من $N$ من الجسيمات المتفاعلة. الميكانيكا العلاقاتية، المتجذرة في مبدأ ماخ، تفترض أن الديناميكا يجب أن تُعرَّف حصرياً من خلال العلاقات بين الجسيمات دون الرجوع إلى كيانات خارجية غير مادية (مثل الفضاء المطلق أو الأطر القصور الذاتي المميزة).

بينما تظل الميكانيكا النيوتونية ثابتة تحت مجموعة غاليل (Galilean group) الصلبة (الترجمات، الدورات، والتعجيلات الثابتة)، فإن جعل هذه الميكانيكا علاقاتية بحتة يتطلب رفع هذه التناظرات إلى تحويلات قياس (gauge transformations) محلية (تعتمد على الزمن).

• التحدي: تعتمد إجراءات "قياس" (gauging) التناظر الغاليلي (كما في الأعمال السابقة مثل [4]) غالباً على لاغرانجيانات ذات حدود حركية تربيعية في السرعات. ومع ذلك، فإن العديد من الأفعال (Actions) ذات الأهمية الفيزيائية (مثل فعل "بورن-إنفيلد" لجسيمات D0-branes أو أفعال الجسيمات النسبية العامة) تمتلك حدوداً حركية غير خطية (مثل هياكل الجذر التربيعي أو دوال اختيارية تعتمد على السرعة).
• السؤال: هل يمكن جعل أي "فعل" (Action) لـ $N$ من الجسيمات المتفاعلة، مع حدود حركية عامة وجهود تعتمد فقط على المسافات النسبية، ثابتاً تحت تحويلات غاليل القياسية (gauged Galilean transformations)؟

2. المنهجية

استخدم المؤلف نهجاً ذا شقين: صياغة لاغرانج (Lagrangian formulation) باستخدام حقول مساعدة لخطية المشكلة، وصياغة هاميلتون (Hamiltonian formulation) للكشف عن بنية القيود الكامنة.

أ. نهج لاغرانج (الحقول المساعدة)

1. الخطية (Linearization): بالنسبة للأفعال ذات الحدود الحركية غير التربيعية (تحديداً شكل الجذر التربيعي $L = -\sum m_i \sqrt{1-\dot{x}_i^2} - V$)، استقدم المؤلف حقولاً مساعدة (يُرمز لها بـ $e_i$ أو $\mu_i$).
   • يتم استبدال حد الجذر التربيعي بشكل تربيعي: $\frac{m_i}{2}(\frac{1}{e_i}(1-\dot{x}_i^2) + e_i)$.
   • يؤدي حل معادلة الحركة للحقل المساعد إلى استعادة الفعل غير الخطي الأصلي.
2. إجراء القياس (Gauging Procedure):
   • الترجمات: يُضاف حد مضاد (counter-term) إلى اللاغرانجيان لإلغاء التباين الناتج عن الترجمات المعتمدة على الزمن ($\vec{\xi}(t)$). يتضمن ذلك بناء حد حركي علاقي يعتمد على السرعات النسبية $\dot{x}_{ij}$.
   • الدورات: يُضاف حد مضاد ثانٍ للتعويض عن الدورات المعتمدة على الزمن ($\vec{\alpha}(t)$). يتطلب هذا إدخال موتر متماثل $I_{\alpha\beta}$ (مرتبط بموتر العزم العطالي) ومعكوسه لبناء حد تربيعي في الزخم الزاوي $J$.
3. التعميم: تم توسيع الطريقة لتشمل أي دالة حركية $f_i(\dot{x}_i^2)$ عبر إدخال أزواج من الحقول المساعدة ($a_i, b_i$) لإعادة كتابة اللاغرانجيان في شكل تربيعي.

ب. نهج هاميلتون

1. التحليل الكانوني (Canonical Analysis): أجرى المؤلف تحويلاً ليدجن (Legendre transformation) لاشتقاق الهاميلتوني.
2. تحديد القيود: يكشف التحليل عن وجود قيود أولية (primary constraints) ناتجة عن التناظر القياسي:
   • قيد الزخم الكلي: $\vec{P} = \sum \vec{p}_i \approx 0$.
   • قيد الزخم الزاوي الكلي: $\vec{J} = \sum \vec{x}_i \times \vec{p}_i \approx 0$.
3. تصنيف القيود: باستخدام علاقات بويسون (Poisson brackets)، ثبت أن هذه القيود هي قيود من الدرجة الأولى (first-class constraints)، وهي التي تولد تحويلات غاليل القياسية (الترجمات والدورات).
4. حل القيود: يتم استبعاد الحقول المساعدة (أو حلها) ضمن إطار هاميلتون. وعلى عكس النهج اللاغرانجي، حيث يؤدي استبعاد الحقول المساعدة إلى تعبيرات معقدة وغير محلية، يحافظ نهج هاميلتون على بنية جبرية بسيطة نسبياً.

3. المساهمات الرئيسية

• تعميم عملية القياس (Gauging): نجحت الورقة في توسيع قياس تناظر غاليل من مجرد لاغرانجيانات تربيعية بسيطة إلى أفعال جسيمات تعسفية، بما في ذلك تلك ذات هياكل الجذر التربيعي (مثل الجسيمات النسبية) والدوال غير الخطية العامة المعتمدة على السرعة.
• بساطة هاميلتون: تتمثل المساهمة الجوهرية في إثبات أنه بينما يصبح الوصف اللاغرانجي لهذه النظريات القياسية معقداً للغاية (غير محلي ويعتمد على الحقول المساعدة)، فإن الوصف الهاميلتوني يظل بسيطاً ومتطابقاً هيكلياً مع النظرية غير القياسية، مضافاً إليه فقط قيود من الدرجة الأولى.
• الشكل الشامل: أثبت المؤلف أن أي فعل لـ $N$ من الجسيمات يعتمد جهده فقط على المسافات النسبية يمكن جعله ثابتاً تحت تحويلات غاليل المعتمدة على الزمن.

4. النتائج الرئيسية

• اللاغرانجيان الثابت قياسياً: بالنسبة لنظام يحتوي على حدود حركية ذات جذر تربيعي، يأخذ اللاغرانجيان الثابت الشكل التالي:
  $$L = \frac{1}{4M} \sum_{i,j} \mu_i \mu_j \dot{x}_{ij}^2 - \frac{1}{2} \vec{J} \cdot I^{-1} \cdot \vec{J} - V(x_{ij}) - \frac{1}{2} \sum_i \left(\mu_i + \frac{m_i^2}{\mu_i}\right)$$
  حيث $\mu_i$ هي حقول مساعدة، $M = \sum \mu_i$، و $I$ هو موتر العطالة.
• الهاميلتوني النهائي: بعد حل الحقول المساعدة وفرض القيود، يكون الهاميلتوني النهائي للحالة العامة هو:
  $$H = \sum_i \sqrt{m_i^2 + p_i^2} + V(x_{ij}) + \vec{\lambda}_P \cdot \vec{P} + \vec{\lambda}_J \cdot \vec{J}$$
  (بالنسبة للدوال الحركية العامة $f_i$، يصبح الحد الحركي $\sum_i \frac{p_i^2}{f'_i(\psi_i(p_i^2))} - \dots$).
• بنية القيود: تُحكم النظرية بستة قيود من الدرجة الأولى:
  • $\vec{P} \approx 0$ (يولد الترجمات المعتمدة على الزمن).
  • $\vec{J} \approx 0$ (يولد الدورات المعتمدة على الزمن).
    تضمن هذه القيود عدم وجود إطار مرجعي مميز للنظام، مما يحقق متطلبات الميكانيكا العلاقاتية.

5. الأهمية

• التوحيد النظري: يوفر هذا العمل إطاراً موحداً لبناء الميكانيكا العلاقاتية لمجموعة واسعة من الأنظمة الفيزيائية، بما في ذلك تلك ذات الصلة بنظرية الأوتار (D0-branes) وديناميكا الجسيمات النسبية، والتي كان من الصعب معالجتها سابقاً في سياق علاقي بحت.
• الفائدة الحسابية: تسلط النتيجة الضوء على ميزة كبيرة لصيغة هاميلتون في النظريات القياسية. فهي تشير إلى أنه بالنسبة للكمّ (quantization) أو المحاكاة العددية، فإن العمل مع هاميلتون المقيد أكثر سهولة وسلاسة من التعامل مع لاغرانجيان غير محلي ومعقد.
• تحقيق مبدأ ماخ: تقدم الورقة تجسيداً رياضياً ملموساً لمبدأ ماخ، حيث توضح كيفية إزالة الفضاء والزمن المطلق من ديناميكا الجسيمات المتفاعلة من خلال رفع تناظر غاليل إلى تناظر قياسي محلي، بغض النظر عن الشكل المحدد للطاقة الحركية للجسيم.