Ground State Solutions For Local-Nonlocal Shrodinger Equations In the Presence Of Two Critical Exponents

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

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

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

$$-\lambda \Delta u + \mu (-\Delta)^s u = f(u), \quad x \in \mathbb{R}^N$$

حيث:

• $N \geq 3$ و $0 < s < 1$.
• $\Delta$ هو مؤثر لابلاتس الكلاسيكي (مؤثر محلي).
• $(-\Delta)^s$ هو مؤثر لابلاتس الكسري (مؤثر غير محلي).
• التعبير غير الخطي $f(u)$ يحتوي على أسين حرجين في آن واحد: أس سوبوليف الحرج الكلاسيكي $2^* = \frac{2N}{N-2}$ وأس سوبوليف الكسري الحرج $2^*_s = \frac{2N}{N-2s}$.

تحديداً، يركز المؤلفون على الحالة التي يكون فيها التعبير غير الخطي عبارة عن مزيج من هذين الحدين الحرجين وحدّ تحت حرج:
$$f(u) = |u|^{2^*_s - 2}u + \beta |u|^{p-2}u + |u|^{2^* - 2}u$$
مع $2^*_s < p < 2^*$ و $\beta > 0$.

التحدي:
بينما يُعد وجود الحلول للمعادلات المحلية الصرفة ($\mu=0$) أو غير المحلية الصرفة ($\lambda=0$) ذات الأسس الحرجة أمراً مفهوماً جيداً (عبر فقاعات أوبين-تالنتي أو نتائج ليب)، فإن الحالة المختلطة تفرض صعوبة فريدة. غالباً ما تفشل الطرق التباينية القياسية لأن وجود أسين حرجين متميزين يخلق وضعاً "مزدوج الحرج" حيث تُفقد خاصية المتراصة (compactness) بطريقة معقدة لا يمكن حلها بالتقنيات الموجودة للأسس الحرجة المفردة.

2. المنهجية

يستخدم المؤلفون نهجاً تباينياً مقترناً بتقنيات جديدة في التحليل الدالي للتغلب على فقدان المتراصة.

أ. الإطار الدالي

توضع المسألة في فضاء سوبوليف مختلط $X$، المعرف كإتمام لـ $C_0^\infty(\mathbb{R}^N)$ تحت المعيار:
$$\|u\|_X^2 = \int_{\mathbb{R}^N} |\nabla u|^2 dx + \iint_{\mathbb{R}^N \times \mathbb{R}^N} \frac{|u(x)-u(y)|^2}{|x-y|^{N+2s}} dx dy$$
هذا الفضاء ينغمس باستمرار في كل من $D^{1,2}(\mathbb{R}^N)$ و $D^{s,2}(\mathbb{R}^N)$، وبالتالي في $L^t(\mathbb{R}^N)$ لـ $t \in [2^*_s, 2^*]$.

ب. تعميم نظرية ترجمة ليب

الابتكار المنهجي الجوهري هو نسخة معممة من نظرية ترجمة ليب.

• المشكلة القياسية: في المسائل الحرجة، قد يفقد تسلسل "باليس-سمال" (Palais-Smale) المحدود كتلته عند اللانهاية (التلاشي) أو يتركز عند نقطة (الفقاعة). عادة ما تتعامل حجج الترجمة القياسية مع أس حرج واحد.
• الابتكار: يثبت المؤلفون أنه إذا كان للتسلسل المحدود $\{u_n\}$ في $X$ كتلة غير متلاشية لكل من معايير $L^{2^*_s}$ و $L^{2^*}$، فإنه يوجد تسلسل من الترجمات $\{x_n\}$ بحيث يتقارب التسلسل المترجم تقارباً قوياً إلى حد غير صفري في $L^2_{loc}$.
• التقنية: يتم تحقيق ذلك باستخدام فضاءات موراي وحجة استكمال دقيقة (التمهيدية 3.2) تربط بين معايير سوبوليف الكسرية والمحلية. يسمح هذا لهم بالتحكم في سلوك "التركيز" للتسلسل في آن واحد لكل من الأسس الحرجة.

