Critical $p$-Laplace equations with monotone coefficients: Liouville classification and a Schoen-type Harnack inequality

ملخص تقني: معادلات لابلاس-ب (p-Laplace) الحرجة مع معاملات متزايدة رتبيًا

بيان المسألة
تبحث هذه الورقة في الحلول الضعيفة الموجبة لمعادلة لابلاس-ب الحرجة ذات اللاخطية غير المستقلة عن الزمن:
$$-\Delta_p u = u^{p^*-1}h(u), \quad \text{في } \mathbb{R}^n,$$
حيث $1 < p < n$، و$p^* = \frac{np}{n-p}$، و$h$ هي دالة موجبة، ومحدودة، ومتصلة، ومتناقصة. تركز الدراسة على هدفين مترابطين:

1. تصنيف لي-فيلو (Liouville Classification): تحديد الشكل الدقيق للحلول الكاملة الموجبة دون فرض افتراضات مسبقة على الاضمحلال (مثل الطاقة المحدودة أو معدلات نمو محددة).
2. متراجحة هارناك المتسقة مع القياس (Scale-Invariant Harnack Inequality): إثبات تقدير محلي من الشكل $\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}$ للحلول الضعيفة غير السالبة المعرفة في $B_{3R}$.

يعالج هذا العمل فجوة كبيرة في نظرية المعادلات شبه الخطية. فعلى عكس الحالة شبه الخطية ($p=2$)، يفتقر مؤثر لابلاس-ب ($p \neq 2$) إلى تحويل كيلفن الذي يحافظ على المعادلة، مما يجعل طرق المستوى أو الكرة المتحركة الكلاسيكية غير قابلة للتطبيق في صيغتها القياسية. كما أن نتائج التصنيف الحالية للمعادلة الحرجة البحتة ($h \equiv \text{const}$) غالبًا ما تعتمد على افتراضات مقيدة (طاقة محدودة، أو محدودية، أو معدلات نمو محددة، أو نطاقات معينة لـ $p$). تهدف هذه الورقة إلى تقديم نظرية "التصنيف-إلى-هارناك" لكامل النطاق $1 < p < n$ تحت افتراض الرتابة لـ $h$.

المنهجية
يطور المؤلف إطارًا يعمل كنظير شبه خطي لتحويل كيلفن وطريقة الكرات المتحركة، مكيفًا لـ لابلاس-ب مع معاملات متصلة ومتزايدة رتبيًا. تتقدم المنهجية عبر مرحلتين رئيسيتين:

1. التصنيف العالمي عبر الموترات الثابتة وهويات بوخنر الضعيفة:

   • التحويل: يتم تحويل الحل $V$ عبر $w = V^{-1/a}$ (حيث $a = \frac{n-p}{p}$)، مما يحول المعادلة إلى صيغة قابلة للتحليل باستخدام تينسور الإجهاد (stress-tensor).
   • تينسور الإجهاد ودالة P: يعرّف المؤلف حقل إجهاد غير خطي $X_w = |\nabla w|^{p-2}\nabla w$ ودالة $P$ معدلة $Q_w$.
   • التعامل مع الرتابة: الابتكار التقني الرئيسي هو تفكيك المعامل المحول $c_\tau(t)$ إلى جزء قابل للاشتقاق مطلقًا وجزء عيب (Stieltjes) منفرد $e_\tau(t)$. يسمح هذا للمؤلف بالتعامل مع حقيقة أن $h$ متصلة ومتزايدة رتبيًا فقط، مما قد يتضمن جزءًا لكانتور في مشتقتها.
   • هوية بوخنر الضعيفة: يتم اشتقاق هوية جديدة من نوع بوخنر الضعيفة لـ $Q_w$. وخلافًا للمقاربات السابقة التي اعتمدت على تقديرات تكاملية عالمية (مثل Ou [34])، يستخدم هذا العمل حدًا نقطيًا محليًا متماسكًا (coercive term).
   • بناء المضروب (Multiplier): للتحكم في نمو $Q_w$ ومنع الهروب من القيم القصوى الموجبة إلى اللانهاية، يقوم المؤلف ببناء دالة وزن محددة $\phi_{\ell,m}$ عن طريق حل معادلة تفاضلية عادية خلفية مصممة لتناسب متباينة PDE المستهدفة. هذا يحل محل أوزان القوى الثابتة المستخدمة في حالة القوة البحتة.
   • حجة الصلابة (Rigidity Argument): من خلال إثبات حد عالمي حاد $Q_w \leq c_{\tau,0}$ وتحليل السلوك عند نقاط الحد الأدنى (باستخدام تحليل المماس وحواجز الكرة المثقوبة)، يثبت المؤلف أن الحل يجب أن يتطابق مع ملف أوبين-تالنتي (Aubin–Talenti profile). ومن الأهمية بمكان أنهم يظهرون أن وجود مثل هذا الملف يفرض أن يكون المعامل $h$ ثابتًا على الفترة من القيم التي يتخذها الملف.

