🌀 nonlinear sciences

Non-uniqueness of smooth solutions of the Navier-Stokes equations from almost the same initial conditions

تقدم هذه الورقة أدلة عددية باستخدام المحاكاة العددية النظيفة تشير إلى أن معادلات نافييه-ستوكس قد تسمح بوجود حلول عالمية متمايزة ناشئة عن شروط أولية تختلف بمقدار ضئيل يصل إلى $10^{-40}$ ، مما يتحدى تفرد الحلول السلسة ويقدم رؤى جديدة حول مسألة جائزة الألفية المرتبطة بها.

المؤلفون الأصليون: Shijun Liao, Shijie Qin

نُشر 2026-02-17

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Shijun Liao, Shijie Qin

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

السؤال الكبير: هل يمكن لبدايتين متطابقتين تقريبًا أن تؤديا إلى مستقبلين مختلفين تمامًا؟

تخيل أنك تقوم بخبز كعكتين. استخدمت نفس الوصفة، ونفس الفرن، ونفس المكونات. ولكن، في إحدى الكعكتين، أضفت حبة ملح واحدة صغيرة جدًا لدرجة أنها غير مرئية بالعين المجردة — لنقل إنها أصغر من الأخرى بمقدار واحد من عشرة مليارات من الجرام.

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

المشكلة: "أثر الفراشة" وأخطاء الكمبيوتر

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

المشكلة هي أن السوائل فوضوية. هذا هو "أثر الفراشة" الشهير: رفرفة جناح فراشة في البرازيل يمكن أن تسبب نظريًا إعصارًا في تكساس.

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

الحل: "المحاكاة الرقمية النظيفة" (CNS)

قام المؤلفان، شيجون لياو وشيجي تشين، بتطوير طريقة رياضية متقدمة للغاية تسمى المحاكاة الرقمية النظيفة (Clean Numerical Simulation - CNS).

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

لقد تمكنا من الحفاظ على "نظافة" المحاكاة لفترة طويلة، وهي فترة كافية لرؤية ما يفعله السائل بالفعل، بدلاً مما يعتقد الكمبيوتر أنه يفعله.

التجربة: الدفعة الصغيرة

قاموا بإعداد محاكاة لسائل دوار ("تدفق كولموغوروف") داخل صندوق مربع.

السيناريو (أ): بدأوا بدوامة محددة ومتماثلة تمامًا.
السيناريو (ب): بدأوا بـ نفس الدوامة تمامًا، لكنهم أضافوا دفعة صغيرة غير مرئية (مصطلح رياضي صغير جدًا مثل $10^{-40}$ ). ولتضع ذلك في الاعتبار: إذا كان حجم السائل بحجم الكون بأكمله، فإن هذه الدفعة ستكون أصغر من ذرة واحدة.

النتيجة:

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

التشبيه: لاعب السيرك على الحبل المشدود

تخيل لاعب سيرك يتوازن بدقة على حبل مشدود.

السائل (أ) هو اللاعب الواقف بثبات تام.
السائل (ب) هو نفس اللاعب، لكن شخصًا ما نفخ نفخة هواء ضعيفة جدًا لدرجة أنها لا تُدرك.

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

لماذا يهم هذا؟

توفر هذه الورقة البحثية دليلاً رقميًا على أن معادلات نافييه-ستوكس قد لا تمتلك حلاً فريدًا.

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

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

الخلاصة

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

إنها خارطة طريق لإثبات أنه في عالم السوائل الفوضوي، قد يكون المستقبل أقل قابلية للتنبؤ بكثير مما كنا نعتقد.

إليك ملخص تقني مفصل للورقة البحثية بعنوان "عدم وحدانية الحلول الناعمة لمعادلات نافير-ستوكس من ظروف ابتدائية متطابقة تقريبًا" لـ شيجون لياو وشيجي كوين.

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

تتناول الورقة البحثية مسألة مفتوحة جوهرية في الرياضيات وديناميكا السوائل: وحدانية ووجود الحلول الناعمة لمعادلات نافير-ستوكس (NS)، وهي إحدى مسائل جائزة الألفية السبع.

