Optimal stability of complement value problems for p-Lévy operators

ملخص تقني: الاستقرار الأمثل لمسائل القيم المتممة لمؤثرات ليفي من النوع $p$

بيان المسألة
يتقصى هذا العمل السلوك التقاربي للحلول الضعيفة للمعادلات التفاضلية التكاملية غير الموضعية (IDEs) التي يحكمها مؤثرات ليفي المتناظرة من النوع $p$ مع تلاشي نطاق التفاعل غير الموضعي. وتحديداً، تدرس الورقة تقارب حلول مسألة القيمة المتممة غير الموضعية $(P_{\nu_\varepsilon, \tau})$ إلى حلول مسألة القيمة الحدية لـ $p$-Laplace الموضعية $(P_\tau)$ عندما يؤول المعامل $\varepsilon \to 0$.

تُعرف المسألة غير الموضعية على مجموعة مفتوحة $\Omega \subset \mathbb{R}^d$ ومتممتها $\Omega^c$، ويحكمها المؤثر:
$$\mathcal{L}_\varepsilon u(x) = 2 \text{ p.v.} \int_{\mathbb{R}^d} |u(x) - u(y)|^{p-2}(u(x) - u(y)) \nu_\varepsilon(x-y) \, dy$$
خاضعة لشروط متممة من نوع ديريكليه (Dirichlet) ($\tau=0$) أو نيومان (Neumann) ($\tau=1$) على $\Omega^c$. وتتكون متتالية النواة $(\nu_\varepsilon)_\varepsilon$ من عائلة من نوى ليفي $p$-radial التي تقترب من الوحدة، وتحقق شروط تطبيع محددة (على سبيل المثال، $\int_{\mathbb{R}^d} (1 \wedge |h|^p)\nu_\varepsilon(h) dh = 1$). والهدف هو إثبات التقارب الأمثل، بمعنى التقارب القوي في فضاءات الطاقة غير الموضعية الطبيعية $W^p_{\nu_\varepsilon}(\Omega)$ و $W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)$، بدلاً من مجرد التقارب في $L^p(\Omega)$.

المنهجية
يعتمد التحليل على مزيج من الطرق التباينية، والتحليل التقاربي للصيغ غير الموضعية، ونظرية فضاءات الأثر (trace spaces).

1. تحليل صيغة الطاقة: يحلل المؤلفون تقارب الصيغ الثنائية غير الموضعية $E_\varepsilon(\cdot, \cdot)$ (ومتغيراتها $E_\varepsilon^\Omega$ و $E_\varepsilon^+$ والصيغة العابرة للحدود $E_\varepsilon^{cr}$) إلى صيغة ديريكليه الموضعية $E_0(u, v) = \int_\Omega |\nabla u|^{p-2}\nabla u \cdot \nabla v \, dx$. وتتمثل الخطوة الحاسمة في إثبات التقارب شبه الجزئي (demi-convergence) التقاربي لهذه الصيغ، مما يميز تقارب الحلول حتى عندما تعتمد المتتالية من الدوال على $\varepsilon$.
2. الخطيّة الموحدة: للتعامل مع عدم خطية مؤثرات ليفي $p$ (لـ $1 < p < \infty$)، تستخدم الورقة تقديرات الخطية الموحدة (مبرهنة 2.4، 2.6) التي تربط الفرق بين الصيغ بطاقة الفرق بين الدوال. وهذا يسمح للمؤلفين بالتحكم في تقارب الحدود غير الخطية.
3. متانة فضاءات الأثر: يُخصص جزء كبير من العمل لإثبات متانة فضاءات الأثر غير الموضعية $T^p_{\nu_\varepsilon}(\Omega^c)$ مع اقتراب $\varepsilon \to 0$. ويوضح المؤلفون أن هذه الفضاءات تتقارب إلى فضاء الأثر الموضعي $W^{1-1/p, p}(\partial\Omega)$ بشكل قوي، بما في ذلك تقارب مؤثرات الرفع (lifting operators). وهذا ضروري للتعامل مع الشروط الحدية من نوع ديريكليه حيث تكون البيانات محددة على $\Omega^c$.
4. التقارب-$\Gamma$ والتماسك (Compactness): يتم تأطير تقارب الحلول من خلال التقارب-$\Gamma$ للدوال الطاقية المرتبطة $J_\varepsilon$ إلى الدالة الطاقية الموضعية $J$. ونظراً لاختلاف النطاق (الدوال غير الموضعية معرفة على $\mathbb{R}^d$، والموضعية على $\Omega$)، يستخدم المؤلفون نتائج التماسك التقاربي (مبرهنة 2.18) ومتراجحات بوانكاريه الموحدة لضمان وجود متتاليات جزئية متقاربة وتحديد النهاية.

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

