Remainder terms and sharp quantitative stability for a nonlocal Sobolev inequality on the Heisenberg group

تستقصي هذه الورقة، التي ألفها وينجينغ تشن وزيكسي وانغ، متباينة سوبولف غير الموضعية على زمرة هيزنبرج $\mathbb{H}^n$، مع التركيز بشكل خاص على وجود حدود متبقية والاستقرار الكمي للنقاط الحرجة لمعادلة أويلر-لاجرانج المرتبطة بها.

1. المشكلة

يدرس المؤلفان نسخة غير موضعية من متباينة فولاند-ستين-سوبولف على زمرة هيزنبرج $\mathbb{H}^n$. ترتبط هذه المتباينة، التي يُرمز لها بـ $SHL(Q, \mu)$، بين معيار $L^2$ للتدرج الأفقي $\nabla_H u$ وحد مكاملة غير موضعي يتضمن نواة هاردي-ليتلوود-سولوفون (HLS):

$$\left( \int_{\mathbb{H}^n} \int_{\mathbb{H}^n} \frac{|u(\xi)|^{Q^*_\mu} |u(\eta)^{Q^*_\mu}}{|\eta^{-1}\xi|^\mu} d\xi d\eta \right)^{\frac{1}{Q^*_\mu}} \leq C \int_{\mathbb{H}^n} |\nabla_H u|^2 d\xi$$

حيث $Q = 2n+2$ هو البعد المتجانس و $Q^*_\mu$ هو الأس الحرج العلوي.

يتناول البحث سؤالين جوهريين في التحليل الهندسي:

1. الحدود المتبقية (Remainder Terms): إذا لم تكن الدالة $u$ دالة متطرفة (فقاعة)، فما مدى كبر الجانب الأيسر من المتباينة مقارنة بالجانب الأيمن؟ هل يمكن حصر هذا الفرق بمسافة إلى مجمع الدوال المتطرفة؟
2. الاستقرار الكمي (Quantitative Stability): إذا كانت الدالة $u$ "تقريباً" تحل معادلة أويلر-لاجرنج (أي أن المعادلة تساوي خطأً صغيراً جداً في المعيار المزدوج)، فهل يجب أن تكون $u$ قريبة كمياً من مجموع فقاعات تتفاعل بشكل ضعيف؟

2. المنهجية

يوظف المؤلفان عدة تقنيات متقدمة من الهندسة تحت-الريمانية والتحليل غير الخطي:

• مبدأ التركيز-التماسك (Concentration-Compactness Principle): يُستخدم للتعامل مع فقدان التماسك المتأصل في مسائل الأس الحرج في المجالات غير المحدودة.
• التحليل الطيفي وعدم الانحلال (Spectral Analysis and Non-degeneracy): يستخدمون عدم الانحلال المعروف لفقاعات جيريسون-لي والقيّم الذاتية للمؤثر الخطي للتحكم في سلوك الدوال بالقرب من مجمع المتطرفات $M$.
• التحليل التقاربي (Asymptotic Analysis): لإثبات الاستقرار في حالة الفقاعات المتعددة، يقومون بإجراء توسع تقاربي دقيق للمصطلحات غير الموضعية، وتحديداً تحليل كيفية تفاعل الفقاعات عندما تكون "متفاعلة بشكل ضعيف" (منفصلة في المقياس أو الموقع).
• حجج التناقض (Contradiction Arguments): تُبنى البراهين للحدود المتبقية ونتائج الاستقرار إلى حد كبير عبر التناقض، بافتراض وجود متتالية تنتهك الحدود وإظهار أن هذا يؤدي إلى انتهاك الخصائص المعروفة للفقاعات.

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

أ. الحدود المتبقية (النظرية 1.1 و 1.2)

يؤسس المؤلفان وجود حد متبقي من نوع التدرج.

• النظرية 1.1: بالنسبة لـ $Q \geq 4$ و $\mu \in (0, 4]$، توجد ثوابت $A_1, A_2 > 0$ بحيث يتم حصر العجز في المتباينة من الأعلى ومن الأسفل بمربع المسافة إلى مجمع الفقاعات $M$:
  $$A_2 \text{dist}(u, M)^2 \geq \text{Deficit}(u) \geq A_1 \text{dist}(u, M)^2$$
• النظرية 1.2: يمددون هذا إلى المجالات المحدودة $\Omega \subset \mathbb{H}^n$، حيث يثبتون حداً متبقياً من النوع الثاني يتضمن معيار $L^q$ الضعيف (تحديداً $L^{\frac{Q}{Q-2}}_w$)، وهي نتيجة أكثر دقة للدوال التي تتلاشى عند الحدود.

ب. الاستقرار الكمي للنقاط الحرجة (النظرية 1.4)

الجزء الأكثر تعقيداً من الناحية التقنية في الورقة هو استقرار حالة الفقاعات المتعددة.

• النظرية 1.4: في الحالة الخاصة $Q=4$ و $\mu \in (2, 4)$، يثبتون أنه إذا كانت $u$ عبارة عن مجموع $m$ من الفقاعات المتفاعلة ضعيفاً بالإضافة إلى خطأ صغير $\Upsilon(u)$ في الفضاء المزدوج، فإن المسافة من $u$ إلى مجمع مجموعات الـ $m$-فقاعة ترتبط خطياً بذلك الخطأ:
  $$\delta(u) \leq C \Upsilon(u)$$
• هذه النتيجة دقيقة (sharp)، مما يعني أنه لا يمكن تحسين أس حد الخطأ.

4. الأهمية

هذا العمل مهم لعدة أسباب:

1. التوسع إلى الهندسة غير الإقليدية: بينما تمت دراسة مسائل الاستقرار هذه باستفاضة في $\mathbb{R}^N$، توفر هذه الورقة براهين صارمة في زمرة هيزنبرج، وهي الفضاء النموذجي للهندسة تحت-الريمانية.
2. التعقيد غير الموضعي: وجود نواة HLS غير الموضعية يضيف تعقيداً كبيراً مقارنة بمتباينة سوبولف الموضعية، حيث يجب مراعاة التفاعل بين الأجزاء المختلفة من المجال عالمياً.
3. إكمال النظرية: من خلال معالجة حالة الفقاعات المتعددة لـ $Q=4$، يسد المؤلفون فجوة في نظرية الاستقرار للمعادلات غير الموضعية على زمرة هيزنبرج، مما يوفر صورة كاملة لكيفية سلوك "الحلول التقريبية".