Robin nullity in mode $|k|=1$ and asymptotic radius of the critical hyperbolic catenoid

ملخص تقني: فراغ روبن في النمط $|k|=1$ ونصف قطر التقارب للكاتينويد الزائدي الحرج

بيان المشكلة
تتقصى هذه المذكرة الخصائص التحليلية لعائلة الكاتينويد الزائدي الحرج $\Sigma_a$، وهي عائلة من الأسطح الدنيا ذات الحدود الحرة (FBMS) ذات التماثل الدوراني، تعتمد على معلمة واحدة، وتقع داخل كرة جيوديزية $B^3(r(a))$ في الفضاء الزائدي $\mathbb{H}^3$. هذه الأسطح، التي قدمها موري أولاً ثم أعاد دراستها دو كارمو-داجزير وميدفيديف، تتدرج بين تكوين متدهور مع اقتراب المعلمة $a \to (1/2)^+$ وتكوين غير محدود مع اقتراب $a \to \infty$.

الأهداف الرئيسية هي تحديد فراغ روبن (Robin nullity) ومؤشر مورس (Morse index) لمؤثر جاكوبي عند تقييده بالنمط الزاوي فورييه $|k|=1$، واستخلاص التوسعات التقاربية الدقيقة لنصف قطر الحدود $r(a)$ في كل من حد المعلمة الكبيرة ($a \to \infty$) والحد المتدهور ($a \to (1/2)^+$). يهدف هذا العمل إلى تحسين الحد الأدنى لمؤشر مورس الذي وضعه ميدفيديف وتوفير تعبيرات مغلقة للثوابت الهندسية التي كانت معروفة سابقاً بشكل ضمني فقط.

المنهجية
يعتمد التحليل على المعلمة الصريحة لـ $\Sigma_a$ المقدمة من ميدفيديف، باستخدام الكمية المحفوظة $K(a) = \sqrt{a^2 - 1/4}$ المرتبطة بالتماثل الدوراني. تسير المنهجية من خلال ثلاث استراتيجيات تحليلية رئيسية:

1. الإعداد الهندسي والطيفي: تثبت الورقة المتري المستحث، والشكل الثاني، ومؤثر جاكوبي $L_{\Sigma_a} = \Delta_g + (|II|^2 - 2)$. كما تحدد حقول كلي-جاكوبي (Killing–Jacobi fields) الناتجة عن جبر لي $\mathfrak{so}(3,1)$ التي تحافظ على الكرة الجيوديزية المحيطة. وبشكل محدد، تعزل الجبر الفرعي للدورات المكانية التي تثبت المحور الجيوديزي للكاتينويد.
2. تفكيك النمط بالنمط: اتباعاً لاستراتيجية ديفيرير للكاتينويد الإقليدي الحرج، يتم تفكيك مؤثر جاكوبي إلى أنماط فورييه الزاوية. يركز التحليل على المعادلة التفاضلية العادية (ODE) الشعاعية المرتبطة بالنمط $|k|=1$. تستخدم عملية إثبات نتيجة الفراغ نظرية ستورم-ليوفيل، وتحديداً تحليل أصفار الملف الشعاعي والوورونجيان (Wronskian) للحلول للتمييز بين قطاعات التماثل الفردي والزوجي.
3. التحليل التقاربي: بالنسبة لحد المعلمة الكبيرة، يتم تحليل شرط الحدود الحر المجعل عبر تقاربات من نوع لابلاس. يتضمن ذلك تقييم تكامل غير محدد متعلق بالملف الزاوي $\phi(s)$ عبر دالة بيتا. بالنسبة للحد المتدهور، يتم إجراء تحليل اضطراب بالقرب من $a = 1/2$ عبر تغيير مقياس الإحداثي الشعاعي وحل معادلة متسامية للمعامل من الدرجة الأولى.

المساهمات والنتائج الرئيسية

