Large-Data Global Regularity for Three-Dimensional Navier--Stokes II: A Direct First-Threshold Continuation Proof for the Full System

ملخص تقني: الانتظام العالمي للبيانات الضخمة لمعادلات نافيير-ستوكس ثلاثية الأبعاد II

بيان المشكلة
تتناول هذه الورقة مشكلة الانتظام العالمي لمعادلات نافيير-ستوكس لتدفق السوائل غير القابل للانضغاط ثلاثي الأبعاد ذات البيانات الأولية الضخمة. وتعمل هذه الورقة كجزء ثانٍ من سلسلة مكونة من جزأين تهدف إلى إثبات وجود حلول سلسة لجميع الأوقات ($T^* = \infty$) دون أن يتطور الحل إلى تفرد (singularity) في زمن محدد. وبينما أثبتت الورقة المرافقة (الجزء الأول) الانتظام العالمي لفئة "التماثل المحوري مع الدوران" (axisymmetric-with-swirl) باستخدام طريقة استمرار العتبة الأولى المباشرة، فإن الجزء الثاني يتصدى للجبهة "ثلاثية الأبعاد حقاً" للنظام الكامل. ويتمثل التحدي الجوهري في إثبات أنه لا يمكن لأي "حزمة عتبة أولى" (first-threshold packet) — وهي منطقة موضعية يصل فيها مقياس الدوامية المتغير قياسياً إلى قيمة حرجة كبيرة — أن تستمر أو تنمو دون أن تتقلص أو تتحول إلى حالة معروفة بالانتظام.

المنهجية
يعتمد الإثبات على حجة "استمرار العتبة الأولى المباشرة" متمحورة حول غلاف حرج مدمج، يُرمز له بـ $M_{crit}(t)$. يتتبع هذا الغلاف حد التفوق (supremum) لمقياس محلي للدوامية متغير قياسياً ($Q_{3D}$) عبر جميع المواقع والمقاييس المكانية، مضافاً إليه مكون تماثل محوري ($M_{ax}$) مستمد من الجزء الأول.

تسير المنهجية عبر حجة تناقض:

1. افتراض الانفجار (Blow-up): افتراض أن $M_{crit}(t)$ يصل إلى عتبة كبيرة $M^*$ عند زمن محدد $t^*$.
2. اختيار الحزمة: يتم اختيار حزمة "عتبة أولى" دنيا $Q^*$ بناءً على ترتيب محدد (أبكر زمن، أصغر مقياس، أقل عدد من المكونات، إلخ).
3. الهبوط ذو التداخل المحدود: تحلل الورقة الأخطاء المرتبطة بـ $Q^*$ (التسرب، عيوب القشرة، تصدير الذيل، الإجهاد السلبي، عيوب الطور/الركود/التكافؤ). وتستخدم آلية "التداخل المحدود" لإظهار أن أي خطأ غير اضطرابي في هذه الفئات يفرض وجود حزمة "سليلة" $Q'$ ذات مقياس مماثل ولكن بترتيب اختيار أصغر صرامة.
4. الصلابة والثنائية: إذا لم يتم إنتاج حزمة سليلة (مما يعني أن جميع الأخطاء هي أخطاء اضطرابية)، فيجب أن تحقق الحزمة "شرط العيب النهائي الصفري". تقدم الورقة ثلاثيات ليتلوف-بالي الزاوية وصلابة الإطار النشط لتصنيف حزم العيب الصفري هذه.
5. الاختزال: يثبت التحليل أن أي حزمة ذات عيب نهائي صفري يجب أن تكون إما ثنائية الأبعاد محلياً أو متماثلة محورياً مع دوران. ويتم التعامل مع الحالة الأولى بواسطة انتظام الـ 2D الكلاسيكي، والثانية بواسطة نظرية الجزء الأول.

المساهمات والآليات الرئيسية

• الغلاف الحرج المدمج: إن تقديم $M_{crit}(t)$ يوحد تحليل الـ 3D الكامل مع نتائج التماثل المحوري، مما يسمح للإثبات بمعالجة النظام الكامل عبر اختزال الهياكل ثلاثية الأبعاد المعقدة إلى حدود ثنائية الأبعاد أو حدود التماثل المحوري.
• صلابة الإطار النشط: مساهمة مركزية هي تعريف فضاء تسمية "إطار نشط" محدود الأبعاد مشتق من الثلاثيات الزاوية الرنينية. تُعرف الورقة دوال العيب ($D_{phase}, D_{stall}, D_{netpar}$) التي تقيس الانحراف عن التكوينات الهندسية الصلبة.
  • النظرية 4.4/4.5: تثبت وجود فجوة كمية: إذا كان مجموع هذه العيوب صغيراً، فيجب أن يكون مقياس الإطار النشط للحزمة قريباً من أحد المجموعتين الصلبتين: $Z_{2D}$ (إطار تمدد ثابت، ثنائي الأبعاد محلياً) أو $Z_{ax}$ (مدار زاوي $m=1$ فيزيائي، متماثل محورياً مع دوران).