• التقارب الأمثل للحلول: النتيجة الأساسية (القسم 5) تثبت أنه تحت فرضيات التقارب الضعيف/القوي المناسبة للبيانات ($f_\varepsilon, g_\varepsilon$)، فإن متتالية الحلول الضعيفة $(u_\varepsilon)_\varepsilon$ تتقارب بقوة إلى الحل الموضعي $u$ في المعايير غير الموضعية المثلى:
  $$\lim_{\varepsilon \to 0} \|u_\varepsilon - u\|_{W^p_{\nu_\varepsilon}(\Omega|\mathbb{R}^d)} = 0$$
  وهذا يعني انهيار حد طاقة الحدود العابرة: $\lim_{\varepsilon \to 0} E_\varepsilon^{cr}(u_\varepsilon, u_\varepsilon) = 0$.
• متانة فضاءات الأثر غير الموضعية: تثبت الورقة أن فضاءات الأثر غير الموضعية $T^p_{\nu_\varepsilon}(\Omega^c)$ تتقارب إلى فضاء الأثر الموضعي $W^{1-1/p, p}(\partial\Omega)$. وتحديداً، إذا تقاربت متتالية من بيانات الحدود في معيار الأثر غير الموضعي، فإن نهاية المعايير تتطابق مع معيار الأثر الموضعي (مبرهنة 3.5). علاوة على ذلك، توجد مؤثرات رفع أيمن متينة تتقارب بقوة إلى مؤثر الرفع الموضعي.
• التقارب شبه الجزئي التقاربي: يثبت المؤلفون شكلاً معمماً من التقارب شبه الجزئي (demi-convergence) للصيغ الطاقية $E_\varepsilon$ إلى $E_0$ (مبرهنة 2.16، 2.17). وتتحقق هذه النتيجة تحت فرضيات انتظام طفيفة على النطاق (مثل نطاقات الامتداد $W^{1,p}$) أو عندما تتلاشى إحدى الدوال عند الحدود، مما يوسع النتائج السابقة حول تقارب الصيغ.
• حالة $p$-Laplacian الكسري: تُطبق النظرية العامة على الـ $p$-Laplacian الكسري $(-\Delta)^s_p$ عندما $s \to 1^-$. وتظهر الورقة أن حلول مسائل المتممة الكسرية تتقارب بقوة إلى حلول $p$-Laplace الموضعية (القسم 6). وتُعتبر هذه النتيجة جديدة حتى بالنسبة لـ $p$-Laplacian الكسري.
• تقارب الفضاءات المزدوجة: أظهرت أن الفضاءات المزدوجة لفضاءات سوبوليف غير الموضعية تتقارب إلى نظيراتها الموضعية (مبرهنة 3.9)، مما يضمن استقرار الصيغ التباينية.

الأهمية والادعاءات
تدعي الورقة تقديم نتيجة التقارب الأمثل للحدود (nonlocal-to-local) لمؤثرات ليفي $p$. لقد أثبتت الأعمال السابقة (بما في ذلك بحث المؤلف السابق [24]) التقارب القوي فقط في $L^p(\Omega)$ تحت فرضيات مخففة. تعمل هذه الورقة على تعزيز النتيجة لتشمل معيار الطاقة، وهو الطوبولوجيا الطبيعية لهذه المسائل التباينية.

يؤكد المؤلفون أن اختيار متتالية النواة $(\nu_\varepsilon)_\varepsilon$ التي تحقق الشرط (1.1) هو "أمثل جوهري" لأنه مرتبط جوهرياً بتوصيف معيار التدرج الموضعي عبر الفروق غير الموضعية (المعادلة 1.3)، مما يوسع العمل الرائد لـ Brezis وBourgain وMironescu.

تُبرز متانة فضاءات الأثر كعنصر حاسم في المنهج، مما يسمح بمعالجة صارمة للشروط الحدية غير الموضعية التي تتقارب إلى الشروط الحدية الموضعية. وتذكر الورقة صراحة أنه لا يمكن توقع تقارب أقوى بشكل عام، لأن الحلول غير الموضعية $u_\varepsilon$ تنتمي إلى $W^p_{\nu_\varepsilon}(\Omega)$ بينما ينتمي الحل $u$ إلى $W^{1,p}(\Omega)$، والمعايير مختلفة.

توحد النتائج معالجة مسائل متممة ديريكليه ونيومان، وتطبق على كل من المؤثر غير الموضي الكامل والمؤثرات الإقليمية (حيث تقتصر التفاعلات على $\Omega$). وتُقدم النتائج كتعميم للأدبيات الموجودة حول $p=2$ والحالات الكسرية، مما يوفر إطاراً شاملاً لـ $1 < p < \infty$.