ج. الإطار التبايني

• هندسة ممر الجبل (Mountain Pass Geometry): يُظهر أن الدالة الطاقية $I(u)$ تمتلك هندسة ممر الجبل.
• متشعب نيوهاري (Nehari Manifold): يقيد المؤلفون الدالة الطورية على متشعب نيوهاري $\mathcal{N} = \{u \in X \setminus \{0\} : \langle I'(u), u \rangle = 0\}$. ويثبتون أن أدنى قيمة للطاقة على هذا المتشعب تقابل مستوى ممر الجبل.
• استعادة المتراصة: من خلال إثبات أن مستوى ممر الجبل $c$ يقع تماماً تحت عتبة حرجة $c^*$ (المحددة بواسطة أفضل ثوابت سوبوليف)، يضمنون أن تسلسل (PS) لا يفقد المتراصة بسبب الأسس الحرجة.

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

النظرية 1.2: وجود حلول الحالة الأرضية

• النتيجة: يوجد عتبة $\bar{\beta} > 0$ بحيث لأي $\beta > \bar{\beta}$، تقبل المعادلة حلاً أرضياً شعاعياً.
• الأهمية: يحل هذا "الوضع غير المسبوق" لأسين حرجين في إطار مؤثر مختلط. تعتمد النتيجة على كون المعامل $\beta$ (معامل الحد تحت الحرج) كبيراً بما يكفي لإحداث اضطراب في مشهد الطاقة والسماح بوجود حل تحت عتبة الطاقة الحرجة.
• الإيجابية والتماثل: يثبت المؤلفون أيضاً أنه يمكن اختيار حل الحالة الأرضية ليكون غير سالب ومتماثلاً شعاعياً (باستخدام متباينات إعادة الترتيب التناقصية المتماثلة).

النظرية 1.3: انتظام $L^\infty$

• النتيجة: تحت شرط نمو عام على التعبير غير الخطي $f(u)$ (تحديداً $|f(t)t| \leq C(t^{2^*_s} + t^{2^*})$)، ينتمي أي حل غير سالب $u$ إلى $L^\infty(\mathbb{R}^N)$.
• الطريقة: يستخدم الإثبات تقنية تكرار موزر (Moser iteration) المكيفة للمؤثر المختلط المحلي-غير المحلي. يقوم المؤلفون ببناء دالة اختبار مبتورة $u_L$ وتكرار معايير $L^p$ لإثبات المحدودية. هذا أمر غير بديهي لأن الحد غير المحلي $(-\Delta)^s$ لا يحقق نفس مبادئ الحد الأقصى المحلية التي يحققها لابلاتس الكلاسيكي.

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

1. حل ظاهرة جديدة: تعالج الورقة فجوة في الأدبيات المتعلقة بمعادلات PDE ذات مؤثرات مختلطة ونمو حرج متعدد. لم تكن الطرق السابقة للأسس الحرجة المفردة (المحلية أو غير المحلية) كافية لهذا السيناريو المقترن.
2. أداة تحليلية مبتكرة: يعد تعميم نظرية ترجمة ليب للتعامل مع التركيز المتزامن لمعيارين حرجين مختلفين مساهمة نظرية كبيرة. فهي توفر مخططاً للتعامل مع مسائل أخرى تتضمن مؤثرات مختلطة ونمواً حرجياً متعددًا.
3. التطبيقات: تمثل المعادلة النماذج الفيزيائية أو البيولوجية حيث يحدث كل من الانتشار الكلاسيكي (المحلي) والقفزات بعيدة المدى (غير المحلية) في آن واحد، مثل ديناميكيات الجماعات مع استراتيجيات البحث عن الطعام المختلطة أو انتشار الأوبئة مع قيود إقليمية وعالمية.
4. نظرية الانتظام: إن إثبات حدود $L^\infty$ للحلول في المعادلات الحرجة المختلطة يوسع نظرية الانتظام للمؤثرات الكسرية والمختلطة، وهو أمر بالغ الأهمية لمزيد من التحليل النوعي (مثل الوحدانية أو السلوك التقاربي).

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