Singular semilinear elliptic equations in nondivergence form

ملخص تقني: المعادلات الإهليلجية شبه الخطية المنفردة في الصيغة غير التباعدية

بيان المشكلة
تبحث هذه الورقة في وجود ووحدانية حلول مسألة ديريكليه (Dirichlet problem) شبه الخطية المنفردة:
$$\begin{cases} -Pu = \frac{f}{u^\gamma} & \text{في } \Omega, \\ u \equiv 0 & \text{على } \partial\Omega, \end{cases}$$
حيث $\Omega \subset \mathbb{R}^d$ ($d \geq 2$) نطاق محدود، و $f \in L^1(\Omega)$ غير سالب وغير صفري، و $\gamma > 0$. المؤثر $P$ هو مؤثر تفاضلي من الدرجة الثانية منتظم الإهليلجية في صيغة غير تباعدية:
$$Pu(x) = \sum_{i,j=1}^d a_{ij}(x) \frac{\partial^2 u}{\partial x_i \partial x_j},$$
حيث المصفوفة المتماثلة $A(x) = [a_{ij}(x)]$ تحقق شروط الإهليلجية المنتظمة. تنشأ التفردية من الحد $u^{-\gamma}$، وهو غير معرف عند $u=0$. يتم تفسير الشرط الحدودي بمعنى تلاشي الأثر (trace) بالقرب من الحدود: $\lim_{\epsilon \to 0} \frac{1}{\epsilon} \int_{\Omega_\epsilon} |u| = 0$، حيث $\Omega_\epsilon = \{x \in \Omega : \delta_\Omega(x) < \epsilon\}$.

المنهجية والإطار التقني
يستخدم المؤلفون مزيجًا من تقنيات التقريب، واللامساحات غير الخطية، وتقديرات دالة غرين (Green function). تميزت البراهين بين مفهومين للحلول بناءً على انتظام المعاملات $A$ والحل $u$:

1. الحلول الضعيفة (Weak Solutions): مُعرفة لـ $A \in C^1(\Omega)$، حيث تتحقق المعادلة بمعني التوزيعات باستخدام الصيغة $\langle -Pu, \phi \rangle = \int_\Omega (A\nabla u \cdot \nabla \phi + (\text{div} A \cdot \nabla u)\phi)$.
2. الحلول التوزيعية (Distributional Solutions): مُعرفة لـ $A \in C^2(\Omega)$، حيث تتحقق المعادلة عبر المؤثر الملحق $P^*$: $\langle -Pu, \phi \rangle = -\int_\Omega u P^* \phi$.

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

1. الوجود والانتظام (Theorem 1.1)
تحت الفرضيات أن $\Omega \in C^{1,1}$، و $A \in C^1(\Omega)$، وشرط صغر محدد لـ حد الانجراف (drift term) $\text{div} A$ (المتباينة 1.5)، يثبت المؤلفون وجود حل ضعيف $u \in W^{1,1}_{\text{loc}}(\Omega) \cap L^1(\Omega)$.

• الانتظام: يُظهر الحل انتظامًا صوفيًا (Sobolev regularity) يعتمد على $\gamma$:
  • $u \in H^1_{\text{loc}}(\Omega)$ لـ $\gamma \geq 2$.
  • $u \in H^1_{\text{loc}}(\Omega) \cap W^{1,q}_0(\Omega)$ لـ $\gamma \in (1, 2)$ و $1 \leq q < 2/\gamma$.
  • $u \in H^1_0(\Omega)$ لـ $\gamma = 1$.
  • $u \in W^{1,q}_0(\Omega)$ لـ $\gamma \in (0, 1)$ مع أس محدد $q$.
  • والأهم من ذلك، $u^{(\gamma+1)/2} \in H^1_0(\Omega)$ لجميع $\gamma > 0$.
• الإيجابية: الحل موجب تمامًا في $\Omega$ ويحقق السلوك الحدودي $u \gtrsim \delta_\Omega$.

