Multiplicity results for mixed local-nonlocal variable exponent problem involving singular and superlinear term

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

1. بيان المسألة

يتقصى المؤلفون فئة من المعادلات التفاضلية الإهليلجية شبه الخطية التي تتضمن مؤثلاً مختلطاً (محلياً-غير محلي) مع أسس متغيرة، وحداً منفرداً، وحداً فائق الخطية. يتم صياغة المسألة كالتالي:

$$\begin{cases} -\Delta_{p(x)}u + (-\Delta)^s_{p(x)} u = \lambda a(x)u^{-\gamma(x)} + b(x)u^{r(x)-1}, & u > 0 \text{ في } \Omega, \\ u = 0, & \text{ في } \mathbb{R}^N \setminus \Omega, \end{cases}$$

المكونات الرئيسية:

• المؤثرات:
  • المحلي: مؤثر لابلاس $p(x)$-Laplacian، حيث $\Delta_{p(x)}u = \text{div}(|\nabla u|^{p(x)-2}\nabla u)$.
  • غير المحلي: مؤثر لابلاس كسرِي $p(x)$-Laplacian، ويُعرف عبر تكامل القيمة الرئيسية كوشي بـنواة ذات أس متغير $p(x,y)$.
• اللاخطية:
  • الحد المنفرد: $\lambda a(x)u^{-\gamma(x)}$ حيث $0 < \gamma(x) < 1$. يتسبب هذا الحد في جعل الدالة الطاقية غير قابلة للاشتقاق عند الصفر.
  • الحد فائق الخطية: $b(x)u^{r(x)-1}$ حيث $p(x) < r(x) < p^*(x)$ (نمو دون الحرج).
• المعاملات: $\lambda > 0$ هو معامل؛ $a(x)$ و $b(x)$ هما دالتا وزن.
• النطاق: $\Omega \subset \mathbb{R}^N$ هو نطاق محدود ذو حدود ليبشيتز (Lipschitz boundary).

2. المنهجية

يستخدم المؤلفون الطرق التباينية مقترنة بـ نظرية الدرجة الطوبولوجية و تحليل خرائط الألياف (fibering map analysis).

• الإطار الدالي:

  • تُوضع المسألة في فضاء باناخ $X_0(\Omega)$، المعرف كتقاطع فضاء سوبوليف المتغير $W^{1,p(x)}_0(\Omega)$ وفضاء من نوع سوبوليف الكسري $X_0$ المصمم للمؤثر غير المحلي.
  • يتم تعريف دالة الطاقة المرتبطة $J_\lambda$ ولكنها ليست قابلة للاشتقاق من النوع فريشيه (Fréchet differentiable) بسبب الحد المنفرد $u^{-\gamma(x)}$.

