Static Equilibria of Perturbed Spheres: A Single-Harmonic Class Map, a Parity Obstruction, and a Certified Counter for the Mono-Monostatic Regime

ملخص تقني: التوازنات الساكنة للكرات المضطربة

بيان المشكلة
تتناول الورقة البحثية المسألة الكلاسيكية المتمثلة في تحديد عدد وأنواع الاستقرار (مستقر $S$، غير مستقر $U$، ونقطة سرج $H$) للتوازنات الساكنة لجسم محدب متجانس يستقر على مستوى أفقي تحت تأثير الجاذبية. وبينما أثبت فاركوني ودوموكوس [1، 2] وجود أجسام لأي فئة $(S, U)$ مع $S, U \ge 1$ (بما في ذلك جسم "غومبوتش" أحادي الاستقرار والمنال $S=U=1$)، فإن نتيجتهما لا توفر وصفاً بسيطاً مغلق الصيغة لأي شكل محدد يحقق تلك الفئات. تركز هذه الورقة على أبسط الاضطرابات غير المنكسرة للكرة: الأجسام المتجانسة التي تُحدد حدودها عبر اضطراب شعاعي لكرات الوحدة باستخدام هرموني كروي حقيقي واحد $Y^m_\ell$ من الدرجة $\ell \ge 2$ والرتبة $1 \le m \le \ell$. السؤال المركزي هو تحديد فئة التوازن $(S, U)$ لهذه الأشكال ذات الهرموني الواحد.

المنهجية
يجمع النهج بين الهندسة التحليلية، ونظرية الهرمونيات الكروية، والحساب العددي الموثق:

1. الاختزال إلى النقاط الحرجة: يستخدم المؤلف الاختزال الراسخ الذي ينص على أن التوازنات الساكنة تقابل النقاط الحرجة لدالة المسافة المربعة من المركز إلى السطح، $\rho(u) = |x(u) - c|^2$.
2. تحليل المركز (التمهيدية 1): تتضمن الخطوة التحليلية الرئيسية تحديد موقع المركز $c$. تثبت الورقة أنه بالنسبة لهرموني تيسيرالي (tesseral harmonic) $Y^m_\ell$ حيث $m \ge 2$، فإن تناظر الاضطراب يجبر المركز على البقاء تماماً عند الأصل ($c=0$) لجميع السعات ضمن النطاق المحدب. أما بالنسبة لـ $m=1$، فإن إزاحة المركز تكون من رتبة $O(\epsilon^3)$ وتتلاشى فقط تحت شروط تماثل محددة.
3. الاختزال الدقيق (التمهيدية 2): نظراً لأن $c=0$ عندما يكون $m \ge 2$، تصبح دالة المسافة $\rho(u)$ هي بالضبط $(1 + \epsilon g(u))^2$. وبما أن هذه دالة متزايدة بصرامة بالنسبة للهرموني $g$، فإن النقاط الحرجة للجسم الفيزيائي تكون في تقابل تام مع النقاط الحرجة للهرموني $Y^m_\ell$ نفسه، مما يحافظ على أنواع الاستقرار والمؤشرات. وهذا ينطبق على كامل النطاق المحدب، وليس فقط بشكل تقاربي.
4. إحصاء النقاط الحرجة (التقرير 1): يقوم المؤلف بعد النقاط الحرجة لـ $Y^m_\ell$ من خلال استغلال بنيتها القابلة للفصل ($P^m_\ell(\cos \theta) \cos(m\phi)$). ويحلل أصفار دالات ليجاندر المرتبطة ومشتقاتها لتصنيف القيم العظمى المحلية، والصغرى، ونقاط السرج، بما في ذلك سلوك الأقطاب (التي تعمل كـ "سرج قرد" - monkey saddles - منكسر عندما $m \ge 3$).
5. العداد العددي الموثق (القسم 7): في حالة الهرمونيات المتعددة (حيث يفشل اختزال الهرموني الواحد وينزاح المركز)، يطور المؤلف عداد توازن موثق. تستخدم هذه الطة حساب الفترات (interval arithmetic) لإحاطة المسافة من المركز إلى السطح، وتطبق مؤثر كراويك (Krawczyk operator) لإثبات الوجود والوحدانية، وتستخدم مصفوفات هسيان الفترات لتصنيف الاستقرار. كما تُستخدم خرائط الستيريوغرافية للتعامل مع التفردات القطبية.

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