• رؤية الإجهاد السلبي: تقدم الورقة متباينة "لا وجود للمادة المظلمة" (الافتراض 2.7، اللمة 4.6) تثبت أن مساهمات الإجهاد السلبي لا يمكن أن تظل غير مرئية للعيب النهائي. إذا كان الإجهاد السلبي غير اضطرابي، فيجب أن يظهر كعيب قابل للقياس (تسرب، قشرة، طور، إلخ) أو يتم امتصاصه في التبدد المحلي.
• استخراج السليل ذو التداخل المحدود: تضع النظرية 6.6 آلية حيث يتم تحويل الأخطاء الكبيرة في قنوات التسرب، أو القشرة، أو الذيل، أو الطور، أو التجزئة إلى حزمة جديدة (سليلة) مع ضمان حد أدنى لمقياسها. وهذا يمنع "حزمة العتبة الأولى" من أن تكون مثالاً مضاداً أدنى إذا كانت مثل هذه الأخطاء موجودة.

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

• النظرية 2.1 (الاستمرار المباشر ثلاثي الأبعاد الكامل): لأي بيانات أولية سلسة، خالية من التباعد، $u_0 \in C_c^\infty(\mathbb{R}^3)$، فإن الحل السلس المقابل يوجد عالمياً ($T^* = \infty$).
• محدودية الغلاف: لأي زمن مالي $T$، يظل الغلاف الحرج المدمج محدوداً: $\sup_{0<t<T} M_{crit}(t) \leq C(E_0, T)$، حيث $E_0$ هي الطاقة الأولية لـ $L^2$.
• النظرية 4.8 (لا توجد حزمة مرشحة ذات عيب نهائي كامل ثلاثي الأبعاد): تثبت الورقة أنه لا يمكن لوجود حزمة مفردة "ثلاثية الأبعاد حقاً" ذات عيوب نهائية متلاشية. أي مثل هذه الحزمة تُجبر على الانتماء إلى فئات الـ 2D المحلية أو التماثل المحوري مع الدوران، وكلاهما معروف بالانتظام.

الأهمية والادعاءات
تدعي الورقة أنها تقدم إثباتاً مباشً كاملاً للانتظام العالمي لمعادلات نافيير-ستوكس ثلاثية الأبعاد من خلال إغلاق "الجبهة الأمامية" للمشكلة. وتكمن أهميتها في:

1. إكمال السلسلة: تجسر الفجوة بين حالة التماثل المحوري (الجزء الأول) ونظام الـ 3D الكامل، مما يثبت أن النظام الكامل لا يسمح بوجود أنواع جديدة من التفردات التي لا يتم التقاطها بواسطة اختزالات الـ 2D أو التماثل المحوري.
2. آلية العتبة المباشرة: على عكس نتائج الانتظام المشروط التي تفترض حداً لنوع معين من المعايير (norms)، يبني هذا الإثبات تناقضاً مباشراً: إذا تشكل تفرد، فستوجد حزمة دنيا، لكن التحليل الهيكلي (الصلابة، الرؤية، الهبوط) يثبت أن مثل هذه الحزمة لا يمكن أن توجد.
3. الصلابة الهيكلية: يرسخ العمل أن الهياكن الوحيدة "المستقرة" لحزمة ذات مقياس عالٍ في حد العيب الصفري هي التكوينات الكلاسيكية (ثنائية الأبعاد والمتماثلة محورياً مع الدوران). أما جميع الهياكل ثلاثية الأبعاد المعقدة الأخرى (الأطوار اللولبية، مزيج المحاور المتعددة، الالتفافات الأعلى) فتُظهر أنها تمتلك عيوباً غير صفرية إما تشتت الطاقة بشكل صارم أو تولد سلالاً، مما يمنع تشكل التفرد.

تعتمد الورقة على نظرية الجزء الأول كمدخل نقطة نهاية لحالة التماثل المحوري، لكنها لا تستخدمها لإثبات التقديرات الميكرو-محلية (microlocal estimates) للجبهة ثلاثية الأبعاد العامة. ويعد الإثبات مكتفياً بذاته فيما يتعلق بالآليات التي تستبعد حالات التفرد ثلاثية الأبعاد حقاً.