القضية الجوهرية: بينما يُقبل على نطاق واسع أن التدفقات المضطربة محكومة بمعادلات نافير-ستوكس، إلا أنه لم يثبت بعد ما إذا كان يوجد حل سلس وحيد لجميع الأوقات ( $t > 0$ ) عند إعطاء ظروف ابتدائية محددة.
التحدي: أظهرت الأعمال النظرية السابقة (مثل كويكوليسو وبالاسيك) عدم الوحدانية في الفضاءات الحرجة ذات الطاقة اللانهائية، ولكن ظلت الأمثلة العددية الصريحة لعدم الوحدانية لحلول الطاقة المحدودة بعيدة المنال.
العقبة: تعاني الطرق العددية التقليدية، مثل المحاكاة العددية المباشرة (DNS)، من "أثر الفراشة". ففي الأنظمة الفوضوية مثل الاضطراب، تنمو الأخطاء العددية الضئيلة (أخطاء التقريب والقطع) بشكل أسي، مما يؤدي إلى انحراف المحاكاة بسرعة عن المسار الدقيق. وهذا يجعل من المستحيل التمييز بين الحساسية الفيزيائية للظروف الابتدائية وبين الضجيج العددي الاصطناعي.

2. المنهجية: المحاكاة العددية النظيفة (CNS)

للتغلب على قيود المحاكاة العددية المباشرة التقليدية (DNS)، استخدم المؤلفون المحاكاة العددية النظيفة (CNS)، وهي خوارزمية عالية الدقة طورها لياو.

الآلية: تقلل تقنية (CNS) من أخطاء القطع وأخطاء التقريب إلى مستويات مهملة باستخدام:
- الحساب متعدد الدقة: تُحسب المتغيرات والمعاملات بعدد كبير من الأرقام المعنوية ( $N_s$ ).
- توسيع تايلور من رتبة عالية: يستخدم التكامل الزمني توسعات من رتب عالية ( $M$ ).
- طريقة فورييه شبه الطيفية: تُستخدم للتقريب المكاني على شبكة منتظمة.
استراتيجية التحقق: لضمان الموثوقية، قام المؤلفون بحساب "زمن التنبؤ الحرج" ( $T_c$ ). ثم قاموا بتشغيل محاكاة (CNS) ثانية أكثر دقة (بقيم أعلى لـ $M$ و $N_s$ ) للتحقق من أن الضجيج العددي للمحاكاة الأساسية مهمل بصرامة طوال الفترة الزمنية $t \in [0, 300]$ .
المعادلات الحاكمة: تركز الدراسة على تدفق كولموغوروف ثنائي الأبعاد غير قابل للانضغاط في مجال مربع $[0, 2\pi] \times [0, 2\pi]$ $[0, 2 π] \times [0, 2 π]$ مع شروط حدودية دورية.
- رقم رينولدز ( $Re$ ): 2000
- مقياس قوة كولموغورف ( $n_K$ ): 16
- المعادلة: صيغة دالة الانسياب عديمة الأبعاد لمعادلات نافير-ستوكس.

3. الإعداد التجريبي

صمم المؤلفون تجربة مقارنة باستخدام أربعة ظروف ابتدائية مختلفة هي "متطابقة تقريبًا" ولكنها تمتلك تماثلات مكانية مختلفة:

تدفق (CNS) (المرجع): الظرف الابتدائي $\psi_1$ الذي يحتوي على كل من تماثل الدوران والترجمة.
تدفقات (CNS' $_1$ , CNS' $_2$ , CNS' $_3$ ): الظروف الابتدائية $\psi_2$ $ψ_{2}$ المعرفة كـ $\psi_1 + \delta \sin(x+y)$ $ψ_{1} + δ sin (x + y)$ .
- تم تحديد الاضطراب $\delta$ بقيم صغيرة للغاية: $10^{-10}$ ، و $10^{-20}$ ، و $10^{-40}$ .
- هذا الاضطراب يكسر تماثل الدوران، ويترك فقط تماثل الترجمة.
- مقدار الفرق بين الظروف الابتدائية هو $|\psi_2 - \psi_1| \leq |\delta|$ .

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

باستخدام (CNS)، أظهر المؤلفون أن الحلول التي تبدأ من هذه الظروف الابتدائية المتطابقة تقريبًا تتباعد لتصبح حلولًا عالمية متميزة:

تباعد المسارات:
- في البداية، تتبع التدفقات المضطربة (CNS' $_{1,2,3}$ ) التدفق المرجعي (CNS) عن كثب.
- بعد فترة زمنية معينة (حوالي $t > 100$ )، تتباعد بشكل كبير.
- المقياس: معدل تبدد الطاقة الحركية المتوسط مكانيًا $\langle D \rangle_A$ للتدفق المرجعي يصبح أكبر بمقدار الضعف تقريبًا من معدل التدفقات المضطربة.
كسر التماثل:
- يحافظ التدفق المرجعي (CNS) على تماثل الدوران والترجمة الخاص بالظرف الابتدائي له.
- تفقد التدفقات المضطربة (CNS' $_{1,2,3}$ ) تماثل الدوران وتحتفظ فقط بتماثل الترجمة.
- يؤكد هذا أن الاضطراب الأولي الضئيل ( $\delta$ ) قد تضخم بفعل الطبيعة الفوضوية للاضطراب ("شلال توسيع الضجيج") ليصل إلى مستوى عياني، مما غير الخصائص العالمية للتدفق بشكل جذري.
الاختلافات الإحصائية:
- تختلف دوال الكثافة الاحتمالية (PDFs) لمعدل تبدد الطاقة الحركية بشكل كبير بين التدفق المرجعي والتدفقات المضطربة.
- رغم أن الظروف الابتدائية كانت متطابقة حتى 40 رقمًا عشريًا (في حالة $\delta = 10^{-40}$ )، إلا أن الحالات الإحصائية الناتلة كانت متميزة.
الطاقة المحدودة: تمتلك جميع الحلول كثافة طاقة محدودة، مما يميز هذا العمل عن إثباتات عدم الوحدانية السابقة التي تتضمن طاقة لانهائية.

5. الأهمية والمساهمات

دليل عددي على عدم الوحدانية: تقدم الورقة دليلًا عدديًا صريحًا على أن معادلات نافير-ستوكس يمكن أن تسمح بوجود حلول عالمية سلسة ومتميزة من ظروف ابتدائية تختلف بمقدار ضئيل للغاية ( $\delta \to 0$ ).
التغلب على الضجيج العددي: توضح الورقة أنه باستخدام (CNS)، يمكن محاكاة الاضطراب الفوضوي لفترة طويلة بما يكفي لملاحظة التباعد الفيزيائي بدلاً من كونه أثرًا عدديًا اصطناعيًا، مما يتجاك بفعالية قيود المحاكاة العددية المباشرة (DNS) القياسية.
الآثار المترتبة على مسألة جائزة الألفية: تتحدى النتائج افتراض وحدانية الحلول السلسة ذات الطاقة المحدودة. يقترح المؤلفون فرضية: تقبل معادلات نافير-ستوكس حلولًا عالمية سلسة متميزة لجميع $t > 0$ من نفس الظروف الابتدائية تقريبًا $U_1$ و $U_2$ حيث $|U_1 - U_2| \leq \delta$ لأي $\delta$ ضئيل للغاية.
خارطة طريق للرياضيين: تعمل هذه الأمثلة كـ "خارطة طريق" أو أمثلة مضادة للرياضيين الذين يحاولون إثبات أو نفي وحدانية حلول نافير-ستوكس، مما يشير إلى أن الوحدانية قد لا تتحقق حتى مع البيانات الابتدائية السلسة ذات الطاقة المحدودة.

الخاتمة

تستخدم الدراسة المحاكاة العددية النظيفة عالية الدقة لإظهار أنه في تدفق كولموغورف ثنائي الأبعاد، تؤدي التغييرات المتناهية في الصغر في الظروف الابتدائية (بقدر ضئيل يصل إلى $10^{-40}$ ) إلى حلول عالمية متميزة عيانيًا ذات تماثلات وخصائص إحصائية مختلفة. يوفر هذا دعمًا عدديًا قويًا لعدم وحدانية الحلول السلسة لمعادلات نافير-ستوكس، ويقدم منظورًا حاسمًا لواحدة من أصعب المسائل في الفيزياء الرياضية.