משוואות נאוויה-סטוקס

משוואות נאוויה-סטוקס מתארות תנועה של זורם צמיג כמו נוזל או גז. המשוואות נקראות על שם מפתחיהן קלוד לואי נאוויה וג'ורג' גבריאל סטוקס. הן נובעות מפיתוח של החוק השני של ניוטון, ומההנחה כי המאמצים בזורם נובעים מהפרש הלחצים בזורם ומצמיגות הזורם.

המשוואות הן בעלות חשיבות גדולה, מכיוון שהן שימושיות ונפוצות בתחומים רבים, כגון מידול מזג האוויר וזרמים בים, זרימה בצנרת, וזרימה מסביב כנף של מטוס. יתר על כן, ישנו עניין במשוואות מבחינה מתמטית, שכן טרם הוכח שקיים להן תמיד פתרון (מד"ח עם מקדמים לא קבועים, קוואזי ליניאריות, בשלושה ממדים), וכן לא הוכח שבאופן כללי פתרונות המשוואה אינם סובלים מסינגולריות או אי רציפויות. בעיות אלו הוכרזו על ידי מכון קליי למתמטיקה כאחת משבע הבעיות הפתוחות החשובות ביותר במתמטיקה, ואף הוצע פרס כספי בשווי של 1,000,000 דולרים לחוקר שיצליח להוכיח טענה זו. הפרכת הטענה, לעומת זאת, לא תזכה בפרס המדובר, שכן לשם מציאת מקרה המפריך את הטענה ניתן להשתמש במחשב. 

משוואות נאוויה-סטוקס הן משוואות דיפרנציאליות. הנחת היסוד של המשוואות היא שהזורם הוא רציף, והן פותחו מתוך עקרונות בסיסיים של שימור מסה, שימור תנע ושימור אנרגיה. פתרון המשוואות הוא שדה מהירות שהוא תיאור של מהירות הזורם בכל נקודה במרחב ובזמן. מתוך שדה המהירות ניתן לחשב גדלים פיזיקליים אחרים.

המשוואות בצורתן הכללית 
בכתיב וקטורי, הצורה הכללית ביותר של המשוואות היא:

כאשר  הוא צפיפות הזורם,  הוא וקטור המהירות, t הוא הזמן, p הוא הלחץ,  מייצג את הכוחות החיצוניים הפועלים במערכת (כמו כוח הכבידה או כוחות צנטריפוגליים),  היא הצמיגות,  היא הצמיגות השנייה, ו-  הוא טנזור הנגזר מתוך טנזור המאמצים , והמקיים את הקשר:

כאן  היא מטריצת היחידה.

המשוואות עבור זורם ניוטוני בלתי דחיס 

עבור זורם ניוטוני בלתי דחיס ומתוך משוואת הרציפות - דיברגנץ המהירות מתאפס , כמו גם  הוא מאמץ הגזירה . לכן, מתקיים

כתוצאה מכך מתקבלת הכללה למעשה של החוק השני של ניוטון עבור זורם רציף, ולכל אחד מהאיברים ניתן לשייך משמעות פיזיקלית מוגדרת:

פתרון המשוואות נעשה בהינתן תנאי ההתחלה ותנאי השפה של הבעיה.

מאפיינים

אי-ליניאריות 

משוואות נאוויה-סטוקס הן משוואות דיפרנציאליות חלקיות לא-ליניאריות בכמעט כל מצב ריאלי, חוץ מכמה מקרים בודדים - כגון זרימה חד־ממדית וזרימה זוחלת - בהם ניתן לפשט את המשוואה לצורה ליניארית. העובדה שהמשוואות אינן ליניאריות היא הסיבה העיקרית לקושי בפתרונן.

עבור נוזל ניוטוני בלתי דחיס האיבר הלא ליניארי היחיד הוא איבר ה"הסעה" שמייצג תאוצה שנגרמת משינוי המהירות כפונקציה של המקום. דוגמה למקרה כזה היא מעבר זורם דרך זרבובית הולכת וצרה. במקרה זה מהירות הנוזל גדלה עם ההתקדמות בזרבובית, אך אף על פי שהמהירות של כל חלקיק יחיד תלויה בזמן, שדה המהירות קבוע בזמן.

ישימות 

יחד עם משוואות משלימות (לדוגמה, משוואת הרצף) ותנאי שפה מנוסחים היטב, משוואות נאוויה-סטוקס מסוגלות למדל תנועה זורמת באופן מדויק, תחת ההנחה של זורם רציף (שאפשר לגזור אותו אינסוף פעמים ואינו מורכב מאטומים או מולקולות בדידות) וניוטוני (צמיגות קבועה). כאשר מדובר בקנה מידה קטן מאוד או תחת תנאים קיצוניים, נוזלים אמיתיים העשויים ממולקולות בדידות יפיקו תוצאות שונות מאלו המחולצות מהמשוואה. בהתאם למספר קנודסן, ייתכן כי גישה מתאימה יותר לפתרון שדה הזרימה היא שימוש במכניקה סטטיסטית או לעיתים רחוקות בדינמיקה מולקולרית.

עבור נוזלים טורבולנטיים קשה יותר לקבוע בוודאות שהמשוואות מהוות מידול מדויק עבור שדה הזרימה, אך לרוב התוצאות המתקבלות על ידי שימוש במשוואות מתאימות לתצפיות ניסויות. הפתרון הנומרי של משוואות נאוויה-סטוקסל עבור זרימה טורבולנטית היא קשה מאוד, וצורך רזולוציית רשת קטנה במיוחד כאשר ממדלים את הבעיה בעזרת מחשב, מה שגורם לכך שקשה עד בלתי אפשרי להגיע לפתרון.
ניסיונות לפתור את הזרימה הטורבולנטית באמצעות מידול למינרי מביאים בדרך כלל לפתרון לא יציב בזמן, אשר לא מצליח להתכנס כראוי. על מנת להתמודד עם בעיה זו, לעיתים נעשה שימוש במשוואות שלוקחות בחשבון זמן ממוצע - כגון משוואות נאוויה-סטוקס עם מיצוע של מספר ריינולדס (RANS) - בתוספת דגמים טורבולנטיים, עבור דינמיקה חישובית של נוזלים (CFD). טכניקה נוספת לפתרון הבעיה היא שימוש ב-Large Eddy Simulation, או בקצרה LES (ראה ערך באנגלית). גישה זו יקרה יותר מאשר שיטת RANS (בזמן ובזיכרון מחשב), אבל מייצרת תוצאות טובות יותר.

המשוואות בקואורדינטות קרטזיות 

כשאנו מתייחסים לוקטור המהירות כאל  (כאשר u,v,w מייצגים את רכיבי המהירות בכיוון הצירים של המערכת), נוכל להפריד את המשוואה הווקטורית לשלוש משוואות סקלריות.

יצוין שgx, gy, gz תלויים באוריינטציה של התאוצה הגרוויטציונית במערכת הצירים אותו אנו בוחרים.

משוואת הרציפות בקואורדינטות קרטזיות היא:

תחת ההנחה של נוזל בלתי דחיס -  קבוע - וההנחה של זרימה תמידית, שגוררת את ההתאפסות של הנגזרות לפי הזמן, נוכל לפשט את משוואת הרצף למשוואה:

המערכת של ארבע המשוואות הללו מהווה את הצורה הכי שכיחה ונלמדת של משוואות נאוויה-סטוקס.

המשוואות בקואורדינטות גליליות 

שימוש בקואורדינטות גליליות יתן לנו את מערכת המשוואות הבאה:

 

לרוב נבחר את מערכת הצירים כך שרכיבי התאוצה הגרווטציונית יהיו קבועים - הן על ידי בחירת ציר z כך שיהיה בכיוון הגרוויטציה והן על ידי בחירת מערכת הצירים כך שכח המשיכה יתבטל עם כוח הנובע מהפרש לחצים.

משוואת הרצף בקואורדינטות גליליות:

נוח מאוד לקבוע את מערכת הצירים כך שהמערכת תהייה אקסי-סימטרית. במקרה זה אין למשוואות תלות בזווית .

המשוואות בקואורדינטות כדוריות 

משוואות נאוויה-סטוקס בקואורדינטות כדוריות הם:

כאשר  היא קו הרוחב, ו- היא האזימוט.

משוואת הרצף בקואורדינטות כדוריות:

השפעת מספר ריינולדס של הנוזל על המשוואות 

מספר ריינולדס הוא גודל חסר ממד, המבטא את היחס בין כוחות האינרציה של הזורם לבין כוחות החיכוך הפועלים בין הזורם לסביבה.

אם לזורם יש מספר ריינולדס גדול, אזי כוחות האינרציה של הזורם גדולים יחסית מהכוחות שנובעים מצמיגותו של הגוף, וניתן להזניח את האיברים במשוואת נאוויה-סטוקס התלויים בצמיגות. מאידך, נוזל עם מספר ריינולדס קטן במיוחד יושפע הרבה יותר מצמיגותו מאשר מכוחות האינרציה, וניתן להזניח את כל איברי המשוואה התלווים ב-, המהווים את כלל האיברים מצדו השמאלי של השוויון.

הנחות מפשטות אפשריות למשוואות 

להלן רשימה של כמה הנחות אשר מפשטות את משוואות נאוויה סטוקס, ובכך גורמות לכך שיהיה יותר קל למצוא פתרון אנליטי או נומרי.

ראו גם 
 קירוב אוסין

קישורים חיצוניים

 
 

מכניקת הזורמים
נאוויה-סטוקס
בעיות פתוחות בפיזיקה
בעיות המילניום של מכון קליי