On the fractional logarithmic $p$-Laplacian

ملخص تقني: حول مؤثر لابلاس p اللوغاريتمي الكسري

بيان المشكلة والدوافع
تقدم هذه الورقة وتستقصي مؤثر لابلاس p اللوغاريتمي الكسري، والذي يُرمز له بـ $(-\Delta)^{s+\log}_p$. يتم تعريف هذا المؤثر باعتباره المشتق من الدرجة الأولى بالنسبة لمعلمة الرتبة $t$ لمؤثر لابلاس p الكسري $(-\Delta)^t_p$، عند نقطة اختيارية $s \in (0, 1)$. وبينما تمت دراسة الحالة الخطية ($p=2$) وحالة الحد ($s \to 0$) التي تؤدي إلى لابلاس اللوغاريتمي $L_\Delta$ مؤخراً من قبل Chen وآخرون وDyda وآخرون، فإن هذا العمل يوسع النظرية لتشمل الإطار غير الخطي، شبه الخطي حيث $1 < p < \infty$.

ينبع الدافع الأساسي من الحاجة إلى فهم السلوك التقاربي للمؤثرات الكسرية وتطوير إطار وظيفي صارم للمسائل التي يقودها هذا المؤثر غير الموضعي الجديد. ويتمثل التحدي الكبير الذي تمت معالجته في اشتقاق النواة التكاملية غير الموضعية تحت علامة التكامل، مما يؤدي إلى ظهور تفرد لوغاريتمي $|x-y|^{-N-sp} \ln|x-y|$. هذا العامل اللوغاريتمي يغير بنية التفرد، لا سيما في النطاق $1 < p < 2$، ويغير إشارة النواة عندما $|x-y| > 1$، مما يعقد الحجج التباينية القياسية المتعلقة بالتماسك (coercivity) والإيجابية.

المنهجية والإطار الوظيفي
يضع المؤلفون إطاراً تحليلياً وظيفياً شاملاً يعتمد كلياً على طرق المتغيرات الحقيقية، متجنبين تقنيات تحويل فوريه التي لا تتوفر لـ $p \neq 2$.

1. تعريف المؤثر وتمثيله:
   تثبت الورقة أنه بالنسبة لـ $u \in C^2_c(\mathbb{R}^N)$، فإن الخريطة $t \mapsto (-\Delta)^t_p u(x)$ هي $C^1$ على $(0, 1)$. وينتج عن الاشتقاق التمثيل التكاملي الصريح:
   $$(-\Delta)^{s+\log}_p u(x) = B(N, s, p)(-\Delta)^s_p u(x) - p C(N, s, p) \text{P.V.} \int_{\mathbb{R}^N} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y)) \ln|x-y|}{|x-y|^{N+sp}} dy$$
   حيث $C(N, s, p)$ هو ثابت تطبيع محدد يضمن الحدود الصحيحة عندما $s \to 0$ و $s \to 1$، و $B(N, s, p) = \frac{d}{ds} \ln C(N, s, p)$. وقد تبين أن النواة $K^{s+\log}_p$ متغيرة الإشارة، حيث تنقسم إلى أجزاء موجبة وسالبة.

2. فضاءات الطاقة:
   تم تقديم فضاء الطاقة الطبيعي $W^{s+\log,p}_0(\Omega)$، والذي عُرّف عبر شبه معيار من نوع Gagliardo يتضمن الجزء الموجب من النواة اللوغاريتمية. يثبت المؤلفون أن هذا الفضاء هو فضاء باناخ قابل للفصل، ومحدب بانتظام، ومنعكس. كما يثبتون أن هذا الفضاء يقع بدقة بين فضاءات سوبولف الكسرية القياسية $W^{s+\epsilon,p}_0(\Omega)$ و $W^{s,p}_0(\Omega)$.

3. المتباينات الرئيسية:
   استنتجت الورقة عدة متباينات أساسية ضرورية للتحليل:

• متباينة من نوع بوانكاريه (Poincaré-type): تثبت التحكم في معيار $L^p$ بواسطة شبه المعيار اللوغاريتمي الكسري.
• متباينة من نوع هاردي (Hardy-type): متباينة هاردي حدودية بوزن لوغاريتمي بالقرب من الحدود.
• متباينة دياز-سا (Díaz-Saa): تم إثباتها تحت الشرط الهندسي $\text{diam}(\Omega) < e^{-1/sp}$ (مما يؤدي إلى نتائج حول الوحدانية).
• متباينة غالياردو-نينبيرغ (Gagliardo-Nirenberg): تعمل على الاستيفاء بين $L^p$ والمعيار اللوغاريتمي الكسري.
• متطابقة بوهوريف (Pohozaev Identity): تم اشتقاق متطابقة بوهوريف معدلة، والتي تكشف عن "مقياس عيب" $\Gamma_{s,p}(u)$ موجب تماماً ينشأ عن الوزن اللوغاريتمي الذي يكسر تجانس النواة الكلاسيكية.

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

• خصائص التضمين: تثبت الورقة وجود تضمينات مستمرة لـ $W^{s+\log,p}_0(\Omega)$ في $L^q(\Omega)$ لـ $1 \le q \le p^*_s$ (حيث $p^*_s = Np/(N-sp)$). والأهم من ذلك، يثبت المؤلفون التضمين المتراص عند الأس الحرج $p^*_s$. وهذا يميز الإطار اللوغاريتمي الكسري عن فضاءات سوبولف الكسرية الكلاسيكية، حيث يفشل التراص عند الأس الحرج. وتقتضي هذه النتيجة أن تركيزات كتلة ديراك لا تتشكل، مما يجعل حجج التركيز-التراص (concentration-compactness) غير ضرورية في النطاقات المحدودة.

• مسألة القيم الذاتية ديريكليه (Dirichlet Eigenvalue Problem): يستقصي المؤلفون مسألة القيمة الذاتية غير الخطية:
  $$(-\Delta)^{s+\log}_p u = \lambda |u|^{p-2}u \quad \text{في } \Omega, \quad u = 0 \quad \text{في } \mathbb{R}^N \setminus \Omega.$$
  تحت الافتراض الهندسي $\text{diam}(\Omega) < e^{-1/sp}$ (الذي يضمن بقاء النواة موجبة تماماً على $\Omega \times \Omega$) و $B(N, s, p) \ge 0$، يثبتون ما يلي:

1. الوجود: يتم تحقيق القيمة الذاتية الأولى $\lambda^{s+\log}_{1,p}$ عبر الطريقة المباشرة لحساب التباين.
2. الإيجابية والبساطة: القيمة الذاتية الأولى موجبة تماماً، والدالة الذاتية المرتبطة بها $\phi^{s+\log}_{1,p}$ بسيطة (وحيدة حتى الضرب في ثابت) وموجبة تماماً تقريباً في $\Omega$.
3. المحدودية: الدوال الذاتية محدودة عالمياً ($L^\infty(\Omega)$).
4. مبدأ الحد الأدنى القوي: تم إثبات مبدأ حد أدنى قوي للحلول فوق الحلول (supersolutions) الضعيفة، مما يوسع النتائج السابقة للمؤثرات الكسرية.

• عدم الوجود مقابل الوجود في بوهوريف: تتضمن متطابقة بوهوريف المستمدة حداً عيبياً $\Gamma_{s,p}(u) > 0$. ويشير المؤلفون إلى أنه على عكس لابلاس p الكسري الكلاسيكي، حيث تؤدي متطابقة بوهوريف غالباً إلى نتائج عدم الوجود للأسات الحرجة في النطاقات نجمية الشكل، فإن وجود مقياس العيب الموجب في الحالة اللوغاريتمية يسمح بإمكانية وجود حلول حرجة وفوق حرجة.

الأهمية والادعاءات
تدعي الورقة أنها تقدم أول إطار تبايني صارم لـ لابلاس p اللوغاريتمي الكسري في النظام غير الخطي ($p \neq 2$). وتكمن أهميتها في:

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

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