ملخص تقني: $\Gamma$-convergence للمسألة غير الموضعية لـ Massari والتحليل الوظيفي لمعادلات Allen-Cahn غير المتجانسة

1. بيان المسألة والسياق

يستقصي هذا البحث السلوك التقاربي للمسائل التباينية غير الموضعية المرتبطة بمجموعات ذات انحناء متوسط محدد، وتحديداً مسألة Massari غير الموضعية، وصلتها بـ معادلات Allen-Cahn الكسرية غير المتجانسة.

توفر مسألة Massari الكلاسيكية، التي صاغها Massari في السبعينيات، تعريفاً تباينياً لمجموعات ذات انحناء متوسط $H \in L^1(\Omega)$، حيث يكون $H$ قابلاً للجمع ولكنه ليس بالضرورة مستمراً. يُعرف الدالة الوظيفية كالتالي:
$$J^H_\Omega(E) := \text{Per}(E, \Omega) + \frac{1}{\omega_{n-1}} \int_{\Omega \cap E} H \, dx$$
حيث يمثل $\text{Per}$ المحيط التبايني.

يقوم المؤلفون بتوسيع هذا الإطار إلى الإطار الكسري (المعامل $s \in (0,1)$)، حيث يتم استبدال المحيط بالمحيط $s$-الموضعي (حد تفاعل غير موضعي). تُعطى دالة Massari غير الموضعية كالتالي:
$$J^H_{s,\Omega}(E) := \text{Per}_s(E, \Omega) + \frac{1}{1-2s} \int_{\Omega \cap E} H \, dx$$
الهدف الرئيسي هو تحليل حد هذه الدوال الوظيفية عندما $s \to (1/2)^-$، ودراسة السلوك التقاربي لحلول معادلات Allen-Cahn الكسرية المضطربة تحت قيود الكتلة. ويتمثل التحدي المركزي في ظهور كائن هندسي جديد، وهو "الانحناء المتوسط الهجين غير الموضعي"، والذي ينشأ عند فرض قيود الكتلة على التحولات الطورية غير الموضعية.

2. المنهجية

يستخدم البحث نظرية $\Gamma$-convergence (التي قدمها De Giorgi) لإثبات السلوك الحدّي لهذه الدوال الوظيفية واستقرار قيمها الصغرى. تتضمن المنهجية ما يلي:

• إعادة القياس وتحليل الحدّ: تحليل دالة Massari غير الموضعية عندما $s \to (1/2)^-$. يستخدم المؤلفون عامل قياس محدد $(1-2s)$ لاستعادة دالة Massari الكلاسيكية.
• الدوال الوظيفية المضطربة: إدخال دالة طاقة Allen-Cahn كسرية "مُقاسة" بدالة قوة شديدة التذبذب $g_\varepsilon(x) = g(x/\varepsilon)$. يتم إعادة قياس الطاقة اعتماداً على النظام (regime) الخاص بـ $s$:
  • $s \in (0, 1/2)$: يتم القياس بواسطة $\varepsilon^{-2s}$.
  • $s = 1/2$: يتم القياس بواسطة $|\varepsilon \log \varepsilon|^{-1}$.
  • $s \in (1/2, 1)$: يتم القياس بواسطة $\varepsilon^{-1}$.
• قيود الكتلة: استقصاء مسألة التقليل تحت قيد كتلة ثابتة $\int_\Omega u \, dx = m$. يتطلب هذا بناء متتاليات استعادة (recovery sequences) محددة تحقق قيد الكتلة مع التقارب إلى الدالة الوظيفية الحدّية، لا سيما في النظام $s \in [1/2, 1)$ حيث لا تنطبق الأدبيات الموجودة (مثل [29]) مباشرة بسبب غياب الشروط الحدية من نوع Dirichlet.
• تحليل السلوك الخارجي: اشتقاق سلوك الحلول خارج النطاق $\Omega$. على عكس المسائل الكلاسيكية حيث يُفترض غالباً أن الحلول هي دوال مميزة عالمياً، فإن قيد الكتلة في الإطار غير الموضعي يفرض شرط نيومان غير موضعي محدد على الخارج، مما يؤدي إلى حلول ليست بالضرورة ثابتة جزئياً خارج $\Omega$.
• صقل تقارب النقاط الحرجة: تكييف النتائج من [24] المتعلقة بتقارب النقاط الحرجة لمعادلات Allen-Cahn الكسرية. يقوم المؤلفون بصقل هذه النتائج للتعامل مع الحالات التي لا يكون فيها الحل $C^{0,1}$ منتظماً عالمياً، وهو ما يترتب على قيد الكتلة.

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

3.1 $\Gamma$-convergence لمسألة Massari غير الموضعية

تثبت النظرية 2.3 أن دالة Massari غير الموضعية المعاد قياسها بشكل مناسب تتقارب $\Gamma$-convergence إلى دالة Massari الكلاسيكية عندما $s \to (1/2)^-$.
تثبت النظرية 2.4 استقرار القيم الصغرى الحدّية: إذا كانت متتالية المجموعات $\{E_j\}$ هي قيم صغرى محلية للدوال الوظيفية غير الموضعية $J^{H_j}_{s_j, \Omega}$ وتتقارب إلى $E$، فإن $E$ تكون قيمة صغرى محلية للدالة الوظيفية الكلاسيكية $J^H_\Omega$. علاوة على ذلك، تتقارب طاقة المتتالية إلى طاقة المجموعة الحدّية.

3.2 معادلات Allen-Cahn غير المتجانسة