2. متراجحة هارناك عبر إزالة التركيز ونظرية الجهد:

   • حجة التناقض: يسير إثبات متراجحة هارناك عن طريق التناقض، بافتراض وجود تسلسل من الحلول ينتهك التقدير.
   • تحليل الانفجار (Blow-up Analysis): تحدد عملية إعادة القياس (rescaling) حلاً كاملاً حديًا. ثم يتم تطبيق نتيجة التصنيف (Theorem 1.1) على هذا الحد.
   • آلية التلامس الأول (First-Contact Mechanism): بدلاً من الاعتماد على "تقدير العنق" الأولي (كما في Qin–Zhang [35])، يستخدم المؤلف حجة "التلامس الأول" مدمجة مع إزالة التركيز من منظور نظرية الجهد.
   • تقديرات كيليلاين-مالي (Kilpeläinen–Malý Estimates): باستخدام نظرية الجهود غير الخطية (تحديدًا جهود وولف - Wolff potentials)، يستنتج المؤلف حداً موحدًا لمصدر الحد عند نقطة التلامس. يؤدي هذا إلى إنشاء تحكم في المعامل اللازم لتطبيق متراجحة هارناك، مما يزيل فعليًا الحاجة إلى تقديرات العنق المسبقة.

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

• النظرية 1.1 (تصنيف الملفات المعيارية): لأي $\tau \in [0, \infty]$، أي حل كامل موجب ومحدود ومعياري للمعادلة مع اللاخطية الموزونة $g_\tau$ يجب أن يكون ملف أوبين-تالنتي:
  $$V(x) = \left(1 + \gamma_\tau |x|^{p'}\right)^{-a}.$$
  علاوة على ذلك، إذا كان $0 < \tau < \infty$، فإن وجود مثل هذا الحل يقتضي أن $h(s) = h(\tau)$ لجميع القيم $0 < s \leq \tau$. وهذا يثبت نظرية صلابة لكل من الحل والمعامل.

• النظرية 1.2 (متراجحة هارناك المتسقة مع القياس): للحلول الضعيفة غير السالبة في $B_{3R}$، يتحقق التقدير التالي:
  $$\left(\sup_{B_R} u\right) \left(\inf_{B_{2R}} u\right)^{p-1} \leq C R^{p-n}.$$
  تم إثبات هذه النتيجة دون افتراض طاقة محدودة أو سلوك تقاربي محدد عند اللانهاية.

• النتيجة 1.4 (نظرية لي-فيلو غير المقيدة): كل حل كامل موجب للمعادلة الأصلية هو ملف أوبين-تالنتي (حتى مع القياس والترجمة)، والمعامل $h$ ثابت على نطاق الحل.

• تكافؤ الخصائص: توضح الورقة أنه بالنسبة للمعادلة الحرجة البحتة، فإن تصنيف لي-فيلو غير المقيد يكافئ متراجحة هارنك من نوع شون (Schoen-type).

الأهمية والادعاءات
يدعي المؤلف أن حججه تشكل أول نظائر شبه خطية لتحويل كيلفن وطريقة الكرات المتحركة المتاحة لـ $1 < p < n$ مع معاملات مستمرة ومتزايدة رتبيًا فقط.

• التقدم المنهجي: يوفر العمل براهين بديلة للنتائج الكلاسيكية في الحالة شبه الخطية ($p=2$) ويمدها إلى الإطار شبه الخطي حيث تفشل أدوات التماثل التشكلي القياسية. ويُعد تقديم هوية بوخنر الضعيفة مع مضروب مخصص والتعامل مع مقاييس ستيلتيس المنفردة في المعامل أدوات تحليلية مبتكرة.
• إزالة الافتراضات: توفر النتائج نظرية لي-فيلو "غير مقيدة تمامًا"، مما يزيل الحاجة إلى الطاقة المحدودة، أو المحدودية، أو شروط النمو المحددة التي ميزت نتائج التصنيف السابقة لـ $p \neq 2$.
• الرؤية الهيكلية: تسلط الورقة الضوء على أن التفاعل بين نظريات لي-فيلو ومتجاهات هارناك هو أمر جوهري. وقد أظهر أن تصنيف ملفات الانفجار لا غنى عنه لإثبات تقدير هارناك عندما لا تكون اللاخطية من نوع القوة البحتة.

لا تقترح الورقة تطبيقات جديدة أو مقترحات تجريبية، بل تضع نفسها كإسهام تأسيسي لنظرية التراص (compactness theory) للمعادلات الإهليلجية الحرجة، مما يسد الفجوة بين الحالة شبه الخطية المفهومة جيدًا والإطار شبه الخطي الأكثر صرامة.