Weakly stable solutions of Serrin's problem

ملخص تقني: الحلول المستقرة ضعيفاً لمسألة سيرين (Serrin's Problem)

بيان المسألة
تتناول الورقة مسألة سيرين المفرطة التحديد (overdetermined problem)، والتي تبحث عن نطاق $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) ودالة $u \in C^\infty(\bar{\Omega})$ تحقق:
$$\begin{cases} -\Delta u = n & \text{في } \Omega, \\ u > 0 & \text{في } \Omega, \\ u = 0 & \text{على } \partial\Omega, \\ |Du| = 1 & \text{على } \partial\Omega. \end{cases}$$
بينما أثبت ج. سيرين (1971) وهـ. واينبرجر (1971) أن الحلول المتراصة (compact) يجب أن تكون كرات وحدة، توجد حلول غير متراصة (مثل الأسطوانات). وقد افترض هـ. بيريستكي، ل. كافيليري، ول. نيرينبرج أن أي حل غير متراص يجب أن يكون إما كرة وحدة أو متطابقاً مع أسطوانة على شكل $\{y \in \mathbb{R}^m : |y| < m/n\} \times \mathbb{R}^{n-m}$. ومع ذلك، توجد أمثلة مضادة لهذا الافتراض في المسائل شبه الخطية العامة. تبحث هذه الورقة تحديداً في حالة $f(u) = n$ تحت الافتراض الإضافي لـ الاستقرار الضعيف (weak stability).

المنهجية والأسلوب
يستخدم المؤلفون نهجاً تنويعياً (variational approach) مقترناً بالتحليل الهندسي والتقديرات التقاربية. وتتمثل المنهجية الجوهرية في:

1. التوصيف التنويعي: تُعتبر الحلول كنقاط حرجة للدالة الوظيفية $J(u) = \frac{1}{2}\int_{\{u>0\}} |Du|^2 - \int_{\{u>0\}} F(u)$ (حيث $F' = f = n$) مع خضوعها لشرط حجم نسبي.
2. تعريفات الاستقرار:
   • الاستقرار الضعيف: يحقق النطاق اختبار المشتقة الثانية لـ $J$ ضمن الاضطرابات المتراصة التي تحافظ على الحجم النسبي لـ $\{u > 0\}$. ويتم صياغة ذلك من خلال المتراجحة:
     $$\int_{\partial\Omega} (f(0) - H) \phi^2 \le \int_{\Omega} (|D\phi|^2 - f'(u)\phi^2)$$
     لكل $\phi \in C^\infty_c(\bar{\Omega})$ بحيث $\int_{\partial\Omega} \phi = 0$.
   • الاستقرار: تتحقق نفس المتراجحة لجميع $\phi \in C^\infty_c(\bar{\Omega})$ دون شرط المتوسط الصفري.
3. تقديرات التدرج والتقارب: يضع المؤلفون تقديرات حاسمة للتدرج لـ $u$ (تحديداً $|Du| < 1$ في $\Omega$ و $H \le n$ على $\partial\Omega$) ويحللون السلوك التقاربي للحجم $V(\lambda)$ والمساحة السطحية $A(\lambda)$ للنطاق $\Omega$ المتقاطع مع الكرات الكبيرة $B_\lambda(0)$.
4. حجة التناقض: يسير البرهان عبر افتراض أن $\Omega$ له حجم لانهائي. وباستخدام العلاقة التقاربية $A(\lambda) \approx n V(\lambda)$ المستمدة من نظرية التباعد (divergence theorem)، يوضح المؤلفون أن الحجم اللانهائي يستلزم أن يكون النطاق مستقراً بالكامل. ومن خلال اختبار شرط الاستقرار باستخدام دالات قطع محددة والاستفادة من التحت-هارمونية (subharmonicity) لدالة مساعدة $\phi = u + \frac{1}{2}|Du|^2$، يستنتجون تناقضاً بين إشارة التكامل الحدودي وشرط الاستقرار.
5. تحليل الحجم المحدود: بمجرد استبعاد الحجم اللانهائي، يكيف المؤلفون حجة واينبرجر لتطبيقها على الحالة غير المتراصة لإثبات أن مكونات الحجم المحدود يجب أن تكون كرات وحدة. ثم يُستخدم الاستقرار الضعيف لإثبات أن النطاق متصل، مما يستبعد الاتحادات المنفصلة للكرات.

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

• النظرية 2 (النتيجة الرئيسية): لأي بُعد $n \ge 2$، إذا كان $\Omega$ حلاً مستقراً ضعيفاً لمسألة سيرين، فإن $\Omega$ هو كرة بنصف قطر 1. وبناءً على ذلك، لا توجد حلول غير متراصة مستقرة ضعيفاً.
• حدود التدرج: تثبت الورقة أنه لأي حل، $|Du| < 1$ في $\Omega$ وأن متوسط الانحناء $H$ يحقق $H \le n$ على $\partial\Omega$.
• استلزام الاستقرار: إذا كان للحل حجم لانهائي، فإن الاستقرار الضعيف يستلزم الاستقرار الكامل.
• الاستقلال عن البعد: على عكس النتائج السابقة للمسائل ذات الصلة (مثل مسألة برنولي ذات الطور الواحد) التي تعتمد بشدة على البعد (مثلاً $n \le 3$ مقابل $n \ge 7$)، فإن هذه النتيجة صالحة لجميع $n \ge 2$.

الأهمية والادعاءات
تدعي الورقة أنها أثبتت أن الحلول المستقرة ضعيفاً لمسألة سيرين هي بالضرورة متراصة (تحديداً كرات مستديرة). وتعد هذه النتيجة حلاً فعلياً لافتراض بيريستكي-كافيليري-نيرينبرج لحالة $f=n$ من خلال إثبات أن البدائل غير المتراصة (كالأسطوانات) ليست مستقرة ضعيفاً. ويُوصف هذا الافتراض بأنه "طبيعي من وجهة نظر تنويعية".

يسلط المؤلفون الضوء على أن نتيجتهم تعمم نظرية سابقة (النظرية 1 في [12]) التي كانت مقتصرة على البعد $n=2$ وتطلبت انحناءً محدوداً لـ $\partial\Omega$. العمل الحالي يزيل القيد على البعد وقيد حدود الانحناء. كما أن تقنية البرهان متميزة عن الأعمال السابقة؛ فهي تتجنب نظرية غاوس-بونيه (الخاصة بـ $n=2$) والحجج الخاصة بالأبعاد المنخفضة التي تفشل في الأبعاد الأعلى بسبب وجود أمثلة مضادة معروفة في مسائل الاستقرار ذات الصلة.

توضع هذه النتيجة ضمن سياق نظرية الأسطح الدنيا (minimal surface theory)، حيث تظهر الحلول المستقرة ضعيفاً لمسألة سيرين كنواتج انفجار (blow-up limits) لأسطح الشعيرات الدموية (capillary surfaces) المستقرة ضعيفاً. ويعمل نتيجة الصلابة (rigidity) التي تم إثباتها هنا كعنصر أساسي لتوصيف مثل هذه الأسطح الشعيرية ذات زوايا التلامس القريبة من $0$أو$\pi$.