• نهج متغايرة نيهي (Nehari Manifold Approach):

  • نظرًا لأن الدالة ليست محدودة من الأسفل على الفضاء بأكمله، يقيد المؤلفون البحث عن النقاط الحرجة ضمن متغايرة نيهي $\mathcal{N}_\lambda = \{ u \in X_0 \setminus \{0\} : \langle J'_\lambda(u), u \rangle = 0 \}$.
  • يقومون بتفكيك متغايرة نيهي إلى ثلاث مجموعات منفصلة بناءً على إشارة المشتقة الثانية لخريطة الألياف $\phi_u(t) = J_\lambda(tu)$:
    • $\mathcal{N}^+_\lambda$: القيم الدنيا المحلية لخريطة الألياف ($\phi''_u(1) > 0$).
    • $\mathcal{N}^-_\lambda$: القيم العليا المحلية لخريطة الألياف ($\phi''_u(1) < 0$).
    • $\mathcal{N}^0_\lambda$: نقاط الانقلاب ($\phi''_u(1) = 0$).

• التعامل مع الأسس المتغيرة:

  • يمثل غياب التجانس بسبب الأسس المتغيرة $p(x), r(x), \gamma(x)$ تحدياً كبيراً.
  • لتحليل الرتابة ووجود النقاط الحرجة لخرائط الألياف، يستخدم المؤلفون نظرية الدرجة الطوبولوجية لتقريب تكاملات الأسس المتغيرة بمجموعات من تكاملات الأس الثابت (باستخدام Lemma 3.1 و 3.2) لإثبات خصائص الرتابة الصارمة المطلوبة لتحليل خريطة الألياف.

• تحليل الانتظام (Regularity Analysis):

  • لإثبات أن الحلول الضعيفة محدودة ($L^\infty$)، يقوم المؤلفون بتكييف طريقة تكرار دي جورجي (De Giorgi iteration method) مقترنة بـ حجة التوطين (localization argument). يتضمن ذلك بناء تسلسل من مجموعات المستويات واستخلاص متباينات تكرارية لمقاييس هذه المجموعات.

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

1. الحداثة في المؤثرات المختلطة: تعد هذه الدراسة واحدة من أولى الدراسات التي تتناول المؤثرات المختلطة (محلية-غير محلية) مع أسس متغيرة في ظل وجود حالات انفرد. ركزت الأعمال السابقة غالباً على الأسس الثابتة أو الحالات المحلية أو غير المحلية البحتة.
2. تطبيق الدرجة الطوبولوجية: تقدم الورقة تقنية مبتكرة تستخدم حجج الدرجة الطوبولوجية للتعامل مع رتابة الدوال التي تتضمن أسساً متغيرة، مما يتغلب على الصعوبة التي تجعل حجج القياس (scaling arguments) التقليدية تفشل في هذا السياق.
3. تفكيك متغايرة نيهي: يثبت المؤلفون بدقة أنه بالنسبة لقيم $\lambda$ الصغيرة بما يكفي، فإن المجموعة $\mathcal{N}^0_\lambda$ تكون فارغة (تحتوي فقط على الدالة الصفرية)، مما يسمح بفصل نظيف للمتغايرة إلى $\mathcal{N}^+_\lambda$ و $\mathcal{N}^-_\lambda$.
4. الانتظام للأسس المتغيرة: يضع المؤلفون حدود $L^\infty$ للحلول لمسائل المؤثرات المختلطة ذات الأسس المتغيرة، وهي نتيجة لم تكن متاحة سابقاً في هذا السياق المحدد.

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

مبرهنة 2.1 (تعدد الحلول):
تحت افتراضات محددة على الأسس ($p(x), r(x), \gamma(x)$) ودوال الوزن، يوجد عتبة $\Lambda > 0$ بحيث لأي $\lambda \in (0, \Lambda)$، تقبل المسألة حلين ضعيفين موجبين متميزين على الأقل:

• حل واحد $u \in \mathcal{N}^+_\lambda$ (مرتبط بقيمة دنيا محلية للدالة الطاقية).
• حل واحد $v \in \mathcal{N}^-_\lambda$ (مرتبط بهندسة نوع "عبور الجبل" - mountain-pass type geometry).

مبرهنة 2.2 (الانتظام):
إذا كانت دوال الوزن تحقق شروط تكامل معينة (على سبيل المثال، $a(x) \in L^\infty$ أو فضاءات ليبش $L^p$ ذات الأس المتغير)، فإن أي حل ضعيف موجب $u$ ينتمي إلى $L^\infty(\Omega)$. وهذا يضمن أن الحلول محدودة جوهرياً.

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

• الدقة الرياضية: تجسر الورقة فجوة في الأدبيات من خلال توسيع نظرية المعادلات الإهليلجية المنفردة لتشمل السياق المعقد للمؤثرات المختلطة ذات النمو المتغير.
• النمذجة الفيزيائية: النتائج ذات صلة بنمذجة الظواهر الفيزيائية حيث تتغير خصائص المواد مكانياً (الأسس المتغيرة) وتتضمن تفاعلات قصيرة المدى (الانتشار) وطويلة المدى (حركة ليفي - Lévy flight). ومن الأمثلة على ذلك ترميم الصور، السوائل الكهروريو-لوكية (electrorheological fluids)، وانتشار السكان البيولوجية.
• التقدم المنهجي: يوفر الجمع بين خرائط الألياف ونظرية الدرجة الطوبولوجية للتعامل مع الأسس المتغيرة إطاراً قوياً يمكن تطبيقه على مسائل إهليلجية أخرى غير متجانسة حيث تواجه التقنيات التباينية القياسية عقبات بسبب غياب ثبات القياس (scaling invariance).

باختصار، نجحت الورقة في إثبات وجود حلول متعددة لفئة معقدة للغاية من المعادلات الإهليلجية، وقدمت نتائج انتظام أساسية، مما يعزز فهم المسائل المختلطة (محلية-غير محلية) في فضاءات الأسس المتغيرة.