Nonuniqueness of Leray-Hopf solutions to the unforced incompressible 3D Navier-Stokes Equation

إليك ملخص تقني مفصل للورقة البحثية بعنوان "عدم وحدانية حلول ليري-هوبف لمعادلات نافييه-ستوكس ثلاثية الأبعاد غير المحفزة" للباحثين توماس هو، إيكسوان وانغ، وتشانغهي يانغ.

1. بيان المسألة

تتناول الورقة واحدة من أكثر المسائل المفتوحة جوهرية في ديناميكا الموائع الرياضية: وحدانية حلول ليري-هوبف الضعيفة لمعادلات نافييه-ستوكس (NSE) غير القابلة للانضغاط ثلاثية الأبعاد في غياب أي قوة خارجية.

• المعادلات: تركز الدراسة على معادلات نافييه-ستوكس غير المحفزة في $\mathbb{R}^3$:
  $$\partial_t u + u \cdot \nabla u - \Delta u + \nabla p = 0, \quad \text{div } u = 0$$
• السياق: بينما أثبت ليري (1934) وهوبف (1951) الوجود العالمي للحلول الضعيفة التي تحقق متراجات الطاقة، فإن وحدانيتها تظل غير مثبتة. تُضمن الوحدانية فقط إذا كانت الحلول تحقق شرط برودي-سيرين ($u \in L^s_t L^q_x$ حيث $3/q + 2/s \le 1$). والحلول التي تفشل في تحقيق هذا الشرط (والتي ترتبط غالباً ببيانات أولية مفردة أو سيناريوهات الانفجار/التفرد) هي المرشحة الأساسية لعدم الوحدانية.
• الهدف: تقديم أول برهان رياضي صارم بمساعدة الحاسوب يثبت وجود عدد لا نهائي من حلول ليري-هوبف المتمايزة التي تبدأ من نفس البيانات الأولية ذات التباعد الصفري وذات الدعم المتماسك.

2. المنهجية

يستخدم المؤلفون استراتيجية متعددة المراحل تجمع بين تحليل التشابه الذاتي، والنظرية الطيفية، والتحقق العددي الصارم.

أ. اختزال التشابه الذاتي (Self-Similar Reduction)

مستلهمين من أعمال جيا وسفيرك، يسعى المؤلفون إلى إثبات عدم الوحدانية عبر حلول التشابه الذاتي الأمامي. يقومون بتحويل معادلات نافييه-ستوكس المعتمدة على الزمن إلى معادلة ثابتة للملف التعريفي $\tilde{U}(\xi)$ حيث $\xi = x/\sqrt{t}$:
$$-\frac{1}{2}\tilde{U} - \frac{1}{2}\xi \cdot \nabla \tilde{U} + \Pi(\tilde{U} \cdot \nabla \tilde{U}) - \Delta \tilde{U} = 0$$
البيانات الأولية مفردة ($O(|x|^{-1})$)، لكن المؤلفين يقومون بتوطين هذه المفردة لخلق حل ليري-هوبف صالح ذي دعم متماسك.

ب. تحليل الاستقرار الطيفي

يعتمد جوهر حجة عدم الوحدانية على المؤثر الخطي $\mathcal{L}_{\tilde{U}}$ حول ملف التشابه الذاتي:
$$\mathcal{L}_{\tilde{U}} v = \frac{1}{2}v + \frac{1}{2}\xi \cdot \nabla v - \Pi(\tilde{U} \cdot \nabla v + v \cdot \nabla \tilde{U}) + \Delta v$$

• الفرضية: إذا كان $\mathcal{L}_{\tilde{U}}$ يمتلك قيمة ذاتية غير مستقرة (الجزء الحقيقي $\lambda > 0$)، فإن حل التشابه الذاتي يكون غير مستقر.
• النتيجة: يسمح هذا عدم الاستقرار ببناء حل ثانٍ عن طريق اضطراب الملف التعريفي على طول المتشعب غير المستقر، مما يؤدي إلى وجود عدد لا نهائي من الحلول المتمايزة لنفس البيانات الأولية.

ج. إطار البرهان الصارم بمساعدة الحاسوب

لإثبات وجود هذا الملف التعريفي والقيمة الذاتية بشكل صارم، طور المؤلفون إطار عمل عددي جديد:

1. التقريب عالي الدقة: يستخدمون طريقة الانحدار الاشتقاقي (المسقطة على منوع الحل) لإيجاد ملف تعريفي مرشح $\tilde{U}$ وزوج (قيمة ذاتية، دالة ذاتية) $(\lambda, v)$ يقلل من متبقي المعادلات.
2. تفكيك المؤثر الخطي: يتم تفكيك المؤثر الخطي إلى جزء متماسك ($L_1$) واضطراب متراكم ($L_2$).
   • الجزء المتماسك: يوفر حد اللزوجة $-\Delta$ تماسكاً قوياً (على عكس معادلات أويلر)، مما يسمح بتقديرات $L^2/H^1$ قياسية دون أوزان مفردة.
   • الجزء المتراكم: يتم تقريبه بواسطة مؤثر محدود الرتبة ($L_{ap}$) مبني عبر قاعدة طيفية (دوال ذاتية لمسألة لابلاس ذات صلة).
3. حجة النقطة الثابتة:
   • يتم تقسيم معادلة الخطأ إلى جزء خطي (يُحل بدقة على الفضاء الجزئي محدود الرتبة) وجزء متبقي.
   • يُظهر أن الجزء المتبقي صغير بما يكفي ليتم استيعابه بواسطة تماسك $L_1$.
   • تُستخدم نظرية شاوذر للنقطة الثابتة لإثبات وجود حل دقيق $(\tilde{U} + \text{error})$ وزوج (قيمة ذاتية، دالة ذاتية) دقيق في جوار المرشحات العددية.
4. الحدود الصارمة: يتم حصر جميع الأخطاء العددية (المتبقيات، أخطاء التربيع، أخطاء الاستيفاء) باستخدام حساب الفترات (Interval Arithmetic) والتقديرات التحليلية (مثل متباينات بيرنشتاين للدوال متعددة الحدود المثلثية، وحدود دالة بسل).

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

1. أول برهان صارم على عدم الوحدانية: هذا هو أول برهان رياضي صارم (تم التحقق منه حاسوبياً) على أن حلول ليري-هوبف لمعادلات نافييه-ستوكس ثلاثية الأبعاد غير وحيدة. الأعمال السابقة (مثل أعمال ألبريتون-بروي-كولومبو) تطلبت حدوداً محفزة مفردة؛ أما هذا العمل فقد أزال هذا المتطلب.
2. إطار عمل عددي مبتكر: قدم المؤلفون طريقة للتحقق الصارم من وجود أنماط ذاتية غير مستقرة لمؤثر نافييه-ستوكس الخطي. يتضمن ذلك:
   • تفكيك المؤثر إلى أجزاء متماسكة ومتراكمة.
   • استخدام تقريب محدود الرتبة مع تحكم صارم في الخطأ.
   • الاستفادة من "التماسك الحقيقي" للزوجة لتبسيط التحليل مقارنة ببرنامج التفرد في معادلات أويلر.
3. بناء ملفات تعريفية محددة: قاموا ببناء ملف تعريفي تشابه ذاتي، منتظم محورياً، وفراغي، وذات تباعد صفري $\tilde{U}$، ودالة ذاتية غير مستقرة مرتبطة به $v$ (ذات تماثل فردي في $z$) تلبي الشروط الطيفية اللازمة.
4. استراتيجية التوطين: أظهروا كيفية توطين حل التشابه الذاتي المفرد لإنشاء شرط أولي $u_{in}$ ذي دعم متماسك مع الحفاظ على آلية عدم الاستقرار، مما يولد عدداً لا نهائياً من حلول ليري-هوبف.

4. النتائج الرئيسية

• النظرية 1 (عدم الوحدانية): توجد حلول ليري-هوبف "ملائمة" (suitable) متمايزة لا حصر لها لمعادلات نافييه-ستوكس ثلاثية الأبعاد في $\mathbb{R}^3 \times [0, 1]$ مع نفس الشرط الأولي ذي التباعد الصفري $u_{in} \in C^\infty$ ذي الدعم المتماسك. هذه الحلول سلسة لـ $t > 0$ ولكنها تفشل في تحقيق شرط برودي-سيرين.
• النظرية 2 (وجود ملف تعريفي غير مستقر): يوجد حل ضعيف $(\tilde{U}, \tilde{v}, \tilde{\lambda})$ لنظام التشابه الذاتي حيث $\tilde{\lambda} < 0$ (وفقاً لترميز المؤلفين، وهو ما يقابل قيمة ذاتية غير مستقرة $\lambda > 0$ في سياق التطور الزمني).
• التحقق العددي:
  • تم حصر متبقي الملف التعريفي التقريبي بـ $\|E_U\|_{L^2} \le 6.5 \times 10^{-7}$.
  • تم التحقق من أن القيمة الذاتية هي $\lambda \approx -0.113$ (غير مستقرة).
  • تم التحقق من أن ثوابت التماسك موجبة (على سبيل المثال $\approx 0.051$ لمعادلة الملف التعريفي و $\approx 0.164$ لمعادلة الدالة الذاتية)، مما يضمن إغلاق حجة النقطة الثابتة.

5. الأهمية

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

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