Large-Data Global Regularity for Three-Dimensional Navier--Stokes I: A Direct First-Threshold Continuation Proof for the Axisymmetric Swirl Class

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

بيان المشكلة
تتناول الورقة مشكلة الانتظام العالمي لمعادلات نافير-ستوكس لتدفق غير قابل للانضغاط في ثلاثة أبعاد، وتحديداً ضمن فئة الحلول متماثلة المحور مع الدوامة (axisymmetric solutions with swirl). وبينما يُعرف الانتظام العالمي للتدفقات متماثلة المحور بدون دوامة (حيث تتلاشى مركبة الدوامة)، فإن وجود الدوامة يُدخل حداً مصدرياً للمشتقة في معادلة نسبة الدوامة المرفوعة $G = \omega_\theta/r$. هذا الحد المصدري، الناتج عن الدوامة $\Gamma = r u_\theta$، يجعل المشكلة حرجة حقاً، لأنه يمنع التطبيق المباشر لمبادئ الحد الأقصى الكلاسيكية التي تنطبق في حالة غياب الدوامة. تهدف الورقة إلى إثبات أنه بالنسبة للبيانات الأولية السلسة، غير القابلة للانضغاط، ومتماثلة المحور مع دوامة في $H^1(\mathbb{R}^3)$، فإن الحل السلس المقابل يوجد عالمياً في الزمن ($T_{\max} = \infty$).

المنهجية والإطار العملي
يعتمد البرهان على حجة استمرار العتبة الأولى المباشرة (direct first-threshold continuation argument)، وهي منظمة كالجزء الأول من سلسلة ورقتين بحثيتين. تختلف المنهجية عن معايير الانتظام الشرطية من خلال محاولة إثثبات أن "عتبة أولى" للتركيز لا يمكن أن تحدث.

1. المتغيرات المرفوعة والهندسة:
   يتم إجراء التحليل في هندسة مرفوعة خماسية الأبعاد $(y, z) \in \mathbb{R}^4 \times \mathbb{R}$، حيث $r = |y|$. المتغيرات الرئيسية هي:

• $\Gamma = r u_\theta$ (الدوامة).
• $G = \omega_\theta / r$ (نسبة الدوامة المرفوعة).
  المقياس الطبيعي هو $d\mu_5 = r^3 dr dz$، واللابلاسي هو $\Delta_5$. يتم التعامل مع معادلة $G$ كمعادلة نقل-انتشار مع حد استرداد غير محلي وحد مصدر مشتق $-\partial_z(\Gamma_e^2)$.

2. الكميات الرئيسية:

• درجة المحور (Axis Score $Q_\rho$): مقياس متماثل القياس (scale-invariant) لتركيز $G$ عند مركز ومقياس محددين.
• رؤية ديريكليه الكاملة (Full-Dirichlet Visibility $V_\chi$): كمية متماسكة تقيس تبدد ديريكليه الجوهري والكتلة المرئية في طوق الانتقال لحزمة موضعية.
• خطأ العتبة المحدودة (Finite-Threshold Error $E_{fin}$): حد خطأ مركب يتكون من التسرب (كتلة/طاقة الطوق)، الذيل (الأغلفة الديادية الخارجية)، بقايا التردد المنخفض، وتركيز المصدر.

3. آلية العتبة الأولى:
   تفترض الحجة، على سبيل التناقض، أن غلاف درجة المحور الحرجة $Max(t)$يصبح غير محدود. تُحدد **زمن العتبة الأولى**$t^$حيث يصل$Max(t)$لأول مرة إلى قيمة كبيرة$M^$. عند هذا الزمن، يتم اختيار حزمة العتبة الأولى الدنيا (أسطوانة محور خلفية معيرة) بناءً على ترتيب محدد (زمن أبكر، مقياس أصغر، مكونات أقل، إلخ).

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

يعتمد البرهان على ثلاثة مكونات كمية لإثبات أن حزمة العتبة الأولى الدنيا لا يمكن أن توجد:

1. جسر ديريكليه الكامل الصارم:
   تثبت الورقة عدم تساوٍ صارم يربط بين حد النقل غير المحلي $T_{G,\chi}[G]$ ورؤية $V_\chi[G]$:
   $$|T_{G,\chi}[G]| \le \theta V_\chi[G] + C E_{dir}[G], \quad 0 < \theta < 1$$
   يتم اشتقاق المعامل $\theta < 1$ عبر حجة إيكالاند-بوهوزايف المقيدة (constrained Ekeland–Pohozaev argument) على فئة قابلة للتحقق "صفرية الخطأ". ومن خلال تحليل تجانس حد النقل (درجة $3/2$) مقابل حد الرؤية (درجة $2$) تحت التمدد، يثبت المؤلفون أنه لا يمكن لأي متتالية أن تشبع كسر النقل عند المستوى 1 أو أعلى دون انتهاك القيود التباينية.

2. استخراج الحزم النازلة ذات التداخل المحدود:
   تثبت الورقة أنه إذا كان أي مكون من مكونات خطأ العتبة المحدودة (التسرب، الذيل، المصدر، التردد المنخفض، أو التجزئة) كبيراً، فإنه ينتج بالضرورة حزمة نازلة (descendant packet) ذات ترتيب اختيار أصغر ودرجة مصححة موجبة.

• التسرب/الذيل/التردد المنخفض: القيم الكبيرة في هذه القنوات تسمح باستخراج حزمة فرعية (مع إعادة تمركز أو إزاحة) تحمل جزءاً من الدرجة.
• تحويل المصدر إلى درجة: تثبت لِمّة (Lemma) حاسمة أن حداً مصدرياً مشتقاً كبيراً $-\partial_z(\Gamma_e^2)$ يمكن تحويله إلى درجة $G$ نازلة موجبة باستخدام حزمة حرارية مرافقة متكيفة مع الإشارة. تعزل هذه الخطوة مساهمة قوة الدوامة في تركيز الدوامة.

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

النتيجة الرئيسية
مبرهنة 2.1: ليكن $u_0 \in H^1(\mathbb{R}^3)$ سلساً، غير قابل للانضغاط، ومتماثل المحور مع دوامة. فإن الحل السلس المقابل $u$ يوجد عالمياً ($T_{\max} = \infty$) ويظل سلساً لجميع الأوقات.

يسير البرهان من خلال إظهار أنه إذا تشكلت مفردة عند زمن محدد $T$، فإن غلاف الدرجة الحرجة $Max(t)$سيصبح بالضرورة غير محدود. ومع ذلك، فإن حجة العتبة الأولى تثبت أن$Max(t)$ لا يمكن أن يتجاوز حداً ثابتاً محدداً بالطاقة الأولية، مما يمنع تشكل المفردة.

الأهمية والادعاءات
تدعي الورقة تقديم برهان مباشر للانتظام العالمي لهذه الفئة، متجنبة الحاجة إلى معايير الانتظام الشرطية التي تفترض محدودية بعض المعايير.

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

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