On the asymptotics of ground states for a boundary value problem for the equation $-\varepsilon \Delta_p u = a|u|^{q-2}u - b|u|^{\gamma-2}u$

ملخص تقني: التقاربات التقاربية للحالات الأرضية لـ $p$-Laplacian ذي الاضطراب المنفرد مع حدود متنافسة فوق خطية

بيان المسألة
تتقصى هذه الورقة مسألة ديراكلي (Dirichlet problem) ذات الاضطراب المنفرد لـ $p$-Laplacian مع حدود متنافسة فوق خطية:
$$\begin{cases} -\varepsilon \Delta_p u = a(x)|u|^{q-2}u - b(x)|u|^{\gamma-2}u, & x \in \Omega, \\ u = 0, & x \in \partial\Omega, \end{cases}$$
حيث $\Omega \subset \mathbb{R}^N$ هو نطاق متصل محدود بحدود من الفئة $C^1$، و $1 < p < q < \gamma < p^*$ (حيث $p^*$ هو أس سوبوليف الحرج)، و $\varepsilon > 0$ هو معامل صغير. المعاملات تحقق $a, b \in L^\infty(\Omega)$، و $a \geq 0$، و $a \not\equiv 0$، و $b(x) \geq \sigma_b > 0$ في كل مكان تقريباً.

تركز الدراسة على وجود الحلول الضعيفة في فضاء سوبوليف $W^{1,p}_0(\Omega)$، وتحديداً السلوك التقاربي لـ الحالات الأرضية (المعدِّلات العالمية لدالة الطاقة) عندما تؤول $\varepsilon \to 0^+$. وعلى عكس العديد من مسائل الاضطراب المنفرد التي تُظهر ظواهر تركيز (مثل النبضات أو الفقاعات)، تتضمن هذه المسألة تنافساً بين حدين فوق خطيين حيث يتم التحكم في السلوك الحدي عبر توازن جبري نقطي بدلاً من مسألة قيم حدية تفاضلية إهليلجية.

المنهجية
يستخدم المؤلفون طريقة كسر رايلي غير الخطية (nonlinear Rayleigh quotient method)، وهي نهج متغير تم تطويره في أعمال سابقة [18, 21]. يتضمن جوهر المنهجية ما يلي:

1. دالة الطاقة: يتم صياغة المسألة كبحث عن النقاط الحرجة للدالة:
   $$\Phi_\varepsilon(u) = \frac{\varepsilon}{p} \int_\Omega |\nabla u|^p dx - \frac{1}{q} \int_\Omega a|u|^q dx + \frac{1}{\gamma} \int_\Omega b|u|^\gamma dx.$$
2. كسور رايلي المعممة: تم تقديم قيمتين حرجتين للمعامل $\varepsilon^*$ و $\varepsilon^*_e$ عبر كسور رايلي غير خطية معممة معرفة على المجموعة $D = \{u \in W^{1,p}_0(\Omega) \setminus \{0\} : \int_\Omega a|u|^q > 0\}$.
   • $\varepsilon^*$ ترتبط بـ متشعب نيهاري (Nehari manifold) (حيث تتلاشى مشتقة الدالة).
   • $\varepsilon^*_e$ ترتبط بـ مستوى الطاقة الصفرية (حيث تتلاشى قيمة الدالة).
     يتم اشتقاق هاتين القيمتين كقيم عليا لدوال محددة تتضمن معايير (norms) التكاملات الموزونة للتدرج و $L^q$ و $L^\gamma$.
