ABP estimate and Harnack inequality for a class of degenerate fully nonlinear pseudo-$p$-Laplacian equations

ملخص تقني: تقدير ABP ولامساواة هارناك لفئة من معادلات الـ pseudo-p-Laplacian الكاملة غير الخطية المتدهورة

بيان المسألة
تبحث هذه الورقة في نظرية الانتظام الأساسية للحلول بالمعنى الضعيف (viscosity solutions) لفئة محددة من معادلات الـ pseudo-$p$-Laplacian الكاملة غير الخطية المتدهورة في الصيغة غير التباعدية (nondivergence form). الكائن الرئيسي للدراسة هو نظام المتباينة:
$$\begin{cases} M^{-}_{\lambda,\Lambda}\left(\left[|D_i u|^{p/2}\right] D^2 u \left[|D_i u|^{p/2}\right]\right) - \Lambda|Du|^{p+1} \leq f(x), \\ M^{+}_{\lambda,\Lambda}\left(\left[|D_i u|^{p/2}\right] D^2 u \left[|D_i u|^{p/2}\right]\right) + \Lambda|Du|^{p+1} \geq f(x), \end{cases}$$
المعرفة في الكرة الوحدة $B_1$، حيث $p \geq 0$، $0 < \lambda \leq \Lambda$، و $f \in L^n(B_1)$، و $[\cdot]$ يمثل مصفوفة قطرية.

تتمثل الصعوبة المركزية التي تعالجها الورقة في التدهور الإحداثي (coordinatewise degeneracy) المتأصل في هذه المؤثرات. فخلافًا لـ $p$-Laplacian القياسي، الذي يتدهور فقط عندما يتلاشى التدرج الكامل $|Du|$، فإن الـ pseudo-$p$-Laplacian يفقد الانتظامية (ellipticity) كلما تلاشى أي مشتق جزئي $D_j u$ بمفرده. وهذا يخلق مجموعة تدهور أكبر بكثير من $\{|Du|=0\}$. علاوة على ذلك، عند النقاط التي يكون فيها $D_j u = 0$، قد يصبح المشتق الثاني $D_{jj}u$ غير محدود، بينما تظل المشتقات في الاتجاهات غير المتدهورة محكومة. هذا التباين (anisotropy) يمنع التطبيق المباشر لنتائج الانتظام القياسية (مثل نتائج Imbert-Silvestre أو Mooney) التي تعتمد على الانتظام الموحد أو التدهور فقط حيث يكون التدرج كبيراً.

المنهجية
يطور المؤلفون نظرية انتظام متكيفة مع هذا التدهور المتباين عبر ابتكارين تقنيين رئيسيين:

1. تقدير Aleksandrov-Bakelman-Pucci (ABP) المتكيف:
   بدلاً من رسم الخرائط للتدرج القياسي $Du$، تستخدم البراهين صيغة المساحة (area formula) على الخريطة $G(z) = (|z_i|^p z_i)$. هذا الاختيار مدفوع ببنية المؤثر، مما يسمح بتقدير صورة $(|D_i u|^p D_i u)$ بدلاً من $Du$. وهذا يسمح للمؤلفين بالتعامل مع خصائص القياس (scaling properties) الخاصة بالـ pseudo-$p$-Laplacian.

