Sharp non-explicit blow-up profile for perturbed nonlinear heat equations with gradient terms

إليك ملخص تقني مفصل لورقة "البروفايل الحاد غير الصريح للانفجار (blow-up profile) للمعادلات الحرارية غير الخطية المضطربة ذات حدود التدرج" للباحثة ميساء بوغرا.

1. بيان المشكلة

تتقصى الورقة ظاهرة الانفجار (blow-up) لفئة من المعادلات الحرارية غير الخطية المضطربة التي تتضمن حدود التدرج في $\mathbb{R}^N$:
$$\begin{cases} u_t = \Delta u + |u|^{p-1}u + h(u, \nabla u), \\ u(x, 0) = u_0 \in W^{1,\infty}(\mathbb{R}^N), \end{cases}$$
حيث $1 < p$، والاضطراب $h$ يحقق شروط نمو محددة: $|h(u, v)| \le C(|u|^\gamma + |v|^\gamma + 1)$ مع $0 \le \gamma < p$ و $0 \le \gamma < \frac{2p}{p+1}$.

كانت الحالة غير المضطربة ($h \equiv 0$) مدروسة جيداً، مع نتائج معروفة فيما يتعلق بالانفجار عند نقطة واحدة (single-point blow-up) والبروفايل التقاربي (تحديداً عمل Ebde و Zaag، [EZ11]). ومع ذلك، ظل هناك سؤالان حاسمان مفتوحين للحالة المضطربة:

1. الانفجار عند نقطة واحدة: هل نقطة الانفجار $a$ فريدة، أم يمكن أن يحدث الانفجار عند نقاط متعددة؟
2. البروفايل النهائي للانفجار: هل يمكن تعريف بروفايل نهائي دقيق $u^*(x) = \lim_{t \to T} u(x,t)$ لـ $x \neq a$، وتحديد سلوكه بالقرب من التفرد (singularity)؟
3. حدة التقديرات: هل يمكن تحسين تقديرات الخطأ في بروفايل الانفجار من المقياس اللوغاريتمي البطيء ($1/|\log(T-t)|$) إلى مقياس أكثر حدة يتضمن متغير الزمن الطبيعي $(T-t)$؟

2. المنهجية

تستخدم المؤلفة تحليلاً صارماً يعتمد على المتغيرات ذاتية التشابه (self-similar variables) وتقنيات التفكيك الطيفي.

أ. المتغيرات ذاتية التشابه

يتم تحويل المعادلة باستخدام المتغيرات:
$$y = \frac{x-a}{\sqrt{T-t}}, \quad s = -\log(T-t), \quad w(y,s) = (T-t)^{\frac{1}{p-1}}u(x,t).$$
هذا يحول المعادلة التفاضلية الجزئية إلى معادلة مكافئة (parabolic) لـ $w$:
$$w_s = \Delta w - \frac{1}{2}y \cdot \nabla w - \frac{w}{p-1} + |w|^{p-1}w + e^{-\frac{p}{p-1}s}h(\dots).$$
يتم تفكيك الحل حول بروفايل معروف $f(y/\sqrt{s})$ (من الحالة غير المضطربة) بالإضافة إلى حد متبقٍ $q(y,s)$.

ب. المجموعة المنكمشة $V_A(s)$

يعتمد الإثبات على تعريف "مجموعة منكمشة" $V_A(s)$ من الدوال التي تتحكم في المتبقي $q$. تضمن هذه المجموعة بقاء الحل قريباً من البروفايل $f$ مع $s \to \infty$. تُعرف المجموعة من خلال حدود المكونات الطيفية لـ $q$ (الإسقاطات على كثيرات حدود هيرميت) وذيل الحل (tail of the solution).

ج. مقارنة حلين مختلفين

تتمثل إحدى التقنيات المركزية في مقارنة حلين مختلفين للانفجار $u_1$ و $u_2$ (ربما مع اضطرابات مختلفة $h_1, h_2$ أو نقاط/أزمنة انفجار مختلفة)؛ حيث يتم تحليل الفرق $g = w_1 - w_2$.

• التحليل الطيفي: يتم توسيع الفرق $g$ في القاعدة الذاتية للمؤثر الخطي $L = \Delta - \frac{y}{2}\cdot\nabla + 1$. وتتم دراسة تطور المعاملات (الأوضاع/modes) لإظهار أن الفرق يتلاشى بسرعة.
• الانتظام المكافئ (Parabolic Regularity): تم اشتقاق تقديرات جديدة للتحكم في حد التدرج $\nabla u$ في الاضطراب $h$، وهو الصعوبة الرئيسية مقارنة بالحالة غير المضطربة. يتضمن ذلك حججاً تكرارية ومتراجحات من نوع Gronwall.
• عتبة عدم الانفجار (No-Blow-Up Threshold): خطوة حاسمة تتضمن إثبات أنه إذا كان الحل صغيراً بما يكفي في منطقة معينة (بالقرب من نقطة الانفجار ولكن خارج النواة المركزية)، فإنه لا يمكن أن ينفجر. ويتم تحقيق ذلك عن طريق إعادة قياس الحل واستخدام صيغة Duhamel مع خصائص التنعيم لـ heat semigroup.

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

