ماذا يعني أن تتطور حالة شاذة في معادلة للمائع؟

تصف معادلات نافييه-ستوكس المائع بوصفه مادة متصلة. وتنطلق من مجال السرعة والقوى الخارجية لحساب تغير الحركة والضغط. والسؤال الرياضي المركزي هو ما إذا كانت البيانات الابتدائية السلسة تظل سلسة في كل زمن لاحق.

ما معنى الانهيار؟

تنشأ حالة شاذة في زمن منته إذا تجاوزت كمية مطلوبة في الحل كل حد عددي بعد مدة محدودة. قد تكون تلك الكمية السرعة أو الدوامية أو مشتقا يقيس حدة تغير التدفق. ويسمي الرياضيون ذلك أحيانا الانفجار الرياضي.

لماذا قد لا تكفي اللزوجة؟

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

أهمية شروط البداية

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

ماذا يفحص التحقق الصوري؟

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

المعنى الفيزيائي

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