Exact number of positive solutions and existence of sign-changing solutions with prescribed mass for NLS on bounded domains

إليك ملخص تقني مفصل للورقة البحثية بعنوان "العدد الدقيق للحلول الموجبة ووجود الحلول متغيرة الإشارة بكتلة محددة لمعادلة شرويدنجر غير الخطية (NLS) على النطاقات المحدودة" من إعداد لينجي سونغ وونمينغ زو.

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

يتقصى المؤلفان معادلة شرويدنجر غير الخطية (NLS) على نطاق محدود $\Omega \subset \mathbb{R}^N$ مع قيد كتلة $L^2$ محددة. تُصاغ المسألة في إيجاد أزواج $(u, \lambda) \in H^1_0(\Omega) \times \mathbb{R}$ تحقق:
$$\begin{cases} -\Delta u + \lambda u = |u|^{p-2}u & \text{في } \Omega, \\ u = 0 & \text{على } \partial\Omega, \\ \int_{\Omega} |u|^2 dx = \mu, \end{cases}$$
حيث $\mu > 0$ ثابت محدد (الكتلة)، و$\lambda$ هو مضاعف لاجرانج مجهول. الأس $p$ يحقق $2 < p < 2^*$ (تحت حرج لـ Sobolev)، حيث $2^* = \frac{2N}{N-2}$ لـ $N \ge 3$ و $2^* = \infty$ لـ $N=1,2$.

تركز الدراسة على ثلاثة أنظمة بناءً على أس الحرج لـ $L^2$ وهو $p_c = 2 + \frac{4}{N}$:

1. دون حرج لـ $L^2$ (Subcritical): $2 < p < p_c$.
2. حرج لـ $L^2$ (Critical): $p = p_c$.
3. فوق حرج لـ $L^2$ (Supercritical): $p_c < p < 2^*$.

الأهداف الرئيسية هي:

• تحديد العدد الدقيق للحلول الموجبة للكتلة الصغيرة $\mu$ في الحالة فوق الحرجة على الكرة الوحدة $B_1$.
• إثبات وجود وتعدد الحلول متغيرة الإشارة (الحلول العقدية/nodal solutions) بكتلة محددة عبر جميع الأنظمة.
• تحليل السلوك التقاربي للطاقة $E(u)$ ومضاعف لاجرانج $\lambda$ عندما $\mu \to 0^+$ و $\mu \to +\infty$.

2. المنهجية

يستخدم المؤلفان مزيجاً متطوراً من الطرق التباينية، والأدوات الطوبولوجية، وتحليل الانفجار (blow-up analysis). تشمل المكونات المنهجية الرئيسية ما يلي:

• نظرية الجينوس (Genus Theory): تُستخدم لإثبات تعدد الحلول متغيرة الإشارة. من خلال بناء مجموعات متناظرة ذات "جينوس" عالٍ على كرة $L^2$ المعطاة $S_\mu(\Omega)$، يقومون بتعريف مستويات التدرج (minimax levels) لإيجاد النقاط الحرجة.
• تقنيات التدفق الهابط وتقنية ثبات التدفق (Descending Flow Techniques & Flow Invariance): ابتكار جوهري في هذا العمل. يطور المؤلفان تدفقاً شبه تدرجي (pseudo-gradient flow) على المتشعب $S_\mu(\Omega)$ يحافظ على ثبات مجموعات فرعية محددة (مخاريط الدوال الموجبة/السالبة). يسمح لهم هذا بإثبات أن النقاط الحرجة التي يتم الحصول عليها عبر طرق التدرج (minimax) هي بالفعل متغيرة الإشارة (أي أنها لا تتقارب نحو حلول موجبة).
• المسائل التقريبية وحيلة الرتابة (Monotonicity Trick): للتعامل مع فقدان التراص (compactness) في الحالة فوق الحرجة، يقدمون بارامتراً $\tau \in [1/2, 1]$ في اللاخطية ($|u|^{p-2}u \to \tau|u|^{p-2}u$). ويستخدمون حيلة الرتابة لـ "جينجان" لإيجاد متتاليات "باليس-سمول" (Palais-Smale) محدودة لمعظم قيم $\tau$.
• تحليل مؤشر مورس (Morse Index Analysis): يستخدمون محدودية مؤشر مورس للحلول للتحكم في السلوك التقاربي لمضاعف لاجرانج $\lambda$ والطاقة $E(u)$ عبر تحليل الانفجار.
• هندسة نقطة السرج (Saddle-Point Geometry): في الحالة فوق الحرجة، يعممون هندسة "ممر الجبل" (Mountain Pass) إلى بنية نقطة سرج لإيجاد حلول ذات طاقة كبيرة.
• التحليل الدقيق على الكرة الوحدة: بالنسبة للعد الدقيق للحلول الموجبة، يقومون بتحليل دقيق لمنحنى الحلول الموجبة المعلم بـ $\lambda$ على الكرة الوحدة $B_1$، باستخدام حجج القياس (scaling) ونتائج الوحدانية.

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

