🎛️ الجريان حول عائق
جسيمات ماء تأتي من اليسار وتلتف حول أسطوانة. زِد السرعة لترى الجريان ينتقل من النظام الصفائحي إلى النظام المضطرب.
عدد رينولدز
Re ≈ 100
النظام
صفائحي
الجسيمات
300
Re ≈ 100 : جريان منتظم، خطوط تيار متوازية، قابل للتنبؤ. النظام الصفائحي للهواء والموائع البطيئة.
🌊 1822 : نافيي يكتب المعادلات
كلود-لويس نافيي (1785-1836)، مهندس فرنسي للجسور والطرق، سعى إلى نمذجة حركة الموائع اللزجة (الماء، الزيت). انطلاقًا من قوانين نيوتن (F = ma) المطبقة على كل حجم صغير من المائع، نشر سنة 1822 معادلة ثورية.
بعد عشرين سنة، أعاد جورج غابرييل ستوكس (1819-1903)، عالم الرياضيات الإيرلندي، اكتشافها بشكل مستقل وأكمل اشتقاقها. أخذت المعادلات اسمها الحديث: معادلات نافيي-ستوكس.
معادلة نافيي-ستوكس (مائع غير قابل للانضغاط)
ρ (∂u/∂t + u·∇u) = −∇p + μ∇²u + f
إضافة إلى شرط عدم الانضغاط : ∇·u = 0
• u(x, t) : حقل سرعة المائع (متجهة في كل نقطة)
• ρ : كثافة المائع، μ : اللزوجة الديناميكية
• p(x, t) : حقل الضغط، f : القوى الخارجية (الجاذبية...)
• ∂u/∂t : التغير الزمني الموضعي
• u·∇u : الحد الحملي غير الخطي (الصعوبة الرئيسية)
• μ∇²u : الانتشار اللزج
💥 لماذا هي بهذه الصعوبة : اللاخطية u·∇u
الحد الحملي u·∇u هو غير خطي في u : إذا ضاعفت السرعة، فإن هذا الحد يُضرب في 4. هذه اللاخطية هي ما يحوّل معادلة تبدو بسيطة إلى إحدى أصعب المسائل في الرياضيات كلها.
بالنسبة للمعادلات الخطية (الحرارة، الأمواج، شرودنغر، ماكسويل)، نعرف كيف نبني الحلول بالتراكب (متسلسلات فورييه، التحويل). أما بالنسبة لنافيي-ستوكس، فإن اللاخطية تربط جميع الترددات فيما بينها. وهذا ما يُنتج الاضطراب : تتالٍ للطاقة من البنى الكبيرة نحو الأصغر، سلوك فوضوي، حساسية للشروط الابتدائية.
🏆 مسألة الألفية بجائزة مليون دولار
في سنة 2000، نشر معهد كلاي للرياضيات قائمة من 7 مسائل مفتوحة كبرى. لكل منها، تُعرض مكافأة قدرها مليون دولار لمن يجد حلها. ومعادلات نافيي-ستوكس من بينها.
الصياغة الدقيقة (مبسّطة) :
بالنسبة لشروط ابتدائية ملساء ومائع في 3 أبعاد، هل يوجد دائمًا حل شامل في الزمن يبقى أملس ؟
بعبارة أخرى : هل يمكن للسرعة أن تنفجر (تصبح لانهائية) في زمن منتهٍ ؟
لا أحد يعرف. إنها إحدى المسائل الست التي ما زالت مفتوحة (فقط فرضية بوانكاريه، التي أثبتها غريغوري بيريلمان سنة 2003، حُلّت من بين السبع).
📊 ما نعرفه رغم ذلك
- في بعدين : نعرف أن الحلول موجودة، وحيدة وتبقى ملساء لكل زمن. لا جائزة.
- 3 أبعاد، معطيات صغيرة : الوجود الموضعي مُثبت (لوراي، 1934). إذا كان المعطى الابتدائي صغيرًا بما يكفي، يبقى أملس إلى الأبد.
- 3 أبعاد، معطيات كيفما كانت، في زمن منتهٍ : الوجود مُثبت لكننا لا نعرف ما إذا كان الحل يبقى أملس مدة طويلة. الحلول « الضعيفة » للوراي (1934) موجودة دائمًا لكننا لا نستطيع إثبات وحدانيتها.
- معايير الانفجار (blow-up) : بيل-كاتو-ماجدا (1984) — إذا انفجر، فإن ∫₀ᵀ ‖∇×u‖∞ dt = +∞.
- الحالة الحرجة : الانتظام الجزئي لكافاريلي-كوهن-نيرنبرغ (1982) يحدّ من « حجم » المجموعة المفردة. لكن ذلك لا يحسم المسألة.
✈️ لماذا تحكم هذه المعادلات حياتك اليومية
- الطقس والمناخ : يحل التنبؤ الجوي معادلات نافيي-ستوكس عدديًا على شبكة عالمية للأرض. بدونها، لا تنبؤ لمدة 5 أيام. يعتمد المناخ المستقبلي على محاكاة مناخية مبنية على المعادلات نفسها.
- ديناميكا الهواء : كل طائرة، سيارة، قطار، صاروخ يُصمَّم بمحاكاة نافيي-ستوكس حول الهيكل (CFD : Computational Fluid Dynamics).
- الطب : الدورة الدموية، جريان الهواء في الرئتين، التدفق في الشرايين وصمامات القلب تُنمذَج بمعادلات نافيي-ستوكس.
- علم المحيطات : التيارات البحرية (تيار الخليج، النينيو) تحكمها هذه المعادلات.
- أفلام الرسوم المتحركة : تستعمل بيكسار وديزني نافيي-ستوكس لمحاكاة الماء والدخان والنار بشكل واقعي (فروزن، موانا...).
- الطاقة : ريش التوربينات الهوائية، التوربينات الهيدروليكية، الاحتراق في المحركات، تبريد المفاعلات النووية.
- طقس الفضاء : التوهجات الشمسية، الرياح الشمسية، الغلاف المغناطيسي الأرضي (النسخة المغناطيسية الهيدروديناميكية : نافيي-ستوكس + ماكسويل).
- الفيزياء الفلكية : تشكّل النجوم، التراكم على الثقوب السوداء، بنية المجرات.
🔬 الاضطراب : كولموغوروف 1941
حتى دون حل معادلات نافيي-ستوكس، يمكننا وصف الاضطراب إحصائيًا. أندريه كولموغوروف (1903-1987)، أحد أعظم علماء الرياضيات في القرن العشرين، اقترح سنة 1941 نظرية ظاهراتية.
الفرضية المركزية : في المنطقة القصورية (بين سلّم حقن الطاقة وسلّم التبدد)، يتبع طيف الطاقة قانون قوة كونيًا :
E(k) ∝ k⁻⁵ᐟ³
هذا القانون مُتحقَّق في جميع الموائع المضطربة، من الغيوم الجوية إلى الدوامات المجرّية. كوني.
📐 الرابط مع برنامجك
معادلات نافيي-ستوكس خارج برنامج البكالوريا علوم رياضية تمامًا، لكن إليك ما يهيّئك لها :
- المتجهات والجداء السلمي/المتجهي : u·∇u يستعمل جداء متجهة. برنامج هندسة الثانية بكالوريا علوم رياضية.
- المشتقات الجزئية : ∂u/∂t، ∇p، ∇·u، ∇²u — كلها مشتقات جزئية (ما بعد البكالوريا).
- المعادلات التفاضلية : معادلات نافيي-ستوكس هي معادلة تفاضلية جزئية متجهية من الرتبة 2. تدرس المعادلات التفاضلية في فيزياء الثانية بكالوريا.
- الاتصال والنهاية : تستعمل صياغة لوراي فضاءات سوبوليف — تعميم للفضاءات المتجهية المنظَّمة.
- المتباينات (هولدر، كوشي-شوارز) : أساسية لإثبات التقديرات القبلية. كوشي-شوارز ضمن برنامجك للعلوم الرياضية.
🎓 هدف في المتناول : إثبات الانفجار
لربح المليون، طريقان :
- بناء حل انفجاري : مثال تصبح فيه السرعة لانهائية في زمن منتهٍ. حاولت عدة فرق ذلك (تاو، تشن، هو...)، نتائج جزئية مشجعة لكنها غير حاسمة.
- إثبات الانتظام الشامل : إظهار أنه لا يمكن لأي حل أن ينفجر. إنه الطريق الكلاسيكي لكنه يقاوم منذ 90 سنة.
اقترح تيرنس تاو (ميدالية فيلدز 2006) سنة 2014 مقاربة عبر « التوسيط » : بناء نظام معدّل لنافيي-ستوكس ينفجر، أملًا في إضاءة الحالة الحقيقية. مفتوحة إلى اليوم.