Heat equations driven by mixed local-nonlocal operators with exponential nonlinearity

ملخص تقني: معادلات الحرارة المدفوعة بمؤثرات مختلطة محلية-غير محلية ذات لاخطية أسية

بيان المشكلة
تبحث هذه الورقة في مسألة كوشي (Cauchy problem) لمعادلة حرارة شبه خطية مدفوعة بمؤثر مختلط محلي-غير محلي $L := -\Delta + (-\Delta)^s$ حيث $s \in (0, 1)$، وتتميز بلاخطية أسية $f(u)$. المعادلة هي:
$$\begin{cases} \partial_t u(x, t) + Lu(x, t) = f(u(x, t)), & (x, t) \in \mathbb{R}^d \times (0, \infty), \\ u(0, x) = u_0(x), & x \in \mathbb{R}^d, \end{cases}$$
حيث تظهر اللاخطية $f$ نمواً أسياً عند اللانهاية (تحديداً $f(u) \sim e^{|u|^p}$ عندما $|u| \to \infty$ مع $p > 1$) وتحقق الشرط $f(0)=0$. يجمع المؤثر $L$ بين مؤثر لابلات (Laplacian) الكلاسيكي (الذي يمثل الانتشار المحلي) والمؤثر الكسري لابلات (fractional Laplacian) (الذي يمثل الانتشار غير المحلي من نوع القفزات). تركز الدراسة على إثبات الوجود والوحدانية المحلية والعالمية للمسألة لبيانات أولية $u_0$ قد تكون غير محدودة، مما يستلزم إطاراً وظيفياً يتجاوز فضاءات ليب (Lebesgue spaces) القياسية.

المنهجية
يستخدم المؤلفون نهجاً تحليلياً وظيفياً متمحوراً حول فضاءات أورليخ (Orlicz spaces)، وتحديداً فضاء أورليخ الأسي $\exp L^p(\mathbb{R}^d)$ وفضائه الجزئي $\exp L^p_0(\mathbb{R}^d)$. وقد جاء هذا الاختيار مدفوعاً بفشل فضاءات ليب في استيعاب شروط القياس الحرجة والنمو المرتبطة باللاخطية الأسية، بشكل مشابه لدور فضاءات سوبوليف (Sobolev spaces) في الحالات متعددة الحدود الحرجة.

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

1. الإطار الوظيفي: يتم إجراء التحليل في $\exp L^p_0(\mathbb{R}^d)$، المعرّف كإغلاق لـ $C^\infty_0(\mathbb{R}^d)$ في $\exp L^p(\mathbb{R}^d)$. هذا الفضاء ضروري لأن شبه مجموعة الحرارة (heat semigroup) $e^{-tL}$ ليست محدودة بشكل عام على الفضاء الكامل $\exp L^p(\mathbb{R}^d)$، ولكنها محدودة على $\exp L^p_0(\mathbb{R}^d)$.
2. تقديرات شبه المجموعة: يشتق المؤلفون خصائص خرائط محسنة وتقديرات اضمحلال لشبه مجموعة الحرارة $e^{-tL}$ المرتبطة بالمؤثر المختلط. تستخدم هذه التقديرات حدود نواة الحرارة وحجج الاستكمال (interpolation arguments) في فضاءات أورليخ، مما يلتقط التفاعل بين المكونات المحلية ($-\Delta$) وغير المحلية ($(-\Delta)^s$).
3. حجج النقطة الثابتة:
   • الوجود والوحدانية المحلية: تم إثباتهما عبر تقنية التفكيك حيث يتم تقسيم البيانات الأولية $u_0$ إلى جزء سلس $v_0 \in C^\infty_0$ واضطراب صغير $w_0$. يتم التعامل مع الجزء السلس عبر حجج شبه المجموعة الكلاسيكية، بينما يتم حل الاضطراب باستخدام نظرية النقطة الثابتة لبانخ في فضاء باناخ مناسب متكيف مع $\exp L^p$.
   • الوجود العالمي: تم إثباته للبيانات الصغيرة باستخدام مبدأ الخرائط التقاربية في فضاء متري كامل مزود بمعايير موزونة زمنياً. يميز التحليل بين ثلاث حالات بناءً على العلاقة بين الرتبة الكسرية والعتبة الحرجة $d(p-1)/(2p)$.

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

