Optimal stability of Dirichlet problem for the regional fractional $p$-Laplacian

ملخص تقني: الاستقرار الأمثل لمسألة ديريكليه لمتسلسلة الـ $p$-لابلاسيان الكسرية الإقليمية

بيان المسألة
تبحث هذه الورقة في السلوك التقاربي لمسألة القيمة الحدية لديريكليه المرتبطة بمتسلسلة الـ $p$-لابلاسيان الكسرية الإقليمية، والتي يُرمز لها بـ $(-\Delta)^s_{p,\Omega}$، عندما يقترب المعامل الكسري $s$ من الواحد من الأسفل ($s \to 1^-$). المسألة مُعرفة على نطاق محدود لبتس (Lipschitz domain) $\Omega \subset \mathbb{R}^d$ حيث $1 < p < \infty$ و $sp > 1$. المعادلة هي:
$$\begin{cases} (-\Delta)^s_{p,\Omega} u_s = f_s & \text{في } \Omega, \\ \gamma^s_0(u_s) = g_s & \text{على } \partial\Omega, \end{cases}$$
حيث $\gamma^s_0$ هو مؤثر الأثر (trace operator) الذي يربط بين $W^{s,p}(\Omega)$ وفضاء الأثر الكسري $W^{s-1/p,p}(\partial\Omega)$. تم تطبيع المتسلسلة بواسطة ثابت $C_{d,p,s}$ لضمان سلوك تقاربي متسق عند $s \to 1^-$ (استعادة الـ $p$-لابلاسيان الكلاسيكي $-\Delta_p$) وعند $s \to 0^+$.

الهدف الأساسي هو إثبات الاستقرار الأمثل (التقارب القوي في فضاء الطاقة الطبيعي) للحلول الضعيفة $u_s$ إلى الحل النهائي $u_1$ عندما $s \to 1^-$. والهدف الثانوي هو تحليل الاستقرار التقاربي لأزواج ديريكليه المتناغمة (Dirichlet eigenpairs) $(\lambda_s, \phi_s)$.

المنهجية والإطار العملي
يعتمد التحليل على عدة مكونات تقنية رئيسية:

1. تعريفات التقارب التقاربي: نظرًا لأن الفضاءات الأساسية $W^{s,p}_0(\Omega)$ وفضاءات الأثر تتغير مع $s$، فإن التقارب الضعيف القياسي غير كافٍ. لذا قدم المؤلف:

   • التقارب الضعيف التقاربي: تتوافق متسلسلة الدوال $(f_s)$ تقاربيًا ضعيفًا إلى $f_1$ إذا ظلت محدودة وحققت خاصية التقارب (ضعيف-قوي) مقابل المتسلسلات التي تتقارب بقوة في $L^p$.
   • التقارب القوي التقاربي: تتوافق البيانات الحدية $(g_s)$ بقوة إلى $g_1$ في معايير الأثر المناسبة.

2. الاستكمال المتين والتماسك: يستخدم البرهان علاقات استكمال متينة (مستعارة من Foghem [19]) لإثبات تماسك متسلسلة الحل $(u_s)$ في $W^{\eta,p}(\Omega)$ لـ $1/p < \eta < 1$. هذا التماسك ضروري للتعامل مع السلوك عند الحدود، والذي لوحظ أنه يشكل صعوبة كبيرة.

3. تقاربيات فضاء الأثر: خُصص جزء كبير من العمل للخصائص التقاربية لفضاءات الأثر $W^{s-1/p,p}(\partial\Omega)$. أثبت المؤلف أن هذه الفضاءات تتقارب إلى فضاء الأثر الكلاسيكي $W^{1-1/p,p}(\partial\Omega)$ عندما $s \to 1^-$. ويتضمن ذلك إثبات التماسك التقاربي للعائلات المحدودة في هذه الفضاءات وتوفير توصيف لـ $W^{1-1/p,p}(\partial\Omega)$ عبر الـ $\liminf$ للمعايير.

