Nonlinear Schrödinger equations with a critical, inverse-square potential

ملخص تقني: معادلات شرودنغر غير الخطية مع جهد تربيعي عكسي حرج

بيان المسألة
تتقصى هذه الورقة البحثية وجود حلول الموجات الموقوفة لمعادلة شرودنغر غير الخطية (NLS) التي تتميز بجهد تربيعي عكسي حرج (جهد هاردي) وغير خطية دورية. المعادلة المحددة قيد الدراسة هي:
$$-\Delta u + V(x)u - \frac{(N-2)^2}{4|x|^2}u = f(x, u), \quad x \in \mathbb{R}^N \setminus \{0\}$$
حيث $N \ge 3$. ويُفترض أن الجهد $V(x)$ وغير الخطية $f(x, u)$ دوريان بالنسبة لـ $\mathbb{Z}^N$. معامل الحد المنفرد هو معامل حرج، وهو مساوٍ للثابت الأمثل في متباينة هاردي، $\mu = \frac{(N-2)^2}{4}$. وتخضع اللاخطية $f$ لشروط كاراثيودوري (Carathéodory)، وهي فائقة الخطية وتظهر نمواً دون الحرج (القدر $p \in (2, 2^*)$، حيث $2^* = \frac{2N}{N-2}$).

المنهجية والإطار الوظيفي
يستخدم المؤلفون الطرق التباينية لإيجاد النقاط الحرجة للدالة الوظيفية المرتبطة بالطاقة. ويتمثل التحدي الرئيسي الذي تمت معالجته في غياب التباين الانتقالي الناتج عن حد الجهد المنفرد $\frac{1}{|x|^2}$، مما يمنع التطبيق المباشر لحجج التراص القياسية المستخدمة في مسائل NLS الدورية.

1. الفضاء الوظيفي غير القياسي ($X^1(\mathbb{R}^N)$):
   بسبب المعامل الحرج في متباينة هاردي، فإن معيار $H^1(\mathbb{R}^N)$ القياسي لا يكافئ معيار الطاقة الطبيعي للمسألة. عرّف المؤلفون الفضاء $X^1(\mathbb{R}^N)$ باعتباره إتمام $H^1(\mathbb{R}^N)$ تحت المعيار:
   $$\|u\|_{X^1}^2 = \int_{\mathbb{R}^N} \left( |\nabla u|^2 - \frac{(N-2)^2}{4|x|^2}u^2 + u^2 \right) dx$$
   هذا الفضاء هو فضاء هيلبرت يندمج باستمرار في $H^s(\mathbb{R}^N)$ لـ $s \in (0, 1)$ وفي $L^t(\mathbb{R}^N)$ لـ $t \in [2, 2^*)$. ويستخدم المؤلفون معياراً محدداً $\|u\|^2 = [u]^2 + \int V(x)u^2 dx$، وهو مكافئ لـ $\|\cdot\|_{X^1}$ بموجب افتراض أن $V$ له حد سفلي جوهري موجب.

2. الإطار التبايني:
   الدالة الوظيفية للطاقة $J: X^1(\mathbb{R}^N) \to \mathbb{R}$ معرفة بـ:
   $$J(u) = \frac{1}{2}\|u\|^2 - \int_{\mathbb{R}^N} F(x, u) dx$$
   حيث $F$ هي الأصل لـ $f$. يستخدم المؤلفون نظرية مجردة (بناءً على [1]) لتوليد متتاليات سيرامي (Cerami sequences) على منชัน نيهاي (Nehari manifold). تضمن الافتراضات المفروضة على $f$ (فائقة الخطية، النمو دون الحرج، ورتابة $f(x,u)/|u|$) أن الدالة الوظيفية تحقق الشروط الهندسية المطلوبة لوجود مثل هذه المتتاليات.

