معادلات نافييه–ستوكس: المعادلات التي تصف حركة العالم
كيف استطاع الإنسان أن يكتب حركة الماء والهواء في معادلات… ثم يقف أمامها قرابة قرنين عاجزًا عن معرفة ما إذا كانت ستظل دائمًا قابلة للحل؟
صبّ قليلًا من الحليب في فنجان قهوة.
راقبه للحظة.
في البداية يدخل الحليب كخيط أبيض واضح، ثم يلتف، ويتفرع، ويصنع دوامات صغيرة، ثم تختفي الحدود بينه وبين القهوة.
الآن افتح نافذة وانظر إلى دخان يصعد في الهواء.
أو إلى موجة تضرب صخرة.
أو إلى الغيوم وهي تتشكل.
أو إلى الهواء الذي ينساب فوق جناح طائرة قبل أن يحمل مئات البشر إلى السماء.
مشاهد مختلفة تمامًا، لكنها تنتمي إلى عائلة واحدة: حركة الموائع.
وخلف كثير من هذه الحركة تقف مجموعة من المعادلات تحمل اسم رجلين عاشا في القرن التاسع عشر:
كلود-لويس نافييه وجورج غابرييل ستوكس.
إنها معادلات نافييه–ستوكس.
قد يبدو الاسم كأنه يخص غرفة جامعية مغلقة لا يدخلها إلا علماء الرياضيات، لكن الحقيقة تكاد تكون العكس.
فأنت تعيش داخل عالم نافييه–ستوكس منذ اللحظة التي تتنفس فيها.
معادلة تحاول أن تصف ما لا يتوقف عن الحركة
الهواء مائع.
والماء مائع.
والوقود داخل الأنابيب مائع.
والدم الذي يجري في الأوعية يدخل، ضمن نماذج محددة، إلى عالم ميكانيكا الموائع أيضًا.
معادلات نافييه–ستوكس تربط حركة المائع بعوامل مثل السرعة والضغط والكثافة واللزوجة، وهي امتداد لمعادلات أويلر مع إدخال أثر اللزوجة. وتستخدم أشكالها ونماذجها في هندسة الطائرات، ودراسة تدفق الغازات والسوائل، وفي المحاكاة الحاسوبية المعروفة باسم Computational Fluid Dynamics — CFD.
لكن هناك مفارقة مذهلة.
نحن نستعمل هذه المعادلات كل يوم تقريبًا في العلوم والهندسة.
الحواسيب تستطيع تقريب حلولها لمسائل هائلة التعقيد.
المهندسون يستطيعون محاكاة الهواء حول طائرة قبل أن تُبنى.
ومع ذلك بقي سؤال أساسي متعلق بها بلا جواب حاسم.
كأننا نملك آلة تعمل أمامنا، ونستخدمها، ونثق بنتائجها في نطاقات واسعة، لكننا لا نعرف بصورة رياضية كاملة إن كانت الآلة نفسها تستطيع، في ظروف معينة، أن تصل إلى نقطة تنهار عندها قواعد اللعبة.
المشكلة ليست: هل نستطيع حل المعادلة؟
وهنا يقع الالتباس الشائع.
مسألة نافييه–ستوكس الشهيرة لا تقول إن البشر لا يستطيعون حل أي شيء يتعلق بهذه المعادلات.
هناك حلول معروفة لحالات خاصة، وهناك تقريب عددي هائل، وهناك علوم وهندسة كاملة مبنية عليها.
السؤال الذي وضعه معهد كلاي للرياضيات ضمن مسائل الألفية السبع أكثر دقة بكثير.
إذا بدأنا في ثلاثة أبعاد بمائع غير قابل للانضغاط وبحالة ابتدائية ناعمة ومنتظمة، فهل ستظل حركة المائع ناعمة ومنتظمة إلى الأبد؟
أم يمكن أن تنشأ في زمن محدود singularity — نقطة تفرد تصبح عندها بعض الكميات الرياضية غير محدودة أو يفقد الحل نعومته؟
بصياغة بشرية أبسط:
هل تستطيع الفوضى داخل السائل أن تتضخم إلى درجة تكسر الوصف الرياضي نفسه؟
ولهذا وضع معهد كلاي جائزة قدرها مليون دولار لحل المسألة.
لم تكن الجائزة مقابل تصميم طائرة أسرع.
ولا مقابل توقع الطقس غدًا.
بل مقابل إثبات شيء يبدو للوهلة الأولى أبسط:
هل المعادلات التي نستخدمها لوصف حركة المائع تضمن دائمًا حلًا منتظمًا، أم أنها تسمح بانهيار من نوع ما؟
لماذا يصعب الماء إلى هذا الحد؟
خذ نهرًا هادئًا.
يمكنك أن تتخيل اتجاه الماء وسرعته.
لكن ضع صخرة في طريقه.
ستنشأ خلف الصخرة دوامة.
الدوامة قد تنتج دوامات أصغر.
وتلك قد تنتج أنماطًا أصغر منها.
وفي التدفقات المضطربة تتفاعل الحركة على مقاييس متعددة في الوقت نفسه.
هذا العالم يسمى Turbulence — الاضطراب.
الطبيعة لا تحرك كل قطرة وحدها في مسار مهذب يمكن رسمه بالقلم.
كل جزء من المائع يؤثر في الأجزاء المجاورة، والسرعة نفسها تدخل في تحديد كيفية تغير السرعة.
ولهذا تصبح المعادلات غير خطية.
المعادلة لا تراقب الحركة فقط.
الحركة نفسها تعيد تشكيل شروط حركتها.
وهنا تبدأ المتاهة.
ثم جاء 8 سبتمبر 2026
حتى قبل أيام قليلة، كان من السهل إنهاء هذا المقال بالجملة المعتادة:
وما زالت مسألة نافييه–ستوكس بلا حل.
لكن التاريخ اختار أن يربك خاتمتنا.
في 8 سبتمبر 2026 أعلنت OpenAI أنها تنشر حلًا مقترحًا لمسألة الوجود والنعومة لنافييه–ستوكس، أنتجه نظام ذكاء اصطناعي داخلي، مع صياغة للبرهان ونسخة رسمية باستخدام نظام الإثبات Lean.
والنتيجة التي يقول البرهان إنه يثبتها مثيرة للغاية: إمكانية نشوء تفرد في زمن محدود ضمن معادلات نافييه–ستوكس، أي أن الطريق المقترح للحل ليس إثبات أن كل شيء يبقى ناعمًا إلى الأبد، بل تقديم المثال المضاد الذي يثبت أن ذلك ليس مضمونًا.
لكن هنا يجب أن نتوقف.
الإعلان عن البرهان ليس مساويًا لاعتماده.
الرياضيات لا تعمل بالتصفيق ولا بالعناوين الصحفية.
وبموجب قواعد معهد كلاي، لا يكفي تقديم حل للمؤسسة مباشرة؛ يجب أن يمر الحل بعملية نشر مؤهلة، وأن يخضع لفحص المجتمع الرياضي ويحقق قبولًا عامًا، مع مرور عامين على الأقل على النشر المؤهل قبل أن ينظر المعهد في منحه الجائزة وفق إجراءاته.
لذلك، في لحظة كتابة هذه السطور، الجملة الدقيقة ليست:
حُلّت مسألة نافييه–ستوكس.
بل:
ربما نقف أمام حلها، والعالم الرياضي بدأ الآن عمله الأصعب: محاولة إسقاط البرهان.
فإذا صمد، يصبح تاريخ 8 سبتمبر 2026 جزءًا من تاريخ الرياضيات.
وإذا سقط، سيصبح محاولة أخرى في تاريخ مسألة قاومت أجيالًا.
الرجلان اللذان لم يريا الطائرة
بدأ نافييه في عشرينيات القرن التاسع عشر بمحاولة إدخال أثر الاحتكاك الداخلي للمائع في وصف حركته، ثم جاءت أعمال ستوكس لاحقًا لتصبح جزءًا أساسيًا من الصياغة التي ارتبط بها الاسمان.
لم ير نافييه طائرة نفاثة.
ولم ير ستوكس حاسوبًا عملاقًا.
لم يشاهدا محاكاة إعصار على شاشة.
ولا سيارة تُصمم ديناميكية الهواء حولها رقميًا.
لكنهما شاركا في كتابة لغة تستطيع، بعد أكثر من قرن ونصف، أن تدخل كل تلك العوالم.
وهذه ربما إحدى أجمل مفارقات العلم:
العالِم لا يعرف دائمًا أين ستصل الفكرة التي يكتبها.
نحن نعرف القانون… ولا نعرف نهايته
في تاريخ العلم اعتدنا حكاية مختلفة.
هناك ظاهرة غامضة.
يأتي عالم.
يكتشف القانون.
فتصبح الطبيعة أوضح.
نافييه–ستوكس تقلب الحكاية قليلًا.
لدينا القانون.
نستخدمه.
نبني به.
نطير بفضله وبفضل علوم كثيرة تحيط به.
نشغّل الحواسيب لمحاكاته.
ومع ذلك بقي داخله سؤال يستطيع أن يضع أعظم الرياضيين أمام حدود معرفتهم.
ثم، بعد قرابة قرنين من ولادة المعادلات، دخل لاعب لم يكن نافييه ولا ستوكس قادرين على تخيله:
الذكاء الاصطناعي.
وقد يكون من المبكر معرفة إن كان قد أغلق المسألة بالفعل.
لكن مجرد وصولنا إلى هذه اللحظة يترك سؤالًا أكبر من المعادلة نفسها:
إذا أصبح الذكاء الاصطناعي قادرًا على الدخول إلى المسائل التي توقفت أمامها أجيال من أعظم العقول، فهل نحن أمام أداة جديدة للعلم…
أم أمام نوع جديد من العالِم؟
ربما يكون هذا هو السؤال الذي تركته لنا نافييه–ستوكس في عام 2026.
ليس فقط:
كيف يتحرك الماء؟
بل:
من الذي سيكتشف، من الآن فصاعدًا، القوانين التي لم نستطع نحن اكتشافها؟