4. متراجحات بوانكاريه-فريدريش القوية: أثبتت الورقة عدة متغيرات من متراجحات نوع بوانكاريه التي تظل صالحة بشكل موحد لـ $s$ قريب من 1. هذه المتراجحات أساسية لإثبات تماسك الدوال الطاقية وصلاحية المسألة.

5. تقارب $\Gamma$ (Gamma-convergence): أظهرت أن الدوال الطاقية المرتبطة بمسألة ديريكليه تتقارب وفق $\Gamma$-convergence في الطوبولوجيا القوية لـ $W^{\eta,p}(\Omega)$. وهذا يوفر إطارًا متغيرًا لتقارب القيم الصغرى.

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

• النظرية 1.1 (الاستقرار الأمثل للحلول): تحت فرضيات التقارب الضعيف التقاربي للمصدر $f_s$ والتقارب القوي التقاربي للبيانات الحدية $g_s$، تتقارب متسلسلة الحلول الضعيفة $u_s$ بقوة إلى الحل الضعيف الوحيد $u_1$ للمسألة النهائية بالمعنى الأمثل:
  $$\lim_{s \to 1^-} \|u_s - u_1\|_{W^{s,p}(\Omega)} = 0.$$
  هذه النتيجة تحسن النتائج السابقة (مثل Foghem [19]) التي أثبتت فقط التقارب في $W^{\eta,p}(\Omega)$ لـ $\eta < 1$.

• النظرية 1.2 (استقرار الأزواج المتناغمة): بالنسبة لأزواج ديريكليه المتناغمة $(\lambda_s, \phi_s)$ لمتسلسلة الـ $p$-لابلاسيان الكسرية الإقليمية، يوجد متتالية جزئية $s_n \to 1^-$ بحيث تتقارب القيم الذاتية ($\lambda_{s_n} \to \lambda_1$) وتتقارب الدوال المتناغمة بقوة في معيار الطاقة:
  $$\lim_{n \to \infty} \|\phi_{s_n} - \phi_1\|_{W^{s_n,p}(\Omega)} = 0.$$

• توصيف فضاء الأثر (النظرية 3.3 و 3.4): أثبتت الورقة التماسك التقاربي لفضاءات الأثر $W^{s-1/p,p}(\partial\Omega)$ ووصف فضاء الحد $W^{1-1/p,p}(\partial\Omega)$ عبر حدود الـ $\liminf$ للمعايير الكسرية.

• المتراجحات القوية (القسم 4): اشتق المؤلف متراجحات بوانكاريه وفريدريش قوية تظل صالحة لـ $s \in (s_0, 1)$، بما في ذلك الحالات ذات الشروط الحدية الجزئية على مجموعة فرعية $\Gamma_0 \subset \partial\Omega$ ذات قياس هاوسدورف موجب.

الأهمية والادعاءات
تدعي الورقة أن تقارب الحلول الضعيفة لمسألة ديريكليه المرتبطة بالـ $p$-لابلاسيان الكسرية الإقليمية هو نتيجة جديدة. تكمن الأهمية في تحقيق التقارب الأمثل (التقارب القوي في معيار $W^{s,p}$) بدلاً من التقارب الأضعف في $W^{\eta,p}$ لـ $\eta < 1$ الذي أثبتته الأدبيات السابقة.

يؤكد المؤلف أن الصعوبة الرئيسية في هذا التحليل تنبع من سلوك الحلول الضعيفة بالقرب من الحدود $\partial\Omega$. ومن خلال إثبات متانة مؤثر الأثر والخصائص التقاربية لفضاءات الأثر، تتغلب الورقة على هذه العقبة. تعمل هذه النتائج كجسر بين المسائل المتغيرة (variational problems) غير الموضعية والمسائل الموضعية الكلاسيكية، مما يوفر أساسًا صارمًا للحد $s \to 1^-$ في سياق العمليات الإقليمية ذات الشروط الحدية غير المتجانسة. كما تساهم هذه الدراسة في أدبيات التقارب من "غير الموضعي إلى الموضعي" (nonlocal-to-local) من خلال توسيع النتائج من الـ $p$-لابلاسيان الكسري الكامل (المعرف على $\mathbb{R}^d$) إلى الحالة الإقليمية (المعرفة على نطاق محدود).