Fujita Phenomenon for a Mixed Local-Nonlocal Hardy-Hénon Equation with Regularly Varying Time Weights

إليك ملخص تقني مفصل للورقة البحثية بعنوان "ظاهرة فوجيتا لمعادلة هاردي-هينون المختلطة (محلي-غير محلي) ذات أوزان زمنية متغيرة بانتظام" للباحثين ريهاب بن بلعجم ومحمد مجدوب.

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

يدرس المؤلفون مسألة كوشي لمعادلة بارابولية شبه خطية مدفوعة بـ مؤثر انتشار مختلط (محلي-غير محلي) مع لاخطية هاردي-هينون وحد إرغام يعتمد على الزمن. تُعطى المعادلة كالآتي:

$$\begin{cases} \partial_t u - (\Delta - (-\Delta)^s)u = h(t)|x|^{-b}|u|^p + t^\varrho w(x), & (x, t) \in \mathbb{R}^N \times (0, \infty), \\ u(x, 0) = u_0(x), & x \in \mathbb{R}^N, \end{cases}$$

المعاملات والمكونات الرئيسية:

• المؤثر: $L = \Delta - (-\Delta)^s$، حيث $\Delta$ هو مؤثر لابلاس الكلاسيكي (الانتشار المحلي) و$(-\Delta)^s$ ($s \in (0,1)$) هو مؤثر لابلاس الكسري (الانتشار غير المحلي). هذا يمثل التنافس بين التفاعلات قصيرة المدى وطويلة المدى.
• اللاخطية: $|x|^{-b}|u|^p$ حيث $b \ge 0$ و $p > 1$. يُدخل الحد $|x|^{-b}$ تفردًا مكانيًا (جهد هاردي).
• المعامل المعتمد على الزمن: ينتمي $h(t)$ إلى الفئة المعممة $M(\gamma)$ من الدوال ذات معدل نمو لوغاريتمي $\gamma > -1$. هذه الفئة توسع نطاق الدوال المتغيرة بانتظام لتشمل السلوكيات التذبذبية أو غير المنتظمة (مثل $t^\gamma \sin(\log t)$).
• حد الإرغام (Forcing Term): $t^\varrho w(x)$ مع $\varrho > -1$ ومصدر مكاني محدد $w(x)$.

تركز الدراسة على نظامين رئيسيين:

1. الحالة غير المُرغمة ($w \equiv 0$): تحديد أس فوجيتا الحرج الذي يفصل بين الوجود العالمي والانفجار في زمن محدد.
2. الحالة المُرغمة ($w \not\equiv 0$): إثبات شروط عدم وجود حلول ضعيفة عالمية واستخلاص شروط الصغر للحلول المعتدلة العالمية.

---

2. المنهجية

يجمع التحليل بين عدة تقنيات رياضية متقدمة:

• نظرية النصف مجموعة (Semigroup Theory): يستخدم المؤلفون النصف مجموعة $\{e^{tL}\}_{t \ge 0}$ المولدة بواسطة المؤثر المختلط $L$. ويقومون بإثبات تقديرات التنعيم (معدلات الاضمحلال) لنواة هذه النصف مجموعة، مستفيدين من حقيقة أن الحل الأساسي هو عملية التفاف (convolution) لنواة الحرارة الكلاسيكية ونواة الحرارة الكسرية.
• الدوال المتغيرة بانتظام (نظرية كراماتا): تكمن الجدة الجوهرية في استخدام الفئة $M(\gamma)$. يوظف المؤلفون الخصائص التقاربية لهذه الدوال (تحديدًا نظريات كراماتا حول التكامل والتقارب المنتظم) للتعامل مع المعامل المعتمد على الزمن $h(t)$، والذي قد لا يكون متغيرًا بانتظام بشكل صارم ولكنه يشترك في معدلات نمو مماثلة.
• طريقة دالة الاختبار (Test Function Method): لإثبات نتائج عدم الوجود (الانفجار)، يقوم المؤلفون ببناء دوال اختبار قطع محددة $\psi_R(x,t)$ تتضمن قياسات مكانية وزمنية. ويطبقونها على الصيغة الضعيفة للمعادلة لاستخلاص متراجحات تكاملية تؤدي إلى تناقضات بالنسبة للحلول العالمية.
• حجة النقطة الثابتة (مبدأ بانخ - Banach Contraction): لإثبات الوجود العالمي، تتم إعادة صياغة المسألة كمعادلة تكامل دويمل (Duhamel). يعرف المؤلفون فضاء بانخ مناسبًا (يتضمن أوزان اضمحلال زمنية) ويثبتون أن الخريطة اللاخطية المرتبطة هي تقارب صارم للبيانات الأولية وحدود الإرغام الصغيرة.
• حجج القياس (Scaling Arguments): تُستخدم هويات القياس الدقيقة لتحديد الأسسات الحرجة والتعامل مع الوزن المنفرد $|x|^{-b}$ في الحد اللاخطي.

---

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

أ. المسألة غير المُرغمة (ظاهرة فوجيتا)

توسع الورقة النتائج السابقة (التي افترضت $h(t) \sim t^\gamma$) لتشمل الفئة الأوسع $h \in M(\gamma)$.