• فراغ روبن والمؤشر في النمط $|k|=1$:
  تثبت الورقة أنه لكل $a > 1/2$، فإن فراغ روبن لمؤثر جاكوبي المقيد بالنمط $|k|=1$ هو بالضبط 2. النواة (kernel) ممتدة بواسطة حقول كلي-جاكوبي المرتبطة بالدورات $L_{12}$ و $L_{13}$ في المستويات $(x_1, x_2)$ و $(x_1, x_3)$.
  تتمثل إحدى النتائج المركزية في تحديد الملف الشعاعي $f_*(s)$ لهذه الحقول في شكل مغلق:
  $$f_*(s) = \partial_s \Phi^0_a(s, 0) = \sinh(r(s)) \cdot r'(s),$$
  حيث $r(s)$ هي المسافة الزائدية من المركز. هذه الهوية الهيكلية تربط حقل جاكوبي مباشرة بمشتق إحداثي الزمن في نموذج الهيبيربوليد.
  وبناءً على ذلك، يتم إثبات أن مؤشر مورس لروبن في النمط $|k|=1$ هو 2. هذه النتيجة تحسن الحد الأدنى لميدفيديف $\text{ind}(\Sigma_a) \ge 4$ من خلال التأكيد على أن المساهمة من قطاع $|k|=1$ هي 2 بالضبط، مما يعني أن الأنماط المتبقية تساهم بـ 2 على الأقل في المؤشر الكلي.

• نصف قطر التقارب ($a \to \infty$):
  تستنتج الورقة التوسع التقاربي لنصف قطر الحدود $r(a)$ عندما $a \to \infty$:
  $$r(a) = \frac{3}{2} \log a + d_\infty + o(1).$$
  وقد تم حساب الثابت $d_\infty$ في شكل مغلق باستخدام تقييم دالة بيتا للتكامل $\int_0^\infty \cosh(2t)^{-3/2} dt$:
  $$d_\infty = \log \left( \frac{\sqrt{2} \, \Gamma(1/4)^2}{\pi^{3/2}} \right) = \log \left( \frac{2\sqrt{2\pi}}{\Gamma(3/4)^2} \right).$$
  يوفر هذا لأول مرة تعبيراً مغلقاً صريحاً لهذا الثابت التقاربي.

• الحد المتدهر ($a \to (1/2)^+$):
  عندما تقترب المعلمة من الحد الأدنى، يسلك نصف القطر السلوك التالي:
  $$r(a) = c_* \sqrt{a - 1/2} \, (1 + o(1)).$$
  الثابت $c_*$ يُعطى بـ $c_* = \sigma_* \cosh \sigma_*$، حيث $\sigma_*$ هي النقطة الثابتة الموجبة الوحيدة للمعادلة $\sigma = \coth \sigma$. وهذا يحدد معدل انهيار السطح إلى تكوين متدهور.

الأهمية والادعاءات
تزعم الورقة أنها تقدم تحسيناً تحليلياً دقيقاً للخصائص الطيفية للكاتينويد الزائدي الحرج. من خلال تحديد النواة صراحة في النمط $|k|=1$ مع حقول كلي المحددة وإثبات عد المؤشر عبر نظرية ستورم-ليوفيل، يربط هذا العمل بين الحدس الهندسي (التشوهات المتماثلة) والتحليل الطيفي.

إن اشتقاق الثابت المغلق $d_\infty$ يُقدم كخطوة غير بديهية تعتمد على نظرية الدوال الخاصة (دوال جاما وبيتا)، مما يقدم ثابتاً هندسياً دقيقاً لهذه العائلة. تدعم النتائج التخمين بأن مؤشر مورس الكلي هو 4 بالضبط، رغم أن الورقة تشير إلى أن إثبات تلاشي المؤشر في الأنماط $|k| \ge 2$ وتحديد المؤشر الدقيق في النمط $|k|=0$ يظل مسألة مفتوحة. يُصنف هذا العمل كمذكرة قصيرة تؤسس لهذه النتائج التحليلية المحددة، مع ترك المزيد من الاستقصاءات حول التوسعات التقاربية من رتب أعلى والنظائر ذات الأبعاد الأعلى كمسائل مفتوحة.