Local well-posedness of strong solutions to the compressible Navier-Stokes equations with degenerate viscosities and far field vacuum in 3D exterior domains

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

بيان المشكلة
تبحث هذه الورقة في الوجود المحلي الجيد للحلول القوية لمعادلات نافييه-ستوكس القابلة للانضغاط متساوية الحرارة في مجال خارجي عام $\Omega = \mathbb{R}^3 \setminus \bar{D}$، حيث $D$ هو مجال سلس محدود. يتميز النظام بلزوجات تعتمد على الكثافة (متدهورة)، وتحديداً $\mu(\rho) = \mu\rho^\delta$ و $\lambda(\rho) = \lambda\rho^\delta$ مع $0 < \delta < 1$. تتناول الدراسة مسألة القيمة الابتدائية-الحدية (IBVP) حيث تقترب الكثافة الابتدائية من فراغ بعيد المدى ($\rho \to 0$ عندما $|x| \to \infty$) ويخضع المائع لشروط انزلاق نافييه-ستوكس على $\partial\Omega$:
$$u \cdot n = 0, \quad \text{curl} u \times n = -A(x)u \quad \text{على } \partial\Omega,$$
حيث $A$ مصفوفة متماثلة. يكمن التحدي الرئيسي في التدهور المزدوج لمعادلة الزخم عند ظهور الفراغ والتعقيدات الناتجة عن الحدود في المجال الخارجي.

المنهجية
يتبنى المؤلفون استراتيجية إعادة صياغة مستوحاة من Li-Li [17]، حيث يتم تقسيم معادلة الزخم على $\rho^\delta$ للتعامل مع التدهور. يتم تحويل النظام إلى:
$$\rho^{1-\delta}u_t + \rho^{1-\delta}u \cdot \nabla u - Lu + \frac{a\gamma}{\gamma-\delta}\nabla \rho^{\gamma-\delta} = \delta \nabla \log \rho \cdot S(u),$$
حيث $L$ هو مؤثر لامي (Lamé operator).

لإثبات الوجود المحلي للحلول القوية، يستخدم المؤلفون المنهجيات التقنية التالية:

1. التقريب في النطاقات الحلقية: يتم حل المسألة أولاً في نطاق حلقي محدود $\Omega_R = \Omega \cap B_R$ لتقريب المجال الخارجي. يتم اشتقاق تقديرات مسبقة (a priori estimates) مستقلة عن نصف القطر $R$.
2. التعامل مع الحدود: يُخصص جزء كبير من التحليل لإدارة حدود المسألة الناشئة عن شرط انزلاق نافييه-ستوكس. على عكس مسألة كوشي، يتضمن الحد الحدودي في تقديرات الطاقة المصفوفة $A$، والتي ليست بالضرورة موجبة التحديد. يستخدم المؤلفون ملاحظة جديدة مفادها أن الكثافة $\rho$ تحتفظ بحد أدنى موجب بالقرب من الحدود (تحديداً في $\Omega_0 = \Omega \cap B_{2R_0}$)، مما يسمح بالتحكم في القوى السالبة لـ $\rho$ في التكاملات الحدية.
3. التقديرات الموزونة: يشتق المؤلفون تقديرات موزونة حاسمة لمصطلحات مثل $\nabla \rho^{\frac{\delta-1}{2}}$ و $\rho^{\frac{\delta-1}{2}} \text{div} u$. لقد تغلبوا على صعوبة اشتقاق التقديرات الإهليلجية في النطاقات الحلقية (حيث يكون عدد بيتتي الأول غير صفري) من خلال استخدام طريقة دالة القطع (cut-off function) ولمتة (lemma) محددة لـ "div-curl" مكيفة مع بنية المجال الخارجي.
4. معيار الانفجار (Blow-up Criterion): لمعالجة تمديد الحلول المحلية إلى زمن كلي، تم وضع معيار للانفجار. يتضمن ذلك التحكم في معيار $L^1(0,T; L^\infty)$ لموتر التشوه $D(u)$ ومعايير محددة لتدرج الكثافة بالقرب من الحدود.

المساهمات والنتائج الرئيسية
تحدد الورقة النتائج الرئيسية التالية:

• النظرية 1.1 (الوجود المحلي الجيد): تحت الشروط $\gamma > 1$ و $0 < \delta < 1$، إذا كانت البيانات الابتدائية $(\rho_0, u_0)$ تستوفي شروط انتظام وتوافق محددة (بما في ذلك $\rho_0^{\frac{\gamma-1+\delta}{2}} \in D^1_0 \cap D^2$ وشرط توافق $L(u_0) = \rho_0^{\frac{1-\delta}{2}}g$)، فإنه يوجد حل قوي وحيد على فاصل زمني $[0, T_0]$. يستوفي الحل مجموعة محددة من خصائص الانتظام، بما في ذلك $\rho^{\frac{\delta-1}{2}} \in L^\infty(0, T_0; L^6(\Omega_0))$، مما يضمن بقاء الكثافة بعيدة عن الصفر بالقرب من الحدود.
• استقلالية المعلمات: مساهمة حاسمة هي أن اختيار أس اللزوجة $\delta$ مستقل عن أس الكظومة (adiabatic exponent) $\gamma$. وهذا يتناقض مع الأعمال السابقة (مثل Xin-Zhu [33]، Liu-Zhong [23]) التي تطلبت علاقة تقييدية بين $\delta$ و $\gamma$ (تحديداً $\delta \to 1$ عندما $\gamma \to 1$).
• شروط التوافق المخففة: تتطلب الورقة شرط توافق واحد فقط (1.13)، مما يزيل قيدين إضافيين كانا موجودين في الأدبيات السابقة للمجالات الخارجية.
• النظرية 1.2 (معيار الانفجار): تم توفير معيار للانفجار في زمن محدود للحلول القوية. إذا كان زمن الوجود الأقصى $T^*$ منتهياً، فإن مجموع معيار $L^1(0,T; L^\infty)$ لـ $D(u)$، ومعيار $L^\infty(0,T; L^6(\Omega_0))$ لـ $\rho^{\frac{\delta-1}{2}}$، ومعيار $L^\infty(0,T; D^{1,2})$ لـ $\nabla \rho^{\frac{\delta-1}{2}}$ يجب أن يتباعد.

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