2. القطع المكافئ المنزلق مع الدوال المتباينة (Sliding Paraboloid with Anisotropic Functions):
   لإثبات لامساواة هارناك (Harnack inequality)، يكيف المؤلفون طريقة القطع المكافئ المنزلق (التي طورها أصلاً Caffarelli و Savin). تفشل القطوع المكافئة القياسية ($|x|^2$) في التعامل مع التدهور الإحداثي. بدلاً من ذلك، يقدم المؤلفون دالة "قطع مكافئ متباين" (anisotropic paraboloid):
   $$\phi(x) = -1 + \frac{p}{2+p} \left( |x_1|^{1+\frac{1}{1+p}} + \cdots + |x_n|^{1+\frac{1}{1+p}} \right).$$
   تحقق هذه الدالة هوية حاسمة: $-(1+p)[|D_i \phi|^{p/2}] D^2 \phi [|D_i \phi|^{p/2}] = I_n$.

   تتمثل عقبة تقنية كبيرة في أن $\phi(x)$ ليست من الفئة $C^2$ على المستويات الفائقة $\{z_i = 0\}$، حيث يحدث التدهور. وللتغلب على ذلك، يستخدم المؤلفون حجة خفض الأبعاد (dimensional reduction argument):

   • يقومون بتفكيك مجموعة نقاط التماس بناءً على أي اتجاهات إحداثية متدهورة ($D_i u = 0$) وأيها غير متدهورة.
   • عند النقاط التي تتلاشى فيها مشتقات محددة، يقيدون التحليل إلى شرائح أقل أبعاداً (hyperplanes) حيث تكون الاتجاهات المتبقية غير متدهورة.
   • على هذه الشرائح، يكون القطع المكافئ المقيد ناعماً (smooth)، مما يسمح بتطبيق صيغة المساحة وتقديرات القياس القياسية.
   • ثم يتم تجميع النتائج باستخدام نظرية فوبيني (Fubini's theorem).

   تُطبق استراتيجية مماثلة لبناء دالة حاجز (barrier function) $\Phi(x) = |\phi(x)|^{-a}$ لإثبات خاصية التضاعف (doubling property)، وهي ضرورية للامساواة هارناك.

المساهمات والنتائج الرئيسية
يثبت المؤلفون النتائج الأساسية التالية للحلول المتدهورة:

1. تقدير Aleksandrov-Bakelman-Pucci (ABP) (النظرية 1.1):
   يثبت المؤلفون تقدير ABP الذي يحجم القيمة العليا (supremum) للحل $u$ بدلالة قيمه الحدية وكم $L^n$ للحد المصدر $f$. وتحديداً:
   $$\sup_{\Omega} u \leq \sup_{\partial \Omega} u^+ + C \|f^-\|_{L^n(\Gamma^+(u))}^{\frac{1}{1+p}},$$
   حيث $\Gamma^+(u)$ هي مجموعة التماس العليا. يتم اشتقاق هذا التقدير باستخدام صيغة المساحة المعدلة التي تتضمن الخريطة $G$.

2. لامساواة هارناك (النظرية 1.2):
   بالنسبة للحلول غير السالبة $u$ مع $f \in L^n$، تثبت الورقة لامساواة هارناك:
   $$\sup_{B_{1/2}} u \leq C \left( \inf_{B_{1/2}} u + \|f\|_{L^n(B_1)}^{\frac{1}{1+p}} \right).$$
   يتم تحقيق هذه النتيجة من خلال الجمع بين تقدير القياس (التمهيد 4.1) المستمد من القطع المكافئ المتباين المنزلق وبين خاصية التضاعف (التمهيد 5.1) المستمدة من الحاجز المتباين.

3. انتظام هولدر (النتيجة 1.1):
   كنتيجة مباشرة للامساواة هارناك، يثبت المؤلفون الاستمرارية المحلية من نوع هولدر (local Hölder continuity) للحلول:
   $$\|u\|_{C^\alpha(B_{1/2})} \leq C \left( \|u\|_{L^\infty(B_1)} + \|f\|_{L^n(B_1)}^{\frac{1}{1+p}} \right).$$

الأهمية والنطاق
تدعي الورقة أنها تقدم أول نظرية انتظام أساسية (تقديرات ABP ولامساوات هارناك) لهذه الفئة المحددة من معادلات الـ pseudo-$p$-Laplacian الكاملة المتدهورة في الصيغة غير التباعدية. ويشير المؤلفون إلى أنه بينما تم إثبات الانتظام لصيغة التباعد (عبر تكرار موزر)، فإن حالة عدم التباعد تطرح تحديات فريدة بسبب عدم التكافؤ بين المؤثر و $p$-Laplacian القياسي في سياق الصيغة غير التباعدية.

تكمن الأهمية في التعامل مع التدهور الإحداثي غير المحدود. يذكر المؤلفون صراحة أن النتائج السابقة التي تتعامل مع المعادلات التي تتدهور فقط عندما يكون $|Du|$ كبيراً لا تنطبق هنا لأن مجموعة التدهور أكبر بكثير. مساهمة الورقة تكمن في تطوير طريقة قطع مكافئ منزلق مخصصة باستخدام دوال متباينة وتقنية خفض الأبعاد لإدارة التفردات عند $D_i u = 0$.

يتم تأطير العمل كخطوة تأسيسية في تحليل المعادلات التي تنشأ في عمليات الانتشار المتباين، والنماذج المتعامدة (orthotropic models)، وظواهر النقل في الأوساط الطبقية، حيث يعتمد الاستجابة على اتجاهات إحداثية فردية. تُقدم النتائج باعتبارها تأسيس "الانتظام الأساسي" اللازم لمزيد من التحليل، دون التوسع في الانتظام من الرتب العليا أو التطبيقات الفيزيائية المحددة خارج الإطار الرياضي الموضوع.