اشتقاق معادلات نافييه-ستوكس  الهدف من هذه المقالة هو إبراز النقاط المهمة لاشتقاق معادلات نافيير-ستوكس بالإضافة إلى تطبيقها وصياغتها لعائلات مختلفة من الموائع.  تستند معادلات نافيير-ستوكس على افتراض أن المائع، محل الدراسة، هو سلسلة متصلة - مادة متصلة مستمرة وليس جسيمات منفصلة. وهناك افتراض ضروري آخر هو أن جميع مجالات الاهتمام بما في ذلك الضغط وسرعة التدفق والكثافة ودرجة الحرارة قابلة للتفاضل، على الأقل بشكل ضعيف.  المعادلات مشتقة من المبادئ الأساسية لمعادلة استمرارية الكتلة وزخم الحركة وبقاء الطاقة. في بعض الأحيان يكون من الضروري اعتبار حجم اختياري محدود، يسمى حجم دراسي (حجم التحكم) Control volume، والذي يمكن تطبيق هذه المبادئ عليه. يُرمز لهذا الحجم المحدود بالرمز ، وإلى سطحه المحيط به بالرمز . يمكن أن يظل حجم التحكم ثابتًا في الفضاء أو يمكن أن يتحرك مع المائع.  يمكن قياس التغيرات في خصائص المائع المتحرك بطريقتين مختلفتين. يمكن للمرء قياس خاصية معينة إما عن طريق إجراء القياس على نقطة ثابتة في الفضاء حيث تمر جسيمات المائع، أو باتباع جزء من السائل على طول خط جريانه. ويطلق على مشتقة مجال بالنسبة إلى موضع ثابت في الفضاء مصطلح «مشتقة أويلر»"،" في حين أن المشتقة التي تتبع جسم متحرك تُسمى مشتق مادي "advective" أو "material" (أو مشتقة "لاغرانج").  يتم تعريف المشتق المادي على أنه "المُعامل غير الخطي" :  حيث: هي سرعة التدفق. الجزء الأول على الجانب الأيمن من المعادلة هو مشتق أويلر العادي (المشتق في إطار مرجعي ثابت، يمثل التغييرات عند نقطة بالنسبة للزمن) بينما يمثل الجزء الثاني التغييرات في كمية بالنسبة للموقع (انظر نقل (موائع)). هذا المشتق «الخاص» هو في الواقع مشتق عادي لدالة بها العديد من المتغيرات على طول مسار يتبع حركة المائع؛ يمكن استنتاجه من خلال تطبيق قاعدة السلسلة التي يتم فيها فحص جميع المتغيرات المستقلة للتغيير على طول المسار (أي المشتق الكلي).  على سبيل المثال، يمكن الحصول على قياس التغيرات في سرعة الرياح في الغلاف الجوي بمساعدة مقياس شدة الريح في محطة الطقس أو من خلال مراقبة حركة منطاد الطقس. مقياس شدة الريح في الحالة الأولى يقيس سرعة جميع الجسيمات المتحركة التي تمر عبر نقطة ثابتة في الفضاء، بينما في الحالة الثانية، تقيس الأداة التغيرات في السرعة أثناء تحركها مع التدفق.  معادلة نافييه-ستوكس هي معادلة استمرارية خاصة. يمكن اشتقاق معادلة الاستمرارية من مبادئ حفظ كل من:   معادلة الاستمرارية (أو قانون الحفظ) هي علاقة تكامل تنص على أن معدل تغير بعض الخصائص المتكاملة المُعرفة على حجم التحكم يجب أن يكون مساويًا للمقدار المفقود أو المكتسب من خلال الحدود من الحجم بالإضافة إلى ما تم إنشاؤه أو استهلكه من المصادر sources أوالمصارف sinks داخل الحجم. يتم التعبير عن ذلك من خلال معادلة الاستمرارية المتكاملة التالية:  حيث: هي سرعة تدفق المائع، هي المتجه العمودي للخارج، و تمثل المصادر والمصارف في التدفق، مع اعتبار المصارف موجبة.  يمكن تطبيق نظرية التباعد على التكامل السطحي، وتغييره إلى تكامل حجمي:  بتطبيق نظرية نقل رينولد Reynolds transport theorem على التكامل على اليسار ثم دمج كل التكاملات:  يجب أن يكون التكامل صفرًا لأي حجم تحكم؛ لا يمكن أن يكون هذا صحيحًا إلا إذا كان «ما يجري عليه التكامل» نفسه صفرًا، أي أن:  من هذه العلاقة المهمة (معادلة الاستمرارية العامة جدًا)، يمكن كتابة ثلاثة مفاهيم مهمة بإيجاز: الحفاظ على الكتلة، والحفاظ على الزخم، والحفاظ على الطاقة (بقاء الكتلة، وبقاء كمية التحرك، وبقاء الطاقة). تظل هذه العلاقة قائمة إذا كانت φ متجهًا، وفي هذه الحالة سيكون ضرب المتجه في متجه في الجزء الثاني ثنائيًا .  يتم الحصول على معادلة الزخم العامة عند تطبيق علاقة الحفظ على الزخم. عندما تعتبر الخاصية بمثابة تدفق الكتلة mass flux (أيضًا "كثافة الزخم" "momentum density")، أي حاصل ضرب كثافة الكتلة وسرعة التدفق ، عن طريق التعويض في معادلة الاستمرارية العامة:  حيث: هو ثنائي ، حالة خاصة من "موتر الضرب ، والذي يؤدي إلى موتر المرتبة الثانية. تباعد موتر المرتبة الثانية هو أيضًا متجه (موتر من الدرجة الأولى).  باستخدام صيغة تباعد ثنائي،  ثم لدينا  لاحظ أن التدرج :تدرج (رياضيات) للمتجه هو حالة خاصة للمشتق المتغير ، ينتج عن العملية موتر من المرتبة الثانية؛ باستثناء الإحداثيات الديكارتية، من المهم أن نفهم أن هذا ليس مجرد تدرج عنصر تلو الآخر. بإعادة ترتيب وإدراك أن :  التعبير الموجود في أقصى اليسار بين قوسين هو، من خلال استمرارية الكتلة، يساوي الصفر. مع ملاحظة أن ما تبقى على الجانب الأيسر من المعادلة هو المشتق المادي لسرعة التدفق:  يبدو أن هذا مجرد تعبير عن قانون نيوتن الثاني: () بدلالة قوى الجسم بدلاً من قوى النقطة. كل جزء في أي حالة من معادلات نافييه-ستوكس هو قوة جسم. الطريقة الأقصر ولكن الأقل صرامة للوصول إلى هذه النتيجة هي تطبيق قاعدة السلسلة على التسارع:  حيث: . السبب في أن هذا «أقل صرامة» هو أننا لم نظهر أن اختيار  صحيح؛ ومع ذلك، فمن المنطقي أنه مع اختيار هذا المسار، فإن المشتق «يتبع» جسيمًا مائعًا، ولكي يعمل قانون نيوتن الثاني، يجب جمع القوى على الجسيم. لهذا السبب يُعرف مشتق الحمل أيضًا باسم مشتق الجسيم particle derivative.  يمكن اعتبار الكتلة أيضًا. عندما تعتبر الخاصية بمثابة الكتلة، عن طريق التعويض في معادلة الاستمرارية العامة، وأخذ (لا توجد مصادر أو مصارف للكتلة):  حيث: هي كثافة الكتلة (الكتلة لكل وحدة حجم)، و هي سرعة التدفق. وتسمى هذه المعادلة معادلة استمرارية الكتلة، أو ببساطة "معادلة" الاستمرارية. ترافق هذه المعادلة عمومًا معادلة نافييه-ستوكس.  في حالة وجود سائل غير قابل للضغط، (الكثافة عبر مسار السائل تكون ثابتة) وتُختصر المعادلة إلى:  وهو في الواقع دليل على الحفاظ على الحجم (بقاء الحجم).  الكثافة العامة لمصدر الزخم يمكن جعلها محددة أولا عن طريق تقسيمها إلى جزئين جديدتين، واحد لوصف الضغوط الداخلية، وواحد للقوى الخارجية، مثل الجاذبية. من خلال فحص القوى التي تؤثر على مكعب صغير في المائع، يمكن بيان أن  حيث: هو موتر الإجهاد لكوشي، هي قوى الجسم الموجودة. تسمى هذه المعادلة بمعادلة الزخم لكوشي وتصف الحفاظ على الزخم غير النسبي "لأي" سلسلة متصلة تحافظ على الكتلة. و هو موتر متماثل من الرتبة الثانية مُعطى بواسطة مكوناته المتغيرة. في الإحداثيات المتعامدة في ثلاثة أبعاد، يتم تمثيله على أنه مصفوفة 3 × 3 :  حيث: هي الضغوط العمودية، و هي ضغوط القص. تنقسم هذه المصفوفة إلى جزئين:  حيث: مصفوفة الوحدة 3 × 3، و هو موتر الضغط deviatoric. لاحظ أن الضغط الميكانيكي يساوي سالب الضغط العمودي المتوسط:   الدافع للقيام بذلك هو أن الضغط عادة ما يكون متغيرًا ذا أهمية، وهذا أيضًا يُبسط التطبيق على عائلات محددة من الموائع لاحقًا، لأن الموتر الموجود في أقصى يمين المعادلة أعلاه يجب أن يكون صفرًا للمائع في حالة السكون. لاحظ أن لا يمكن تتبعها. يمكن الآن كتابة معادلة كوشي في شكل آخر أكثر وضوحًا:  هذه المعادلة لا تزال غير مكتملة. ولإكمالها، يجب على المرء أن يضع فرضيات حول أشكال و ، أي أن المرء يحتاج إلى قانون تأسيسي لموتّر الإجهاد الذي يمكن الحصول عليه لعائلات محددة من الموائع وعلى الضغط. تؤدي بعض هذه الفرضيات إلى معادلات أويلر (ديناميكيات الموائع)، بينما تؤدي بعض الفرضيات الأخرى إلى معادلات نافيير-ستوكس. بالإضافة إلى ذلك، إذا تم افتراض أن التدفق قابل للانضغاط، فستكون هناك حاجة إلى معادلة الحالة، والتي من المحتمل أن تتطلب مزيدًا من الحفاظ على صياغة الطاقة.  الشكل العام لمعادلات الحركة ليس «جاهزًا للاستخدام»، ولا يزال موتر الإجهاد مجهولًا، لذا هناك حاجة إلى مزيد من المعلومات؛ هذه المعلومات هي عادة بعض المعرفة بسلوك اللزوجة للمائع. بالنسبة للأنواع المختلفة من تدفق الموائع، ينتج عن ذلك أشكال محددة من معادلات نافيير-ستوكس.  تنبع صياغة السوائل النيوتونية من ملاحظة قام بها إسحاق نيوتن، والتي تقول، بالنسبة لمعظم الموائع،  من أجل تطبيق هذا على معادلات نافيير-ستوكس، وضع ستوكس ثلاثة افتراضات:  توضح القائمة أعلاه الفرضية التقليدية التي مفادها أن موتر معدل إجهاد القص (الجزء (المتماثل) من تدرج السرعة) هو موتر قص خالص ولا يتضمن أي جزء من التدفق الداخل/الخارج (أي جزء ضغط/تمدد). هذا يعني أن أثره يساوي صفرًا، ويتم تحقيق ذلك بطرح بطريقة متماثلة من العناصر القطرية للموتر. تُضاف المساهمة الانضغاطية للضغط اللزج كموتّر قطري منفصل.  سيؤدي تطبيق هذه الافتراضات إلى:  أو في شكل موتر  أي، يتم تحديد انحراف موتر معدل التشوه إلى انحراف موتر الإجهاد، حتى عامل .  حيث: هي دلتا كرونكر Kronecker delta. وكلا من و هما ثابت تناسب مرتبط بفرض أن الضغط يعتمد على الانفعال خطيًا؛ يُطلق على μ المعامل الأول للزوجة أو لزوجة القص (عادةً ما يُطلق عليه فقط «اللزوجة» "viscosity")، و λ هو المعامل الثاني للزوجة أو اللزوجة الحجمية (وهو مرتبط باللزوجة السائبة bulk viscosity). من الصعب للغاية تحديد قيمة λ، التي تنتج تأثيرًا لزجًا مرتبطًا بتغيير الحجم، ولا تُعرف حتى إشارتها على وجه اليقين المطلق. حتى في التدفقات القابلة للانضغاط، غالبًا ما يكون الجزء الذي يتضمن λ ضئيلًا (يمكن إهماله)؛ ومع ذلك، يمكن أن تكون مهمة في بعض الأحيان حتى في التدفقات غير القابلة للضغط تقريبًا وهي مسألة مثيرة للجدل. عند عتبارها غير صفرية، فإن التقدير التقريبي الأكثر شيوعًا هو .  سيؤدي التعويض المباشر لـ في معادلة الحفاظ على الزخم إلى إنتاج معادلات نافييه-ستوكس Navier-Stokes التي تصف سائل نيوتوني قابل للانضغاط:  تتحلل قوة الجسم إلى كثافة وتسارع خارجي، أي . معادلة استمرارية الكتلة المصاحبة هي:  بالإضافة إلى هذه المعادلة، هناك حاجة إلى معادلة حالة ومعادلة لحفظ الطاقة. تعتمد معادلة الحالة المراد استخدامها على السياق (غالبًا قانون الغاز المثالي)، وبيالتالي يكون حفظ الطاقة:  حيث: هو المحتوى الحراري، و هي درجة الحرارة، و هي دالة تمثل تبديد الطاقة بسبب آثار اللزوجة:  مع وجود معادلة جيدة للحالة ودوال جيدة لاعتماد المعاملات (مثل اللزوجة) على المتغيرات، يبدو أن هذا النظام من المعادلات يُعطي بشكل صحيح نموذجًا لديناميكيات جميع الغازات المعروفة ومعظم السوائل.  بالنسبة للحالة الخاصة (ولكن الشائعة جدًا) للتدفق غير القابل للضغط، يتم تبسيط معادلات الزخم بشكل كبير. باستخدام الافتراضات التالية:   هذا يعطي معادلات نافييه-ستوكس غير القابلة للضغط، والتي تصف السائل النيوتوني غير القابل للضغط:  ثم بالنظر إلى جزء اللزوجة من معادلة الزخم على سبيل المثال لدينا:  وبالمثل بالنسبة لاتجاهات الزخم و يوجد و .  الحل أعلاه هو المفتاح لاشتقاق معادلات نافييه-ستوكس من معادلة الحركة في ديناميكيات الموائع عندما تكون الكثافة واللزوجة ثابتتين.  السائل غير النيوتوني هو سائل تختلف خصائص تدفقه بأي شكل من الأشكال عن خصائص السوائل النيوتونية. غالبًا فإن لزوجة السوائل غير النيوتونية هي دالة لمعدل القص أو تاريخ معدل القص. ومع ذلك، هناك بعض السوائل غير النيوتونية ذات اللزوجة المستقلة عن القص، والتي تظهر مع ذلك اختلافات ضغط طبيعية أو سلوكًا غير نيوتوني آخر. العديد من المحاليل الملحية والبوليمرات المنصهرة هي سوائل غير نيوتونية، كما هو الحال مع العديد من المواد الشائعة مثل الكاتشب والكاسترد ومعجون الأسنان ومعلقات النشا والطلاء والدم والشامبو. في السائل النيوتوني، تكون العلاقة بين إجهاد القص ومعدل القص خطية، وتمر عبر نقطة الأصل، ويكون ثابت التناسب هو معامل اللزوجة. في السائل غير النيوتوني، تختلف العلاقة بين إجهاد القص ومعدل القص، ويمكن حتى أن تعتمد على الزمن. عادة ما تسمى دراسة السوائل غير النيوتونية علم الجريان (الريولوجيا) rheology. وسيجري إعطاء بعض الأمثلة هنا.  في سوائل بينغهام، يختلف الوضع قليلاً:  هذه سوائل قادرة على تحمل بعض القص قبل أن تبدأ في التدفق. هناك بعض الأمثلة الشائعة لها مثل معجون الأسنان والصلصال.  سائل قانون القوة هو مثال للسوائل التي يُعطى إجهاد القص فيها من العلاقة،  هذا الشكل مفيد لتقريب جميع أنواع السوائل العامة، بما في ذلك ترقق القص shear thinning (مثل طلاء اللاتكس) وتثخين القص shear thickening (مثل خليط ماء نشا الذرة).  في تحليل التدفق، غالبًا ما يكون من المرغوب فيه تقليل عدد المعادلات و / أو عدد المتغيرات. يمكن اختزال معادلة نافييه-ستوكس غير القابلة للضغط مع استمرارية الكتلة (أربع معادلات في أربعة مجاهيل) إلى معادلة واحدة بمتغير تابع واحد في اتجاهين، أو معادلة متجهية واحدة ثلاثية الأبعاد. يتم تمكين هذا من خلال هويتين متجهتين لحساب التفاضل والتكامل :  لأي قيمة مطلقة ومتجه قابل للتفاضل. تشير المعادلة الأولى إلى أن أي جزء في معادلة نافييه-ستوكس يمكن تمثيله على أنه تدرج gradient لقيمة مطلقة سيختفي عند تطبيق الدوران curl على المعادلة. بشكل عام، فإن الضغط والتسارع الخارجي سيتلاشيان، مما يؤدي إلى (هذا صحيح في اتجاهين 2D وثلاثة اتجاهات 3D):  حيث يُفترض أن جميع قوى الجسم يمكن وصفها على أنها تدرج (على سبيل المثال، هذا صحيح بالنسبة للجاذبية)، وتم تقسيم الكثافة بحيث تصبح اللزوجة هي لزوجة حركية.  تنص متطابقة حساب المتجه الثاني أعلاه على أن تباعد دوران حقل متجه يساوي صفرًا. نظرًا لأن معادلة استمرارية الكتلة (غير القابلة للضغط) تحدد تباعد سرعة التدفق وهي صفر، يمكننا استبدال سرعة التدفق بدوران متجهٍ ما بحيث يتم تحقيق استمرارية الكتلة دائمًا:  لذلك، طالما يتم تمثيل سرعة التدفق من خلال ، يتم تحقيق استمرارية الكتلة دون قيد أو شرط. مع هذا المتغير المتجه الجديد التابع، تصبح معادلة نافييه-ستوكس (مع curl كما هو مذكور أعلاه) معادلة متجهية من الدرجة الرابعة، لم تعد تحتوي على متغير الضغط غير المعروف ولم تعد تعتمد على معادلة منفصلة لاستمرارية الكتلة:  بصرف النظر عن احتوائها على مشتقات من الدرجة الرابعة، فإن هذه المعادلة معقدة إلى حد ما، وبالتالي فهي غير شائعة. لاحظ أنه إذا تم استبعاد التفاضل المتبادل cross differentiation، فإن النتيجة تكون معادلة متجه من الدرجة الثالثة تحتوي على مجال متجه غير معروف (تدرج الضغط) الذي يمكن تحديده من نفس شروط الحدود التي قد يطبقها المرء على معادلة الدرجة الرابعة أعلاه.  تظهر الفائدة الحقيقية لهذه الصيغة عندما يكون التدفق ثنائي الأبعاد بطبيعته، ويتم كتابة المعادلة في نظام إحداثيات متعامد عام، وبعبارة أخرى نظام تكون فيه المتجهات الأساسية متعامدة. لاحظ أن هذا يحصر التطبيق في حدود الإحداثيات الديكارتية، في الواقع معظم أنظمة الإحداثيات شيوعا هي أنظمة متعامدة، بما في ذلك تلك المألوفة مثل نظام الإحداثيات الأسطواني أو الغامضة منها مثل الحلقية .  يتم التعبير عن سرعة التدفق ثلاثي الأبعاد على النحو التالي (لاحظ أن المناقشة لم تستخدم الإحداثيات حتى الآن):  حيث: هي متجهات أساسية، ليست بالضرورة ثابتة وليست بالضرورة مقيسة normalized، و هي مكونات سرعة التدفق ؛ وافرض إحداثيات الفضاء هي .  افترض الآن أن التدفق ثنائي الأبعاد. هذا لا يعني أن التدفق في مستوى ما، بل يعني أن مكون سرعة التدفق في اتجاه واحد يساوي صفرًا وأن المكونات المتبقية مستقلة عن نفس الاتجاه. في هذه الحالة (خذ المكون 3 ليكون صفرًا):  لا يزال تعريف دالة المتجه هو:  ولكن هذا يجب أن يبسط بطريقة ما أيضًا لأن التدفق يُفترض أنه ثنائي الأبعاد. إذا افترضنا وجود إحداثيات متعامدة، يتخد الدوران شكلاً بسيطًا إلى حد ما، وتمكن توسيع المعادلة أعلاه لتصبح:  يوضح فحص هذه المعادلة أنه يمكننا تعيين والاحتفاظ بالمساواة دون فقدان العمومية، بحيث أن:  الأهمية هنا هي أن مكونًا واحدًا فقط من يبقى، بحيث يصبح التدفق ثنائي الأبعاد مسألة مع متغير تابع واحد فقط. وبذلك فإن معادلة نافييه-ستوكس المشتقة المتقاطعة تصبح معادلتين ومعادلة واحدة ذات معنى.  المكون المتبقي يسمى دالة التدفق. يمكن تبسيط معادلة لأن الكميات المتنوعة ستساوي الصفر الآن، على سبيل المثال:  إذا كان عاملا المقياس و مستقلان أيضًا عن . أيضا، من تعريف المتجه اللابلاسي vector Laplacian  ستؤدي معالجة معادلة نافييه-ستوكس المشتقة المتقاطعة باستخدام المعادلتين السابقتين ومجموعة متنوعة من الهويات في النهاية إلى الحصول على المعادلة القياسية في اتجاه واحد لدالة التدفق:  حيث: هو المعامل الحيوي biharmonic operator. وهذا مفيد للغاية لأنه معادلة قياسية واحدة قائمة بذاتها تصف كلاً من بقاء الزخم وبقاء الكتلة في اتجاهين. المعادلات الأخرى الوحيدة التي تحتاجها هذه المعادلة التفاضلية الجزئية هي الشروط الأولية والحدية. الافتراضات الخاصة بمعادلة دالة التدفق هي:   تحتوي دالة الدفق على بعض الخصائص المفيدة:   يتضمن اشتقاق معادلة نافييه-ستوكس النظر في القوى المؤثرة على عناصر السوائل، بحيث تظهر كمية تسمى موتر الإجهاد stress tensor بشكل طبيعي في معادلة الزخم لكوشي. منذ أن تم أخذ تباعد هذا الموتر، فمن المعتاد كتابة المعادلة بشكل مبسط تمامًا، بحيث يتم فقد المظهر الأصلي لموتّر الإجهاد.  ومع ذلك، لا يزال لموتّر الإجهاد بعض الاستخدامات المهمة، لا سيما في صياغة الشروط الحدودية في واجهات السوائل. تذكر أن ، بالنسبة للسائل النيوتوني، موتر الإجهاد هو:  إذا افترضنا أن السائل غير قابل للضغط، فإن الموتر يبسط بشكل كبير. في الإحداثيات الديكارتية ثلاثية الأبعاد على سبيل المثال:  حيث: موتر معدل الإجهاد، وفق التعريف