Variational problems related to self-similar solutions of Hardy-Sobolev heat equation in RN

ملخص تقني: المسائل التباينية المتعلقة بالحلول ذاتية التشابه لمعادلة هاردي-سوبوليف الحرارية في $\mathbb{R}^N$

بيان المسألة
تبحث هذه الورقة في وجود، وتعدد، وعدم وجود الحلول ذاتية التشابه للمعادلة شبه الخطية البارابولية ذات جهد هاردي-سوبولولف المنفرد في $\mathbb{R}^N$:
$$u_t - \Delta u = \frac{|u|^{q-2}u}{|x|^s}, \quad \text{في } \mathbb{R}^N \times (0, \infty),$$
حيث $2 < q \leq 2^*(s) \equiv \frac{2N-2s}{N-2}$ و $0 \leq s < 2$. تركز الدراسة على تحويل هذه المسألة البارابولية إلى مسألة إهليلجية مكافئة عبر تحويل ذاتي التشابه. المعادلة المحولة هي:
$$-\Delta v - \frac{1}{2}y \cdot \nabla v = \alpha v + \frac{|v|^{q-2}v}{|y|^s}, \quad \text{في } \mathbb{R}^N,$$
حيث $\alpha = \frac{2-s}{2q-4}$. الهدف الرئيسي هو تحليل البنية التباينية لهذه المعادلة الإهليلجية، مع التركيز بشكل خاص على الحالات دون الحرجة ($q < 2^*(s)$) والحرجة ($q = 2^*(s)$) تحت تأثير الحد المنفرد $|y|^{-s}$ والوزن الغاوسي $K(y) = e^{|y|^2/4}$.

المنهجية
يستخدم المؤلفون مزيجاً من التحليل الدالي، والمتباينات الموزونة، والأساليب التباينية ضمن إطار فضاء هيلبرت محدد.

1. الإعداد الدالي: تمت صياغة المسألة في فضاء هيلبرت $X$، المعرف كإتمام لـ $C_c^\infty(\mathbb{R}^N)$ بالنسبة للنمط المستحث بواسطة الضرب الداخلي $(v_1, v_2)_K = \int_{\mathbb{R}^N} (\nabla v_1 \cdot \nabla v_2) K(y) dy$. تقابل الحلول الضعيفة النقاط الحرجة للدالة الطاقية $E_K(v)$.
2. المتباينات الموزونة: تتمثل الخطوة التأسيسية في إثبات متباينة هاردي الموزونة ومتباينة سوبوليف-هاردي الموزونة. هذه المتباينات حاسمة لإثبات استمرارية وتراص تضمينات الفضاء $X \hookrightarrow L^q_K(\mathbb{R}^N, |y|^{-s})$.
3. التقنيات التباينية:
   • الحالة دون الحرجة: تم استخدام مبرهنة النافورة (Fountain Theorem) لإثبات وجود عدد لا نهائي من الحلول. يتطلب هذا التحقق من الشروط الهندسية للمبرهنة وشرط بالاي-سمال (Palais-Smale (PS)).
   • الحالة الحرجة: يعتمد وجود الحلول على مبدأ التركيز-التراص وتحليل الثابت الأفضل $S_{K,\alpha}$ المرتبط بمتباينة سوبوليف-هاردي الموزونة. يقارن المؤلفون $S_{K,\alpha}$ بالثابت الأفضل القياسي $S^0$ (و $S_{K,0}$) لضمان تحقيق القيمة الدنيا.
4. إثبات بديل: تم تقديم إثبات بديل للحالة الحرجة باستخدام مبرهنة ممر الجبل (Mountain Pass Theorem)، بالاعتماد على عتبة مستوى طاقة معينة للتحقق من شرط (PS).

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

• المتباينات: تثبت الورقة بصرامة متباينة $K$-هاردي ومتبالة $K$-سوبوليف-هاردي، مما يثبت خصائص التراص اللازمة لتضمين الفضاء الموزون $X$ في فضاءات ليبيج الموزونة.
• الحالة دون الحرجة ($2 < q < 2^*(s)$):
  • المبرهنة 3.1: لأي $\alpha \in \mathbb{R}$، تقبل المسألة عدداً لا نهائياً من الحلول $\{\pm v_k\}_{k=1}^\infty$ بحيث أن الطاقة $E_K(\pm v_k) \to +\infty$ عندما $k \to \infty$. وهذا يعني وجود عدد لا نهائي من الحلول ذاتية التشابه لمعادلة الحرارة الأصلية.
• الحالة الحرجة ($q = 2^*(s)$):
  • عدم الوجود: تثبت المبرهنة 4.1 أنه إذا كان $\alpha \leq N/4$ (لـ $N \geq 3$)، فإن الحل الوحيد للمسألة هو الحل البديهي $v \equiv 0$. وقد تم إثبات ذلك عبر متطابقة بوهور-زيف (Pohozaev identity).
  • الوجود:
    • لـ $N \geq 4$ و $\alpha \in (N/4, N/2)$، يوجد على الأقل حل غير بديهي (المبرهنة 4.2).
    • لـ $N = 3$ و $\alpha \in (1, 3/2)$، يوجد على الأقل حل غير بديهي.
    • توضح الورقة أيضاً النطاقات التي لا توجد فيها حلول موجبة (مثلاً $\alpha \leq N/4$ أو $\alpha \geq N/2$ لـ $N \geq 4$).
  • أمثلية الثوابت: يوضح المؤلفون أنه لنطاقات محددة من $\alpha$، يكون الحد الأدنى لنسبة الدالة الكسرية $Q_{K,\alpha}$ أقل تماماً من الثابت الأفضل القياسي $S^0$، مما يضمن تحقيق القيمة الدنيا وبالتالي وجود حل.
• المنهج البديل: يقدم القسم 5 إثباتاً ثانياً لنتائج الوجود في الحالة الحرجة باستخدام هندسة ممر الجبل، مما يؤكد متانة ادعاءات الوجود تحت قيود الطاقة المستمدة.

الأهمية والادعاءات
تدعي الورقة توسيع الأدبيات الموجودة حول الحلول ذاتية التشابه لمعادلات الحرارة (تحديداً أعمال إسكوبيدو، كافيان، وتان فيما يتعلق بحالة $s=0$) لتشمل السيناريو الأكثر تعقيداً الذي يتضمن حدود هاردي-سوبوليف المنفردة ($s > 0$).

تكمن الأهمية في:

1. إكمال الثنائية: من خلال إرساء نتائج الوجود وعدم الوجود بناءً على المعامل $\alpha$ والبعد $N$، يوضح العمل مشهد القابلية للحل للمعادلة الإهليلجية المحولة.
2. التعامل مع التفردات: إن اشتقاق المتباينات الموزونة وتطبيق الأساليب التباينية في وجود الحد المنفرد $|y|^{-s}$ والوزن الغاوسي $K(y)$ يوفر إطاراً صارماً لتحليل مثل هذه المسائل التطورية المنفردة.
3. التعدد: يبرز إثبات وجود عدد لا نهائي من الحلول في الحالة دون الحرجة البنية الغنية لمجموعة الحلول لهذا النوع من المعادلات البارابولية.

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