Isolated Singularities and Measure Data Problems for Semilinear Equations Driven by Stable Lévy Operators

ملخص تقني: التفردات المعزولة ومشكلات بيانات القياس للمعادلات شبه الخطية المدفوعة بمؤثرات ليفي المستقرة

بيان المشكلة
تبحث الورقة في الحلول الموجبة للمعادلات شبه الخطية المدفوعة بمؤثرات ليفي المستقرة تماماً من الدرجة $2s$ (حيث $s \in (0, 1)$) والمنتظمة في التوزيع (uniformly elliptic) في مجال محدود $D \subset \mathbb{R}^d$ ($d \ge 1$). تركز الدراسة على مشكلتين مترابطتين:

1. مشكلة التفرد المعزول: تحليل الحلول التوزيعية الموجبة لـ $-Lu = u^p$ في المجال المثقوب $D \setminus \{0\}$، حيث $L$ هو مولد عملية ليفي مستقرة تماماً من الدرجة $2s$. المؤثر $L$ مُعرف عبر مقياس ليفي $\nu$ ليس بالضرورة متماثلاً ويستوفي شرط عدم تدهور منتظم.
2. مشكلة ديريكليه لبيانات القياس: دراسة مشكلة ديريكليه الخارجية $-Lu = u^p + k\mu$ في $D$ مع $u=0$ في $D^c$، حيث $\mu$ هو مقياس بور موجب محدود و $k > 0$ هو معامل.

الهدف الرئيسي هو إثبات الوجود، والخصائص النوعية، وإمكانية إزالة التفردات، وكذلك وجود معامل حرج $k_\mu$ يحكم القابلية للحل، وذلك تحت فرضيات هيكلية عامة تشمل المولدات المستقرة غير المتجانسة (anisotropic) وغير المتماثلة.

المنهجية والجدة
يميز المؤلفون صراحةً نهجهم عن الأدبيات الحالية المتعلقة بـ لابلاس الكسري $(-\Delta)^s$. تعتمد التقنيات القياسية لـ لابلاس الكسرى بشكل كبير على:

• امتداد كافيلي-سيلفستر (Caffarelli–Silvestre extension): (توطين المؤثر غير الموضعي).
• صيغ صريحة وتقديرات نقطية حادة لدالة غرين (Green function): (على سبيل المثال $G_D(x,y) \asymp G(x,y)(\delta_D(x)/|x-y|)^s (\delta_D(y)/|x-y|)^s$).
• سلاسة كثافة مقياس القفز وتفاوتات هارنك (Harnack inequalities) محددة.

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

الميزات المنهجية الرئيسية تشمل:

• فضاءات الذيل ($T_\nu(V)$): للتعامل مع الطبيعة غير الموضعية لـ $L$، أدخل المؤلفون فضاءً من الدوال $T_\nu(V)$ يضمن أن يكون $Lu$ معرفاً كتوزيع. هذا الفضاء يأخذ في الاعسب تكامل الحل خارج دعم دالة الاختبار.
• تحلل ريس (Riesz Decomposition) وصيغة دينكين (Dynkin's Formula): يعتمد تحليل التفردات المعزولة على صيغة دينكين ونظرية تحلل ريس للدوال الزائدة (excessive functions)، بدلاً من حجج انتظام المعادلات التفاضلية الجزئية الكلاسيكية.
• الرصانة عبر نظرية ديني (Deny's Theorem): لبناء حلول لمشكلة بيانات القياس دون وجود حلات عليا صريحة (التي تفتقر إليها الورقة بسبب غياب حدود غرين النقطية)، جمع المؤلفون بين نظرية ديني والحجج الاحتمالية لإثبات رصانة مؤثر غرين غير الخطي.
• طرق النقطة الثابتة والمتغيرات: يتم اشتقاق الوجود للمعاملات الصغيرة عبر نظرية شاويدر للنقطة الثابتة. كما تستخدم طرق التعدد والاستقرار في الحالة المتماثلة الأساليب المتغيرة، وتحديداً نظرية ممر الجبل (Mountain Pass theorem) ودوال الطاقة التي تتضمن تباعدات بريجمان (Bregemann divergences).

النتائج الرئيسية

1. الإزالة وهيكل التفرد:

   • كل حل توزيعي موجب $u$ لـ $-Lu = u^p$ في $D \setminus \{0\}$ ينتمي إلى فضاء الذيل $T_\nu(D)$ ويحقق $-Lu = u^p + k\delta_0$ في $D$ لقيمة $k \ge 0$.
   • عتبة الإزالة: إذا كان $p \ge d/(d-2s)$، فإن $k=0$ بالضرورة. التفرد قابل للإزالة.
   • السلوك التقاربي: إذا كان $p < d/(d-2s)$ و $k > 0$، فإن الحل يتصرف تقاربياً مثل دالة غرين $G_D(x, 0)$ بالقرب من الأصل ($k G_D(x, 0) \le u(x) \le c k G_D(x, 0)$). يشير المؤلفون إلى أنه، على عكس حالة لابلاس الكسري المتماثل، فإن الملف التفردي ليس بالضرورة متماثلاً ($|x|^{2s-d}$) بل يعتمد على المقياس الطيفي واتجاه الاقتراب.

2. المعامل الحرج والقابلية للحل:

   • بالنسبة للمشكلة $-Lu = u^p + k\mu$، يوجد معامل حرج $k_\mu \in (0, \infty)$.
   • دون الحرج ($k < k_\mu$): يوجد حل أدنى موجب $u_k$.
   • فوق الحرج ($k > k_\mu$): لا يوجد حل موجب.
   • الحرج ($k = k_\mu$): يوجد حل موجب واحد على الأكثر.

3. الحالة المتماثلة (التعدد والاستقرار):

   • بافتراض أن $L$ متماثل، فإن الحل الأدنى $u_k$ لـ $k < k_\mu$ يكون مستقراً.
   • التعدد: لكل $k < k_\mu$، يوجد حل موجب ثانٍ $v_k > u_k$.
   • الوجود عند العتبة: يوجد حل عند $k = k_\mu$، مما يعني التفرد عند المعامل الحرج.

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

من خلال استخدام الموحل المقتول (killed resolvent) ونظرية الجهد الاحتمالية، يوفر المؤلفون إطاراً منهجياً للمعادلات شبه الخطية غير الموضعية المدفوعة بمولدات ليفي المستقرة العامة. يوسع هذا العمل النظرية الكلاسيكية للتفردات المعزولة (التي طورها مؤلفون مثل ليونز، بريزي، فيرون، وتشين-كواس) لتشمل السياق غير المتجانس وغير المتماثل، متجاوزاً نقص التقديرات النقطية من خلال حجج الرصانة التحليلية والاحتمالية.

تخلص الورقة إلى أن "ظواهر الإزالة والعتبة الرئيسية تستمر تحت هذه الفرضات الهيكلية الواسعة"، مما يؤكد صلاحية استخدام الأدوات الاحتمالية كبديل قوي لطرق الامتداد والتقديرات النقطية في التحليل غير الموضعي.