Quantitative stability for the Trudinger-Moser inequality

ملخص تقني: الاستقرار الكمي لمتراجحة ترودينجر-موزر (Trudinger–Moser)

بيان المشكلة
يبحث هذا البحث في الاستقرار الكمي لمتراجحة ترودينجر-موزر على نطاقات محدودة وناعمة $\Omega \subset \mathbb{R}^2$. بينما يفشل التضمين سوبوليف الكلاسيكي عند الأس الحرج $q=n$، توفر متراجحة ترودينجر-موزر بديلاً، حيث تؤكد أن الدوال في $W^{1,n}_0(\Omega)$ تظهر تكاملًا أسيًا. وتحديدًا بالنسبة لـ $n=2$، يكون الدالي (functional)
$$E_{\alpha, \Omega}(u) = \int_\Omega e^{\alpha u^2} dx$$
محدودًا إذا وفقط إذا كان $0 \leq \alpha \leq 4\pi$ تحت شرط $\|\nabla u\|_{L^2(\Omega)} \leq 1$. ومن المعروف أن مجموعة الدوال المتطرفة (المحسنات) $M_\alpha(\Omega)$ غير فارغة، لكن شكلها التحليلي الدقيق يظل غير محلول حتى بالنسبة للقرص الوحدة.

المشكلة المركزية التي يتناولها البحث هي ما إذا كان "العجز" (deficit) في المتراجحة — والمعرّف بأنه الفرق بين القيمة العظمى $TM(\alpha, \Omega)$ وقيمة الدالي $E_{\alpha, \Omega}(u)$ — يتحكم في المسافة بين الدالة $u$ ومجموعة المحسنات $M_\alpha(\Omega)$. يسعى المؤلفون إلى إثبات تقدير استقرار كمي من الشكل:
$$\text{def}_{\alpha, \Omega}(u) \gtrsim \text{dist}_{\alpha, \Omega}(u)^2,$$
حيث يُقاس المسافة في معيار $W^{1,2}_0$ (تحديدًا معيار $L^2$ للتدرج).

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

1. تحليل الفجوة الطيفية: يعرّف المؤلفون مشكلتين طيفيتين رئيسيتين مرتبطتين بمحسن $u^*$:

   • المشكلة الخطية $(P_{\alpha, \Omega})$: $-\Delta \phi = \lambda (1 + 2\alpha (u^*)^2)e^{\alpha (u^*)^2} \phi$.
   • مشكلة ترودينجر-موزر غير الخطية $(TM_{\alpha, \Omega})$: $-\Delta v = \Lambda e^{\alpha (u^*)^2} v$.
     لتكن $\lambda_1(\alpha, \Omega)$ و $\Lambda_1(\alpha, \Omega)$ هما القيمتان الذرويتان الأوليتان (eigenvalues) لكل منهما. وتتمثل خطوة حاسمة في إثبات وجود فجوة طيفية حيث تقع $\Lambda_1(\alpha, \Omega)$ بدقة بين القيمتين الذرويتين الأولى والثانية للمشكلة الخطية، أو بدقة تحت أول قيمة ذروية غير شعاعية في الحالات المتناظرة.

2. استراتيجية التناقض: تسير البراهن الخاصة بالحالات دون الحرجة (subcritical) عن طريق التناقض. بافتراض فشل تقدير الاستقرار، يوجد تتابع من الدوال يقترب من القيمة العظمى ولكنه يظل بعيدًا عن مجموعة المحسنات. ومن خلال التراص (عبر نظرية فيتالي والتركيز-التراص)، يتقارب هذا التتابع إلى محسن $u^*$. وتلبي الانحرافات المعيرة معادلة أويلر-لاغرانج التقاربية، وتتقارب إلى دالة حدية تحل المشكلة الطيفية الخطية. إن وجود فجوة طيفية يجعل هذا الحد مستحيلاً (لأنه سيعني وجود دالة ذاتية موجبة الإشارة ومعلومة (orthogonal) بالنسبة للفضاء المماسي)، مما يثبت تقدير الاستقرار.

3. الامتداد من الكرة إلى الكرة المتصلة: نظرًا لأن دالي ترودينجر-موزر ليس متجانسًا (على عكس دالي سوبوليف)، يقوم المؤلفون أولاً بإثبات الاستقرار على كرة الوحدة $S^1$ (حيث $\|\nabla u\|_{L^2}=1$) ثم يمددونه إلى كرة الوحدة المغلقة $B_1$ باستخدام رتابة الدالي تحت إعادة القياس الشعاعي.

4. العمومية عبر التعدي (Transversality): لمعالجة الحالة غير المنكسرة (nondegenerate)، يستخدم المؤلفون حجة تماثل سارد-سميل (Sard–Smale). من خلال تمثيل النطاق عبر التشاكلات التفاضلية وتحليل الخريطة الملحقة لمعادلة أويلر-لاغرانج، يظهرون أن عدم الانكسار (حيث يكون الهيسيان (Hessian) متماسكًا على الفضاء المماسي) هو خاصية عامة لمجموعة من المعلمات $(\alpha, \Omega)$.

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

يضع البحث ثلاث مبرهنات رئيسية تتعلق بالتحكم التربيعي للمسافة إلى المحسنات بواسطة العجز:

• المبرهنة 1 (الحالة دون الحرجة الصغيرة): لأي نطاق محدود ناعم $\Omega$، توجد عتبة $\alpha_0 > 0$ بحيث لكل $\alpha \in (0, \alpha_0)$، يتحقق تقدير الاستقرار. تعتمد هذه النتيجة على حقيقة أنه عندما تقترب $\alpha$ من الصفر، تتقارب القيم الذروية للمسائل الخطية إلى القيمة الذروية الأولى لـ لابلاس، مما يخلق فجوة طيفية.
• المبرهنة 2 (الحالة دون الحرجة غير المنكسرة): لأي $\alpha \in (0, 4\pi)$، إذا كان كل محسن غير منكسر (أي أن التغير الثاني متماسك على الفضاء المماسي)، فإن تقدير الاستقرار يتحقق. يثبت المؤلفون أيضًا أن عدم الانكسار هذا هو خاصية عامة، حيث يتحقق لمجموعة مفتوحة وكثيفة من المعلمات $(\alpha, \Omega)$.
• المبرهنة 3 (الحالة الحرجة المتناظرة): لقرص الوحدة $D$ والنطاق الحرج الكامل $\alpha \in (0, 4\pi]$، يتحقق تقدير الاستقرار. هذه النتيجة مهمة لأنها تغطي الأس الحرج $\alpha = 4\pi$ دون اشتراط صغر القيم. يستغل البرهان التناظر الدوراني للقرص، حيث يتم تفكيك المؤثر الخطي إلى أنماط فوريه زاوية. ويتم إثبات وجود فجوة طيفية صارمة بين القيمة الذروية الشعاعية وأول قيمة ذروية غير شعاعية (التي تظهر بفعل حد الطرد المركزي $r^{-2}$)، مما يضمن التماسك في جميع الاتجاهات.

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

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