2. الوحدانية (Theorem 1.2)
بافتراض انتظام أعلى ($\Omega \in C^2$ و $A \in C^2(\Omega)$)، يثبت المؤلفون وحدانية الحلول التوزيعية في $L^1(\Omega)$. وتعتبر هذه النتيجة صالحة لفئة أوسع من الحلول من تلك التي تم تناولها في نظرية الوجود، لأنها لا تفترض مسبقًا أن $u \in W^{1,1}_{\text{loc}}(\Omega)$.

الابتكارات المنهجية
تسلط الورقة الضوء على ثلاثة اختلافات تقنية رئيسية عن الأعمال السابقة المتعلقة بالمؤثرات ذات الصيغة التباعدية (مثل Boccardo و Orsina [6]):

• لامساحات غالياردو–نينيرني غير الخطية (Nonlinear Gagliardo–Nirenberg Inequalities): يستخدم إثبات الوجود تقديرات قبليّة (a priori estimates) مشتقة حديثًا من الشكل $\int_\Omega \|\nabla u\|_A^2 u^{\gamma-1} \leq C \int_\Omega |Pu|u^\gamma$. وقد تم تكييف هذه التقديرات من [30] لتناسب الصيغة غير التباعدية.
• تقديرات دالة غرين (Green Function Estimates): تُستخدم التقديرات الدقيقة لدالة غرين $G_\Omega$ وملحقها لاستخلاص معدلات اضمحلال دقيقة للحلول التقريبية، وهي ضرورية لتحديد فئات الانتظام الصوفي المحددة.
• لامساحات من نوع كاتو (Kato-type Inequalities): تم إنشاء لامساحة جديدة من نوع كاتو للحلول القوية في الصيغة غير التباعدية (Lemma 3.5) لإثبات رتابة المتتالية التقريبية. وللوحدانية، تم اشتقاق لامساحة من نوع كاتو للحلول "الضعيفة جدًا" (very weak solutions) (Lemma 4.10)، للتغلب على نقص الانتظام في فضاء الحلول.

الأهمية والنطاق
يضع المؤلفون هذا العمل كمعادل متعدد الأبعاد لمعادلة إمدين–فاولر (Emden–Fowler) للمؤثرات في الصيغة غير التباعدية.

• الجدة: بينما تمت دراسة المعادلات شبه الخطية المنفردة في الصيغة التباعدية بشكل واسع، تعالج هذه الورقة الحالة التي يكون فيها $P$ في صيغة غير تباعدية، وهي فئة من المؤثرات المركزية في نظرية العمليات العشوائية ومولدات الانتشار.
• الإنجاز التقني: توضح الورقة أنه يمكن إثبات الوجود تحت معاملات $C^1$ للمؤثر، بينما تتطلب الوحدانية معاملات $C^2$ للتعامل مع بنية المؤثر الملحق وتوسيع فئة دوال الاختبار.
• القيود والمسائل المفتوحة: يشير المؤلفون إلى أن الانتظام الصوفي العالمي لـ $\gamma \in (1, 2)$ المثبت في Theorem 1.1(b) غير معروف حاليًا للمؤثرات ذات الصيغة التباعدية. كما حددوا مسائل مفتوحة تتعلق باللاخطية العامة $\tau(u)$، والمؤثرات ذات المعاملات الأقل انتظامًا، والمؤثرات غير الموضعية (مثل مؤثرات لابلاس الكسرية).

تعتمد البراهń على بناء الحلول عبر تطبيق نظرية نقطة شاويدر الثابتة (Schauder Fixed Point Theorem) على المسائل المنتظمة، متبوعًا بالانتقال إلى النهاية باستخدام رتابة المتتالية والتقديرات القبليّة المستخلصة. يتضمن إثبات الوحدانية توسيع فئة دوال الاختبار إلى $C^{1,P}_0(\Omega)$ واستخدام التكامل الموزون لـ $f/u^\gamma$ بالنسبة لدالة المسافة $\delta_\Omega$.