On the large-time behavior of strong solutions to the generalized compressible Navier-Stokes-Korteweg system in 2D and 3D for arbitrarily large initial data

ملخص تقني: الوجود العالمي والسلوك في الزمن الطويل للحلول القوية لنظام نافييه-ستوكس-كورتويغ المعمم والقابل للانضغاط

بيان المشكلة
تبحث هذه الورقة في الوجود العالمي والسلوك التقاربي في الزمن الطويل للحلول القوية لنظام نافييه-ستوكس-كورتويغ (NSK) الدوري ثنائي وثلاثي الأبعاد، بمعطيات أولية $(\rho_0, u_0) \in H^3 \times H^2$ كبيرة بشكل تعسفي. يتميز النظام بمعاملات لزوجة تعتمد على الكثافة تحقق علاقة بريش-ديسجاردين (BD)، وهي $\mu(\rho) = \nu\rho^\alpha$ و $\lambda(\rho) = 2\nu(\alpha-1)\rho^\alpha$، ومعامل شعيرية $\kappa(\rho) = \varepsilon^2\alpha^2\rho^{2\alpha-3}$.

التحديات الرياضية الأساسية التي تمت معالجتها هي:

1. الوجود العالمي مع معطيات كبيرة: إثبات وجود حلول قوية عالمية دون فرض افتراضات الصغر على المعطيات الأولية، لا سيال في الأبعاد الأعلى ($N=2,3$).
2. حدود الكثافة الموحدة: إثبات أن الكثافة تظل محصورة بشكل موحد بعيداً عن الفراغ والتركيز (أي $C^{-1} \le \rho(x,t) \le C$) لجميع الأوقات، وهو أمر ضروري للانتظام من رتبة أعلى.
3. السلوك في الزمن الطويل: إثبات تقارب الحلول إلى حالة التوازن مع مرور الزمن $t \to \infty$.

لقد أثبتت الأعمال السابقة الوجود العالمي لأنظمة معينة من المعاملات (على سبيل المثال، Gu-Huang-Meng-Zhou [16] لـ $\alpha < 1$ و Huang-Meng-Zhang [25] لـ $\alpha=1$)، ولكنها غالباً ما كانت مقيدة بأسات انضغاط $\gamma$ محددة أو دون إثبات حدود كثافة موحدة في الزمن أو تقارب في الزمن الطويل لمعطيات كبيرة تعسفية.

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

1. صياغة السرعة الفعالة: تمت إعادة صياغة النظام باستخدام السرعة الفعالة $v := u + c\rho^{\alpha-2}\nabla\rho$، حيث $c = \nu + \sqrt{\nu^2-\varepsilon^2}$. يؤدي هذا إلى تحويل النظام الأصلي إلى نظام كثافة-سرعة فعالة مقترن (المعادلة 11)، والذي يظهر بنية شبه مكافئة مزدوجة. هذه البنية حاسمة لاستخلاص انتظام إضافي والتحكم في الكثافة.

2. حجة التعزيز (Bootstrap Argument) للمعاملات المقبولة:

   • بالنسبة للحالة $\alpha < 1$، قام المؤلفون بتحسين النطاق المقبول لأس الانضغاط $\gamma$. استخدموا حجة تعزيز تجسر الفجوة بين تقدير الطاقة القياسي (الموزون بـ $L^2$) والتقدير الحرج (الموزون بـ $L^3$). ومن خلال تحسين قابلية التكامل للسرعة الفعالة والكثافة بشكل تكراري، وسعوا نطاق $\gamma$ بما يتجاوز النتائج السابقة (تحديداً حتى $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$ في 3D).

3. استراتيجية التجزئة الزمنية للحدود العليا:

   • لإثبات حد علوي موحد للكثافة، اعتمد المؤلفون استراتيجية تجزئة زمنية. قاموا بتقسيم المحور الزمني $[0, \infty)$ إلى فترات فرعية $[t_n, t_{n+1}]$ ذات أطوال محدودة موحدة.
   • باستخدام تقديرات التبديد، حددوا نقاط $t_n$ تحقق فيها الكثافة والسرعة الفعالة حدوداً كمية موحدة.
   • في كل فترة فرعية، طبقوا مخطط تكرار معدل من نوع ناش-موزر (مستوحى من Gu-Huang-Meng-Zhou [16]) لاستخلاص حد علوي للكثافة مستقل عن الفترة الفرعية المحددة، مما يعطي حداً علوياً عالمياً موحداً.

