Density estimates and the fractional Sobolev inequality for sets of zero $s$-mean curvature

ملخص تقني: تقديرات الكثافة ومتراجحة سوبوليف الكسرية للمجموعات ذات متوسط انحناء $s$ صفري

بيان المشكلة
تتناول الورقة فجوة في نظرية الانتظام (regularity theory) للأسطح الدنيا غير الموضعية (nonlocal minimal surfaces). في حين أنه من الثابت أن المقللات لـ $s$-perimeter تحقق تقديرات كثافة "سميكة" (كثافة الحجم) وتقديرات كثافة السطح، فإن سلوك المجموعات التي تكون "ساكنة" فقط بالنسبة لـ $s$-perimeter (أي المجموعات ذات متوسط انحناء $s$ صفري، $H_{s,E} = 0$) هو أمر أقل وضوحاً. وتحديداً، كان هناك سؤال مفتوح حول ما إذا كانت المجموعات ذات متوسط انحناء $s$ صفري تحقق تقدير كثافة السطح:
$$\text{Per}(E; B_R(x)) \geq C R^{n-1}$$
لكل $R > 0$ و $x \in \partial^* E$، حيث يعتمد الثابت $C$ فقط على البعد $n$ و $s$. في الحالة الكلاسيكية ($s=1$)، يتحقق هذا التقدير للمجموعات الساكنة، لكن الإطار غير الموضعي يفرض تحديات لأن نماذج الرتابة (monotonicity formulas) القياسية للمقللات لا تمتد مباشرة إلى المجموعات الساكنة دون فرضيات استقرار إضافية. علاوة على ذلك، تشير الورقة إلى أنه بينما توجد تقديرات كثافة عليا للمجموعات المستقرة (stable sets)، فإن تقديرات الكثافة الدنيا للمجموعات الساكنة العامة لم تكن متاحة صراحة في الأدبيات.

المنهجية
يعتمد البرهان على مزيج من متراجحات الاستيفاء (interpolation inequalities)، وتقنية امتداد كافيلي-سيلفستر (Caffarelli-Silvestre extension)، ونماذج الرتابة المكيفة مع الإطار غير الموضعي. تسير المنهجية عبر الخطوات التالية:

1. متراجحة الاستيفاء (القسم 3): يثبت المؤلف متراجحة استيفاء جديدة (النظرية 3.1) تربط $s$-perimeter المقيد بمزيج من المحيط الكلاسيكي وحد خطأ يتضمن معيار $L^\infty$. ومن الأهمية بمكان أن هذه المتراجحة تتضمن حد خطأ يمكن التحكم فيه $\varepsilon R^{n-s}$، مما يسمح باستيعاب الخطأ في التقدير الرئيسي أثناء البرهان.
2. امتداد كافيلي-سيلفستر (القسم 4): تستخدم الورقة مسألة الامتداد المرتبطة بـ Laplacian الكسري. بالنسبة لمجموعة $E$، يتم تعريف دالة $U_E$ في الفضاء نصف العلوي $\mathbb{R}^{n+1}_+$ بحيث ترتبط آثارها (trace) بالدالة المميزة لـ $E$.
   • الرتابة: استناداً إلى العمل الحديث لـ [CFSS24a]، تستخدم الورقة نموذج رتابة للكمية $\Phi_{E,x}(R)$، والتي تمثل طاقة ديريكليه الموزونة للامتداد $U_E$. هذا النموذج ينطبق على مجموعات $s$-stationary، وليس فقط المقللات.
   • حد الانفجار (Blow-up Limit): يثبت المؤلف أنه عندما $R \to 0$، تتقارب كمية الرتابة $\Phi_{E,x}(R)$ إلى ثابت موجب محدد بواسطة نصف الفضاء $\mathbb{R}^n_+$. يتم حساب هذا الحد صراحة باستخدام دالات غاما (Gamma functions) ويعمل كحد أدنى للطاقة.
   • التحكم في الطاقة: يتم وضع حد علوي لـ $\Phi_{E,x}(R)$ بدلالة $s$-perimeter المقيد لـ $E$ (الخاصية 4.2).
3. التركيب (القسم 5): من خلال الجمع بين الحد الأدنى (من حد الانفجار والرتابة) والحد الأعلى (من تقدير طاقة الامتداد) ومتراجحة الاستيفاء، يستنتج المؤلف سلسلة من المتراجحات. إن الاختيار المحدد للمعلم $\varepsilon$ في خطوة الاستيفاء يسمح باستيعاب حدود الخطأ، مما يؤدي إلى الحد الأدنى المطلوب للمحيط الكلاسيكي.

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

• النظرية 1.1: تثبت النتيجة الأساسية أن $E \subset \mathbb{R}^n$ هي مجموعة قابلة للقياس ذات محيط محدود محلياً ومتوسط انحناء $s$ صفري ($H_{s,E} = 0$ على $\partial^* E$)، فإنها تحقق تقدير كثافة السطح:
  $$\text{Per}(E; B_R) \geq C R^{n-1}$$
  لكل $R > 0$. يعتمد الثابت $C$ فقط على $n$ وحد أدنى لـ $s$، ويظل محدوداً عندما $s \to 1^-$.
• النتيجة 1.2: كتطبيق مباشر، تثبت الورقة أن متراجحة سوبوليف الكسرية تتحقق على حدود هذه المجموعات. وتحديداً، بالنسبة لـ $u \in C^\infty_0(\partial^* E)$، تتحقق المتراجحة:
  $$\|u\|_{L^{p^*}(\partial^* E)} \leq C [u]_{W^{\alpha, p}(\partial^* E)}$$
  حيث $p^* = \frac{np}{n-\alpha p}$. تعتمد هذه النتيجة على مقترح سابق من [CC19] أظهر أن تقدير كثافة السطح (1.2) يستلزم متراجحة سوبوليف دون اشتراط وجود حد متوسط الانحناء.

الأهمية والادعاءات
تدعي الورقة أنها تقدم أول برهان صريح على أن المجموعات ذات متوسط انحناء $s$ صفري تحقق تقدير كثافة السطح (1.2)، وهي خاصية كانت معروفة أساساً للمقللات أو المجموعات المستقرة. يشير المؤلف إلى أنه بينما تظهر تقنيات ذات صلة في أعمال [CFSS24a]، [CFSS24b]، و [CSV19]، فإن البيان المحدد لتقدير الكثافة هذا لمجموعات متوسط انحناء $s$ صفري، وارتباطه بمتراجحة سوبوليف الكسرية على الأسطح، لم يكن قد صيغ صراحة في الأدبيات.

تكمن أهمية النتيجة في توسيع أدوات الانتظام من مجال المقللات إلى الفئة الأوسع من المجموعات الساكنة. ومن خلال إثبات تقدير الكثافة، تتيح الورقة اشتقاق متراجحة سوبوليف الكسرية لهذه المجموعات، وهي أداة أساسية في التحليل الهندسي. يذكر المؤلف صراحة أن مسألة ما إذا كانت تقديرات كثافة الحجم "السميكة" (1.1) تتحقق للمجموعات ذات متوسط انحناء $s$ صفري تظل غير معروفة في العموم الكامل، وأن العمل الحالي لا يحل هذه المسألة المحددة، رغم ملاحظته أن الأمثلة المضادة الكلاسيكية (مثل الألواح والكاتينويد/catenoids) لا تترجم مباشرة إلى الإطار غير الموضعي بطريقة قد تفند (1.1).