 A d'Alembert "paradox" solution by singular integral operators (PDO) with negative Hilbert scale domain
Disclaimer
Building on the footprints of J. Plemelj and J. A. Nitsche two alternative conceptual approaches are proposed to enable answers to some still open fundamental questions about the existence & uniqueness & smoothness of "classical" solutions of the nonlinear, nonstationary NavierStokes Equations (NSE). There are no answers given. The complete content of this homepage is w/o any review and aknowledgement of academic institutions.
References for the below: (GeD) GérardVaret D., Some mathematical aspects of fluidsolid interaction, Institut de Mathématiques de Jussieu, Université Paris, 7, 2012 (ShM) Shinbrot M., Lectures on Fluid Mechanics, Dover Publications Inc., Mineola, New York, 2012
The origin of the overall problem area
(GeD): The d’Alembert “paradox” is about the failure of the Euler equation (the model of an ideal incompressible fluid) as a model forfluidsolid interaction. It states:
"In an ideal incompressible fluid, bodies moving at constant velocities do not experience any drag, or lift".
This is the consequence of the mathematical model fact, that
(*) "Incompressible potential generate no force on obstacles".
The difficulty with ideal fluids, and the source of the d’Alembert paradox, is that in such fluids there are no frictional forces. Two neighboring portions of an ideal fluid can move at different velocities without rubbing oneach other, provided they are separated by streamline.
It is clear that such a phenomenon can never occur in a real fluid, and the question is how frictional forces can be introduced into a model of a fluid. In order to get out of the d’Alembert “paradox” one considered the NavierStokes equations and added “kinematic viscosity” (which is the inverse of the Reynolds number) as a constant to the additional “diffusion term”. As the curlfree condition is not preserved by the NSE in domains with boundaries, it allows getting out of the d’Alembert “paradox”. But in most experiments the kinematic constant is very small. Hence the Euler equation (i.e. if the kinematic constant is zero) should be a good approximation. For smooth solutions in domains without boundaries, this is true. In domains with boundaries the situation is not clear. The problem comes from the boundary conditions. In case of the NSE (viscosity constant non equal zero) it requires the classical noslip condition. In case of the Euler equation (viscosity constant equal zero) one need to relax the noslip condition to the condition that the normal derivative of the equation solution vanishes at the boundary.
The Euler equation in combination with fast decay conditions allows to integrate by parts "up to infinity". This implies the d'Alembert paradox, as the curlfree condition is preserved by Euler. In case of a plane, when the plane reaches its cruise speed, the conditions of the theorem (*) above are fulfilled (up to a change of frame). The NSE does not preserve the curlfree condition, which is the good news, as it allows to get of the d'Alembert paradon, but the alternative NSE model with viscosity constant, with boundaries and with initial curlfree condition does not generate appropriate curl over time.
This leads to boundary layer theory to analyze the impact of a boundary layer on the asymptotics as the kinematic constant tends to zero.
Prandtl introduced curvilinear coordinates near the boundary to approximate the solution of the Euler equation with a kind of “boundary layer corrector”. In order to prove wellposedness (locally in time and globally under further conditions) the choice of the functional spaces is crucial. In a Sobolev framework the asymptotics does not always hold in H(1),which relies on Rayleigh instability.
Under the assumption of ideal incompressible fluids no aircraft would be able to fly:
Prandtl's mathematical model of airfoil uplift forces (with its underlying concept of "vortex lines" to model "circuit forces") is well posed as singular integral operator (PDO) equation with domain in a negative Hilbert scale.
(ShM): It is not known, whether a weak solution of the full nonlinear, nonstationary NSE constructed in the framework of Sobolev function spaces is unique. It has been proven that whenever a weak solution is in a space L(p,q) the crucial measure of how near it comes to a classical solution is the (Serrin) quantity
s := 3/p + 2/q;
The smaller this is, the better the solution is. When s =3/2 a weak solution exists. The critical value for uniqueness is s=1. A result of Serrin shows that for s=1 two existing weak solutions with same initial value are identical. It also has been shown that if there is a weak solution satisfying a little bit more, i.e.
s<1
then all weak solutions are actually strong, and, indeed, are infinitely differentiable with respect to both q and t.
