The best constant in the G-N inequality for the mixed local and Nonlocal Laplacian

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

1. بيان المشكلة

تتناول الورقة تحديد أفضل ثابت ($C_{N,p,s}$) لمتراجحة غالياردو-نيرين التي تتضمن مؤثراً مختلطاً محلياً وغير موضعي. وتحديداً، يدرس المؤلفان المتراجحة للدوال $u$ في فضاء سوبولف المختلط $E$:

$$\int_{\mathbb{R}^N} |u|^p dx \leq C_{N,p,s} \|u\|_{D^{s,2}(\mathbb{R}^N)}^{\frac{2N-p(N-2)}{2(1-s)}} \|u\|_{D^{1,2}(\mathbb{R}^N)}^{\frac{p(N-2s)-2N}{2(1-s)}}$$

حيث أن:

• $N \geq 3$، و $s \in (0, 1)$، و $p \in (2^*_s, 2^*)$.
• $2^* = \frac{2N}{N-2}$ هو أس سوبولف الحرج.
• $2^*_s = \frac{2N}{N-2s}$ هو أس سوبولف الحرج الكسري.
• تقابل المعايير (norms) فضاء سوبولف المتجانس الكسري $D^{s,2}$ (المرتبط بمؤثر لابلاس الكسري $(-\Delta)^s$) وفضاء سوبولف $D^{1,2}$ القياسي (المرتبط بمؤثر لابلاس $\Delta$).

المعادلة الأساسية المرتبطة بمعادلة أويلر-لاغرانج لهذه المتراجحة هي:
$$-\Delta u + (-\Delta)^s u = |u|^{p-2}u, \quad x \in \mathbb{R}^N. \quad (P)$$

2. المنهجية والتحديات

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

التحديات الرئيسية:

1. الانتظام ومتطابقة بوهوزايف (Pohozaev Identity): في المسائل القياسية (مثل لابلاس الصرف أو لابلاس الكسري الصرف)، عادة ما يساعد وجود حد $L^2$ (الكتلة) في المعادلة في إثبات الانتظام، مما يسمح للحلول الضعيفة باستيفاء متطابقة بوهوزايف. في المعادلة (P)، يغيب حد $L^2$. وبناءً على ذلك، يصعب إثبات انتظام الحلول الضعيفة، مما يجعل من غير الواضح ما إذا كانت جميع الحلول الضعيفة تستوفي متطابقة بوهوزايف.
2. الوحدانية وعدم التدهور (Uniqueness and Non-degeneracy): تعتبر وحدانية حلول الحالة الأرضية (modulo symmetries) وعدم تدهور المؤثر الخطي للمؤثرات المختلطة من المسائل المفتوحة. لا يمكن تطبيق البراهن القياسية التي تعتمد على وحدانية حالات الأرض (مثل طريقة وينستينت للمؤثر المحلي الصرف) بشكل مباشر.
3. ربط الأمثلات بحالات الأرض: إن إقامة علاقة مباشرة بين "المُثيل" (optimizer) للمتراجحة وحل الحالة الأرض للمعادلة (P) أمر غير بديهي بسبب غياب نتائج الانتظام والوحدانية المذكورة أعلاه.

النهج الابتكاري:
للتغلب على هذه الصعوبات، يستخدم المؤلفان منهج متشعب نيهاري-بوهوزايف (Nehari-Pohozaev manifold method).