• مبرهنة فئة التوازن (المبرهنة 1): بالنسبة لجسم مضطرب بهرموني واحد $Y^m_\ell$ ($\ell \ge 2, 1 \le m \le \ell$)، فإن عدد التوازنات المستقرة وغير المستقرة هو بالضبط:
  $$S = U = m(\ell - m + 1)$$
  أما بقية النقاط الحرجة فهي $2m(\ell-m)$ من نقاط السرج العادية، وقطبان بمؤشر $1-m$. ويتحقق توازن بوانكاريه-هوبف $S - H + U = 2$ بدقة.
• الوصول القطري (النتيجة 1): يمكن للاضطرابات ذات الهرموني الواحد فقط تحقيق فئات توازن على القطر $S=U$. والقيم الممكنة هي $\{2, 3, 4, \dots\}$.
• عدم إمكانية أحادية الاستقرار بالهرموني الواحد (النتيجة 2): بما أن $m(\ell - m + 1) = 1$ تستلزم $\ell=1$ (وهي ترجمة صلبة وليست تغييراً في الشكل)، فلا يمكن لأي هرموني كروي واحد من الدرجة $\ell \ge 2$ أن ينتج جسماً أحادي الاستقرار والمنال ($S=U=1$).
• عائق التماثل الفردي (النتيجة 3): أي اضطراب يتكون فقط من هرمونيات ذات درجة زوجية ينتج جسماً متماثلاً مركزياً. ولأجسام مثل هذه، تكون التوازنات في أزواج متقابلة، مما يجعل $S$ و $U$ أعداداً زوجية. وبالتالي، لا يمكن للأجسام المتماثلة مركزياً أن تكون أحادية الاستقرار والمنال.
• التحقق الموثق: تحقق المؤلف من صيغته التحليلية مقابل المحاكاة العددية لثمانية أجسام محددة ذات هرموني واحد، محققاً تطابقاً تاماً. علاوة على ذلك، تم تطبيق العداد الموثق على بارامتريّة تحليلية معروفة لجسم قريب من الكروية (كان غامضاً في الأدبيات سابقاً)، مما أكد بصرامة أنه أحادي الاستقرار والمنال بفئة $(S, U, H) = (1, 1, 0)$.

الأهمية والادعاءات
تدعي الورقة أنها تقدم "إجابة إنشائية كاملة" لمسألة تصنيف التوازن للأشكال الأبسط، وذلك على خلاف براهين الوجود غير الإنشائية لفاركوني ودوموكوس.

1. الرؤية البنيوية: توضح أن أحادية الاستقرار والمنال هي ظاهرة تتطلب بطبعها تعدد الهرمونيات وتتطلب محتوى فردي؛ إذ لا يمكن تحقيقها بهرموني واحد أو بأشكال متماثلة مركزياً.
2. الدقة مقابل التقريب: تؤكد الورقة أنه بالنسبة لـ $m \ge 2$، فإن الاختزال من الجسم الفيزيائي إلى الهرموني هو هوية دقيقة، وليس مجرد تقريب من الرتبة الأولى. وهذا يسمح بإحصاء بصيغة مغلقة دون مصطلحات خطأ تقاربية.
3. حل الغموض: تعالج الورقة الصعوبة العملية في عد التوازنات في الأجسام القريبة من الكروية، حيث تميل الطرق القائمة على البذور (seed-based) إلى نقص العد، بينما تميل طرق الشبكة (grid-based) إلى زيادة العد. العداد الموثق المقترح يزيل هذا الغموض، مما يوفر عدداً صحيحاً ومثبتاً لا يقل ولا يزيد عن الواقع، مما يحسم أسئلة محددة حول البارامتريات التحليلية التي تركتها الطرق السابقة غامضة.

يُقدم العمل كخريطة دقيقة لـ "أطراف" المسألة: حل مغلق وصريح حيث يهيمن نمط واحد، وإجراء قرار موثق للحالة المعقدة متعددة الهرمونيات حيث تقع فئة "غومبوتش".