Existence and multiplicity of solutions for a critical Grushin problem with a singular nonlinearity

ملخص تقني: وجود وتعدد الحلول لمسألة غروشين (Grushin) حرجة مع عدم خطية منفردة

بيان المسألة
تبحث هذه الورقة في وجود وتعدد الحلول الضعيفة الموجبة لمسألة القيمة الحدية التي تتضمن مؤثر غروشين $\Delta_\gamma$ على نطاق ممتد ومحدود سلس $\Omega \subset \mathbb{R}^N$ ($N=n+m$). يتم تعريف المؤثر كالتالي: $\Delta_\gamma := \Delta_x + (1+\gamma)^2|x|^{2\gamma}\Delta_y$ حيث $\gamma > 0$، وهو يظهر تدهوراً (degeneracy) على طول المجموعة $\Sigma = \{0\} \times \mathbb{R}^m$. المعادلة الأساسية المدروسة هي:
$$\begin{cases} -\Delta_\gamma u = \lambda u^p + u^{-\delta} & \text{في } \Omega, \\ u = 0 & \text{على } \partial\Omega, \end{cases}$$
حيث $\lambda > 0$، و$\delta > 0$، و$p > 1$. تغطي الدراسة ثلاثة أنظمة لأس $p$ بالنسبة لأس سوبوليفف الحرج $2^*_\gamma = \frac{2Q}{Q-2}$ (حيث $Q = m + (1+\gamma)n$ هو البعد المتجانس): تحت الحرج ($p < 2^*_\gamma - 1$)، الحرج ($p = 2^*_\gamma - 1$)، وفوق الحرج ($p > 2^*_\gamma - 1$). إن وجود الحد المنفرد $u^{-\delta}$ يفرض تحديات كبيرة تتعلق بالانتظام (regularity) والقابلية للدمج (integrability)، لا سيما عندما تكون $\delta \geq 3$، حيث تفشل الطرق التباينية الكلاسيكية.

المنهجية
يستخدم المؤلفون إطار عمل يعتمد على التحليل غير السلس (nonsmooth analysis) والطرق التباينية (variational methods)، ممددين التقنيات التي طورها هيرانو وآخرون [23] لـ "اللايبلاسيان" إلى سياق غروشين. تشمل الخطوات المنهجية الجوهرية ما يلي:

1. إطار العمل الدالي غير السلس: نظراً للانفراد $u^{-\delta}$، فإن الدالة الطاقية المرتبطة ليست من الفئة $C^1$. يعرّف المؤلفون الدالة باستخدام التفاضل الفرنشيه (Fréchet subdifferential) $\partial^- I$ ويستخدمون شرط سيرامي (Cerami condition) (وهو شرط تماسك أضعف من شرط باليه-سمال) للتعامل مع عدم السلاسة وعدم محدودية المتتاليات المقللة.
2. ترجمة المسألة: لإدارة الانفراد، يتم ترجمة المسألة عن طريق إدخال $u_0$، وهو الحل الموجب الوحيد للمسألة المنفردة البحتة $-\Delta_\gamma u_0 = u_0^{-\delta}$. تتم إعادة صياغة المسألة الأصلية بدلالة $u = v - u_0$، مما يؤدي إلى معادلة جديدة مع عدم خطية معدلة $g(z, s)$ تسمح بتطبيق التقنيات التباينية.
3. طريقة المجموعات الفرعية والعليا (Sub-Supersolution Method): يتم إثبات وجود الحلول باستخدام طريقة عامة من نوع بيرون (Perron-type method). يقوم المؤلفون ببناء حلول فرعية وعليا مناسبة ضمن الفاصل الترتيبي المحدد بالحل المنفرد $u_0$ والدوال المساعدة.
4. مبدأ القيمة القصوى القوي والانتظام: أحد المكونات الحاسمة هو اشتقاق مبدأ القيمة القصوى القوي لمؤثر غروشين (التمهيدية 2.3) عبر تقدير لوغاريتمي. يضمن هذا وجود الحلول الإيجابية. كما يتم اشتقاق تقديرات $L^\infty$ الموحدة ونتائج الانتظام (التمهيدية 2.4، التمهيدية 5.11) للتحكم في سلوك الحلول بالقرب من مجموعة التدهور $\Sigma$.
5. التعدد عبر الربط (Linking): لإثبات وجود حل ثانٍ، يطبق المؤلفون مبرهنة الربط (Theorem 2.1) المكيفة للدوال غير السلسة. يتضمن ذلك بناء هيكل هندسي محدد في فضاء الدوال حيث تظهر الدالة هندسة "ممر جبلي" (mountain pass) بالنسبة لتقليل محلي.
6. تحليل الانفجار (Blow-up Analysis): في الحالة الحرجة، يعتمد إثبات وجود حل ثانٍ على بناء تسلسل دالة اختبار محدد (بناءً على الدوال المتطرفة لمتراجحة سوبوليف) لإظهار أن مستوى طاقة الحل الثاني يقع تماماً تحت العتبة التي يُفقد عندها التماسك.

