DOI: https://doi.org/10.1007/s00208-026-03395-8
تاريخ النشر: 2026-03-02
المؤلف: Zhenyun Du وآخرون
الموضوع الرئيسي: المعادلات التفاضلية الجزئية غير الخطية
نظرة عامة
في هذا القسم، يتناول المؤلفون الاستقرار الأمثل لعدم تساوي هاردي-ليتل وود-سوبوليف (HLS) للحالة التي يكون فيها \(1 < s < \frac{n}{2}\)، بناءً على الأعمال السابقة التي أثبتت الاستقرار الأمثل لعدم تساوي سوبوليف \(L^2\) وعدم تساوي سوبوليف الكسرية \(L^2\) للحالة \(0 < s < 1\). تتضمن نهج المؤلفين إقامة الاستقرار الأمثل لعدم تساوي HLS مباشرة، متغلبين على التحديات التي تطرحها فقدان الهيكل هيلبرت في مقياس المسافة المستخدم في تحليل الاستقرار. يقدمون استراتيجية جديدة تعتمد على تحليل \(H\)-\(s\)، مما يسمح لهم بتحقيق الاستقرار المحلي بالنسبة لمقياس \(L^{\frac{2n}{n+2s}}\). لتمديد الاستقرار المحلي إلى الاستقرار العالمي، يستخدم المؤلفون نظرية مقارنة النورم ونظرية "استمرارية جديدة" لتدفق إعادة الترتيب، معالجين قضايا عدم التميز وعدم الاستمرارية في عملية إعادة الترتيب. كأهم تطبيقات لنتائجهم، يستنتجون الاستقرار الأمثل لعدم تساوي سوبوليف \(L^2\) للحالة \(1 \leq s < \frac{n}{2}\) وعدم تساوي سوبوليف \(L^{\frac{2n}{n+2s}}\) غير الهيليبرتي مع ثوابت تعتمد على الأبعاد. بالإضافة إلى ذلك، يطبقون نتائجهم للحصول على الاستقرار الأمثل لعدم تساوي سوبوليف المقيد لبكنا على تحت المنحنيات المسطحة \(\mathbb{R}^{n-1}\) والكرات \(S^{n-1}\)، مع تضمين ثوابت تعتمد على الأبعاد.
مقدمة
في المقدمة، يناقش المؤلفون الشكل الحاد لعدم تساوي هاردي-ليتل وود-سوبوليف (HLS) كما تم إثباته بواسطة ليب، والذي يؤكد أنه بالنسبة للدوال \( G \in L^{2n/(n+2s)}(\mathbb{R}^n) \) مع \( 0 < s < n/2 \)، فإن عدم التساوي \[ \|G\|_{L^{2n/(n+2s)}}^2 \geq S_{s,n} \|(-\Delta)^{-s/2} G\|_{L^2}^2 \] يحتفظ، حيث \( S_{s,n} \) هو الثابت الحاد. يتميز شرط المساواة بدوال من شكل محدد، مما يشير إلى ارتباط عميق بين عدم التساوي وبنية الدوال المعنية. كما يبرز المؤلفون استقرار عدم تساوي سوبوليف، الذي طرحه في البداية بريزيس وليب، وتمت معالجته لاحقًا بواسطة باحثين مختلفين، مما أدى إلى نتائج تثبت الاستقرار لجميع \( 0 < s < n/2 \). تهدف الورقة إلى توسيع هذه النتائج من خلال إثبات كل من استقرار عدم تساوي HLS وعدم تساوي سوبوليف مع حدود دنيا أسية مثالية لـ \( 1 \leq s < n/2 \). يقدم المؤلفون النظرية 1.1، التي توفر حدًا أدنى مثاليًا لاستقرار عدم تساوي HLS عندما \( n \to \infty \)، والنظرية 1.2، التي تتناول استقرار عدم تساوي سوبوليف تحت ظروف مماثلة. تتضمن المنهجية نهجًا جديدًا للاستقرار المحلي، مستفيدة من خصائص التعامد وطرق التناظر، وتضع الأساس للأقسام اللاحقة التي ستفصل الإثباتات والآثار لهذه النتائج.
مناقشة
في هذا القسم، يؤسس المؤلفون إطار عمل لاستقرار محلي لعدم تساوي هاردي-ليتل وود-سوبوليف (HLS)، بناءً على الأعمال السابقة التي حددت حدود دنيا أسية مثالية لعدم تساوي سوبوليف. يظهرون أنه بالنسبة لأي دالة \( f \in L^{\frac{2n}{n+2s}}(\mathbb{R}^n) \)، يوجد دالة \( \phi \in M_{HLS} \) بحيث يتم تحقيق الحد الأدنى من النورم \( \| (-\Delta)^{-s/2}(f – h) \|^2 \) عند \( h = \phi \). يثبت المؤلفون أنه تحت ظروف معينة، بما في ذلك تحليل \( f = \phi + r \) مع \( \| r \|^2_{L^{\frac{2n}{n+2s}}} \leq \delta \| f \|^2_{L^{\frac{2n}{n+2s}}} \)، فإن عدم التساوي التالي holds:
\[
\| f \|^2_{L^{\frac{2n}{n+2s}}} – S_{s,n} \| (-\Delta)^{-s/2} f \|^2_2 \geq \frac{1}{n} C_s \inf_{h \in M_{HLS}} \| f – h \|^2_{L^{\frac{2n}{n+2s}}}
\]
لـ \( n \) كبيرة بما فيه الكفاية. يناقش القسم أيضًا استقرار عدم تساوي HLS على الكرة، مستفيدًا من التكافؤ التوافقي بين \( \mathbb{R}^n \) والكرة \( S^n \) من خلال الإسقاط الاستيريوغرافي. يستنتج المؤلفون نسخة مكافئة من عدم تساوي استقرار HLS على \( S^n \) ويثبتون أن عدم تساوي HLS الحاد على \( \mathbb{R}^n \) يتوافق مع عدم تساوي مشابه على \( S^n \).
يستكشف المؤلفون أيضًا الاستقرار المحلي للدوال غير السلبية، مثبتين أنه تحت نفس الظروف، يتحقق عدم تساوي مطابق على الكرة. يختتمون هذا القسم بتحديد اللمحات والتقنيات اللازمة، بما في ذلك استخدام التوافقيات الكروية والتعامد، لتسهيل إثبات الاستقرار المحلي، مما يؤدي في النهاية إلى الاستقرار العالمي لعدم تساوي HLS مع حدود دنيا أسية مثالية.
DOI: https://doi.org/10.1007/s00208-026-03395-8
Publication Date: 2026-03-02
Author(s): Zhenyun Du et al.
Primary Topic: Nonlinear Partial Differential Equations
Overview
In this section, the authors address the optimal stability of the Hardy-Littlewood-Sobolev (HLS) inequality for the case where \(1 < s < \frac{n}{2}\), building on previous work that established optimal stability for the \(L^2\) Sobolev inequality and the \(L^2\) fractional Sobolev inequality for \(0 < s < 1\). The authors' approach involves directly establishing the optimal stability of the HLS inequality, overcoming challenges posed by the loss of the Hilbert structure in the distance metric used for stability analysis. They introduce a novel strategy based on \(H\)-\(s\)-decomposition, which allows them to achieve local stability with respect to the \(L^{\frac{2n}{n+2s}}\)-distance. To extend local stability to global stability, the authors utilize the norm comparison theorem and a "new continuity" theorem for the rearrangement flow, addressing issues of non-uniqueness and non-continuity in the rearrangement process. As significant applications of their findings, they derive the optimal stability of the \(L^2\) Sobolev inequality for \(1 \leq s < \frac{n}{2}\) and the non-Hilbertian \(L^{\frac{2n}{n+2s}}\)-Sobolev inequality with dimension-dependent constants. Additionally, they apply their results to obtain the optimal stability of Beckner's restrictive Sobolev inequality on flat submanifolds \(\mathbb{R}^{n-1}\) and spheres \(S^{n-1}\), also incorporating dimension-dependent constants.
Introduction
In the introduction, the authors discuss the sharp form of the Hardy-Littlewood-Sobolev (HLS) inequality as established by Lieb, which asserts that for functions \( G \in L^{2n/(n+2s)}(\mathbb{R}^n) \) with \( 0 < s < n/2 \), the inequality \[ \|G\|_{L^{2n/(n+2s)}}^2 \geq S_{s,n} \|(-\Delta)^{-s/2} G\|_{L^2}^2 \] holds, where \( S_{s,n} \) is the sharp constant. The equality condition is characterized by functions of a specific form, indicating a deep connection between the inequality and the structure of the functions involved. The authors also highlight the stability of the Sobolev inequality, initially posed by Brezis and Lieb, and subsequently addressed by various researchers, culminating in results that establish stability for all \( 0 < s < n/2 \). The paper aims to extend these results by establishing both the stability of the HLS inequality and the Sobolev inequality with optimal asymptotic lower bounds for \( 1 \leq s < n/2 \). The authors present Theorem 1.1, which provides an optimal lower bound for the stability of the HLS inequality as \( n \to \infty \), and Theorem 1.2, which addresses the stability of the Sobolev inequality under similar conditions. The methodology involves a novel approach to local stability, leveraging orthogonality properties and symmetry methods, and sets the stage for subsequent sections that will detail the proofs and implications of these results.
Discussion
In this section, the authors establish a local stability framework for Hardy-Littlewood-Sobolev (HLS) inequalities, building upon previous work that identified optimal asymptotic lower bounds for Sobolev inequalities. They demonstrate that for any function \( f \in L^{\frac{2n}{n+2s}}(\mathbb{R}^n) \), there exists a function \( \phi \in M_{HLS} \) such that the infimum of the norm \( \| (-\Delta)^{-s/2}(f – h) \|^2 \) is achieved at \( h = \phi \). The authors prove that under certain conditions, including a decomposition \( f = \phi + r \) with \( \| r \|^2_{L^{\frac{2n}{n+2s}}} \leq \delta \| f \|^2_{L^{\frac{2n}{n+2s}}} \), the following inequality holds:
\[
\| f \|^2_{L^{\frac{2n}{n+2s}}} – S_{s,n} \| (-\Delta)^{-s/2} f \|^2_2 \geq \frac{1}{n} C_s \inf_{h \in M_{HLS}} \| f – h \|^2_{L^{\frac{2n}{n+2s}}}
\]
for sufficiently large \( n \). The section also discusses the stability of HLS inequalities on the sphere, leveraging the conformal equivalence between \( \mathbb{R}^n \) and the sphere \( S^n \) through stereographic projection. The authors derive an equivalent version of the HLS stability inequality on \( S^n \) and establish that the sharp HLS inequality on \( \mathbb{R}^n \) corresponds to a similar inequality on \( S^n \).
The authors further explore the local stability for nonnegative functions, proving that under the same conditions, a corresponding inequality holds on the sphere. They conclude this section by outlining the necessary lemmas and techniques, including the use of spherical harmonics and orthogonality, to facilitate the proof of local stability, which ultimately leads to the global stability of HLS inequalities with optimal asymptotic lower bounds.