3. تفكيك المظهر (Profile Decomposition):
   بما أن شروط باليه-سمال (Palais-Smale) وسيرامي (Cerami) للتراص لا تتحقق بسبب غياب التباين الانتقالي في $X^1(\mathbb{R}^N)$، فقد طور المؤلفون تفكيك مظهر جديداً متكيفاً مع هذا الهيكل المحدد.

• أثبتوا أن أي متتالية سيرامي محدودة $(u_n)$ في $X^1(\mathbb{R}^N)$ يمكن تفكيكها إلى حد ضعيف $u_0$ (حل للمعادلة الأصلية) وعدد محدود من "الفقاعات" $u_i$ (حلول للمعادلة الحدية بدون الجهد المنفرد، والمعرفة على $H^1(\mathbb{R}^N)$).
• وبشكل حاسم، أثبتوا أن حد الجهد المنفرد يتلاشى في الحد النهائي بالنسبة للفقاعات المزاحة. ومن خلال مقارنة مستويات الطاقة للدالة الوظيفية الأصلية $J$ والدالة الوظيفية الحدية $J_0$ (المرتبطة بالمعادلة $-\Delta u + V(x)u = f(x,u)$)، أظهروا أن الفقاعات غير البديهية لا يمكن أن توجد عند مستوى طاقة الحالة الأرضية.

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

• وجود الحالة الأرضية: تثبت النتيجة الرئيسية (Theorem 1.1) وجود حل حالة أرضية للمعادلة (1.2) تحت الافتراضات (V) و (F1)–(F4).
• تفكيك مظهر جديد: تقدم الورقة بحثياً نظرية تفكيك مظهر معقدة تقنياً (Theorem 4.4) مصممة خصيصاً للفضاء $X^1(\mathbb{R}^N)$. يعالج هذا التفكيك طبيعة عدم التباين الانتقالي للجهد المنفرد من خلال إظهار أن أي حد ضعيف لمتتالية مزاحة يجب أن يكون نقطة حرجة للدالة الوظيفية الحدية المعرفة فقط على $H^1(\mathbb{R}^N)$.
• استعادة التراص: من خلال مقارنة مستويات الطاقة ($c$ للمسألة الأصلية و $c_0$ للمسألة الحدية)، أظهر المؤلفون أن $c < c_0$. هذه المتباينة تجبر عدد الفقاعات غير البديهية ($m$) في تفكيك المظهر على أن يكون صفراً، مما يؤدي إلى استعادة التقارب القوي لمتتالية سيرامي نحو حالة أرضية.

الأهمية والادعاءات
تدعي الورقة حل مسألة الوجود لمعادلات NLS مع جهد تربيعي عكسي حرج في سياق دوري، وهي حالة تفرض صعوبات كبيرة مقارنة بالحالات دون الحرجة (حيث $\mu < \frac{(N-2)^2}{4}$). يشير المؤلفون إلى أن الثابت الحرج يدمر التكافؤ بين المعيار الطبيعي ومعيار $H^1$ الكلاسيكي ويكسر التباين الانتقالي، مما يجعل أدوات التراص القياسية غير قابلة للتطبيق.

تكمن الأهمية في تطوير تفكيك مظهر جديد متكيف مع البنية غير المتباينة انتقالياً لـ $X^1(\mathbb{R}^N)$. يسم هذا النهج المؤلفين من استبعاد الحدود الضعيفة غير البديهية عبر الاستفادة من فجوة الطاقة بين المسألتين المنفردة وغير المنفردة. يبني هذا العمل على دراسات سابقة حول جهود هاردي دون الحرجة (مثل [13]، [15]) ودراسة معادلة بريستوريكي-ليونز (Berestycki–Lions) في هذا الإطار الوظيفي المحدد (مثل [3]). لا تقترح الورقة تطبيقات فيزيائية جديدة، بل تقدم إطاراً رياضياً صارماً لحل هذه الفئة المحددة من المسائل الإهليلجية المنفردة.