• يعرّف المؤلفان متشعب نيهاري $\mathcal{N}$ (حيث ينعدم مشتق دالة الطاقة في اتجاه الدالة).
• يعرّف المؤلفان متشعب نيهاري-بوهوزايف $\mathcal{M}$ (حيث تتحقق متطابقة بوهوزايف).
• بدلاً من افتراض أن جميع الحلول الضعيفة تستوفي متطابقة بوهوزايف، يثبت المؤلفان وجود حل محدد في $\mathcal{M}$ يقلل الطاقة إلى أدنى حد.
• يقوم المؤلفان بتوسيع مبرهنة ليب (Lieb's translation theorem) لتشمل فضاء سوبولف المختلط $E$ للتعامل مع فقدان التراص (lack of compactness) في $\mathbb{R}^N$.

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

تؤسس الورقة أربعة مبرهنات رئيسية:

المبرهنة 1.1: وجود أفضل ثابت والمُثيل

• تثبت وجود أفضل ثابت موجب $C_{N,p,s}$.
• تثبت وجود مُثيل (optimizer) موجب شعاعي $u \in E$.
• توضح أن نسخة مُقاسة من هذا المُثيل، $Q = \lambda_1 u(\lambda_2 x)$، هي حل ضعيف للمعادلة (P).
• تستنتج علاقات صريحة بين معايير المُثيل وأفضل ثابت.

المبرهنة 1.2: وجود حلول الحالة الأرضية

• تثبت أن المعادلة (P) تمتلك حل حالة أرض شعاعي $\Phi \in E$.
• يتم إيجاد هذا الحل عن طريق تقليل دالة الطاقة $I(u)$ على متشعب نيهاري $\mathcal{N}$.
• مستوى الطاقة هو $c = \inf_{u \in \mathcal{N}} I(u)$.

المبرهلة 1.3: وجود حلول تستوفي متطابقة بوهوزايف

• تثبت وجود حل $\Psi \in E$ يستوفي متطابقة بوهوزايف ($P(\Psi)=0$).
• يتم إيجاد هذا الحل عن طريق تقليل الطاقة على متشعب نيهاري-بوهوزايف $\mathcal{M}$.
• وبشكل حاسم، تعمل هذه النتيجة كجسر: فهي تؤكد أن حل الحالة الأرض لمعادلة المؤثر المختلط يستوفي بالفعل متطابقة بوهوزايف، رغم غياب نتائج الانتظام العامة.

المبرهنة 1.4: صيغة صريحة لأفضل ثابت

• تجمع النتائج السابقة لتقديم صيغة صريحة لأفضل ثابت $C_{N,p,s}$ بدلالة طاقة الحالة الأرض $c$:
  $$C_{N,p,s}^{-1} = \left( \frac{2N - p(N-2)}{2p(1-s)} \right)^{\frac{2N-p(N-2)}{4(1-s)}} \left( \frac{p(N-2s) - 2N}{2p(1-s)} \right)^{\frac{p(N-2s)-2N}{4(1-s)}} \left[ \frac{2p}{p-2} c \right]^{\frac{p-2}{2}}$$
• تؤكد أن مُثيل المتراجحة ليس مجرد حل ضعيف، بل هو تحديداً حل حالة أرض يستوفي متطابقة بوهوزايف.

4. الأهمية

• حل مشكلات الانتظام: نجحت الورقة في تجاوز الحاجة إلى نظرية انتظام كاملة لإثبات متطابقة بوهوزايف لحل الحالة الأرض المحدد. ومن خلال بناء الحل على متشعب نيهاري-بوهوزايف، ضمن المؤلفان أن المتطابقة تتحقق بحكم تعريف مسار التقليل.
• توسيع منهج وينستين: توسع الورقة المنهج الكلاسيكي لوينستين (الذي كان مخصصاً للابلاس) واللابلاس الكسري ليشمل إعداد المؤثر المختلط الأكثر تعقيداً.
• التطبيق على النماذج الفيزيائية: يمثل المؤثر المختلط $-\Delta + (-\Delta)^s$ ظواهر تتضمن كلاً من الانتشار الكلاسيكي (المحلي) والانتشار الشاذ (غير الموضعي)، مثل ديناميكيات السكان، وانتشار الأوبئة، وسلوك الأجسام المرنة. إن معرفة الثابت الحاد أمر حيوي لتحليل الاستقرار ومعايير الانفجار (blow-up) في هذه النماذج الفيزيائية.
• تأسيس للأعمال المستقبلية: يوفر إثبات وجود وخصائص حالات الأرض للمؤثرات المختلطة أساساً ضرورياً لدراسة مسائل أكثر تعقيداً، مثل استقرار السوليتونات (solitons) أو سلوك الحلول في النطاقات المحدودة.

باختاً، توفر هذه الورقة إطاراً تباينياً صارماً لتحديد ثابت غالياردو-نيرين الحاد للمؤثرات المختلطة، متجاوزة العائق التقني المتمثل في غياب حدود $L^2$ ونقص الانتظام عبر استخدام منهج متشعب نيهاري-بوهوزايف.