أ. الانفجار عند نقطة واحدة (النظرية 1)

تثبت الورقة أنه لأي حل في المجموعة المُنشأة $S_{a,T,h}$ (الحلول التي تنفجر عند $T$ و $a$ بسلوك تقاربي محدد)، فإن $a$ هي نقطة الانفجار الوحيدة.

• النتيجة: ينفجر الحل فقط عند $x=a$.
• البروفايل النهائي: يوجد بروفايل نهائي $u^*(x)$ لجميع قيم $x \neq a$.
• السلوك التقاربي: بالقرب من نقطة الانفجار، يتصرف البروفايل النهائي كالتالي:
  $$u^*(x) \sim \left( \frac{8p |\log|x-a||}{(p-1)^2 |x-a|^2} \right)^{\frac{1}{p-1}}$$
  مع تقدير خطأ حاد يتضمن تصحيحات لوغاريتمية.

ب. البروفايل الحاد غير الصريح للانفجار (النظرية 2)

هذه هي المساهمة التقنية الأهم في الورقة. وصفت النتائج السابقة (مثل [EZ11]) بروفايل الانفجار باستخدام دالة صريحة $f$ مع خطأ من رتبة $O(|\log(T-t)|^{-1})$.

• التحسين: توضح المؤلفة أن الحل $u(x,t)$ هو في الواقع أقرب بكثير إلى حل غير صريح $\hat{u}$ للمعادلة غير المضطربة (حيث $h \equiv 0$).
• التقدير:
  $$|u(x,t) - \hat{u}(x-a, t-T+1)| \le C \max \left( (T-t)^{-\frac{1}{p-1}}|\log(T-t)|, |x-a|^{-\frac{2}{p-1}}|\log|x-a||^{\frac{1}{4} - \frac{1}{p-1}} \right).$$
• الأهمية: من خلال استبدال البروفايل الصريح $f$ بالحل $\hat{u}$ للمعادلة غير المضطربة، يتم تقليل حد الخطأ بشكل كبير. أصبح الخطأ الآن محكوماً بمقياس المتغير "السريع" $(T-t)$ بدلاً من مجرد المقياس اللوغاريتمي "البطيء".
• تحسين البعد الواحد (1D): في البعد الواحد ($N=1$)، تشتق المؤلفة توسعاً أكثر حدة يتضمن بارامتر قياس $\lambda$، مما يوفر توسعاً يشبه متسلسلة تايلور للفرق بين الحلين المضطرب وغير المضطرب.

4. التحديات التقنية التي تم التغلب عليها

• التحكم في حد التدرج: وجود $h(u, \nabla u)$ يُدخل عدم خطية في التدرج. اضطرت المؤلفة لتطوير تقديرات انتظام مكافئ جديدة للتحكم في $\nabla w$ وإثبات أن حد التدرج لا يزعزع استقرار بروفايل الانفجار.
• البروفايل غير الصريح: يتطلب إثبات تقارب الحل إلى بروفايل غير صريح (حل للمعادلة غير المضطربة) بدلاً من دالة صريحة حجة مقارنة دقيقة بين حلين، بدلاً من مجرد الخطية حول دالة ثابتة.
• الفجوة الطيفية (Spectral Gap): إدارة التفاعل بين الأوضاع غير المستقرة، والمتعادلة، والمستقرة للمؤثر الخطي في ظل وجود الاضطراب $h$.

5. الأهمية

• صقل النظرية: يوسع هذا العمل نظرية بروفايلات الانفجار الكلاسيكية (التي طورها Merle و Zaag و Velázquez وغيرهم للحالة $h \equiv 0$) لتشمل المعادلات ذات اضطرابات التدرج.
• المثالية (Optimality): يوضح أن "البروفايل الطبيعي" للانفجار في المعادلات المضطربة ليس مجرد دالة صريحة بسيطة، بل هو متطابق هيكلياً مع الحل غير المضطرب، مع مجرد إزاحة وتغيير في القياس. هذا يشير إلى نوع من الاستقرار الهيكلي لبروفايل الانفجار تحت تأثير اضطرابات التدرج.
• التقدم المنهجي: توفر التقنيات المستخدمة للتحكم في حد التدرج وإثبات خاصية "عدم الانفجار تحت العتبة" إطاراً قوياً لتحليل معادلات أخرى من النوع الحراري شبه الخطي المضطرب.

باختدال، تثبت ميساء بوغرا أنه رغم وجود اضطرابات التدرج، تظل ديناميكيات الانفجار محكومة ببنية المعادلة الحرارية غير المضطربة، مما يسمح بوصف أكثر حدة للتفرد مما كان ممكناً في السابق.