Global Multiplicity and Comparison Principles for Singular Problems driven by Mixed Local-Nonlocal Operators

إليك ملخص تقني مفصل للورقة البحثية بعنوان "مبادئ التعدد العالمية والمقارنة للمسائل المنفردة المدفوعة بالمعاملات المحلية-غير الموضعية المختلطة" لـ ر. دانيا و س. برامانيك.

1. صياغة المسألة

يتقصى المؤلفون مسألة حدّية إهليلجية منفردة مدفوعة بمعامل مختلط محلي-غير موضعي في مجال محدود وأملس $\Omega \subset \mathbb{R}^N$ ($N \ge 2$). تمت صياغة المسألة على النحو التالي:

$$\begin{cases} -\Delta_p u + (-\Delta_q)^s u = \frac{\lambda}{u^\delta} + u^r & \text{في } \Omega, \\ u > 0 & \text{في } \Omega, \\ u = 0 & \text{في } \mathbb{R}^N \setminus \Omega, \end{cases} \quad (P_\lambda)$$

المعاملات والشروط الرئيسية:

• المعاملات (Operators): يجمع الطرف الأيسى بين مؤثر لابلاس-$p$ المحلي ($-\Delta_p$) ومؤثر لابلاس-$q$ الكسري ($(-\Delta_q)^s$)، حيث $s \in (0,1)$.
• القيود: $p > sq$، و$0 < \delta < 1$(الحد المنفرد)، و$\lambda > 0$ هو معامل التفرع.
• اللاخطية (Nonlinearity): يتميز الطرف الأيمن بحد منفرد $\lambda u^{-\delta}$ وحد فائق الخطية $u^r$.
• النمو: يحقق الأس $r$ الشرط $\max\{p-1, q-1\} < r \le r^*$، حيث $r^*$ هو أس سوبولف الحرج المعرف بـ $r^* = \max\{p^*-1, q^*_s-1\}$. تتناول الورقة كلاً من حالات النمو دون الحرج ($r < r^*$) والحرج ($r = r^*$).
• فضاء الحل: الفضاء الطاقي الطبيعي هو $X_0(\Omega) = W^{1,p}_0(\Omega) \cap W^{s,q}_0(\Omega)$.

2. المنهجية والأدوات التحليلية

تتغلب الورقة على تحديات تحليلية كبيرة ناتجة عن الطبيعة المختلطة للمعامل والمنفردة عند الصفر. تعتمد المنهجية على ثلاث ركائز أساسية:

أ. مبادئ المقارنة القوية (SCP) وليمّا هوبف (Hopf-Type Lemma)

يعد إثبات مبادئ المقارنة عند وجود لا-خطيات منفردة عقبة رئيسية في مسائل المعاملات المختلطة. أثبت المؤلفون ما يلي:

• مبدأ المقارنة القوية (SCP): إذا كان $u_1, u_2$ حلولاً لمسائل ذات صلة مع $f_1 \le f_2$ و $f_1 \not\equiv f_2$، فإن $u_1 < u_2$ في $\Omega$.
• مبدأ المقارنة القوية من نوع هوبف: أثبتوا تقدير سلوك الحدود: $\frac{\partial u_2}{\partial \nu} < \frac{\partial u_1}{\partial \nu}$ على $\partial \Omega$.
• التقنية: يتضمن الإثبات خطية المعامل حول حل موجب وبناء حل تحتي (subsolution) لمسألة "شبه موجبة لانهائية" (infinite semipositone). يتطلب هذا تقديرات دقيقة على الحد غير الموضعي واستخدام نظرية الدوال الضمنية للتعامل مع غياب المعاملات الصريحة في صيغة التباعد الخطي.

ب. المقللات المحلية لـ سوبولف مقابل هولدر (Sobolev vs. Hölder)

لتطبيق الطرق التباينية (وتحديداً نظرية ممر الجبل - Mountain Pass Theorem)، يجب التأكد من أن المقلل المحلي في طوبولوجيا $C^1_0$ هو أيضاً مقلل محلي في طضاء الطاقة $X_0(\Omega)$.

• النتيجة: أثبت المؤلفون أنه إذا كان $u_0$ مقللاً محلياً لدالة الطاقة في طوبولوجيا $C^1_0$، فإنه يكون أيضاً مقللاً محلياً في طوبولوجيا $X_0(\Omega)$.
• الخطوة الرئيسية: يعتمد هذا على اشتقاق حدود $L^\infty$ موحدة وتقديرات $C^{1,\alpha}$ للحلول. قام المؤلفون بتطوير تقنيات "دي جيورجي-ستانباكيا" (De Giorgi-Stampacchia) باستخدام تكرار "موزر" (Moser iteration) لتغطية حالة النمو الحرج ($r=r^*$)، مما وسع النتائج التي كانت معروفة سابقاً للحالات دون الحرجة فقط.

ج. الإطار التبايني وهندسة ممر الجبل

يتم إثبات وجود حل ثانٍ باستخدام نظرية ممر الجبل.

