On non-uniqueness of mild solutions and stationary singular solutions to the Navier-Stokes equations

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

1. بيان المشكلة

تتناول الورقة البحثية السؤال الجوهري حول التفرد غير المشروط للحلول المعتدلة (mild solutions) لمعادلات نافيير-ستوكس (NSE) ومعادلات نافيير-ستوكس الكسرية (NSE$_\alpha$).

• السياق: بينما تم إثبات الوجود المحلي الجيد في مختلف الفضاءات الحرجة وتحت الحرجة (مثل $L^d$، و$\dot{B}^{-1+d/q}_{q,r}$، و$BMO^{-1}$)، فإن مسألة ما إذا كان الحل فريداً ضمن فئة الحلول المعتدلة بأكملها (التفرد غير المشروط) تظل مفتوحة أو معروفة بالفشل في أنظمة معينة فوق حرجة.
• الفجوة: قبل هذا العمل، كانت نتائج عدم التفرد مقتصرة إلى حد كبير على الفضاءات فوق الحرجة (مثل $H^\beta$ حيث $\beta > 0$) أو حالات طرفية محددة. لم يكن سلوك الحلول المعتدلة في فضاءات بيزوف ذات مؤشرات انتظام سالبة (بما في ذلك الأنظمة تحت الحرجة) مفهوماً بشكل كامل فيما يتعلق بالتفرد.
• الهدف: يهدف المؤلفان إلى إثبات أن التفرد غير المشروط يفشل لمعادلات نافيير-ستوكس (NSE) ومعادلات نافيير-ستوكس الكسرية (NSE$_\alpha$) في جميع فضاءات بيزوف ذات مؤشرات الانتظام السالبة ($B^{-\theta}_{q,r}$ حيث $\theta > 0$)، وإثبات وجود حلول مستقرة منفردة غير تافهة هي التي تقود حالة عدم التفرد هذه.

2. المنهجية

تعتمد المنهجية الأساسية على التكامل المحدب (Convex Integration)، وهي تقنية ابتكرها دي لليس وسيكيليهيدي وطُوّرت لتناسب ديناميكا السوائل بواسطة باكمستر وفيكول. يقوم المؤلفون ببناء حلول غير تافهة من خلال إجراء تكراري.

أ. الحلول المستقرة المنفردة

بدلاً من بناء عدم تفرد يعتمد على الزمن بشكل مباشر، يقوم المؤلفون أولاً ببناء حلول مستقرة منفردة غير تافهة لمعادلات نافيير-ستوكس الكسرية:
$$\text{div}(u \otimes u) + (-\Delta)^\alpha u + \nabla p = 0, \quad \text{div } u = 0$$

• تعريف التفرد: يُعتبر الحل $u$ "منفرداً" إذا لم يكن في $L^2$ (طاقة لانهائية) ولم يكن حاصل الضرب التنسوري $u \otimes u$ في $L^1$. بدلاً من ذلك، يتم تعريف $u \otimes u$ كـ مُنتج بارامتري (paraproduct) في فضاء التوزيعات بموجب الثوابت ($\dot{H}^{-s}$).
• الارتباط بالحلول المعتدلة: يثبت المؤلفون (الخاصية 1.4) أن أي حل مستقر منفرد $u$ يولد حلاً معتدلاً $U(t) = u$ للمعادلة المعتمدة على الزمن. وبما أن الحل المستقر غير تافه ومنفرد، فإنه يختلف عن الحل السلس الفريد الناتج عن نفس البيانات الأولية (والذي يوجد في الفضاءات تحت الحرجة)، مما يثبت عدم التفرد.

ب. مخطط التكامل المحدب التكراري

يتضمن بناء الحل المستقر المنفرد مخططاً تكرارياً يحل نظام نافيير-ستوكس-راينولدز (Navier-Stokes-Reynolds system):
$$\text{div}(u \otimes u) + (-\Delta)^\alpha u + \nabla p = \text{div } R$$
حيث $R$ هو موتر إجهاد راينولدز.

1. الاضطراب: في كل خطوة $n$، وبالاعتماد على حل $(u_{n-1}, R_{n-1})$، يقومون ببناء حل جديد $(u_n, R_n)$ بإضافة اضطراب سرعة $w_n = u_n - u_{n-1}$.
2. تدفقات ميكادو (Mikado Flows): يتم بناء الاضطراب باستخدام تدفقات ميكادو (دانيري-سيكيليهيدي)، وهي حقول متجهية عالية التذبذب، خالية من التباعد، وموضعية على هياكل هندسية محددة (خطوط).
3. فصل التردد: يتم بناء الاضطراب $w_n$ بحيث يكون دعمه في فورييه (Fourier support) في غلاف ثنائي (dyadic shell) بعيد عن دعم $u_{n-1}$. يضمن ذلك إمكانية التحكم في حدود التفاعل غير الخطي (المنتجات البارامترية) وجعل إجهاد راينولدز $R_n$ صغيراً للغاية.
4. التقارب: من خلال الاختيار الدقيق للمعلمات (التركيز $\mu$، التذبذب $\gamma$، التردد $\lambda$)، تتقارب المتتالية $u_n$ إلى حد $u$ في مختلف فضاءات بيزوف وليبيج، بينما يتلاشى إجهاد راينولدز $R_n$.

