A Classical Two-Part First-Threshold Proof of Global Smoothness for Navier--Stokes: Axisymmetric Swirl Closure and Full-System Reduction

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

بيان المشكلة
تتناول الورقة مسألة الانتظام العالمي لمعادلات نافييه-ستوكس لتدفق غير قابل للانضغاط في ثلاثة أبعاد:
$$\partial_t u + u \cdot \nabla u + \nabla p = \Delta u, \quad \nabla \cdot u = 0$$
في الفضاء $\mathbb{R}^3$ مع بيانات أولية سلسة، ذات طاقة محدودة، وغير متلاشية في التباعد. تكمن الصعوبة المركزية في احتمال تشكل نقاط تفرد (انفجار) في زمن محدد. يقترح المؤلف، ريشاد شاه موروف، برهاناً على أن الاستمرار السلس العالمي ($T^* = \infty$) يتحقق لجميع هذه البيانات الأولية.

المنهجية: برهان العتبة الأولى المكون من جزأين
يتم هيكلة البرهان كحجة "عتبة أولى من جزأين". يفترض وجود زمن إنهاء تفرّد افتراضي $T^*$ ويحاول استخلاص تناقض من خلال تحليل "حزمة عتبة أولى نموذجية" — وهي تركيز مُنظم للدوامية والطاقة قد يوجد إذا ما تشكل تفرد ما.

الجزء الأول: إغلاق الدوران المحوري في المتغيرات المرفوعة لخمسة أبعاد
يؤسس الجزء الأول للانتظام العالمي لفئة محددة من التدفقات المحورية مع الدوران (axisymmetric flows with swirl).

• الرفع لخمسة أبعاد: يستخدم المؤلف تمثيلاً دقيقاً للمجالات القياسية المحورية كدوال شعاعية $SO(4)$ في فضاء خماسي الأبعاد ($\mathbb{R}^4_y \times \mathbb{R}_z$). هذا يحول الأوزان الأسطوانية المفردة (مثل $1/r$) إلى أوزان شعاعية قياسية، مما يسمح باستخدام أدوات التحليل التوافقي القياسية في 5 أبعاد.
• المتغيرات الرئيسية: يركز التحليل على نسبة الدوامية المرفوعة $G = \omega_\theta/r$، ومربع مشتق الدوران المنظم $H = (u_\theta/r)^2$. يتم استعادة الإجهاد $U = u_r/r$ من $G$ عبر مؤثر من الرتبة $-1$ (جهد ريس).
• آلية الزوج: تكمن الصعوبة الجوهرية في مصدر المشتق $-\partial_z H$ في معادلة $G$، والتغذية الراجعة الانضغاطية $U[G]H^2$ في معادلة $H$. يعامل البرهان هذين المصطلحين كآلية "نقل زوجي" (pair-transfer mechanism) $(G, H)$ بدلاً من فصلهما إلى حدود رئيسية وأخطاء.
• الجسر الناعم مقابل الجسر الصارم:
  • الجسر الناعم: تُستخدم التقديرات الكلاسيكية (هاردي-ليتلوود-سولوف، سوبوليف، الاستكمال، متباينة يونغ) لاستيعاب "الحزم" تحت الحرجة حيث تكون الكتلة المحلية صغيرة بالنسبة للتبديد.
  • الجسر الصارم: بالنسبة لـ "الحزم المدمجة-الحرجة" المتبقية (حيث يتوازن القياس/scaling)، تكون متباينات النظم الكلاسيكية غير كافية لأنها لا تستطيع التمييز بين الاصطفافات الهندسية (الإشارات، التكافؤ) التي قد تسمح بتشبع عند معامل واحد. يقدم البرهان حجة صرامة نهائية باستخدام التراص في مرحلة نهائية ومتطابقة بوهاز-موراتز موضعية. من خلال اختبار ملف النهاية القوي مقابل التجانس في السعة والتمدد، يستنتج المؤلف هويات غير متوافقة تجبر المعامل على أن يكون صارماً $\theta < 1$، مما يتناقض مع الافتراض بالتشبع.
• الاستعادة: بمجرد التحكم في $G$ و $H$، يتم استعادة متغير الدوران غير الموقّع $F = u_\theta/r$ عبر معادلة من رتبة أدنى، مما يثبت المحدودية المحلية وبالتالي الانتظام العالمي لهذه الفئة.

الجزء الثاني: التحويل إلى النظام الكامل عبر العتبة الأولى
يختزل الجزء الثاني مسألة الثلاثة أبعاد العامة إلى الحالة المحورية والحالة الثنائية الأبعاد الكلاسيكية.

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

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

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

النتائج
تزعم الورقة إثبات المبرهنة الرئيسية 1.1 (الاستمرار المحوري العالمي مع الدوران) والمبرهنة الرئيسية 1.2 (الاستمرار العالمي ثلاثي الأبعاد). وتحديداً، تؤكد أنه لأي بيانات أولية سلسة وذات طاقة محدودة في $\mathbb{R}^3$، فإن حل نافييه-ستوكس المقابل يوجد عالمياً في الزمن ($T^* = \infty$) ويظل سلساً.

الأهمية والادعاءات
تضع الورقة نفسها ضمن برنامج "العتبة المباشرة"، مستخدمةً هويات الطاقة الموضعية وحسابات من نوع كاتشيولي بدلاً من الاعتماد على انتظام $\epsilon$ لكافيلي-كون-نيرين (CKN) كصندوق أسود.

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

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