• القطع (Truncation): نظراً للمنفردة، فإن دالة الطاقة ليست من الفئة $C^1$. استخدم المؤلفون تقنية قطع تعتمد على حل فريد للمسألة المنفردة البحتة ($\lambda u^{-\delta}$) لتعريف دالة معدلة من الفئة $C^1$.
• الامتثال (Compactness): أثبتوا شرط "باليه-سميلي" (Palais-Smale). في الحالة الحرجة، استخدموا تقديرات منقحة لدوال "أوبين-تالنتي" (Aubin-Talenti) لإظهار أن مستوى ممر الجبل يقع تحت العتبة التي يُفقد عندها الامتثال.

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

أولاً: نتيجة التعدد العالمية

تحدد الورقة عتبة حادة $\Lambda > 0$ تحكم وجود وتعدد الحلول الموجبة:

1. عدم الوجود: بالنسبة لـ $\lambda > \Lambda$، لا يوجد حل.
2. الوجود: بالنسبة لـ $0 < \lambda \le \Lambda$، يوجد حل واحد على الأقل.
3. التعدد: بالنسبة لـ $0 < \lambda < \Lambda$، يوجد حلان موجبان متمايزان على الأقل.
   • أحد الحلول هو الحل الأدنى (الذي يتم الحصول عليه عبر التكرار الرتيب).
   • الحل الثاني يتم الحصول عليه عبر نظرية ممر الجبل.

الجدة (Novelty): بينما توجد نتائج تعدد محلية للمعاملات المختلطة مع معاملات صغيرة (على سبيل المثال، المعاملات المعتمدة على $\epsilon$)، فإن هذه الورقة تقدم نتيجة تعدد عالمية للحالة التي يكون فيها معامل الخلط ثابتاً (فعلياً $\epsilon=1$). وهذا ينطبق على كل من أنظمة النمو دون الحرج والحرج.

ثانيًا: نظريات محددة

• النظرية 1.2 (الوجود/عدم الوجود): تثبت وجود العتبة $\Lambda$ ورتابة الحلول الدنيا بالنسبة لـ $\lambda$.
• النظرية 1.3 (التعدد دون الحرج): تثبت وجود حلين لـ $r < r^*$ تحت شروط محددة على $p, q, s$ (بما في ذلك الحالة الخطية $p=q=2$ والحالات غير الخطية حيث $q \ge 2$).
• النظرية 1.4 (التعدد الحرج): تثبت وجود حلين للحالة الحرجة $r = r^* = p^*-1$. يتطلب هذا قيوداً محددة على $p, q, s$ (مثل $2 \le q \le p$ و $p \in (\frac{3N}{N+3}, 3)$) لضمان عمل تقديرات طاقة دوال تالنتي في الإعداد المختلط.

ثالثاً: نتائج مساعدة ذات أهمية مستقلة

• مبدأ المقارنة القوية من نوع هوبف للمعاملات المختلطة: نتيجة جديدة توسع مبادئ المقارنة لتشمل المعاملات المختلطة المحلية-غير الموضعية مع الحدود المنفردة.
• تقديرات $L^\infty$ و $C^{1,\alpha}$ الموحدة: تقديرات منقحة تجسر الفجوة بين فضاءات سوبولف وهولدر للمعاملات المختلطة، وهي ضرورية للتحليل التبايني في الحالة الحرجة.

4. الأهمية والأثر

• حل التناقض بين المحلي والعالمي: اعتمدت الأعمال السابقة على المعاملات المختلطة غالباً على حجج الاضطراب (الـ $\epsilon$ الصغيرة) لإثبات التعدد، مما ترك الهيكل العالمي (تحديداً المدى $(\Lambda^*, \Lambda)$) دون حل. تغلق هذه الورقة هذه الفجوة، مقدمة مخطط تفرع كاملاً.
• التعامل مع المنفردات: التقنيات المطورة لمبدأ المقارنة القوية في وجود المنفردات ($\lambda/u^\delta$) هي تقنيات مبتكرة للمعاملات المختلطة، حيث تفشل التقنيات المحلية القياسية بسبب الحد غير الموضعي.
• توسيع الحالة الحرجة: نجحت الورقة في تكييف نظرية النقاط الحرجة (ممر الجبل) مع نظام النمو الحرج، وهو إعداد صعب للغاية بسبب غياب التباين القياسي وعدم تحقق ثابت سوبولف الأمثل في الفضاءات المختلطة.
• قابلية التطبيق الواسعة: تُعرض الأدوات التحليلية (SCP، وتكافؤ سوبولف-هولدر) كنتائج مستقلة قابلة للتطبيق على فئة أوسع من المسائل المحلية-غير الموضعية المختلطة خارج المسألة المنفردة المحددة المدروسة.

باخت-صار، تقدم هذه الورقة تحليلاً شاملاً وصارماً للمسائل الإهليلجية المنفردة ذات المعاملات المختلطة، وتضع صورة تعدد عالمية كاملة وتدخل أدوات مقارنة وتنظيم قوية جديدة لمجال المعادلات التفاضلية الجزئية غير الموضعية.