ج. التفرد في الفضاءات الطرفية

لاستكمال نتائج عدم التفرد، يثبت المؤلفون التفرد غير المشروط للحلول المستقرة في فضاء طرفي حرج محدد ($B^{-1}_{\infty,1}$). ويتم تحقيق ذلك عبر تقديرات تدفق الطاقة من الترددات العالية إلى المنخفضة، مما يظهر أن أي حل في فئة الانتظام هذه يجب أن يكون سلساً وبالتالي صفرياً (نظراً للطبيعة المستقرة وشرط متوسط الصفر).

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

أ. فشل التفرد غير المشروط (النظرية 1.1 و1.2)

• النتيجة: بالنسبة لمعادلات نافيير-ستوكس القياسية ($\alpha=1$) ومعادلات نافيير-ستوكس الكسرية ($\alpha > 1/2$)، فإن التفرد غير المشروط للحلول المعتدلة يفشل في جميع فضاءات بيزوف $B^{-\theta}_{q,r}$ ذات مؤشر الانتظام السالب $\theta > 0$.
• الأهمية: هذه هي أول نتيجة لعدم التفرد في فئات الحلول تحت الحرجة. سابقاً، كان عدم التفرد معروفاً فقط في الفضاءات فوق الحرجة. تعني النتيجة أنه حتى بالنسبة للبيانات الأولية ذات القيم الصغيرة جداً في هذه الفضاءات، يمكن أن توجد حلول معتدلة متعددة ومتميزة.
• النطاق: تسري النتيجة لأي بُعد $d \ge 2$ وأي $\alpha > 1/2$ (بالنسبة لـ NSE الكسرية).

ب. وجود حلول مستقرة منفردة (النظرية 1.5)

• النتيجة: توجد عدد لا نهائي من الحلول المستقرة المنفردة غير التافهة لمعادلات نافيير-ستوكس الكسرية.
• الانتظام: تنتمي هذه الحلول إلى تقاطع جميع فضاءات $L^p$ لـ $1 \le p < 2$ وجميع فضاءات بيزوف $B^{-\theta}_{q,r}$ مع $\theta > 0$.
• التوسع: بالنسبة لـ $0 < \alpha < (d+1)/4$، توجد هذه الحلول أيضاً في $L^2(T^d)$، مما يعني عدم تفرد الحلول الضعيفة في فضاء الطاقة لهذه القوى الكسرية المحددة.

ج. التفرد في الطرف الحرج (النظرية 1.7)

• النتيجة: لا توجد حلول مستقرة غير تافهة في الفضاء الطرفي الحرج $B^{-1}_{\infty,1}$ (لـ $\alpha=1$) أو نظائره الكسرية.
• الدلالة: يحدد هذا حداً فاصلاً حاداً. فبينما يفشل التفرد في الفضاءات "الأسوأ" (الانتظام السالب)، فإنه يستعاد في هذا الفضاء الطرفي الحرج المحدد، مما يحسن النتائج السابقة لـ ليماري-ريوسيت.

د. الوجود الجيد المحلي والتمهيد (القسم 2)

• يثبت المؤلفون الوجود الجيد المحلي (local well-posedness) لمعادلات نافيير-ستوكس الكسرية في فضاءات ليبيج وبيزوف تحت الحرجة، مما يوفر إطاراً صارماً لفرع "الحل السلس" الذي يتعايش مع الفرع المنفرد.

4. الأهمية والأثر

1. حل مسألة التفرد تحت الحرجة: تغير هذه الورقة البحثية الفهم الجوهري لمعادلات نافيير-ستوكس من خلال إظهار أن خاصية "التفرد غير المشروط"، التي غالباً ما تُفترض في الأنظمة تحت الحرجة، هي خاصية خاطئة. فهي تبين أن خريطة الحل ليست فريدة حتى عندما تكون البيانات الأولية صغيرة في المعايير التي تُعتبر تقليدياً "جيدة" (تحت حرجة).
2. تعميم التكامل المحدب: يوسع هذا العمل تقنية التكامل المحدب لتشمل المسائل المستقرة والتبديد الكسري مع قيم $\alpha$ كبيرة جداً. وهذا يوضح متانة الطريقة بما يتجاى معادلات نافيير-ستوكس ثلاثية الأبعاد الكلاسيكية.
3. حدة الفضاءات الحرجة: من خلال إثبات عدم التفرد في فضاءات بيزوف ذات الانتظام السالب والتفرد في الفضاء الطرفي $B^{-1}_{\infty,1}$، تحدد الورقة بدقة عتبة الانتظام التي ينهار عندها التفرد.
4. نافيير-ستوكس الكسرية: تعتبر النتائج الخاصة بـ $\alpha > 1$ مبتكرة بشكل خاص، حيث إن مؤثر لابلاس الكسري ذو القوة العالية عادة ما يعني تبديداً أقوى. وحقيقة أن عدم التفرد يستمر حتى لقيم $\alpha$ الكبيرة (في فضاءات الانتظام السالب) تسلط الضوء على هيمنة حد النقل غير الخطي في أنظمة الانتظام المنخفض.

ملخص

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