Arxiv:2104.13904V2 [Physics.Flu-Dyn] 25 Jun 2021
Total Page:16
File Type:pdf, Size:1020Kb
Are Superfluids Lifting? A Novel Variational Theory of Lift Cody Gonzalez∗ and Haithem E. Tahay University of California, Irvine The long-standing controversy about the ability of superfluids to generate lift has persisted mainly because of the lack of a lift theory for superfluids. Here, we revive the historical, yet less-often utilized, Hertz' principle of least curvature, exploiting it to develop a new variational analogue of Euler's equations for the dynamics of an ideal fluid. Using this new variational formulation, we generalize the century-old problem of the flow over a two-dimensional body, to find that lift is a direct consequence of curvature, thus reconciling the seemingly contradicting results in the literature of superfluids[1, 2]. The developed variational principle reduces to the classical Kutta-Zhukovsky condition in the special case of a sharp-edged airfoil, which challenges the accepted wisdom about the Kutta condition being a manifestation of viscous effects. Rather, we found that it represents conservation of momentum. Moreover, the developed variational principle provides, for the first time, a theoretical model for lift over smooth shapes without sharp edges where the Kutta condition is not applicable. This theory resolves the classical debate about the ability of a superfluid to generate lift as it provides conditions on the geometry of the body to be lifting in a dissipation-free medium. I. INTRODUCTION to support this hypothesis. He studied the flow of a su- perfluid Helium II over a flat plate and an ellipse and The classical problem of the flow over a two- found a vanishingly small lift force over these objects at dimensional body (e.g., flat plate, airfoil) is a century- non-zero angles of attack. Hence, he concluded that su- old problem that is ubiquitously found in almost ev- perfluids are non-lifting and that \the classical viscosity ery textbook in aerodynamics and fluid mechanics [3{8]. boundary condition at the trailing edge (the Kutta con- The problem is analytically solvable thanks to three ele- dition) does not apply". ments. First, the potential-flow around a circular cylin- Note that it is already known that the smaller the vis- der is readily known since the 1877 seminal paper of cosity (i.e., the larger the Reynolds number), the larger Lord Rayleigh [9]. Second, the Riemann mapping the- the lift. So, as viscosity is decreased, lift either increases orem (dating back to Riemann's PhD Dissertation 1851) or remains constant. That is, the lift value in the limit ensures that any simply connected domain can be (bi- to a vanishingly small viscosity is finite: the Kutta- holomorphically) mapped to the open disc. So, the flow Zhukovsky lift. Therefore, the above question about around any two-dimensional shape can be easily con- the non-lifting nature of superfluids is interesting from a structed from the cylinder flow via conformal mapping physics perspective because if the hypothesis were true, it between the cylinder and the shape of interest. How- would represent one example in Nature where the physics ever, this solution is not unique. One can always add is not continuous in the limit; the limit of lift as viscosity a circulation of arbitrary strength at the center of the approaches zero is different from the lift value at strictly cylinder, which does not affect the no-penetration bound- zero viscosity (i.e., inviscid). ary condition at all. Interestingly, this circulation is In contrast to the above hypothesis, Musser et al. [2] of paramount importance for lift production; in fact, recently performed quantum simulations of the Gross- it solely dictates the amount of lift generated. There- Pitaevskii equation governing the flow dynamics over an fore, the potential-flow theory alone cannot predict the airfoil in a superfluid. Their simulations show a quan- generated lift force; a closure condition must be pro- tized version of the Kutta-Zhukovsky lift despite the lack vided to fix the dynamically-correct amount of circula- of viscosity in their simulations. However, the continuum tion. Third, the Kutta-Zhukovsky condition has tradi- hypothesis may not be applicable in their ultra-small- tionally provided such a closure. scale simulations. arXiv:2104.13904v2 [physics.flu-dyn] 25 Jun 2021 The question of whether a superfluid (of zero viscos- From the above discussion, there seems to be contra- ity/friction) can generate lift when it flows over a nicely diction between Craig's experiment [1] and the computa- designed body has been lingering for decades. The ac- tions of Musser et al. [2]. The question is: How can one cepted norm asserts that superfluids are non-lifting, and obtain the flow field of a purely inviscid (e.g., a super- the experiment by Craig [1] at Caltech in the 1950s seems fliud) flow over a two-dimensional shape (e.g., flat plate or airfoil)? Ironically, insofar this question seems simple with a well known answer, it is actually not. First of all, why can we not simply perform computational sim- ∗ [email protected] ulations of Euler's equations of an ideal fluid? In fact, y [email protected] it is well known that 2-D inviscid Euler's computations 2 achieve a Kutta-Zhukovsky lift without viscosity [10, 11]. field is determined from purely kinematic analysis with- However, Euler's computations may not be decisive; the out any consideration for dynamical aspects. Therefore, artificial viscosity or numerical dissipation needed for sta- it is fair to expect that such a pure kinematic analysis is ble computations of Euler's equations may imply that the not sufficient to uniquely determine the flow field; the fix obtained computational results are not for a purely in- must come from a dynamical consideration. viscid fluid, but rather for a viscous flow in the limit of a vanishingly small viscosity (see Hirsch [12], Sec. 19.4). Second, the well known potential-flow solution is not B. Variational Formulation is the Solution complete; it requires an auxiliary condition, which is typi- cally provided by the Kutta condition as discussed above. Based on the above discussion, a proper closure condi- But, the accepted wisdom implies that the Kutta condi- tion (i.e., a condition that provides circulation dynamics) tion is a manifestation of viscous effects; it implicitly ac- in potential flow must come from dynamical considera- counts for viscous effects in a potential-flow framework. tions. The challenge is: Can we project Euler's dynam- So, if this common belief is accepted, the Kutta condition ical equations on a one-dimensional manifold to extract should not be used as a closure condition when studying the dynamics of circulation alone? Dynamical equations a purely inviscid fluid. The question then is: What are of motion can be determined either from a Newtonian the closure conditions for the flow of a superfluid? Un- mechanics perspective or an analytical mechanics one. fortunately, there are none! The former stipulates isolating fluid particles and writ- In this paper, we develop a new variational theory of ing the equations of motion for each individual parti- lift that generalizes the century-old classical theory of lift cle even if the free variables in the system are signif- by Kutta and Zhukovksy; the new theory dispenses with icantly fewer than the total degrees of freedom of all the Kutta condition. We revive Hertz' principle of least individual particles due to kinematic or geometric con- curvature from the history of analytical mechanics to de- straints. However, the analytical (Lagrangian or vari- velop, for the first time, a closure condition for the flow ational) mechanics approach allows accepting the kine- of a superfluid over a two-dimensional body. In contrast matical constraints, ignoring the unknown forces that to the Kutta condition, the developed closure condition maintain them, and hence focusing on the relevant equa- is derived from first principles. The new variational con- tions of motion; it provides directly the relevant equa- dition reduces to the Kutta condition in the special case tions of motion for the free variables. of a sharp-edged airfoil, which challenges the accepted Projecting this discussion on the potential-flow case, wisdom about the Kutta condition being a manifestation one finds that the kinematical constraints of potential of viscous effects. Rather, it is found that the Kutta con- flow allows one to construct the entire flow field from the dition is a momentum conservation mechanism for the circulation free variable only. That is, while there are inviscid flow over a sharp-edged airfoil. Morever, the de- infinite degrees of freedom for the infinite fluid particles, veloped theory, unlike the classical theory, allows treat- there is only one free variable (the circulation) which, via ment of smooth shapes not necessarily with sharp trail- the potential-flow kinematical constraints, can be used ing edges. Using this new theory, we resolve the seeming to recover the motion of these infinite degrees of free- contradiction between various results in literature about dom [13]. Hence, the analytical/variational mechanics the lifting capability of superfluids. We provide condi- appears to be specially well-suited for this problem; it tions on the geometry of the body to generate lift in a will provide a single equation for the unknown circula- superfluid. tion without paying attention to the irrelevant degrees of freedom of the fluid particles or the unknown forces that maintain kinematical constraints. Simply, the first vari- II. ILL-POSEDNESS OF POTENTIAL-FLOW ation of the \objective function" with respect to circula- PROBLEMS tion must vanish|and this necessary condition provides a single dynamical equation in the unknown circulation. A. The Potential-Flow Theory Lacks Dynamical Based on the above discussion, two important conclu- Features sions are drawn: (i) A true closure/auxiliary condition for potential flow must come from dynamical considerations; To solve for the flow field of an incompressible and (ii) Variational principles would be particularly use- fluid, both the continuity (kinematics) and momentum ful to derive such dynamics.