The $1/c$ expansion of general relativity in a $3+1$ formulation, revisited

إليك ملخص تقني مفصل لورقة "The 1/c expansion of general relativity in a 1 + 3 formulation, revisited" للباحث محمود البستان.

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

تعد النسبية العامة (GR) صعبة الحل بشكل دقيق بسبب عدم خطية معادلاتها الميدانية. لذا، تُعد مخططات التقريب ضرورية لدراسة الأنظمة الفيزيائية. يُعد توسيع "ما بعد نيوتن" (Post-Newtonian - PN) تقريباً قياسياً للمجالات الضعيفة والسرعات البطيئة. ومع ذلك، فإن توسيع $1/c$ (توسيع $c$ الكبيرة) هو تقريب غير نسبي (NR) متميز يسمح بوجود تفاعلات قوية المجال مع الحفاظ على السرعات البطيئة، مما يجعله مناسباً لأنظمة مثل النجوم النيوترونية الكثيفة واندماج الثقوب السوداء.

أرست الأعمال السابقة (تحديداً المرجع [20]) توسيع $1/c$ ضمن تفكيك كول-سمولكين (KS) لصيغة 3+1 حتى الرتبة $c^{-2}$. ومن المعروف أن تفكيكات ADM وKS هما متناظران (حيث تتبادل الأدوار بين المتري ومعكوسه)، ويتشاركان في شكل فعل "أينشتاين-هيلبرت". ومع ذلك، تطلبت طرق التوسيع الحالية اختيار تفكيك محدد (ADM أو KS) منذ البداية، مما أخفى التناظر عند مستوى التوسيع وحدّ من رتبة الحساب.

تعالج هذه الورقة الأسئلة التالية:

1. هل يظل التناظر بين تفكيكات ADM وKS قائماً عند مستوى توسيع $1/c$؟
2. هل يمكن تطوير مخطط توسيع موحد يتجنب اختيار تقسيم (slicing) معين حتى الخطوة النهائية؟
3. هل يمكن دفع التوسيع إلى ما وراء الرتبة $c^{-2}$ التي تم تحقيقها سابقاً (تحديداً إلى $c^{-3}$؟)

2. المنهجية

يقترح المؤلف إطاراً موحداً جديداً يعتمد على "الفعل الأب" (parent action) الصالح لكلا التفكيكين، بدلاً من توسيع كل تفكيك على حدة.

أ. الفعل الأب والتناظر

نقطة البوام هي فعل "أينشتاين-هيلبرت" في صيغة 3+1:
$$S_{EH} = \int \left( \hat{R} + K_{ij}K^{ij} - K^2 \right) n_t \sqrt{h} \, d^{d+1}x$$
حيث:

• $n_t$ هو دالة الارتفاع (Lapse function) (يرمز لها بـ $N$ في ADM و $M$ في KS).
• $h_{ij}$ هو المتري المكاني.
• $\hat{R}$ هو قياس ريتشي المكاني المعرف عبر اتصال محدد $\hat{\Gamma}$.
• $K_{ij}$ هو موتر الانحناء الخارجي.
  التعريفات الخاصة بـ $K_{ij}$ ومتجهات الإطار تختلف بين ADM وKS، لكن شكل الفعل يظل متطابقاً.

ب. مخطط توسيع "دمى الماتريوشكا"

بدلاً من الطريقة التقليدية (اختر التفكيك $\leftarrow$ وسّع الحقول $\leftarrow$ اجمع الرتب)، يقدم المؤلف توسيعاً خطوة بخطوة لـ "اللاغرانجيان الأب" $[L] = [R\sqrt{-g}]$.

• المفهوم: يُعامل التوسيع كبنية متداخلة (مثل دمى الماتريوشكا).
• تعريف الخطوة: الخطوة $n$، $[L]_n$، تحتوي على حدود من الرتب $c^{-n}, c^{-(n+1)}, c^{-(n+2)}$.
• البنية التكرارية:
  $$[L]_n = [R]_n [\sqrt{-g}]_0 + [R]_{n-1} [\sqrt{-g}]_1 + \dots + [R]_0 [\sqrt{-g}]_n$$
  هذا يسمح بحساب الحدود ذات الرتب الأعلى عن طريق حساب "الحدود الزائدة" الجديدة فقط $[R]_n$ و $[\sqrt{-g}]_n$، مع إعادة استخدام النتائج من الخطوات السابقة.

ج. الهويات العامة

للتعامل مع التوسيع دون تثبيت التفكيك، اشتق المؤلف هويات عامة صالحة لكل من ADM وKS:

1. توسيع المتري المعكوس: اشتق صيغاً تكرارية لتوسيع $h^{ij}$ بناءً على $h_{ik}h^{kj} = \delta^j_i$.
2. هويات المشتقات المتغيرة (Covariant): استخدم الهوية $\hat{D}_i h_{jk} = 0$ لتوليد تعبيرات لتوسيع رموز كريستوفل $[\hat{\Gamma}]_n$ وموتر ريتشي $[\hat{R}_{ij}]_n$ بدلالة الحقول الأولية ومشتقاتها.
3. متري ويلر-ديويت (Wheeler-DeWitt): استغل تناظر الموتر $(h_{ij}h_{kl} - h_{ik}h_{jl})$ لتبسيط الاختصارات، مما أدى إلى إلغاء الحدود غير المتناظرة الإشكالية أثناء حساب قياس ريتشي.

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

