Lipschitz regularity for parabolic fractional $p$-Laplace equations

إليك ملخص تقني مفصل للورقة البحثية بعنوان "الانتظام ليبشيتز للمعادلات التوازنية لـ $p$-Laplace الكسرية المتوازنة" للباحث Harsh Prasad.

1. بيان المسألة

تتناول الورقة البحثية انتظام الحلول الضعيفة المحلية لمعادلات $p$-Laplace المتوازنة غير الموضعية (nonlocal) من الشكل:
$$\partial_t u + L_K u = 0 \quad \text{في } \Omega \times I$$
حيث يُعرَّف المؤثر غير الموضعي $L_K$ كالتالي:
$$L_K u(x, t) := \text{P.V.} \int_{\mathbb{R}^N} |u(x, t) - u(y, t)|^{p-2}(u(x, t) - u(y, t)) K(x-y) \, dy$$
القيود والافتراضات الرئيسية:

• المعلمات: $1 < p < \infty$ و $s \in (0, 1)$.
• النواة (Kernel): النواة $K$ متناظرة، ومستقلة عن الإزاحة، وتحقق حدود الانتظام (ellipticity) القياسية: $\frac{\lambda}{|z|^{N+sp}} \leq K(z) \leq \frac{\Lambda}{|z|^{N+sp}}$. ومن المهم ملاحظة أن $K$ لا يُفترض أن تكون مستمرة.
• النطاق: تركز الدراسة على شرط $sp > p - 1$.
• الهدف: إثبات أن الحلول هي مستمرة ليبشيتز محلياً في الفضاء (locally Lipschitz continuous in space)، بشكل موحد في الزمن.

2. المنهجية

تستخدم عملية الإثبات مزيجاً متطوراً من حجج القياس (scaling arguments)، تقنيات التقطيع (truncation techniques)، وطريقة Ishii–Lions (التي طُورت أصلاً للحلول اللزوجية (viscosity solutions) للمعادلات التفاضلية الموضعية)، والتي تم تكييفها هنا للمؤثرات غير الموضعية غير الخطية.

أ. القياس والتوحيد (Scaling and Normalization)

يقوم المؤلفون بتقليص المسألة العامة إلى إطار موحد على أسطوانة ثابتة $B_2 \times (-2, 0]$.

• قاموا بتعريف ثابت توحيد $M_R$ يتضمن معيار $L^\infty$ و"ذيل" (tail) الحل.
• ازدواجية القياس: تختلف استراتيجية القياس بناءً على قيمة $p$:
  • بالنسبة لـ $p \geq 2$، تعمل السعات الكبيرة على توسيع المقياس الزمني.
  • بالنسبة لـ $1 < p < 2$، تعمل السعات الكبيرة على تقليص المقياس المكاني.
• يسمح هذا الاختزال للمؤلفين بالعمل على حل $u$ حيث $\|u\|_{L^\infty} + \text{Tail} \leq 1$.

ب. استراتيجية التقطيع (استراتيجية "لمسة التماس" - The "Touching Lemma")

تتمثل إحدى العقبات التقنية الكبرى في المعادلات غير الموضعية في الاعتماد على سلوك الحل عند اللانهاية (الذيل/tail).

• يتم تفكيك المؤثر: $L_K u = L_{B_1}^K u + L_{B_1^c}^K u$.
• يتم التعامل مع جزء "الذيل" $L_{B_1^c}^K u$ كحد مصدر محدود $f(x,t)$ (بسبب فرضية الذيل $u \in L^\infty_{\text{loc}}(I; L^{p-1}_{sp})$).
• تصبح المعادلة الرئيسية $\partial_t u + L_{B_1}^K u = f$.
• الميزة الرئيسية: المؤثر المقطع $L_{B_1}^K$ يدمج فقط عبر كرة محدودة. هذا يلغي الحاجة لأن يكون للدالة الاختبارية ذيل محدود، مما يسمح باستخدام دوال اختبار سلسة ذات دعم مضغوط دون افتراض استمرارية النواة $K$.

ج. إطار عمل Ishii–Lions

لإثبات الاستمرار ليبشيتز، يستخدم المؤلفون حجة تناقض تعتمد على طريقة Ishii–Lions:

1. الجزاء (Penalization): يعرّفون دالة الفجوة $g(x, y, t) = u(x, t) - u(y, t) - \phi_L(|x-y|) - m_1 \psi(x)$، حيث $\phi_L$ هو ملف تعريف الجزاء.
2. مضاعفة المتغيرات (Doubling of Variables): يستخدمون دالة وظيفية مزدوجة الزمن $\Phi_\nu$ لإيجاد نقطة عظمى $(x_\nu, y_\nu, t_\nu, \tau_\nu)$.
3. لمسة التماس (Touching Lemma): عند نقاط العظمى، يقومون ببناء دوال اختبار سلسة $w_1$ و $w_2$ تلامس $u$ من الأعلى والأسفل. وبما أن $\nabla u \neq 0$ عند هذه النقاط (بفضل الجزاء)، تنطبق لمسة التماس (الخاصية 3.8)، مما يعطي متباينات للمشتقات الزمنية والمؤثرات المقطعة.
4. المتباينة الرئيسية (Master Inequality): يؤدي طرح المتباينات لـ $w_1$ و $w_2$ إلى إلغاء حد المشتقة الزمنية، مما ينتج عنه متباينة رئيسية تتضمن الفرق بين المؤثرات غير الموضعية:
   $$L_{B_1}^K w_1(x_\nu, t_\nu) - L_{B_1}^K w_2(y_\nu, \tau_\nu) \leq 2C_0$$