1. الوجود والوحدانية المحلية (النظرية 1.3):
   تثبت الورقة وجود ووحدانية الحل المخفف (mild solution) $u \in C([0, T], \exp L^p_0(\mathbb{R}^d))$ لأي بيانات أولية $u_0 \in \exp L^p_0(\mathbb{R}^d)$. يُفترض أن اللاخطية تحقق شرطاً من نوع ليبشيتز مع نمو أسي: $|f(u) - f(v)| \leq C|u-v|(e^{\lambda|u|^p} + e^{\lambda|v|^p})$. ويُظهر الحل أنه محدود محلياً في $L^\infty(\mathbb{R}^d)$ لـ $t > 0$.

2. الوجود العالمي للبيانات الصغيرة (النظرية 1.4):
   تحت افتراض أن اللاخطية تتصرف مثل $|u|^m$ بالقرب من الصفر (حيث $m \geq p$ وتلبي قيود نمو محددة مرتبطة بأس فوجيتا (Fujita exponent))، يثبت المؤلفون وجود حلول ضعيفة-مخففة عالمية للبيانات الأولية الصغيرة بما يكفي في $\exp L^p(\mathbb{R}^d)$. يتطلب الإثبات التمييز بين ثلاثة أنظمة بناءً على المعامل $s$ بالنسبة لـ $d(p-1)/(2p)$:

   • $s < d(p-1)/(2p)$
   • $s = d(p-1)/(2p)$
   • $s > d(p-1)/(2p)$ (تتطلب $m > p$)

3. تقديرات الاضمحلال في الزمن الطويل:
   يشتق المؤلفون معدلات اضمحلال صريحة للحل في فضاءات ليب $L^q$. يكشف تقدير الاضمحلال (المعادلة 1.8) عن انتقال تقاربي فريد:

   • نظام الزمن القصير ($t \to 0$): يحاكي الحل سلوك الاضمحلال لمعادلة الحرارة المحلية، والذي يحكمه قدر فعال $\tilde{m}$ مرتبط بتأثيرات التنعيم المحلية.
   • نظام الزمن الطويل ($t \to \infty$): ينتقل التقدير ليستعيد التوقعات غير المحلية البحتة المميزة لـ لابلات الكسري $(-\Delta)^s$.

الأهمية والادعاءات
تدعي الورقة أنها تسد الفجوة بين نظريات الانتشار المحلي وغير المحلي في سياق اللاخطيات الأسية. وبشكل محدد:

• حددت $\exp L^p_0(\mathbb{R}^d)$ كإطار وظيفي مناسب للمؤثر المختلط مع النمو الأسي، معالجةً مشكلات الكثافة الموجودة في فضاء أورليخ الكامل.
• أظهرت أن وجود مصطلح الانتشار المحلي لا يغير سلوك الوجود العالمي الأساسي الذي يمليه المكون الكسري (حيث يظل أس فوجيتا الحرج $p_c = 1 + 2s/d$ ثابتاً)، ولكنه يؤثر بشكل كبير على ديناميكيات الزمن القصير.
• تبرز تقديرات الاضمحلال المستخرجة وجود استكمال مستمر بين الديناميكيات المحلية المنفردة والتبدد الكسري ذي الذيول الثقيلة، مما يوضح أن التأثيرات غير المحلية ليست فورية بل تظهر بمرور الوقت.

توسع هذه الدراسة النتائج السابقة المتعلقة باللاخطيات متعددة الحدود في المؤثرات المختلطة (مثل [4, 10, 28]) واللاخطيات الأسية في الإعدادات المحلية البحتة أو غير المحلية البحتة (مثل [16, 23, 24, 30, 31, 34]) لتشمل حالة الهجين (المحلي-غير المحلي).