أ. تعدد الحلول متغيرة الإشارة (Theorem 1.1)

تقدم الورقة نظرية وجود شاملة للحلول متغيرة الإشارة بكتلة محددة:

• الحالة دون الحرجة ($2 < p < p_c$): لأي $\mu > 0$، توجد عدد لا نهائي من الحلول متغيرة الإشارة. تتجه طاقاتها نحو $+\infty$ مع زيادة المؤشر. عندما $\mu \to 0^+$، تتجه الطاقة نحو 0، و $-\lambda$ تتجه نحو القيمة الذاتية الأولى لـ Dirichlet لـ $-\Delta$. وعندما $\mu \to +\infty$، تتجه الطاقة نحو $-\infty$ و $\lambda \to +\infty$.
• الحالة الحرجة ($p = p_c$): لـ $\mu > 0$ صغيرة بما يكفي، توجد عدد لا نهائي من الحلول متغيرة الإشارة مع سلوكيات تقاربية مشابهة للحالة دون الحرجة عند $\mu \to 0^+$.
• الحالة فوق الحرجة ($p_c < p < 2^*$): لأي عدد صحيح $j$، يوجد عتبة $\mu^*_{p,j}$ بحيث أنه لـ $0 < \mu < \mu^*_{p,j}$، يوجد على الأقل $j$ من الحلول المتمايزة متغيرة الإشارة. عندما $\mu \to 0^+$، تتجه طاقاتها نحو 0 و $-\lambda$ تتجه نحو القيم الذاتية لـ Dirichlet.

الأهمية: هذه هي أول نتيجة تثبت وجود عدد لا نهائي من الحلول متغيرة الإشارة بكتلة محددة على النطاقات المحدودة. كانت الأعمال السابقة غالباً ما تجد حلاً واحداً فقط أو تتطلب كتلة تقع في نطاق لا توجد فيه حلول موجبة.

ب. العدد الدقيق للحلول الموجبة (Theorem 1.2)

بالتركيز على الكرة الوحدة $B_1$ في النظام فوق الحرج ($p_c < p < 2^*$):

• للكتلة الصغيرة $\mu > 0$ بما يكفي، تقبل المسألة حلين موجبين بالضبط، يُرمز لهما بـ $u_{\mu, \tau}$ و $\tilde{u}_{\mu, \tau}$.
• الحل 1 (طاقة منخفضة): $E(u_{\mu, \tau}) \to 0$ و $\lambda_{\mu, \tau} \to -\lambda_1(B_1)$ عندما $\mu \to 0^+$.
• الحل 2 (طاقة عالية): $E(\tilde{u}_{\mu, \tau}) \to +\infty$ و $\tilde{\lambda}_{\mu, \tau} \to +\infty$ عندما $\mu \to 0^+$.
• هذه النتائج تتحقق بشكل موحد بالنسبة للبارامتر $\tau \in [1/2, 1]$.

ج. وجود حلول عالية الطاقة متغيرة الإشارة (Theorem 1.4)

في الحالة فوق الحرجة على الكرة الوحدة $B_1$:

• يوجد حل متغير الإشارة $u_{sc, \mu}$ لـ $\mu$ صغيرة بحيث تتجه كل من الطاقة و مضاعف لاجرانج إلى $+\infty$ عندما $\mu \to 0^+$.
• تعتمد هذه النتيجة على العد الدقيق للحلول الموجبة (Theorem 1.2) لتمييز الحل متغير الإشارة عن الحلول الموجبة باستخدام تقنية التدفق الهابط.

4. الابتكارات التقنية

1. أداة مجردة للتمركز (Localization): صاغ المؤلفون إطاراً مجرداً لتمركز متتاليات "باليس-سمول" المحدودة ذات معلومات مؤشر مورس، مما يضمن أن الحلول الموجودة هي متغيرة الإشارة. هذا يتغلب على الصعوبة المتمثلة في أن طرق التدرج (minimax) القياسية غالباً ما تعطي حلولاً موجبة أو حلولاً تفقد معلومات الإشارة في النهاية.
2. التدفق شبه التدرسي (Pseudo-Gradient Flow): قاموا بتعريف مؤثر شبه تدرسي محدد $V = \text{Id} - G$ (حيث $G$ يحل معادلة تفاضلية تفاضلية خطية مع مضاعف لاجرانج محدد) لبناء تدفق هابط. هذا التدفق يحافظ على ثبات مجموعة الدوال متغيرة الإشارة ($S^*(\delta)$)، وهي خاصية لا يضمنها التدفق التدرسي القياسي عندما يمكن أن يكون $\lambda$ سالباً.
3. الوحدوية في $\tau$: أظهر أن تحليل العدد الدقيق للحلول الموجبة مستقل عن البارامتر $\tau$ في اللاخطية، وهو أمر بالغ الأهمية للحجة الحدية المستخدمة لإيجاد الحل متغير الإشارة عالي الطاقة.

5. الأهمية

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

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