Closing the gap: Maz'ya-Shaposhnikova and asymptotics of fractional perimeters

ملخص تقني: سد الفجوة: مازيا-شابوشنيكوفا والتقاربات لـ "المحيطات الكسرية"

بيان المشكلة
تعد دراسة تقاربات (asymptotics) شبهات جالياردو (Gagliardo seminorms) أمراً مركزياً في التحليل غير الموضعي (nonlocal analysis)، حيث تجسر الفجوة بين فضاءات سوبوليف الكسرية $W^{s,p}$ والفضاءات الكلاسيكية مع اقتراب المعامل $s$ من 0 أو 1. تصف صيغة مازيا-شابوشنيكوفا (MS) الكلاسيكية [36] الحد عندما $s \to 0^+$ للدوال $u \in L^p(\mathbb{R}^d)$، حيث تنص على أن $s [u]_{W^{s,p}}^p$ يتقارب إلى مضاعف لـ $L^p$ norm. ومع ذلك، تعتمد هذه الصيغة على افتراض بنيوي مفاده أن $u$ تتلاشى عند اللانهاية (أي $u \in L^p(\mathbb{R}^d)$). هذا القيد يقمع اصطناعياً "سلوك الذيل" (tail behavior) للدوال، وهو بالضبط النظام الذي يكون فيه الطابع غير الموضعي لنواة (kernel) الكسرية أكثر وضوحاً عند $s \to 0^+$.

وعلى العكس من ذلك، كشفت أعمال حديثة حول تقاربات المحيطات الكسرية (fractional perimeters) [20] للدوال المميزة للمجموعات $E$ أن المجموعة التي تمتلك كتلة غير متلاشية عند اللانهاية، يتضمن حدها قيمة $\alpha_1(E)$ التي تمثل "الذيل غير الموضعي". يشير هذا إلى أنه بالنسبة للدوال العامة التي لا تنتمي إلى $L^p(\mathbb{R}^d)$، لا ينبغي أن يكون الحد مجرد مضاعف بسيط لـ $L^p$ norm المحلي، بل يجب أن يكون طاقة تفاعل بين قيم الدالة داخل نطاق محدود $\Omega$ وسلوكها "عند اللانهاية".

المنهجية
يركز المؤلفون على الحالة الهيلبرتية (Hilbertian case) $p=2$ ويقدمون شبه مجمّع (seminorm) جالياردو محلي على نطاق ليبشيتز محدود $\Omega$:
$$[u]_{W^{s,2}(Q\Omega)}^2 = \iint_{Q\Omega} \frac{|u(x) - u(y)|^2}{|x-y|^{d+2s}} \, dx \, dy,$$
حيث $Q\Omega = (\mathbb{R}^d \times \mathbb{R}^d) \setminus (\Omega^c \times \Omega^c)$. يعالج هذا التابع التفاعلات التي تشمل نقطة واحدة على الأقل في $\Omega$، مما يعزل الطاقة من التفاعلات (داخل-داخل)، (داخل-خارج)، و(خارج-داخل)، بينما يتجاهل مساهمات (خارج-خارج).

الابتكار المنهجي الجوهري هو تعريف الكتلة-$p$ عند اللانهاية لدالة قابلة للقياس $u$:
$$\alpha_p(u) := \lim_{s \to 0^+} s \int_{B_1^c(0)} \frac{u(y)}{|y|^{d+sp}} \, dy.$$
يثبت المؤلفون أن هذه الكمية ثابتة تحت الإزاحة (translation-invariant) ومعرفة جيداً للدوال التي قد لا تكون قابلة للتكامل عالمياً. يقومون بتفكيك شبه المجمّع المحلي إلى أربعة حدود:

1. داخل-داخل (Interior-Interior): ثبت أنها تتلاشى عند $s \to 0^+$ (التمهيدية 2.5).
2. داخل-خارج (مربع) (Interior-Exterior Squared): تتقارب إلى حد يتضمن كتلة الدالة الثابتة 1 وتكامل $u^2$ على $\Omega$.
3. الحد المشترك (Cross-Term): يتضمن حاصل ضرب $u(x)u(y)$، والذي يتم توسيعه باستخدام الأجزاء الموجبة والسالبة لـ $u$ (أي $u_+, u_-$) وتحليله عبر الكتلة عند اللانهاية.
4. خارج-داخل (مربع) (Exterior-Interior Squared): يتقارب إلى حد يتضمن كتلة $u^2$ وحجم $\Omega$.

تعتمد البراهين على مزيج من التقديرات المباشرة، ومتباينة هاردي الكسرية (fractional Hardy inequality)، ونسخة معممة من صيغة MS في الفضاءات المترية القياسية (التقرير 2.3 من [28])، والمكيفة للتعامل مع المقاييس الموزونة بقيم الدوال نفسها.

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

