達朗貝爾佯謬

在流體動力學中，達朗貝爾佯謬運動的物體，尤其在與高雷諾數相對應的高速情形，阻力卻相當可觀，這點與零阻力的證明直接矛盾。而這也是可逆性佯謬的具體例子。達朗貝爾於1749年在柏林學院對流動阻力問題的研究中得出結論：「在我看來，這個儘可能以嚴謹態度發展起來的理論」指出該理論存在著缺陷。因此，流體力學從一開始就被工程師們質疑，以諾貝爾獎獲得者西里爾·欣謝爾伍德爵士的話來說，這導致了理論流體力學領域領域之間不幸發生分裂 。根據科學共識，佯謬的成因是由於忽略了粘度效應。隨著與科學實驗結合，粘性流體摩擦理論在19世紀取得了巨大的進步。1904年，路德維希·普朗特發現並描述了薄邊界層，從而解決了該佯謬。即使在非常高的雷諾數下，粘滯力依然會產生薄邊界層。對於流線型物體，這些粘滯力會產生，對於鈍體。流體力學學界的普遍觀點是，從實際的角度來看，這個佯謬是按照普朗特提出的思路解決的。 但就像許多其他涉及納維-斯托克斯方程的流體問題一樣，該佯謬的正式數學證明仍付之闕如，且難以給出。粘性摩擦力：聖維南、納維和斯托克斯.聖維南初步提出佯謬的解決方案 ，他對粘性流體的摩擦力進行了建模。聖維南在1847年陳述道：但是，如果人們不使用理想流體，而是使用由有限數量的分子組成的真實流體，且其運動狀態有著不等量、與表面元素相切的壓力或力，那麼人們就發現了另一個結果。我們把這作用力的切分量稱為流體摩擦力，從笛卡爾和牛頓開始，到文丘裡為止，就一直使用這名字。不久之後，在1851年， 斯托克斯計算出一顆球體在斯托克斯流中所受到的阻力，被稱為斯托克斯定律 。 斯托克斯流指的是，用於描述粘性液體運動的納維-斯托克斯方程在低雷諾數的極限情形。然而，當以無因次形式來研究流動問題時，粘性納維-斯托克斯方程會增加雷諾數，從而收斂至無粘性尤拉方程。這表明流動應收斂於勢流理論的無粘性解，即具有達朗貝爾佯謬的零阻力。關於這點，在阻力和流體觀察的實驗測量中，沒有發現這方面的證據。在19世紀下半葉，這又再度引發了流體力學的應用性問題。非黏性分離流體：克希荷夫和瑞利.在19世紀下半葉，焦點再次轉回使用非粘性流理論來描述流體阻力(假設粘度在高雷諾數下變得不那麼重要)。 克希荷夫 和瑞利 提出了一種模型，基於亥姆霍茲 的自由流線理論以及在物體背後充滿著穩定尾流。尾流區域的假設包括：「流速等於物體速度」和「壓力恆定」。該尾流區域與物體外的勢流隔離，在交界處，因為切線速度不連續所產生的漩渦帶引發了尾流。 為了在物體上產生非零阻力，尾流區域必須無窮延伸。而克希荷夫流垂直於平板確實滿足了這個條件。該理論正確地指出阻力與速度的平方成正比。 起初，該理論只適用於與尖銳邊緣分離的流動。後來，在1907年，列維 - 齊維塔將其擴充套件為與平滑彎曲邊界分離的流動。人們很快就發現，這種穩流並不穩定，因為漩渦帶會產生所謂的開爾文 - 亥姆霍茲不穩定性 。 但這種穩流模型仍被進一步研究，希望能給出一個合理的阻力估計。瑞利問道：「...阻力的計算是否會受到這種情況的實質性影響，亦即，所承受的壓力必須幾乎獨立於障礙物後部某一段距離所發生的事情，而那邊是不穩定性最早浮現的地方。」""然而，此方法招致了對其基本原理的異議：開爾文觀察到，如果一個板子在流體中以恆速運動。因此，這一理論不能令人滿意地解釋物體在流體中移動的阻力。不過它可以應用於所謂的腔流，即假定在物體後面存在一個真空腔 ，而不是充滿流體的尾流。薄邊界層：普朗特.德國物理學家路德維希·普朗特在1904年提出，這種可觀阻力可能是源於薄粘性邊界層的影響。 普朗特提出的觀點是，在高速及高雷諾數的情況，由於，在靠近體壁的薄層流速有著很大的差異。這導致邊界層中渦量的產生以及動能的粘性耗散 。對於在分離流中的鈍體，最終會導致無粘性理論中所缺乏的能量耗散。尾流區域中的低壓會引起形狀阻力 ，並且由於壁面的粘性剪應力，形狀阻力可能還比摩擦阻力大。有證據表明普朗特所說的情況發生在高雷諾數流動中的鈍體，可以從圍繞圓柱體的突然被啟動之流動中看到。流體最初類似於勢流，接著在後滯點附近分離。此後，分離點向上移動，形成低壓分離流區域。普朗特提出這樣的假設：粘性效應在靠近固體邊界的薄層阻力，而所有無粘流理論將預測零阻力。對於航空領域來說，普朗特理論的重要之處在於可以直接應用到如翼型之類的流線型機體，這些機體除了受到表面摩擦力之外，還受到形狀阻力的影響。形狀阻力產生的主因在於，翼型周圍的壓力分佈會受到邊界層和稀薄的尾流的影響。開放性問題.要驗證普朗特所建議的方案是否正確，也就是小原因，可能是非常困難的一件事。數學家加勒特·伯克霍夫，並在其正式解決方法中明確表達了一個疑惑：「再者，我認為將這些都歸咎於對粘度的忽視，是無根據過度簡化，根本就在於更深層次，缺乏精確的演繹嚴謹性，而這個重要性經常被物理學家和工程師輕視。」特別是在達朗貝爾佯謬上，他考慮了另一種產生阻力的可能途徑：尤拉方程勢流解的不穩定性。伯克霍夫說：「無論如何，前面的段落清楚地表明非粘性流動的理論並不完善。實際上，導致『穩定流動』概念的推理是不確定的；沒有嚴格的理由來消除作為獨立變數的時間。因此，儘管狄利克雷流動以及其他穩態流動在數學上是可能的，但沒有理由去假設任何穩態流動都是固定不變的。」1951年，數學家斯托克( James J. Stoker)在對伯克霍夫的書的評論中，對該書的第一章提出尖銳的批評：「評論家發現很難理解第一章是為哪一類讀者寫的。對於熟悉流體動力學的讀者來說，被引用為佯謬的大多數情況要麼屬於錯誤範疇，早已被糾正，要麼屬於理論與實驗之間存在差異的範疇，其原因也已經得到了很好的理解。另一方面，外行人很可能會因為閱讀本章節，對流體動力學中一些重要和有用的成就產生錯誤觀點。」在1960年的伯克霍夫《流體動力學》第二版和修訂版中，上面兩個陳述不再出現。三十年後，斯圖爾特森審查了對達朗貝爾佯謬主題所取得的成就的重要性和實用性。他在1981年長篇調查文章開篇道：「由於經典的無粘性理論導致了一個明顯荒謬的結論，即剛體穿過均勻速度的流體所受到的阻力為零，在過去的一百多年來，人們作出了巨大的努力，提出了各種不同的理論，並解釋了流體中極小的摩擦力是如何對流動特性產生重大影響。所用的方法是實驗觀察，經常性的大規模計算，以及對於摩擦趨於零時的解，對其進行漸近形式結構分析。尤其在過去十年裡，這種三管齊下的進攻取得了相當大的成功，所以現在佯謬可以被視為基本上解決了。」對於物理學中的許多佯謬，解決方案通常超前現有理論。就達朗貝爾佯謬的例子而言，普朗特透過粘性邊界層的發現和建模，提供瞭解決佯謬的基本機制。霍夫曼和約翰遜於2010年8月在《數學流體力學期刊》上 誕生。穩態勢流中的零阻力證明.推導達朗貝爾悖論有三個主要假設，分別是穩流的不可壓縮性、無粘性和無旋性 。 無粘性流體是由尤拉方程所描述，連同其它兩個條件列出如下formula_1其中u表示流速 ，p表示壓力 ，ρ"表示"密度 ，∇是梯度運算元。我們修改尤拉方程中的第二項如下：formula_2其中第一個等式為向量恆等式 ，第二個等式則使用無旋性條件。此外，對於每一個無旋流，存在一個速度位φ，使得u =∇φ"。"將這些代入動量守恆方程後formula_3因此，括號之間的數量必定是常數。假設流體在無窮遠處靜止並將那裡的壓力定義為零，則該常數為零，因此formula_4上式即為非穩態勢流的伯努利方程。零阻力.現在，假設一個物體以恆速v隨著流體移動，流體在無窮遠處靜止。然後流體的速度場必須隨著物體位置而調整，所以它的形式為u(x, t) = u(x − v t, 0)，其中x是空間座標向量，因此：formula_5由於u = ∇φ，因此這可以對x進行積分：formula_6流體施加在物體上的力F由面積分給出formula_7其中A表示物體表面積， n表示物體表面積上的法向量 。但它從得出formula_8因此formula_9關於R(t)的部分，其對積分的貢獻等於零。此時，以向量分量來運算會變得更加容易。該等式的第k個分量為formula_10設V是流體佔據的體積。散度定理說明formula_11右側是無限體積的積分，所以這邊需要一些證明，可以訴諸勢能理論來表明速度u必須作為r−3下降其中r是到物體中心的距離。體積分中的被積函式可重寫如下：formula_12這邊使用了第一個等式以及流體的不可壓縮性。將其代回體積分，並再次使用散度定理。這就產生了formula_13將其代入之中，我們發現formula_14由於液體不能穿透物體，因此在物體表面n · u = n · v。所以,formula_15加上formula_16最後，阻力是在物體移動方向的力，所以formula_17因此阻力消失了，此即為達朗貝爾佯謬。