• أس فوجيتا الحرج: يثبت المؤلفون أن الأس الحرج $p_F$ يظل:
  $$p_F = 1 + \frac{2s(\gamma + 1)}{N}$$
  • الانفجار (Blow-up): إذا كان $1 < p < p_F$، فإن كل حل غير تافه وغير سالب ينفجر في زمن محدد.
  • الوجود العالمي (Global Existence): إذا كان $p > p_F$، توجد حلول معتدلة عالمية للبيانات الأولية الصغيرة بما يكفي.
• الأهمية: تثبت هذه النتيجة متانة ظاهرة فوجيتا. فحتى لو أظهرت $h(t)$ تذبذبات أو سلوكيات غير منتظمة (طالما أن معدل نموها اللوغاريتمي هو $\gamma$)، فإن عتبة الانفجار تظل دون تغيير. كما أن حد الانتشار المحلي $\Delta$ لا يغير الأس الحرج، الذي يتحكم فيه الجزء الكسري $s$ وحده.

ب. المسألة المُرغمة (عدم وجود حلول عالمية)

بالنسبة للمعادلة مع حد الإرغام $t^\varrho w(x)$، يستنتج المؤلفون الشروط التي لا توجد فيها حلول ضعيفة عالمية، بغض النظر عن حجم البيانات الأولية.

• الشروط: بافتراض $w \in C_0 \cap L^1$ مع $\int w > 0$:
  • إذا كان $\varrho \le 0$، و $0 \le \frac{b}{1+\gamma} < 2s < N$، و $1 < p < p^*$، حيث:
    $$p^* = \frac{N - b - 2s(\varrho - \gamma)}{N - 2s(\varrho + 1)}$$
  • إذا كان $\varrho > 0$ و $b, \gamma \ge 0$، فإن عدم الوجود يتحقق لجميع قيم $p > 1$.
• الطريقة: يعتمد الإثبات على طريقة دالة الاختبار، مع موازنة دقيقة بين اضمحلال نواة المؤثر ونمو الأوزان الزمنية $h(t)$ و $t^\varrho$.

ج. المسألة المُرغمة (الوجود العالمي)

يقدم المؤلفون شروطًا كافية لوجود حلول معتدلة عالمية عندما تسمح المعاملات بذلك ($p > p^*$).

• شرط الصغر: يوجد $\epsilon > 0$ بحيث إذا كانت البيانات الأولية $u_0$ والمصدر $w$ يحققان:
  $$\|u_0\|_{L^{p_c}} + \|w\|_{L^{q_c}} < \epsilon$$
  حيث $p_c$ و $q_c$ هما أسّان حرجان مستمدان من تحليل القياس، فإن هناك حلًا معتدلًا فريدًا وعالميًا.
• الإطار الوظيفي: يستخدم الإثبات فضاءً موزونًا بمعايير تتضمن عوامل اضمحلال زمنية $t^\mu$، مما يضمن بقاء الحل محدودًا عالميًا.

---

4. الأهمية والجدة

1. تعميم الأوزان الزمنية: تعد هذه الدراسة الأولى التي تتناول ظواهر الانفجار لمعادلات الانتشار اللاخطية ذات المعاملات في الفئة $M(\gamma)$. كانت الأعمال السابقة مقتصرة على معاملات القوة ($t^\gamma$). هذا التعميم يغطي التبعيات الزمنية التذبذبية وغير المنتظمة، مما يجعل النتائج قابلة للتطبيق على نطاق أوسع من النماذج الفيزيائية.
2. تحليل المؤثر المختلط: يحلل العمل بدقة التفاعل بين الانتشار المحلي ($\Delta$) وغير المحلي ($(-\Delta)^s$). ويؤكد أن أس فوجيتا الحرج يتحدد بواسطة المكون الكسري، وهي نتيجة غير بديهية نظرًا للتنافس بين المؤثرين.
3. هاردي-هينون مع الإرغام: إن إدراج التفرد المكاني $|x|^{-b}$ مع الإرغام الزمني $t^\varrho w(x)$ يخلق نظامًا معقدًا. تقدم الورقة تصنيفًا كاملًا لأنظمة الوجود مقابل عدم الوجود بناءً على التفاعل بين $N, s, b, p, \gamma, \varrho$.
4. إطار موحد: تستعيد النتائج العديد من الحالات المعروفة (مثل الحالة الكسرية النقية، أو المحلية النقية، أو المعاملات الثابتة) كحالات خاصة، مما يوفر إطارًا نظريًا موحدًا لمعادلات الانتشار المختلطة.

5. الخاتمة

نجح بن بلعجم ومجدوب في توصيف سلوك الانفجار والوجود العالمي لفئة معقدة من معادلات الانتشار المختلطة. ومن خلال دمج تقديرات النصف مجموعة مع النظرية التقاربية للدوال المتغيرة بانتظام، وسعوا نظرية فوجيتا الكلاسيكية لتشمل الأوزان الزمنية غير المنتظمة والإرغام الخارجي. وتوضح النتائج أنه بينما يمكن أن يكون شكل المعامل الزمني غير منتظم للغاية، فإن معدل نموه التقاربي هو المحدد الوحيد للعتبة الحرجة للانفجار. وتشمل الأعمال المستقبلية التي اقترحها المؤلفون تحليل التقاربات طويلة المدى، واللاخطية التدرجية، والتفسيرات الاحتمالية عبر عمليات ليفي.