Well-posedness and longtime behavior of the conserved Navier--Stokes--Allen--Cahn equation with unmatched viscosities and singular potential

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

1. صياغة المسألة
تبحث الورقة في نموذج محافظ للكتلة لتدفق ثنائي الطور غير قابل للانضغاط مع كثافات متطابقة، يوصف بنظام نافييه-ستوكس المقترن غير خطياً بمعادلة "آلن-كاخن" المحفوظة. يتم تعريف النظام على نطاق محدود $\Omega \subset \mathbb{R}^d$ ($d \in \{2, 3\}$) ويتضمن سرعة المائع $v$، ومتغير المجال الطوري $\phi$ (الذي يمثل التركيز النسبي)، والجهد الكيميائي $\mu$. يتضمن النموذج:

• لزوجات غير متطابقة: معامل اللزوجة $\nu(\phi)$ يعتمد على المجال الطوري ويُفترض أنه غير ثابت.
• جهد منفرد: تتضمن كثافة الطاقة الحرة جهداً منفرداً $f(\phi)$، عادةً من نوع "فلوري-هوجنز"، والذي يصبح لانهائياً عند الأطوار النقية $\phi = \pm 1$. هذا يفرض القيد الفيزيائي $|\phi| < 1$.
• الشروط الحدية: شروط عدم الانزلاق للسرعة ($v=0$) وشروط "نيومان" المتجانسة للمجال الطوري ($\partial_n \phi = 0$).

المعادلات الحاكمة هي:
$$\begin{aligned} \partial_t v + (v \cdot \nabla)v - \text{div}(\nu(\phi)Dv) + \nabla \pi &= \mu \nabla \phi, \\ \nabla \cdot v &= 0, \\ \partial_t \phi + v \cdot \nabla \phi + \mu - \bar{\mu} &= 0, \\ \mu &= -\Delta \phi + f'(\phi), \end{aligned}$$
حيث يمثل $\bar{\mu}$ المتوسط المكاني لـ $\mu$.

2. المنهجية
يستخدم المؤلفون مزيجاً من التحليل الدالي، وطرق الطاقة، وتقنيات التحليل التقاربي:

• تقريب غاليركين (Galerkin Approximation): لإثبات الوجود، يتم استخدام مخطط غاليركين كامل، حيث يتم تنظيم الجهد المنفرد عبر تقريب "يوسيدا" ($F_\lambda$) للتعامل مع التفرد.
• تقديرات الطاقة: يتم إثبات وجود الحلول الضعيفة العالمية عبر متباينات الطاقة القياسية. بالنسبة للحلول القوية، يتم اشتقاق تقديرات من رتبة أعلى عن طريق اختبار المعادلات مع المشتقات الزمنية ومؤثرات "ستوكس" ($A_S$)، باستخدام متباينات "غالياردو-نينبيرغ" و"آجمون".
• نهج الطاقة النسبية: لإثبات التفرد (weak-strong uniqueness) المشروط، يستخدم المؤلفون نهج الطاقة النسبية. يقارن هذا النهج حلاً ضعيفاً بحل قوي، ويتحكم في الفرق عبر دالة تأخذ في الاعتبار لا خطية الجهد واللزوجة المتغيرة.
• تكرارات دي جورجي (De Giorgi Iterations): لإثبات خاصية الفصل الصارم التقاربي (أن الحل يظل بعيداً عن الأطوار النقية $\pm 1$ مع مرور الوقت $t \to \infty$)، يطبق المؤلفون تقنية تكرار "دي جورجي" على المعادلة المكافئة، مع تكييفها لتناسب النظام المقترن.
• متراجحة لوجاسيتز-سايمون (Lojasiewicz–Simon Inequality): يتم إثبات التقارب إلى توازن فريد باستخدام متراجحة "لوجاسيتز-سايمون"، والتي تربط دالة الطاقة بنور (norm) تدرجها، بشرط أن يكون الجهد تحليلياً حقيقياً.

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

