Barycentric stability of nonlocal perimeters: the convex case

ملخص تقني: الاستقرار الباريسنتري للمحيطات غير الموضعية: الحالة المحدبة

بيان المشكلة
تتناول الورقة البحثية الاستقرار الكمي لعدم التساوي في المحيط (isoperimetric inequality) ضمن إطار المحيطات غير الموضعية (الكسرية). وتحديداً، تبحث فيما إذا كانت المجموعة $E$ التي تقترب من تقليل المحيط الكسري $s$-perimeter، تكون قريبة هندسياً من كرة، وذلك باستخدام مقياس عدم التماثل الباريسنتري (barycentric asymmetry) $\lambda_0(E)$.

بينما يُعد عدم التساوي في المحيط الكمي الكلاسيكي (الذي يربط بين عجز المحيط وعدم التماثل من نوع فراينكل) مستقراً ومعروفاً للمجموعات العامة، فإن النسخة التي تتضمن عدم التماثل الباريسنتري لا تتحقق إلا تحت قيود هندسية محددة (مثل التحدب أو المحدودية) في الحالة الموضعية ($s=1$). يهدف المؤلفون إلى تمديد عدم التساوي الباريسنتري الكمي الحاد إلى الإطار غير الموضعي ($s \in (0,1)$) للمجموعات المحدبة. يُعرَّف عدم التماثل الباريسنتري بأنه الحجم المعياري للفرق المتماثل بين المجموعة $E$ والكرة المتمركزة عند المركز الثقلي (barycenter) للمجموعة $E$، $\text{bar}(E)$، والتي لها نفس الحجم. هذا الاختيار يتجنب عملية التحسين (optimization) المطلوبة في تعريف فراينكل، مما يجعله ميزة حسابية، رغم أنه شرط أقوى يتطلب عادةً افتراضات هندسية إضافية لكي يتحقق.

المنهجية
تتبع عملية الإثبات الاستراتيجية التي وضعها فوجليد (Fuglede) للحالة المحدبة الموضعية، مع تكييفها لتناسب الإطار غير الموضعي. تتقدم المنهجية عبر ثلاث مراحل رئيسية:

1. الاختزال إلى نظام العجز الصغير:
   يؤسس المؤلفون أولاً أن المجموعات المحدبة ذات عجز $s$-isoperimetric صغير بما يكفي $\delta_s(E)$، يجب أن تكون محدودة بانتظام. وقد تم تحقيق ذلك عبر القرار 3.3، الذي يستنتج حداً أدنى للمحيط الكسري بدلالة نصف قطر الداخل (inradius) $r_E$ لمجموعة محدبة. ومن خلال الجمع بين هذا الحد وتعريف العجز، أثبتوا أن المجموعات ذات العجز الصغير لا يمكن أن تمتلك أقطاراً كبيرة بشكل تعسفي. يسمح هذا باختزال المشكلة إلى مجموعات محتواة داخل مكعب ثابت $Q_l$.

2. الاستمرارية والتماسك:
   باستخدام المحدودية المنتظمة التي تم إثباتها أعلاه، توضح اللمة 3.1 أن العجز الصغير يؤدي إلى عدم تماثل باريسنتري صغير للمجموعات المحتواة في مكعب ثابت، ويعتمد ذلك على الاتصال السفلي (lower semicontinuity) للمحيط الكسري بالنسبة لتقارب $L^1$ وحقيقة أن الكرة هي المقلل الوحيد.

3. الاستقرار للمجموعات القريبة من الكروية:
   بالنسبة للمجموعات القريبة من كرة (شبه كروية)، يستخدم المؤلفون تقديراً طيفياً من نوع فوجليد (النظرية 2.3). يقومون بتمثيل حدود المجموعة كاضطراب للكرة الوحدة ويربطون عجز $\delta_s(E)$ بمعيار $L^2$ لدالة الاضطراب $u$. ومن خلال الجمع بين هذا الحد الطيفي الأدنى والعلاقة الهندسية بين معيار $L^1$ لـ $u$ وعدم التماثل الباريسنتري، يستنتجون عدم التساوي المطلوب لحالة "العجز الصغير".

4. الحجة الشاملة:
   يجمع الإثبات النهائي (النظرية 1.1) بين النظامين. إذا كان العجز كبيراً، فإن عدم التساوي يتحقق بشكل بديهي بسبب محدودية عدم التماثل. أما إذا كان العجز صغيراً، فيُظهر أن المجموعة قريبة من الكروية (عبر حد القطر واللمة 3.1)، مما يسمح بتطبيق التقدير الطيفي.

المساهمات والنتائج الرئيسية
النتيجة الأساسية هي النظرية 1.1، التي تثبت عدم تساوي في المحيط كمي حاد للمجموعات المحدبة في الإطار الكسري:
$$\lambda_0(E) \leq C \sqrt{\delta_s(E)}$$
حيث تعتمد $C$ فقط على البعد $n$ والمعامل الكسري $s$.

تشمل المكونات التقنية الرئيسية ما يلي:

• تقدير نصف قطر الداخل: استنتاج حد أدنى للمحيط الكسري لمجموعة محدبة بدلالة نصف قطر الداخل الخاص بها (المعادلة 3.4)، وتحديداً $P_s(E) \geq \alpha_{n,s} |E| / r_E^s$. يُلاحظ أن هذا التقدير قد يكون ذا أهمية مستقلة.
• توسيع نتيجة فوجليد: نجحت الورقة في تكييف نتيجة الاستقرار المحدب الموضعي لتناسب المحيط الكسري غير الموضعي، مؤكدة أن الأس $1/2$ يظل حاداً لعدم التماثل الباريسنتري في هذا السياق.
• السلوك الحدّي: يوضح المؤلفون في الملاحظة 4.2 أن نتيجتهم متسقة مع الحالة الموضعية ($s \to 1$) ويمكن استخدامها لاستعادة عدم التساوي الباريسنتري الموضعي عبر حجج التباين التي تتضمن تقارب العجوز الكسرية إلى العجز الكلاسيكي.

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

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