4. التعزيز الاستقرائي للحدود الدنيا ($\alpha < 1$):

   • يتطلب إثبات حد أدنى موجب موحد قابلية تكامل أقوى للسرعة الفعالة ($L^p$ مع $p > \frac{2}{1-\alpha}$).
   • طور المؤلفون إجراء تعزيز استقرائي مبتكر. بافتراض تقديرات المستوى $(k-1)$، يستنتجون تقديرات المستوى $k$ الموحدة والتبديدية. تتكرر هذه العملية عدداً محدوداً من المرات حتى يتم الوصول إلى قابلية التكامل المطلوبة، مما يسمح بتطبيق تكرار ناش-موزر على المتغير المقلوب $\tau = \rho^{-1}$ للحصول على حد أدنى موجب موحد.
   • بالنسبة للحالة الحرجة $\alpha = 1$، أثبتت الورقة حداً علوياً موحداً، لكنها أشارت إلى أن الحد الأدنى يظل مشكلة مفتوحة بسبب عدم القدرة على إغلاق التعزيز عند مستوى $L^\infty$ للسرعة الفعالة.

5. تقديرات الرتب العليا والاضمحلال:

   • مع إثبات حدود الكثافة الموحدة، استخلص المؤلفون تقديرات عالمية من رتب عليا للكثافة والسرعة الفعالة.
   • استغلوا البنية الإهليلجية المتأصلة في نظام السرعة الفعالة للتحكم في المشتقات من الرتب العليا.
   • تؤدي هذه التقديرات إلى إثبات السلوك في الزمن الطويل، حيث يثبت أن $\|\rho(t) - \rho_s\|_{H^3} + \|\nabla u(t)\|_{H^1} \to 0$ عندما $t \to \infty$، حيث $\rho_s$ هي متوسط الكثافة.

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

• النظرية 1.1 (الحالة $\alpha < 1$):

  • تثبت الوجود العالمي لحلول قوية وحيدة لمعطيات أولية كبيرة تعسفية في 2D و 3D.
  • توسيع نطاق المعاملات: توسع بشكل كبير النطاق المقبول لأس الانضغاط $\gamma$ مقارنة بالأعمال السابقة (مثل [16]). في 3D، يمكن لـ $\gamma$ الآن أن يصل إلى $\frac{111\alpha^2-122\alpha+33}{21\alpha-13}$.
  • الحدود الموحدة: تثبت أن الكثافة تحقق $C^{-1} \le \rho(x,t) \le C$ لجميع $t \ge 0$، مما يضمن بقاء الحل بعيداً عن الفراغ والتركيز.
  • السلوك في الزمن الطويل: تثبت أن $\|\rho(t) - \rho_s\|_{H^3} + \|\nabla u(t)\|_{H^1} \to 0$ عندما $t \to \infty$. وهذا يتحقق دون أي افتراض بالصغر على المعطيات الأولية.

• النظرية 1.2 (الحالة $\alpha = 1$):

  • تثبت الوجود العالمي للحالة الحرجة $\alpha = 1$ (والتي تشمل نموذج سانت-فينان اللزوجي ونظام نافييه-ستوكس الكمي تحت ظروف معينة).
  • تحسين نطاق المعاملات: توسع نطاق $\gamma$ المقبول في 3D إلى $[1, 11/4)$، مما يحسن النتائج من $[1, 8/3)$ في [22] و $[1, 7/3)$ في [25].
  • الحد العلوي الموحد: تثبت حداً علوياً موحداً للكثافة ($\rho(x,t) \le C$).
  • القصور: تنص الورقة صراحة على أن إثبات حد أدنى موجب موحد للكثافة في الحالة الحرجة $\alpha=1$ يظل تحدياً مفتوحاً ويُترك للعمل المستقبلي.

الأهمية
تقدم الورقة إجابة إيجابية على التساؤلات حول ما إذا كانت الحلول القوية العالمية ذات المعطيات الأولية الكبيرة تتمتع بحدود كثافة موحدة في الزمن وتتقارب إلى التوازن في نظام NSK الدوري متعدد الأبعاد.

• حل المشكلات المفتوحة: تحل مسألة السلوك في الزمن الطويل وحدود الكثافة الموحدة لنظام NSK المعمم بمعطيات كبيرة، والتي ظلت غير محلولة حتى بعد إثبات الوجود العالمي في [16] و [25].
• التقدم المنهجي: يمثل تطوير استراتيجية التجزئة الزمنية جنباً إلى جنب مع حجة التعزيز لقابلية التكامل تقدماً منهجياً هاماً. فهي تسمح باشتقاق حدود موحدة دون الاعتماد على النظام الوسيط المقيد ($\varepsilon = \nu$) المطلوب غالباً في تحليلات نافييه-ستوكس الكمية، مما يغطي النظام البارابولي الأوسع ($\varepsilon < \nu$).
• تحسين المعاملات: من خلال تنقيح النطاقات المقبولة لـ $\gamma$، توسع النتائج التطبيق الفيزيائي لنظرية الوجود العالمي للموائع القابلة للانضغاط ذات تأثيرات الشعيرية.

يؤكد المؤلفون أن نتائجهم مستمدة دون فرض شروط الصغر على المعطيات الأولية، مما يجعل النتائج قوية للسيناريوهات ذات الصلة فيزيائياً والتي تتضمن اضطرابات كبيرة. يترك العمل مسألة التوسع إلى مسألة كوشي وإثبات الحدود الدنيا للحالة الحرجة $\alpha=1$ كاتجاهات للبحث المستقبلي.