المساهمات والنتائج الرئيسية
تثبت الورقة النتائج الرئيسية التالية (Theorem 1.1):

• وجود حل أول: لكل $\delta > 0$ و$p > 1$، يوجد عتبة $\Lambda > 0$ بحيث لكل $\lambda \in (0, \Lambda]$، يوجد على الأقل حل ضعيف موجب واحد.

  • في الحالات تحت الحرجة والحرجة ($1 < p \leq {2^*_\gamma}$)، تنتمي الحلول إلى $C^{0,\alpha}_{loc}(\Omega) \cap L^\infty(\Omega)$.
  • في الحالة فوق الحرجة ($p > 2^*_\gamma - 1$)، تنتمي الحلول إلى $L^{p+1}(\Omega)$ (وكذلك $L^\infty$ لـ $\lambda < \Lambda$).
  • الحل الأول $u_\lambda$ هو مقلل محلي للدالة الطاقية المرتبطة وهو متزايد تماماً بالنسبة لـ $\lambda$.

• تعدد الحلول: لكل $\lambda \in (0, \Lambda)$، يوجد حل ضعيف موجب ثانٍ متميز عن الأول.

  • في الحالات تحت الحرجة والحرجة، ينتمي هذا الحل الثاني أيضاً إلى $C^{0,\alpha}_{loc}(\Omega) \cap L^\infty(\Omega)$.
  • الحل الثاني أكبر تماماً من الحل الأول ($w > u_\lambda$) في $\Omega$.

• عدم الوجود: لـ $\lambda > \Lambda$، لا توجد حلول موجبة (في فضاءات الدوال المناسبة).

• الانتظام ووحدانية المسألة المنفردة البحتة: تثبت الورقة وجود ووحدانية الحل $u_0$ للمسألة المنفردة البحتة $-\Delta_\gamma u_0 = u_0^{-\delta}$، مع توفير حدود صريحة تتضمن حل $-\Delta_\gamma u_1 = 1$.

الأهمية والادعاءات
تدعي الورقة أنها توسع نظرية بريزيس-نيريمبرج (Brezis-Nirenberg) الكلاسيكية، التي صيغت أصلاً لـ "اللايبلاسيان" مع الاضطرابات المنفردة، لتشمل مؤثر غروشين المتدهور. تكمن أهميتها الأساسية في:

1. التعامل مع النطاق الكامل لـ $\delta$: على عكس الأعمال السابقة المقيدة بـ $\delta < 1$، يغطي هذا التحليل كامل النطاق $\delta > 0$ باستخدام أدوات التحليل غير السلس، مما يتغلب على مشكلات التكامل المرتبطة بالانفرادات القوية.
2. إدارة التدهور: يعالج العمل الصعوبات المحددة الناتجة عن تدهور مؤثر غروشين على طول $\Sigma$، من خلال إثبات مبدأ القيمة القصوى القوي ونتائج الانتظام المصممة خصيصاً لهذا الهندسة.
3. نهج موحد: توفر المنهجية إطاراً موحداً لمعالجة الأسس تحت الحرجة، الحرجة، وفوق الحرجة ضمن نفس الإعداد المنفرد، مما يوضح أن ظاهرة التعدد (حلان) تستمر حتى في وجود انفرادات قوية وتدهور في المؤثر.

يضع المؤلفون عملهم كإمتداد صارم للنتائج الموجودة حول "اللايبلاسيان" (بالإشارة إلى [23]، [2]، [4]) إلى سياق غروشين، مما يسد فجوة في الأدبيات المتعلقة بالمسائل المنفردة الحرجة للمؤثرات الإهليلجية المتدهورة.