يعمم البحث نتائج $\Gamma$-convergence من [29] لتشمل حداً للقوة الماكروسكوبية $H$.
تثبت النظرية 2.7 أن دالة طاقة Allen-Cahn الكسرية المضطربة تتقارب $\Gamma$-convergence إلى دالة وظيفية حدّية تتضمن المحيط غير الموضعي (أو الكلاسيكي، حسب $s$) وحداً للقوة.
تثبت النظرية 2.8 استقرار القيم الصغرى لهذه الطاقة المضطربة.

• بالنسبة لـ $s \in (0, 1/2)$، تحقق القيمة الصغرى الحدّية مسألة Massari غير الموضعية مع بيانات خارجية محددة بواسطة الحد الضعيف* (weak* limit) للمتتالية خارج $\Omega$.
• بالنسبة لـ $s \in [1/2, 1)$، تقابل القيمة الصغرى الحدّية مجموعة ذات انحناء متوسط كلاسيكي $H/c_\star$.

3.3 مسائل الكتلة المحددة والانحناء المتوسط الهجين غير الموضعي

يتناول جزء كبير من العمل مسألة Allen-Cahn ذات الكتلة المحددة.

• النظرية 2.10 و 2.11: تثبت $\Gamma$-convergence وحدود الطاقة الموحدة للقيم الصغرى تحت قيد الكتلة. يعد بناء متتالية الاستعادة لـ $s \in [1/2, 1)$ مساهمة مبتكرة، حيث يتطلب الأمر تعديل المتتالية القياسية لتلبية شرط الكتلة دون انتهاك حدود الطاقة.
• النظرية 2.12: تظهر أن الحلول للمسألة المقيدة بالكتلة تحقق شرط نيومان غير موضعي خارجي (المعادلة 2.19). وهذا يعني أن الحل خارج $\Omega$ يتحدد من خلال متوسط تكاملي للحل داخل $\Omega$، ومن المهم ملاحظة أن الحل ليس دالة مميزة مُوقعة ($|u| \neq 1$) خارج $\Omega$.
• النظرية 2.14 و 2.15: تحلل تقارب مضاعفات لاجرانج المرتبطة بقيد الكتلة وتقارب الطاقة الكلية.
• النظرية 2.18 و 2.20: تقدم وتعرف الانحناء المتوسط الهجين غير الموضعي.
  • التعريف 2.17: يعرف الانحناء المتوسط الهجين غير الموضعي للزوج $(E, g)$، حيث $E$ مجموعة داخل $\Omega$ و $g$ دالة خارج $\Omega$.
  • النتيجة: يتكون التكوين الحدّي لمسألة الكتلة المحددة من مجموعة $E$ داخل $\Omega$ ودالة $u|_{\Omega^c}$ خارج $\Omega$. يتميز الحد الفاصل بثبات الانحناء المتوسط الهجين غير الموضعي.
  • الانتظام: يشير البحث إلى أنه بينما يكون الحل الحدّي مستمراً عبر $\partial \Omega$ ($C^0$)، فإنه عموماً ليس $C^1$ عبر الحدود، مما يميزه عن الرسوم البيانية $s$-minimal التي تكون إما غير مستمرة أو $C^1$.

3.4 التحسينات التقنية

• الملحق أ (Appendix A): يوضح أن فرض كل من شروط Dirichlet الحدية وقيد الكتلة يؤدي إلى مسألة محددة بشكل زائد (over-determined) لا تملك حلولاً، مما يبرر استخدام شروط نيومان غير الموضعية.
• الملحق ب (Appendix B): يوسع نتائج $\Gamma$-convergence من فضاء الدوال المحدودة بـ 1 إلى الفضاء $X_M$ (الدوال المحدودة بـ $M$)، مما يضمن صحة النتائج للفئة الأوسع من الدوال المدروسة في النظريات الرئيسية.

4. الأهمية والادعاءات

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

1. الربط بين المسائل الهندسية غير الموضعية والكلاسيكية: يربط رسمياً مسألة Massai الكسرية بالمسألة الكلاسيكية عند $s \to 1/2$، مع الحفاظ على القيم الصغرى وحدود الطاقة.
2. كائن هندسي جديد: يُقدم تحديد "الانحناء المتوسط الهيدي غير الموضعي" ككائن هندسي مبتكر. فخلافاً للتحولات الطورية الكلاسيكية المقيدة بالكتلة والتي تتقارب إلى مجموعات ذات انحناء متوسط ثابت، فإن الإطار الكسري ينتج تكويناً حدّياً معرفاً بزوج (مجموعة في الداخل، ودالة في الخارج) مع انحناء هجين ثابت.
3. التعامل مع قيود الكتلة في الأطر غير الموضعية: يعالج البحث فجوة في الأدبيات المتعلقة ببناء متتاليات الاستعادة للمسائل المقيدة بالكتلة عندما $s \in [1/2, 1)$، حيث تتركز المساهمات غير الموضعية.
4. السلوك الحدّي: يسلط الضوء على سلوك حدّي متميز للواجهات غير الموضعية المقيدة بالكتلة ($C^0$ ولكن ليست $C^1$)، مما يباين النتائج المعروفة للرسوم البيانية $s$-minimal.

يذكر المؤلفون أن التحسين في نتائج تقارب النقاط الحرجة (النظرية 2.18) هو أمر ذو أهمية مستقلة، لأنه يخفف من الافتراضات المتعلقة بالانتظام العالمي التي كانت مطلوبة سابقاً في سياقات مماثلة (مثل [24]). يُقدم العمل كخطوة تأسيسية لفهم التفاعل بين التفاعلات غير الموضعية، وقيود الكتلة، والمسائل التباينية الهندسية.