3. التحليل المتغير: يتم إثبات وجود الحلول باستخدام نظرية الممر الجبلي (Mountain Pass Theorem) وحجج التعديم المباشر. ويتم إثبات عدم وجود حلول للقيم الكبيرة لـ $\varepsilon$ عن طريق التناقض باستخدام خصائص كسر رايلي.
4. التحليل التقاربي: لدراسة الحد $\varepsilon \to 0^+$، يحلل المؤلفون تقارب الحالات الأرضية $u_\varepsilon$ إلى البروفيل الصريح $\bar{u}_0(x) = (a(x)/b(x))^{1/(\gamma-q)}$. يتضمن ذلك إثبات المحدودية في $L^\gamma(\Omega)$، وإثبات التقارب في القياس عبر التقعر الصارم للجهد النقطي، وتطبيق نظرية فيتالي للتقارب القوي في $L^r$.

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

• عتبات الوجود وعدم الوجود:
  تحدد الورقة عتبات حادة لمعامل $\varepsilon$:

  • عدم الوجود: إذا كان $\varepsilon > \varepsilon^*$، فإن المسألة (1.1) لا تقبل أي حلول ضعيفة غير تافهة.
  • وجود الحالة الأرضية: بالنسبة لـ $0 < \varepsilon < \varepsilon^*_e$، يوجد على الأقل حالة أرضية موجبة واحدة $u_\varepsilon$. يحقق هذا الحل $\Phi_\varepsilon(u_\varepsilon) < 0$ وهو مُعدِّل محلي للدالة المقيدة على متشعب نيهاري.
  • وجود حل ثانٍ: بالنسبة لنفس النطاق $0 < \varepsilon < \varepsilon^*_e$، يوجد حل ضعيف موجب ثانٍ $v_\varepsilon$ بطاقة موجبة ($\Phi_\varepsilon(v_\varepsilon) > 0$)، يتم الحصول عليه عبر نظرية الممر الجبلي.
  • الانتظام: يُظهر كلا الحلين أنهما محليان من الفئة $C^{1,\kappa}$ في داخل $\Omega$.

• السلوك التقاربي للحالات الأرضية:
  تحت الافتراض الإضافي أن $a(x) \geq \sigma_a > 0$ (موجب تماماً)، تتميز النتيجة الرئيسية بتوصيف حد الحالات الأرضية عندما تؤول $\varepsilon \to 0^+$:

  • الحد النقطي: تتقارب الحالات الأرضية $u_\varepsilon$ في القياس إلى الدالة الصريحة:
    $$\bar{u}_0(x) = \left( \frac{a(x)}{b(x)} \right)^{1/(\gamma-q)}.$$
  • أنماط التقارب: التقارب قوي في $L^r(\Omega)$ لـ $1 \leq r < \gamma$ و ضعيف في $L^r(\Omega)$ لـ $1 < r \leq \gamma$.
  • المعادلة الحدية: يحقق الحد $\bar{u}_0$ التوازن الجبري $a(x)|u|^{q-2}u - b(x)|u|^{\gamma-2}u = 0$ في كل مكان تقريباً، مما يستبدل فعلياً المعادلة التفاضلية في الحد المنفرد.

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

يعالج العمل صعوبة "فقدان الرتبة التفاضلية" في الحد $\varepsilon \to 0^+$، حيث لا تعود الشروط الحدية مشفرة في المعادلة الجبرية الحدية. ويوضح المؤلفون أن آلية اختيار الحالة الأرضية للمسألة الإهليلجية الأصلية تختار بشكل فريد الفرع الموجب الكامل $\bar{u}_0$ من بين استمرارية الحلول الجبرية الممكنة، بشرط أن يكون $a(x)$ موجباً تماماً.

تُقدم النتائج كتطبيق صارم لـ طريقة كسر رايلي غير الخطية على فئة محددة من المسائل البارامترية شبه الخطية (quasilinear)، مما يوسع فهم مخططات التشعب والمعاملات القصوى في سياق التنافس فوق الخطي ($1 < p < q < \gamma$). كما تشير الورقة إلى أن هذه النتائج تترجم مباشرة إلى صيغ مكافئة للمسألة مع المعاملات $\lambda$ و $\nu$ (كما هو موضح في الاستنتاج 1.2)، مما يوفر صورة كاملة لفروع الحل حتى العتبات الحرجة.