1. إطار توسيع موحد: تؤسس الورقة لطريقة لإجراء توسيع $1/c$ مباشرة على الفعل الأب دون الالتزام بـ ADM أو KS في البداية. وهذا يحافظ على تناظر التفكيكات طوال عملية الحساب.
2. التوسع إلى الرتبة $c^{-3}$: نجح المؤلف في دفع توسيع تفكيك ADM حتى الرتبة $c^{-3}$. كانت النتائج السابقة محدودة بالرتبة $c^{-2}$ (رتبة 1PN) لتفكيك KS.
3. التحقق من التناظر: من خلال تطبيق الصيغ العامة على كلا التفكيكين، تثبت الورقة أن التناظر بين ADM وKS يظل قائماً عند مستوى اللاغرانجيان الموسع. وتنشأ الاختلافات فقط من الشكل المحدد لموتر الانحناء الخارجي $K_{ij}$ ومتجهات الإطار.
4. خوارزمية منهجية: يوفر نهج "الماتريوشكا" خوارزمية منهجية لتوليد صيغ مدمجة لأي رتبة $n$، مما يقلل من التعقيد الحسابي مقارنة بالتوسيع حداً بحد.

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

• الصيغ العامة: توفر الورقة تعبيرات صريحة وعامة لتوسيع قياس ريتشي $[\hat{R}]_n$ والمحدد $[\sqrt{-g}]_n$ حتى $n=3$ (القسم 6).
• توسيع ADM ($c^{-3}$):
  • الرتبة صفر ($c^0$): يستعيد الحد الساكن (بدون مشتقات زمنية).
  • الرتبة الأولى ($c^{-1}$): تتضمن مشتقات زمنية فردية وحقولاً موسعة.
  • الرتبة الثانية ($c^{-2}$): تتضمن حدوداً مع مشتقات زمنية ثانية وتوسيعات تربيعية.
  • الرتبة الثالثة ($c^{-3}$): نتيجة جديدة تحتوي على تفاعلات معقدة للحقول الموسعة ومشتقاتها. يشير المؤلف إلى أن تفكيك ADM يتفوق تقنياً في هذا التوسيع لأن مكونات متجه الإطار $(n)^e_i$ تتلاشى لـ $n \ge 1$، مما يبسط المشتقات مقارنة بحالة KS.
• توسيع KS ($c^{-1}$): يطبق المؤلف الإطار على تفكيك KS حتى $c^{-1}$ لإظهار التناظر صراحة. تتطابق النتائج مع الأدبيات السابقة ولكنها مشتقة عبر الطريقة الموحدة الجديدة.
• ملاحظة لجميع الرتب: تحدد الورقة بنية عالمية في اللاغرانجيان من الرتبة $n$ تتضمن تغيراً بالنسبة لحقل الارتفاع من الرتبة $n$ الذي يعمل كـ "مضاعف لاغرانج"، مما يؤدي إلى مشتقات من الدرجة الثانية للحقول من الرتبة $n$.
• الحد النيوتني: في الملحق C، يوضح المؤلف كيف أن إعادة تعريف كونفورمي (conformal redefinition) للحقول ($n_t \to e^{\psi/2}$) تستعيد معادلة بواسون في الحد النيوتني، مما يؤكد الاتساق الفيزيائي للتوسيع.

5. الأهمية والتطبيقات المستقبلية

• فيزياء المجال القوي: يعد توسيع $c^{-3}$ حاسماً لنمذجة المجالات الجاذبية القوية حيث قد تفشل توسيعات PN القياسية (التي تفترض مجالات ضعيفة) أو تتطلب تصحيحات من رتب أعلى. وهذا مهم بشكل خاص لـ النجوم النيوترونية واندماج الثقوب السوداء.
• التوحيد النظري: من خلال إثبات أن التناظر بين ADM وKS ينجو من عملية التوسيع، توحد هذه الورقة اثنين من المناهج الرئيسية للجاذبية غير النسبية.
• الربط مع جاذبية نيوتن-كارتان وكرول (Newton-Cartan and Carroll Gravity): يجسّر الإطار الفجوة بين النسبية العامة القياسية، ونظرية نيوتن-كارتان، وجاذبية كرول (توسيع $c$ الصغيرة)، مما يوفر مساراً محتملاً لدراسة العلاقة بين الحدود الغاليلية والكرولية.
• تطبيقات في فيزياء المادة المكثفة: يقترح المؤلف تطبيقات محتملة في فيزياء المادة المكثفة، وتحديداً فيما يتعلق بربط تفكيكات ADM/KS بمواصفات "زيرميلو" (Zermelo) و"راندرز" (Randers) الموجودة في الغرافين ونماذج الثقوب السوداء.

ختاماً، توفر هذه الورقة أداة قوية ومنهجية وتحافظ على التناظر لإجراء توسيعات عالية الرتبة غير نسبية للنسبية العامة، مما يوسع النتائج المعروفة لتفكيك ADM ويقدم منظوراً جديداً لبنية الجاذبية غير النسبية.