• جودة التحديد المحلية في البعد الثالث (3D): تثبت الورقة وجود وفرادة الحلول القوية محلية في الزمن في البعد الثالث لبيانات ذات انتظام أعلى ($v_0 \in H^1_\sigma$, $\phi_0 \in H^2_N$, $F'(\phi_0) \in L^2$). ومن المهم إظهار أن هذه الحلول تنفصل فورياً وبشكل صارم عن الأطوار النقية.
• التفرد غير المشروط في البعد الثاني (2D): يحل المؤلفون مسألة مفتوحة من الأدبيات السابقة بإثبات أن الحلول الضعيفة فريدة بشكل غير مشروط في البعد الثاني. ويتحقق ذلك دون الحاجة إلى اشتراط انفصال الحلول عن الأطوار النقية، بالاعتماد بدلاً من ذلك على البنية النوعية لمتباينة "لادي-جينسكايا" في البعد الثاني.
• التفرد (الضعيف-القوي) المشروط في البعد الثالث (3D): تم إثبات نتيجة تفرد (ضعيف-قوي) مشروط في البعد الثالث. يتطلب هذا الشرط أن يحقق الحل الضعيف شرط تكامل على مشتقة الجهد ($F'(\phi) \in L^4(0, T; L^4(\Omega))$)، وهو شرط أظهر المؤلفون أنه أضعف من افتراض الفصل الصارم المعتاد.
• الانفصال التقاربي والتقارب:
  • الحد الأدنى من انتظام اللزوجة: تثبت الورقة أن أي حل ضعيف عالمي ينفصل تقاربياً عن الأطوار النقية ويتقارب إلى توازن فريد في كل من البعدين الثاني والثالث. وتتحقق هذه النتيجة تحت فرضيات دنيا على اللزوجة، وتحديداً $\nu \in C^0([-1, 1])$، دون اشتراط الاستمرارية "ليبتشيتزية".
  • الانتظام التقاربي: إذا كانت اللزوجة أكثر انتظاماً ($\nu \in W^{1,\infty}(\mathbb{R})$)، يوضح المؤلفون أن أي حل ضعيف ينتظم تقاربياً. وهذا يعني أنه بعد زمن محدد، يصبح الحل الضعيف حلاً قوياً، مما يؤدي إلى التقارب نحو التوازن في معايير (norms) ذات رتبة أعلى.

4. الأهمية والادعاءات
تدعي الورقة تحقيق عدة تقدمات هامة مقارنة بالأدبيات الموجودة (بالإشارة تحديداً إلى الأعمال [15]، [18]، و[19]):

• أول نتيجة حول الفصل التقاربي: يذكر المؤلفون أن هذه هي المرة الأولى التي يتم فيها إثبات أن الحلول الضعيفة العالمية لهذا النظام المقترن (مع لزوجات غير متطابقة وجهود منفردة) تنفصل تقاربياً عن الأطوار النقية وتتقارب إلى توازن فريد في كل من البعدين الثاني والثالث، دون الحاجة إلى افتراضات انتظام إضافية في البداية.
• تخفيف فرضيات اللزوجة: تم إثبات التقارب إلى التوازن حتى عندما يكون معامل اللزوجة مستمراً فحسب ($\nu \in C^0$)، وهو تخفيف كبير مقارنة بالنتائج السابقة التي كانت تتطلب غالباً استمرارية "ليبتشيتزية".
• حل المسائل المفتوحة: تم إثبات التفرد غير المشروط للحلول الضعيفة في البعد الثاني، وهو ما ظل مفتوحاً في الدراسات السابقة، بشكل صارم.
• متانة المنهجية: تجمع المنهجية بين خاصية الفصل الصارم التقاربي والتفرد (الضعيف-القوي) المشروط لإظنت أن الحلول الضعيفة تنتظم تقاربياً إذا كانت اللزوجة سلسة بما يكفي، مما يضمن التقارب في معايير (norms) ذات رتبة أعلى.

يعتمد العمل على النتائج الجوهرية الأخيرة للمؤلف الأول والثالث (المشار إليها بـ [18, 19]) ويمتد بها لتشمل حالة اللزوجات غير المتطابقة والجهود المنفردة، مما يوفر صورة شاملة للديناميكيات طويلة الأمد للنظام تحت أدنى الافتراضات الهيكلية.