Qualitative stability for a family of trace Sobolev inequalities

ملخص تقني: الاستقرار النوعي لعائلة من متراجحات سوبوليف الأثرية

بيان المشكلة
تتناول هذه الورقة الاستقرار النوعي لعائلة من متجاورات سوبوليف الأثرية (trace Sobolev inequalities) ذات المعلمة الواحدة على نصف الفضاء $H = \{x \in \mathbb{R}^n : x \cdot e_1 > 0\}$، حيث $n \ge 2$ و $p \in (1, n)$. هذه المتجاورات، التي وضعها ماجي ونيومايرر [MN17]، تربط بين معيار $L^p$ للتدرج للدالة $u$ ومعيار $L^{p^*}$ لها في الداخل ومعيار $L^{p^\sharp}$ لها على الحدود $\partial H$. وتحديداً، بالنسبة لمعلمة أثر ثابتة $T \ge 0$، يتم تعريف الثابت الحاد $\Phi_H(T)$ عبر المسألة التباينية:
$$\Phi_H(T) = \inf \{ \|\nabla u\|_{L^p(H)} : u \in \mathcal{A}_T \},$$
حيث $\mathcal{A}_T = \{ u \in \dot{W}^{1,p}(H) : \|u\|_{L^{p^*}(H)} = 1, \|u\|_{L^{p^\sharp}(\partial H)} = T \}$.
توصّف القيم القصوى (المثلى) لهذه المسألة بشكل كامل كعمليات تمدد وترجمة محددة لبروفايل (profile) صريح $U_T$. والسؤال المركزي هو الاستقرار: إذا كانت متتالية من الدوال $\{u_k\} \subset \mathcal{A}_T$ تمتلك عجز طاقة متلاشٍ $\delta_T(u_k) = \|\nabla u_k\|_{L^p}^p - \Phi_H(T)^p \to 0$، فهل تتقارب المتتالية (في معيار التدرج) نحو مجموعة القيم القصوى $\mathcal{M}_T$؟

بينما تم إثبات الاستقرار الكمي المحلي مؤخراً لحالة $p=2$ من قبل فان، لي، وتشانغ [FLZ26]، كان ينقصنا إثبات استقرار نوعي عالمي (أي إثبات أن تلاشي العجز يؤدي إلى تلاشي المسافة إلى القيم القصوى). وقد حال هذا النقص دون التوسع من النتيجة الكمية المحلية إلى نتيجة كمية عالمية.

المنهجية
يعتمد إثبات الاستقرار النوعي على مبدأ التركيز-التراص (concentration-compactness principle) مقترناً بـ متباينة ربط صارمة (strict binding inequality) لدالة الطاقة.

1. تحليل التركيز-التراص: يقوم المؤلف بتكييف مبادئ التركيز-التراص القياسية (ليونز [Lio85]) لتناسب حالة الأثر. يسير الإثبات عن طريق التناقض: بافتراض أن متتالية ذات عجز متلاشٍ لا تتقارب إلى قيمة قصوى، فإن المتتالية يجب أن إما تتلاشى (وهو ما يستبعده التقييس/normalization) أو تنقسم (dichotomy) إلى بروفايلين لا يتفاعلان تقاربياً.
2. متباينة الربط الصارمة (المبرهنة 1.3): جوهر الحجة هو استبعاد سيناريو "الانقسام". يثبت المؤلف أنه لأي تفكيك لمعايير الكتلة والأثر إلى جزأين $(m_1, t_1)$ و $(m_2, t_2)$، فإن مجموع طاقات البروفايلات المنفصلة يكون أكبر تماماً من طاقة البروفايل المدمج:
   $$\Phi_H(T)^p < m_1^p \Phi_H\left(\frac{t_1}{m_1}\right)^p + m_2^p \Phi_H\left(\frac{t_2}{m_2}\right)^p.$$
   هذه المتباينة غير بديهية لأنه، على عكس متراجحة سوبوليف الكلاسيكية في $\mathbb{R}^n$، يعتمد الثابت $\Phi_H(T)$ بشكل غير خطي على $T$، مما يمنع حجج القياس البسيطة من استبعاد الانقسام.
3. حجة نقل الكتلة: لإثبات متباينة الربط الصارمة، تستخدم الورقة برهان نقل الكتلة لمتجاورات الأثر من [MN17]. يقوم المؤلف ببناء دالة اختبار $w$ تتكون من نسختين متباعدتين بعيداً من البروفايلات القصوى. ومن خلال تحليل خريطة النقل المثلى (خريطة برينيه) المرتبطة بـ $w$، يستغل المؤلف الرتابة الدورية (cyclical monotonicity) لخريطة النقل. الفصل الهندسي للبروفايلات يجبر خريطة النقل على التصرف بطريقة لا تتوافق مع شرط الرتابة الدورية ما لم يكن عجز الطاقة بعيداً عن الصفر. وهذا يؤدي إلى وجود حد أدنى محدد للعجز، مما يثبت عدم التساوي الصارم.

النتائج الرئيسية

• المبرهنة 1.1 (الاستقرار النوعي): لأي $p \in (1, n)$ و $T > 0$، إذا كانت المتتالية $\{u_k\} \subset \mathcal{A}_T$ تحقق $\delta_T(u_k) \to 0$، فإن المسافة إلى مجموعة القيم القصوى $d_T(u_k) \to 0$. هذا يؤكد أن الطريقة الوحيدة للاقتراب من الثابت الحاد هي الاقتراب من عائلة القيم القصوى.
• المبرهنة 1.3 (متباينة الربط الصارمة): تم إثبات عدم التساوي الصارم المتعلق بطاقة التشكيل المنقسم لجميع قيم $T > 0$.
• النتيجة 1.2 (الاستقرار الكمي العالمي لـ $p=2$): من خلال الجمع بين النتيجة النوعية الجديدة (المبرهنة 1.1) والتحليل الكمي المحلي الموجود في [FLZ26]، تثبت الورقة الاستقرار الكمي العالمي لحالة $p=2$. وتحديداً، يوجد ثابت $\alpha'_T > 0$ بحيث أن $\delta_T(u) \ge \alpha'_T d_T(u)^2$ لجميع $u \in \mathcal{A}_T$.

الأهمية والادعاءات
تدعي الورقة حل مشكلة مفتوحة أثيرت في [FLZ26] تتعلق بالاستقرار الكمي العالمي لمتجاورات سوبوليف الأثرية لحالة $p=2$. ويؤكد المؤلف أن العائق الرئيسي أمام هذه النتيجة كان غياب مبرهنة الاستقرار النوعي، وهو ما توفره هذه المذكرة.

يُقدم العمل كـ "مذكرة قصيرة" لسد فجوة نظرية محددة. ويشير المؤلف بتواضع إلى أنه بينما يعد نهج نقل الكتلة قوياً، إلا أنه يواجه صعوبات في تقديم تقديرات كمية مباشرة للمسافة إلى القيم القصوى (كما هو الحال في المتراجحة المتساوية الحجم/isoperimetric inequality في أعمال أخرى) بسبب تدهور السيطرة في المناطق التي تكون فيها الدالة صغيرة. وبناءً على ذلك، تعتمد الورقة على متباينة الربط الصارمة النوعية المستمدة عبر نقل الكتلة لتمكين النتيجة الكمية العالمية.

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