1. صيغة مازيا-شابوشنيكوفا المعممة (النظرية 1.3):
   يثبت البحث أنه بالنسبة لـ $u \in L^2_{\text{loc}}(\mathbb{R}^d)$ ذات كتلة منتهية عند اللانهاية (تحديداً عندما يوجد $\alpha(u_+), \alpha(u_-), \alpha(u^2)$)، فإن حد شبه المجمّع المحلي هو:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \sum_{k=0}^2 \binom{2}{k} (-1)^k \alpha(u^k) \int_\Omega u^{2-k}(x) \, dx.$$
   توحد هذه الصيغة صيغة MS الكلاسيكية (التي تُستعاد عندما تكون $u \in L^2(\mathbb{R}^d)$ بحيث $\alpha(u^k)=0$ لـ $k \ge 1$) وتقاربات المحيطات الكسرية.

2. التفسير الهندسي (النظرية 2.11):
   بالنسبة للدوال $u$ التي تقبل حداً شعاعياً $u_\infty(\theta)$ عندما $|x| \to \infty$، يتم توصيف التابع الحدّي صراحة كطاقة تفاعل بين قيم $u$ داخل $\Omega$ وحدها عند اللانهاية:
   $$\lim_{s \to 0^+} \frac{s}{2} [u]_{H^s(Q\Omega)}^2 = \frac{1}{2} \int_\Omega \int_{S^{d-1}} |u(x) - u_\infty(\theta)|^2 \, d\mathcal{H}^{d-1}(\theta) \, dx.$$
   يوضح هذا أن الحد ليس "نورم" (norm) بل هو طاقة تقيس الانحراف بين الدالة وسلوكها عند اللانهاية.

3. تقارب غاما (Gamma-Convergence) (النظرية 3.4):
   يثبت المؤلفون أن متتالية التوابع $F_s(u, \Omega) = \frac{s}{2}[u]_{H^s(Q\Omega)}^2$ تتقارب من نوع "غاما" (Gamma-converges) بالنسبة لـ weak-$L^2(\Omega)$ topology إلى التابع المحدد في النظرية 1.3. تعني هذه النتيجة أن التابع الحدّي هو الغلاف شبه مستمر (lower semicontinuous envelope) للتابع المجموعاتي الذي يصف المحيط الكسري التقاربي (المعادلة 1.6).

4. التمديد إلى الفضاءات المترية القياسية (النظرية 4.5):
   تم تمديد النتائج إلى الفضاءات المترية القياسية العامة $(M, d, m)$ تحت شروط محددة على نوى الالتفاف (convolution kernels) $\rho_n$ ووجود كتلة عند اللانهاية. يشمل ذلك تطبيقات على مجموعات كارنو (Carnot Groups).

5. التمييز عن المحيطات الغاوسية (ملاحظة 4.9):
   يشير البحث إلى أن التقاربات المستمدة لا تنطبق على المحيط الغاوسي الكسري. في الإعداد الغاوسي، يكون المقياس (measure) منتهياً، والنوى لا تركز الكتلة عند اللانهاية بنفس الطريقة؛ وبالتالي، يعتمد الحد على المقياس الكلي للمجموعات بدلاً من التفاعلات الحدودية المحلية.

الأهمية والادعاءات
يزعم البحث أنه "يسد الفجوة" بين صيغة مازيا-شابوشنيكوفا الكلاسيكية وتقاربات المحيطات غير الموضعية من خلال توفير إطار موحد يستوعب الدوال ذات الكتلة غير المتلاشية عند اللانهاية.

• التوحيد: يختزل التابع الحدّي المحدد صيغة $L^2$ الكلاسيكية للدوال القابلة للتكامل عالمياً، ويستعيد التقارب النقطي للمحيطات الكسرية $s$ للدوال المميزة للمجموعات.
• الرؤية البنيوية: من خلال تقديم مفهوم "الكتلة عند اللانهاية"، يحدد المؤلفون بدقة التفاعلات بعيدة المدى التي تهيمن على الطاقة عند $s \to 0^+$. ويوضحون أن الحد هو طاقة تفاعل بين داخل النطاق و"الأفق" (اللانهاية)، وليس مجرد "نورم" محلي.
• المتانة: تُظهر النتائج أنها صالحة من حيث "تقارب غاما"، مما يضمن الاستقرار تحت التقارب الضعيف، كما تم تعميمها على إعداد المقياس المتري، لتشمل فضاءات مثل مجموعات كارنو.

يصرح المؤلفون صراحةً أن حالة $p \neq 2$ العامة تتطلب نهجاً مختلفاً وهي موضوع ورقة مرافقة [13]، مشيرين إلى أنه بالنسبة لـ $p$ الفردي، قد لا يكون من الممكن الوصول إلى صيغة مغلقة مشابهة للتوسع ذي الحدين المستخدم هنا.