הצגת המקור של הדף "פרדוקס ד'אלמבר"

[[קובץ:Alembert.jpg|שמאל|ממוזער|250px|ז'אן לה רון ד'אלמבר, הוגה הפרדוקס]]
[[קובץ:Drag sphere nasa.svg|שמאל|ממוזער|250px|ערכים אמפיריים עבור מקדם גרר כפונקציה של מספר ריינולדס. הקו המלא מייצג ספירה חלקה והקו השבור מייצג ספירה מחוספסת. המספרים לאורך הקווים מייצגים שינוי במשטר הזרימה והשינויים במקדם הגרר בהתאם: 2: זרימה צמודה (זרימת סטוקס) וזרימה מנותקת יציבה 3: זרימה מנותקת עם שכבת גבול למינרית במעלה ההיתנקות היוצרת שובל ערבולים סדורים 4: זרימה מנותקת עם שיכבת גבול במעלה ההיתנתקות והזרימה בשובל היא [[זרימה טורבולנטית]] 5: זרימה מנותקת על קריטית עם שכבת גבול טורבולנטית]]

ב[[מכניקת הזורמים]], '''פרדוקס ד'אלמבר''' (או '''הפרדוקס ההידרודינמי''') מתייחס לסתירה בין התיאוריה לתופעות הנצפות בניסוי אליה הגיע ב-1752 המתמטיקאי הצרפתי [[ז'אן לה רון ד'אלמבר]]. ד'אלמבר הוכיח שב[[זרימה פוטנציאלית]] בלתי דחיסה ובלתי [[צמיגות|צמיגה]], [[גרר (כוח)|כוח הגרר]] על גוף שנע ב[[מהירות]] קבועה יחסית לזורם שווה לאפס.{{הערה|Gimberg, Pauls & Frisch (2008)}} היעלמות כוח הגרר בתנאים אלו באה בסתירה ישירה לתצפיות של גרר משמעותי על גופים שנעים יחסית לזורמים כגון אוויר ומים; במיוחד במהירויות גבוהות המתאימות ל[[מספר ריינולדס|מספרי ריינולדס]] גבוהים.{{ש}}כבר ב-1749 ד'אלמבר אמר על כך: "נראה שהתאוריה (של זרימה פוטנציאלית), שפותחה בקפדנות האפשרית, נותנת לפחות בכמה מקרים התנגדות שנעלמת לחלוטין, פרדוקס יחיד שאני משאיר למתמטיקאים העתידיים להסביר".{{הערה|Reprinted in: Jean le Rond d'Alembert (1768)}}{{ש}}

פרדוקס פיזיקלי מציין פגם בתאוריה. בשל פגם זה, מכניקת הזורמים איבדה את האמון של קהילת המהנדסים, דבר אשר על פי חתן פרס נובל בכימיה [[סיריל נורמן הינשלווד]], הביא לפיצול מצער - בין ה[[הידראוליקה]], שהייתה התבוננות בתופעות שלא ניתן להסביר, ומכניקת זורמים תאורטית המסבירה תופעות שלא ניתן להבחין בהן.{{הערה|{{Citation | author= M.J. Lighthill | authorlink=James Lighthill | title=Physics of gas flow at very high speeds | journal=Nature | volume=178 | page=343 | year=1956 |doi=10.1038/178343a0 |bibcode = 1956Natur.178..343. | issue=4529}} Report on a conference.}}{{ש}}

על פי [[הקונצנזוס המדעי]], הסתירה נובעת מההשפעות הקטנות של הצמיגות. התיאוריה הפוטנציאלית מזניחה לחלוטין את קיומן אך במציאות יש להן חשיבות על הזרימה. במהלך המאה ה-19 היו התקדמויות עצומות בתחום של [[חיכוך]] בזרימה צמיגה; התקדמויות אלו כללו התקדמויות ניסיוניות ותאורטיות. בפרט, בעניין הפרדוקס, התקדמויות אלו הגיעו לשיאן בגילוי ותיאור של שכבות גבול דקות על ידי [[לודוויג פרנטל]] ב-1904. פרנטל גילה שאפילו במספרי ריינולדס גבוהים מאוד, ייוצרו שכבות גבול דקות כתוצאה מכוחות הצמיגות. על אף ששכבות אלו דקות, פרנטל הראה שקיומן יוצר אזור לחץ נמוך במרד הזרם ובכך יוצר גרר על גופים.{{הערה|שם=LandauLifshitz_15|Landau & Lifshitz (1987), p. 15.}}{{הערה|שם=Batchelor_264|[[George Batchelor|Batchelor]] (2000), pp. 264–265, 303, 337.}}{{הערה|שם=Schlichting_XIX|{{citation
| title=Boundary-layer theory
| first1=Hermann
| last1=Schlichting
| author1-link=Hermann Schlichting
| first2=Klaus
| last2=Gersten
| publisher=Springer
| year=2000
| isbn=978-3-540-66270-9
| edition=8th revised and enlarged
}}, pp. XIX–XXIII.}}{{הערה|שם=Veldman2001|{{citation
| title=Matched asymptotic expansions and the numerical treatment of viscous–inviscid interaction
| first=A.E.P.
| last=Veldman
| journal=Journal of Engineering Mathematics
| volume=39
| year=2001
| pages=189–206
| doi=10.1023/A:1004846400131
|bibcode = 2001JEnMa..39..189V }}
}}

מבחינה מעשית, הפרדוקס נפתר בהתאם לתיאור שהוצע על ידי פרנטל.{{הערה|שם=LandauLifshitz_15}}{{הערה|שם=Batchelor_264}}{{הערה|שם=Schlichting_XIX}}{{הערה|שם=Veldman2001}}{{הערה|שם=Stewartson|Stewartson (1981).}}{{הערה|{{citation | first1=R.P. | last=Feynman | first2=R.B. | last2=Leighton | authorlink2=R. B. Leighton | first3=M. | last3=Sands | year=1963 | title=[[The Feynman Lectures on Physics]] | isbn=978-0-201-02116-5 | publisher=Addison-Wesley | location=Reading, Mass. }}, Vol. 2, §41–5: The limit of zero viscosity, pp. 41–9 – 41–10.}} אך מבחינה פורמלית - [[מתמטיקה|מתמטית]] - חסרה הוכחה שהזרימה אותה פרנטל הציע היא הזרימה המתקבלת מפתרון מלא של [[משוואות נאוויה-סטוקס|משוואות נאוייה-סטוקס]] (אשר בהן משתמשים לתאר זרימה צמיגה). הוכחה זו קשה לספק, כמו בבעיות רבות אחרות בזרימה המערבות את משוואות נאוויה-סטוקס.

== חיכוך צמיגי: סן-ונה, נאוויה, וסטוקס ==
הצעדים הראשונים לקראת פתרון הפרדוקס נעשו על ידי [[סן-ונה]], שמידל חיכוך נוזל צמיג. הוא כתב בשנת 1847:{{הערה|{{citation | last1=Saint-Venant | first1=A. | author1-link=Adhémar Jean Claude Barré de Saint-Venant | year=1847 | title=Mémoire sur la théorie de la résistance des fluides. Solution du paradoxe proposé à ce sujet par d'Alembert aux géomètres. Comparaison de la théorie aux expériences | journal=Comptes Rendu des Séances de l'Academie des Science | volume=24 | pages=243–246 | url=http://gallica.bnf.fr/ark:/12148/bpt6k29812 | accessdate=2008-08-15}}}}
{{ציטוט|תוכן="אבל מגלים תוצאה אחרת אם, במקום נוזל אידיאלי - מושא החישובים של המתמטיקאים של המאה שעברה - משתמשים בנוזל אמיתי, המורכב ממספר סופי של מולקולות, ואשר במצב של תנועה מפעיל כוחות לחץ לא שווים, או כוחות אשר יש בהם רכיבים משיקים לאלמנטי המשטח שדרכו הם פועלים; רכיבים שאליהם אנו מתייחסים כחיכוך של הנוזל, שם שכבר ניתן להם מימי [[דקארט]], [[ניוטון]] ו[[ונטורי]]".}}
זמן קצר לאחר מכן, בשנת 1851, [[ג'ורג' סטוקס|סטוקס]] חישב את הגרר הפועל על כדור בזרימת סטוקס, המכונה [[חוק סטוקס]].{{הערה|{{citation | author=Stokes, G.G. | title=On the effect of the internal friction of fluids on the motion of pendulums | journal=Trans. Cambridge Phil. Soc. | volume=9 | pages=8–106 | year=1851 |bibcode = 1851TCaPS...9....8S }}. Reprinted in {{citation | author=Stokes, G.G. | publisher=Cambridge Univ. Press | edition=2nd | volume=3 | title=Mathematical and Physical Papers }}}} זרימת סטוקס מתרחשת בגבול התחתון של מספרי ריינולדס בהן [[משוואות נאוויה-סטוקס]] עוסקות.{{הערה|(Batchelor, 2000, pp. 245–246).}}

עם זאת, כאשר הזרימה מתוארת על ידי המשוואות הלא-ממדיות, משוואות נאוויה-סטוקס הצמיגות מתכנסות ל[[משוואות אוילר (מכניקת הזורמים)|משוואות אוילר]] הבלתי צמיגות בגבול של מספרי ריינולדס גבוהים. דבר זה מעיד שהזרימה צריכה להתכנס לפתרון הבלתי צמיג של זרימה פוטנציאלית. כלומר, הגבול התאורטי של משוואות הזרימה במספר ריינולדס גבוה מוביל לתוצאה תאורטית של אפס גרר עליה מצביע פרדוקס ד'אלמבר. באופן מעשי הזורם מפעיל גרר לא אפסי בזרימה זו.{{הערה|שם=Batchelor337|Batchelor (2000), pp. 337–343 & plates.}} לכן, שאלות הנוגעות לאמינות של מכניקת זורמים הועלו שוב במחצית השנייה של המאה ה-19.

== היפרדות של זרימה לא צמיגה: קירכהוף וריילי ==
[[קובץ:Cavity flow plate.svg|שמאל|ממוזער|250px|זרימה פוטנציאלית, פרידה, בלתי דחיסה מסביב למשטח בדו מימד{{הערה|Batchelor (2000), p. 499, eq. (6.13.12).}} עם לחץ קבוע בשני קווי זרם המופרדים על גבי הגוף]]

במחצית השנייה של המאה ה-19, המוקד עבר שוב לכיוון שימוש בתאוריית זרימה לא צמיגה לתיאור של גרר - בהנחה שהצמיגות הופכת להיות פחות חשובה במספרי ריינולדס גבוהים. המודל המוצע על ידי [[גוסטב קירכהוף|קירכהוף]]{{הערה|{{citation
| last=Kirchhoff
| first=G.
| authorlink=Gustav Kirchhoff
| title=Zur Theorie freier Flüssigkeitsstrahlen
| journal=Journal für die reine und angewandte Mathematik
| volume=70
| pages=289–298
| year=1869
}}}} ו[[ג'ון ויליאם סטראט ריילי|ריילי]]{{הערה|שם=Rayleigh_1876|{{citation
| last=Rayleigh
| first=Lord
| authorlink=Lord Rayleigh
| title=On the resistance of fluids
| journal=Philosophical Magazine
| volume=5
| issue=2
| pages=430–441
| year=1876
}}. Reprinted in: ''Scientific Papers'' '''1''':287–296.
}} היה מבוסס על ה[[משפט הלמהולץ|תאוריה]] של [[הרמן פון הלמהולץ|הלמהולץ]]{{הערה|{{citation
| last=Helmholtz
| first=H. L. F. von
| authorlink=Hermann von Helmholtz
| title=Über discontinuierliche Flüssigkeitsbewegungen
| journal=Monatsberichte der Königlichen Akademie der Wissenschaften zu Berlin
| year=1868
| volume=23
| pages=215–228
}}. Reprinted in: ''Philosophical Magazine'' (1868) '''36''':337–346.}} ומורכב משובל תמידי מאחורי הגוף. ההנחות אשר חלו על האזור של השובל כוללות: מהירות הזורם שווה למהירות הגוף, והלחץ קבוע. האזור של שובל זה מופרד מהזרימה הפוטנציאלית שמחוץ לגוף ולשובל בעקבות [[מערבולת|מערבולות]] סדורות עם קפיצות רציפות במהירות המשיקית על פני הממשק.{{הערה|Batchelor (2000), pp. 338–339}}{{הערה|שם=Wu_1972|{{citation
| last1=Wu
| first1=T. Y.
| year = 1972
| title = Cavity and wake flows
| journal = Annual Review of Fluid Mechanics
| volume = 4
| pages = 243–284
| doi = 10.1146/annurev.fl.04.010172.001331
|bibcode = 1972AnRFM...4..243W }}}} על מנת לקבל שאין אפס גרר על הגוף, אזור השובל חייב להמשיך עד [[אינסוף]]. ניתן לפתור באופן מלא את התיאוריה הזו עבור זרימת קירכהוף בניצב למשטח. התאוריה קובעת בצורה נכונה שכוח הגרר צריך להיות פרופורציונלי לריבוע של המהירות.{{הערה|שם=Lamb_679|{{citation
| first=H.
| last=Lamb
| authorlink=Horace Lamb
| year=1994
| title=Hydrodynamics
| publisher=Cambridge University Press
| edition=6th
| isbn=978-0-521-45868-9
| page=679
}}}} בהתחלה, התאוריה יכלה להיות מיושמת רק לזרימות המופרדות בקצוות חדים. מאוחר יותר, בשנת 1907, התאוריה הורחבה על ידי [[טוליו לוי-צ'יוויטה|לוי-צ'יוויטה]] לזרימות המופרדות מגבולות חלקות ומעוגלות.{{הערה|{{citation
| last=Levi-Civita
| first=T.
| authorlink=Tullio Levi-Civita
| title=Scie e leggi di resistenza
| year=1907
| journal=Rendeconti del Circolo Matematico di Palermo
| volume=23
| pages=1–37
}}}} כבר בעת פיתוח התיאוריה, היה ידוע שחלק מהנחות התיאוריה אינן מתקיימות במציאות מאחר שבאופן מעשי בזרימות כאלו השובל אינו יציב, שכן, המערבולת הסדורות פיתחו [[אי-יציבות הידרודינמית#אי יציבות קלווין-הלמהולץ|אי יציבות קלווין – הלמהולץ]].{{הערה|שם=Wu_1972}} מודל זה של זרימה מתמידה נחקר עוד בתקווה שעדיין יוכל לתת אומדן סביר של גרר.

עם זאת, התנגדויות בסיסיות התעוררו כנגד גישה זו: [[ויליאם תומסון|קלווין]] ציין שאם משטח נע במהירות קבועה דרך הנוזל, והמהירות בשובל שווה לזו של המשטח. ההיקף האינסופי של השובל - המתרחב ככל שהמרחק מהמשטח מתרחק כפי שמתקבל מהתאוריה - משמעותו שיש [[אנרגיה קינטית]] אינסופית בשובל. משמעות שאנחנו חייבים לדחות על בסיס פיזיקלי.{{הערה|שם=Lamb_679}}{{הערה|{{citation
| title=On the doctrine of discontinuity of fluid motion, in connection with the resistance against a solid moving through a fluid
| author=Lord Kelvin
| journal=Nature
| volume=50
| issue=1300
| pages=524–5, 549, 573–5, 597–8
| year=1894
| doi=10.1038/050524e0
|bibcode = 1894Natur..50..524K }} Reprinted in: ''Mathematical and Physical Papers'' '''4''': 215–230.}} יתר על כן, הפרש הלחצים הנצפה בין החלק הקדמי והחלק האחורי של המשטח וכוחות הגרר כתוצאה מכך, הם הרבה יותר גדולים מהצפוי: למשטח שטוח בניצב לזרימה מקדם הגרר המחושב הוא <math>C_D=0.88</math>, ואילו בניסויים <math>C_D=2.0 </math>. זאת, בעיקר בשל שאיבה בצד השובל של המשטח, הנגרם על ידי הזרימה הבלתי יציבה בשובל האמיתי (בניגוד לתאוריה שמניחה מהירות זרימה קבועה ששווה למהירות של המשטח).{{הערה|שם=Batchelor_500|Batchelor (2000), p. 500.}} לכן, תאוריה זו אינה מספקת כדי להסביר את הגרר שפועל על גוף בזרימה.
== שכבות גבול דקות: פרנטל ==
[[קובץ:Flow pressure with friction.svg|שמאל|ממוזער|250px|חלוקת הלחץ בזרימה סביב צילינדר מעגלי. הקווים הכחולים המקווקווים מראים את חלוקת הלחץ לפי האוריית הזרימה הפוטנציאלית, הגורמת לפרדוקס ד'אלמבר. הקווים הכחולים הרציפים מגיעים בניסויים שנעשו במספרי ריינולדס גבוהים.]]
הפיזיקאי הגרמני [[לודוויג פרנטל]] הציע בשנת 1904 כי ההשפעות של שכבת גבול צמיגה דקה אולי יכולה להיות המקור של גרר משמעותי.{{הערה|שם=Prandtl1904|Prandtl (1904).}} פרנטל שיער, שבמהירויות גבוהות ומספרי ריינולדס גבוהים, [[תנאי שפה]] של אי-החלקה גורם לווריאציה משמעותית של מהירויות הזרימה בשכבה דקה בקרבת הגוף. זה מוביל ליצירה של [[ערבוליות]] ופיזור צמיג של אנרגיה קינטית בשכבת הגבול. פיזור האנרגיה, אשר חסרה בתאוריות של זרימה לא צמיגה, מסבירה את ההפרדה של הזרימה על גבי גופים שאינם פשוטים. הלחץ הנמוך באזור השובל יוצרות גרר צורה, אשר יכול להיות גדול יותר מאשר גרר החיכוך בשל [[מאמץ גזירה|לחץ הגזירה]] הצמיגי על הקיר.{{הערה|שם=Batchelor337}}

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

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

במקרים [[אווירונאוטיקה|אווירודינמיים]], התאוריה של פרנטל ניתנת ליישום ישירות לגופים יעילים כמו כנפיים דקים בהם, יש גרר על המשטח כתוצאה ויש גם גרר צורה אשר נובע מההשפעה של שכבת הגבול הדקה והשובל הדק שנוצר על הפיזור לחצים מסביב לכנפיים דקות.{{הערה|שם=Schlichting_XIX}}{{הערה|שם=Batchelor_302|Batchelor (2000) pp. 302–314 & 331–337.}}
== שאלות פתוחות ==
לוודא, כפי שפרנטל הציע, שלגורם בעל משמעות זניחה (השפעת הצמיגות זניחה ככל שמגדילים את מספר ריינולדס) יש השפעה גדולה - גרר משמעותי - עשוי להיות משימה קשה מאוד. המתמטיקאי [[גארט בירקהוף]] בפרק הפתיחה של ספרו הידרודינמיקה,{{הערה|Garrett Birkhoff, ''Hydrodynamics: a study in logic, fact, and similitude'', Princeton University Press, 1950}} כותב על מספר פרדוקסים של מכניקת זורמים (כולל פרדוקס ד’אלמבר) ומביע ספק ברור בפתרונות הרשמיים שלהם:
{{ציטוט|תוכן="יתר על כן, אני חושב שלייחס את כולם להזנחה של צמיגות זו פשטנות בלתי מוצדקת. שורש הבעיה טמון עמוק יותר בדיוק בחוסר ההקפדה הדדוקטיבית שחשיבותה ממוזערת בתדירות גבוהה על ידי פיסיקאים ומהנדסים".{{הערה|שם=autogenerated1|Birkhoff (1950) p. 21.}}}}
בפרט לפרדוקס ד’אלמבר, הוא מעלה עוד דרך אפשרית ליצירתו של גרר: חוסר יציבות של הפתרונות האפשריים של הזרימה הפוטנציאלית למשוואות אוילר. בירקהוף קובע:
{{ציטוט|תוכן="בכל מקרה, בסעיפים הקודמים מובהר שהתאוריה של זרימה לא צמיגה אינה שלמה. ואכן, ההיגיון המוביל למושג של "זרימה תמידית" הוא לא חד משמעי, אין שום הצדקה [[ריגורוזי]]ת לביטול הזמן כמשתנה בלתי תלוי. לכן למרות זרימות דיריכלה (פתרונות פוטנציאלים) וזרימות מתמידות אחרות הן מבחינה מתמטית אפשריים, אין סיבה להניח שכל זרימה קבועה היא יציבה".{{הערה|שם=autogenerated1 }}}}
ב-1951 המתמטיקאי ג'יימס ג'יי סטוקר מבקר בחריפות את הפרק הראשון בספרו של בירקהוף:
{{ציטוט|תוכן="[אני] מתקשה להבין בשביל איזה חלק מהקוראים נכתב הפרק הראשון. לקוראים שמכירים הידרודינמיקה הרוב המוחלט של המקרים שהובאו כפרדוקסים שייכים לקטגוריה של טעויות שמזמן תוקנו, או לקטגוריה של פערים בין התאוריה והניסויים אשר סיבותיהם כבר מובנים היטב. מצד השני,מאוד צפוי שההדיוטים יקבלו מקריאת פרק זה רושם מוטעה על כמה מההישגים החשובים והשימושיים בהידרודינמיקה".{{הערה|{{Citation | author=James J. Stoker | url=http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&id=pdf_1&handle=euclid.bams/1183516308 | title=Review: Garrett Birkhoff, Hydrodynamics, a study in logic, fact, and similitude | journal=Bull. Amer. Math. Soc. | volume=57 | issue=6 | year=1951 | pages=497–499 | doi=10.1090/S0002-9904-1951-09552-X | postscript=. }}}}}}
במהדורה השנייה והמתוקנת של הידרודינמיקה של בירקהוף, שתי ההצהרות שלעיל לא הופיעו. החשיבות והתועלת של ההישגים שנעשו בנושא פרדוקס ד’אלמבר נבדקו על ידי סטיורטסון שלושים שנה לאחר מכן. מאמר הסקירה הארוך שלו מתחיל:{{הערה|שם=Stewartson}}
{{ציטוט|תוכן="מכיוון שתיאורית הזרימה הלא צמיגה הקלסית מובילה למסקנה האבסורדית שההתנגדות שחווה גוף שנע דרך נוזל עם מהירות אחידה היא אפס, מאמצים רבים שנעשו במהלך מאה השנים האחרונות להציע תאוריות חלופיות ולהסביר כיצד כוח חיכוך זניח בנוזל, יכול בכל זאת להיות השפעה משמעותית על תכונות הזרימה. השיטות המשמשות בתחום הן שילוב של תצפיות ניסיוניות, חישוב לעתים קרובות בקנה מידה גדול מאוד, וניתוח של המבנה האסימפטוטי של הפתרון כשהחיכוך שואף לאפס. ההתקפה הזאת, שבאה משלשה מישורים אלו, זכתה להצלחה ניכרת, במיוחד בעשר השנים האחרונות, כך שעכשיו אפשר להחשיב במידה רבה את הפרדוקס כפתור".}}

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

== הוכחה של אפס גרר בזרימה פוטנציאלית תמידית ==
=== זרימה פוטנציאלית ===
[[קובץ:Potential cylinder.svg|שמאל|ממוזער|250px|קווי זרם של זרימה פוטנציאלית מסביב לצילינדר עגול בזרימה אחידה.]]
שלוש ההנחות העיקריות בגזירה של פרדוקס ד'אלמבר הן שהזרימה הקבועה היא בלתי דחיסה, לא צמיגה, ואי רוטציונית.{{הערה|This article חלק 6.4 של Batchelor (2000).}} נוזל לא צמיג מתואר על ידי משוואות אוילר, שבזרימה בלתי דחיסה נראות כדלהלן:
:<math>\begin{align} & \boldsymbol{\nabla} \cdot \boldsymbol{u} = 0 && \text{(Conservation of mass)} \\ & \frac{\partial}{\partial t} \boldsymbol{u} + \left(\boldsymbol{u} \cdot \boldsymbol{\nabla}\right) \boldsymbol{u} = - \frac{1}{\rho} \boldsymbol{\nabla} p && \text{(Conservation of momentum)} \end{align}</math>

כאשר <math>u</math> הוא מהירות הזורם, <math>p</math> הלחץ, <math>\rho</math> הצפיפות, ו<math>\nabla</math> הוא [[אופרטור]] הגרדיאנט. ההנחה שהזרימה היא רוטציונית גוררת שהמהירות מקיימת <math>\nabla\times u=0</math> ולכן אנחנו מקבלים:
:<math>\left(\boldsymbol{u} \cdot \boldsymbol{\nabla}\right) \boldsymbol{u} = \tfrac12 \boldsymbol{\nabla} \left(\boldsymbol{u} \cdot \boldsymbol{u}\right) - \boldsymbol{u} \times \boldsymbol{\nabla} \times \boldsymbol{u} = \tfrac12 \boldsymbol{\nabla} \left(\boldsymbol{u} \cdot \boldsymbol{u}\right) \qquad (1)</math>
כאשר השוויון הראשון הוא זהות והשוויון השני נובע מהעובדה שהזרימה אי-רוטציונית. בנוסף, לכל זרימה אי-רוטציונית, קיימת פונקציית מהירות <math>\varphi</math> כך ש<math>u=\nabla \varphi</math>. הכנסת כל זה למשוואת שימור התנע נותן:
:<math>\boldsymbol{\nabla} \left( \frac{\partial\varphi}{\partial t} + \tfrac12 \boldsymbol{u} \cdot \boldsymbol{u} + \frac p\rho \right) = \boldsymbol{0}</math>
לכן, החלק שבסוגריים חייב להיות קבוע (כל תלות שיש בזמן יכולה להתבטל על ידי הגדרה מגדש של <math>\varphi</math>). בהנחה שהזורם נמצא במנוחה באינסוף ושהלחץ מוגדר כאפס שם, הקבוע שווה לאפס, ולכן:
<math> \frac{\partial\varphi}{\partial t} + \tfrac12 \boldsymbol{u} \cdot \boldsymbol{u} + \frac p\rho = 0, \qquad (2) </math>:

שזה [[משוואת ברנולי]] לזרימה פוטנציאלית לא יציבה.

=== אפס גרר ===
אם גוף נע במהירות קבועה <math>v</math> דרך הנוזל שנמצא במנוחה רחוק מאוד - באינסוף. לכן שדה המהירות של הנוזל חייב להקבע על ידי הגוף, ולכן הוא מהצורה <math>u(x,t)=u(x-v\cdot t,0)</math> כאשר <math>x</math> הוא הקוארדינטה של הווקטור המרחבי, ולכן:
:<math>\frac{\partial \boldsymbol{u}}{\partial t} + \left( \boldsymbol{v} \cdot \boldsymbol{\nabla} \right) \boldsymbol{u} = \boldsymbol{0}. </math>

מכיוון ש<math>u=\nabla \varphi </math>, אפשר לעשות אינטגרציה לפי <math>x</math> ולקבל:
:<math>\frac{\partial\varphi}{\partial t} = -\boldsymbol{v} \cdot \boldsymbol{\nabla} \varphi + R(t) = -\boldsymbol{v} \cdot \boldsymbol{u} + R(t). </math>

הכוח <math>F</math> שהנוזל מפעיל על הגוף מחושב באמצעות [[אינטגרל משטחי]]:
:<math>\boldsymbol{F} = - \int_A p\, \boldsymbol{n}\; \mathrm{d} S </math>

כאשר <math>A</math> הוא שטח הגוף, ו<math>n</math> הוא וקטור הנורמל למישור הגוף. אבל ממשואה (2) אנחנו מקבלים:
:<math> p = - \rho \Bigl( \frac{\partial\varphi}{\partial t} + \tfrac12 \boldsymbol{u} \cdot \boldsymbol{u} \Bigr) = \rho \Bigl( \boldsymbol{v} \cdot \boldsymbol{u} - \tfrac12 \boldsymbol{u} \cdot \boldsymbol{u} - R(t) \Bigr), </math>

לכן:
:<math> \boldsymbol{F} = - \int_A p\, \boldsymbol{n}\; \mathrm{d} S = \rho \int_A \left(\tfrac12 \boldsymbol{u} \cdot \boldsymbol{u} - \boldsymbol{v} \cdot \boldsymbol{u}\right) \boldsymbol{n}\; \mathrm{d} S, </math>

כאשר התרומה של <math>R(t)</math> לאינטגרל שווה לאפס.
בשלב זה נהיה הרבה יותר פשוט לעבוד עם רכיבי הווקטור. הרכיב ה<math>k</math> של המשוואה הזאת הוא:
:<math> F_k = \rho \int_A \sum_i (\tfrac12 u_i^2 - u_i v_i) n_k \, \mathrm{d} S. \qquad (3) </math>

אם <math>V</math> הוא הנפח של הנוזל, אזי על פי [[משפט גאוס]]:
:<math>\frac12 \int_A \sum_i u_i^2 n_k \, \mathrm{d} S = - \frac12 \int_V \frac{\partial}{\partial x_k} \left( \sum_i u_i^2 \right) \,\mathrm{d} V. </math>

צד ימין הוא אינטגרל על נפל אינסופי ולכן צריך הצדקה, אשר אפשר להשיגה מתאוריית הזרימה הפוטנציאלית אשר אומרת כי המהירות דועכת כמו <math>r^{-3}</math> - כמו [[פוטנציאל חשמלי]] של דיפול בגוף סופי תלת־ממדי. האינטגרנד בתוך האינטגרל הנפחי יכול להכתב כדלהלן:
:<math>\frac12 \frac{\partial}{\partial x_k} \left( \sum_i u_i^2 \right) = \sum_i u_i \frac{\partial u_k}{\partial x_i} = \sum_i \frac{\partial(u_iu_k)}{\partial x_i}</math>

כאשר שוויון (1) והאי-דחיסות של הנוזל ממומשים. כאשר מחזירים את הנוסחא הזו בחזרה לתוך האינטגר הנפחי ומשתמשים בחוק גאוס שוס, מקבלים:
:<math> - \frac12 \int_V \frac{\partial}{\partial x_k} \left( \sum_i u_i^2 \right) \,\mathrm{d} V = -\int_V \sum_i \frac{\partial(u_iu_k)}{\partial x_i} \,\mathrm{d} V = \int_A u_k \sum_i u_i n_i \,\mathrm{d} S.</math>

כאשר מכניסים את זה למשוואה (3) אנו מוצאים ש:
:<math> F_k = \rho \int_A \sum_i (u_k u_i n_i - v_i u_i n_k) \, \mathrm{d} S. </math>

הנוזל אינו יכול לחדו אל תוך הגוף, ולכן <math>n\cdot u=n\cdot v</math> על משטח הגוף, ולכן:
:<math> F_k = \rho \int_A \sum_i (u_k v_i n_i - v_i u_i n_k) \, \mathrm{d} S. </math>
ולבסוף, כוח הגרר הפועל על הגוף חייב להיות בכיוון התנועה, ולכן:
:<math> F_{drag}= \boldsymbol{v} \cdot \boldsymbol{F} = \sum_i v_i F_i = 0.</math>

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

== הערות שוליים ==
{{הערות שוליים|יישור=שמאל}}

[[קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה]]
[[קטגוריה:פרדוקסים פיזיקליים|ד'אלמבר]]
[[קטגוריה:מכניקת הזורמים]]