5. التقديرات التكاملية: يتم تفكيك الطرف الأيسر إلى أربعة مناطق هندسية (مخروط بالقرب من القطر، حلقة، والمنطقة الخارجية).
   • التعزيز الهولدر (Hölder Bootstrap): أولاً، يثبتون انتظام هولدر أعلى بشكل تكراري للوصول إلى أس $\kappa$ قريب من 1.
   • خطوة ليبشيتز: يستخدمون ملف تعريف شبه خطي محدد $\tilde{\phi}(r) = r + \frac{r}{\log r}$ (مقعر تماماً) للتعامل مع بنية $p$-Laplacian. يسمح هذا الملف باستخلاص تناقض مع اقتراب معامل الجزاء $L \to \infty$، بشرط تحقق $sp > p-1$.

3. المساهمات الرئيسية

1. النطاق الكامل لـ $p$: تسري النتيجة لجميع قيم $1 < p < \infty$، بما في ذلك الحالة دون التربيعية ($1 < p < 2$). كانت الأعمال السابقة غالباً ما تواجه صعوبات في الحالة دون التربيعية بسبب التفرّدات في تقييم المؤثر على الدوال السلسة؛ وتتجاوز هذه الورقة ذلك عبر اختيار محدد لدوال الاختبار واستراتيجية التقطيع.
2. النوى غير المستمرة: يعمل الإثبات مع النوى $K$ التي ليست مستمرة، شريطة أن تحقق حدود الانتظام. وهذا يعمم النتائج السابقة التي كانت تتطلب نوى صريحة مثل $K(z) = |z|^{-(N+sp)}$.
3. فرضية ذيل أضعف: تتطلب الورقة فقط أن يكون ذيل الحل محدوداً في الزمن ($u \in L^\infty_{\text{loc}}(I; L^{p-1}_{sp})$)، بينما تطلبت أعمال مستقلة حديثة (مثل Jesus–Sobral–Urbano) استمرارية الذيل في الزمن ($u \in C_{\text{loc}}(I; L^{p-1}_{sp})$).
4. تجنب الانفجار/ليوفيل (Blow-up/Liouville): على عكس براهين انتظام الحرارة الخطية التي تعتمد على تقديرات نواة الحرارة، أو حجج الانفجار، أو نظريات ليوفيل، فإن هذا الإثبات هو إثبات محلي وبنيوي بحت، يعتمد على إطار عمل Ishii–Lions.

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

النظرية 1.1 (انتظام ليبشيتز المكاني):
ليكن $u$ حلاً ضعيفاً محلياً لمعادلة $p$-Laplace الكسرية المتوازنة مع $sp > p-1$. حينئذٍ يكون$u(\cdot, t)$مستمراً ليبشيتز محلياً في الفضاء، بشكل موحد في الزمن. وتحديداً، لأسطوانة$Q_{2R, 2R^{sp}}$:
$$\sup_{t} [u(\cdot, t)]_{C^{0,1}(B_{R/2})} \leq C M_R R^{-1} \quad \text{إذا كان } p \geq 2$$
$$\sup_{t} [u(\cdot, t)]_{C^{0,1}(B_{R/2})} \leq C M_R^{1 + \frac{2-p}{sp}} R^{-1} \quad \text{إذا كان } 1 < p < 2$$
حيث تعتمد $M_R$ على معيار $L^\infty$ وذيل $u$.

الحدة (Sharpness): تبين أن الشرط $sp > p-1$ هو شرط حاد لهذه الطريقة (بناءً على أمثلة مضادة في الحالة الإهليلجية).

5. الأهمية

• الربط بين الإهليلجي والمتوازن: يعد هذا العمل امتداداً للتقدم الذي حققه Biswas–Topp (2025) في معادلات $p$-Laplace الكسرية الإهليلجية إلى الإطار المتوازن، مما يؤسس لنظرية انتظام موحدة.
• المتانة: من خلال التعامل مع النوى غير المستمرة وافتراضات الذيل الأضعف، تصبح النتائج قابلة للتطبيق على نطاق أوسع بكثير من النماذج الفيزيائية والاحتمالية حيث قد تكون النواة خشنة أو يكون سلوك الحل بعيد المدى محدوداً فقط.
• الابتكار المنهجي: إن النجاح في تكييف طريقة Ishii–Lions مع الإطار غير الموضعي وغير الخطي والمتوازن دون الاعتماد على نظرية الحلول اللزوجة (التي تم إثباتها مؤخراً لـ $p>2$ من قبل آخرين) يوفر مساراً مباشراً وجديداً للانتظام. ويعد استخدام ملف تعريف الجزاء "شبه الخطي" ابتكاراً تقنياً حاسماً للتعامل مع التصحيحات اللوغاريتمية اللازمة لحد ليبشيتز.
• التوسعات: تُظهر المنهجية إمكانية التوسع لتشمل مؤثرات $(p,q)$-Laplacian الكسرية ومؤثرات Double-phase غير الموضعية، مما يشير إلى إطار عمل مرن لدراسات الانتظام المستقبلية.