Weak-Strong Uniqueness and the d'Alembert Paradox
Hao Quan, Gregory L. Eyink
TL;DR
The paper addresses weak-strong uniqueness for inviscid limits of exterior flows and its relation to the d'Alembert paradox. It combines a velocity decomposition ${\mathbf{u}}={\mathbf{u}}_{\phi}+{\mathbf{u}}_{\omega}$ with the Josephson–Anderson relation to obtain a conditional weak-strong uniqueness result in exterior domains under the vanishing integrated skin-friction condition ${\langle {\mathbf{u}}_{\phi}\cdot {\boldsymbol{\tau}}_w,1\rangle=0}$, showing the rotational part disappears and the flow reduces to the potential solution when these criteria hold. The paper also proves that the Drivas–Nguyen uniform wall-continuity condition implies weak-strong uniqueness for admissible Euler solutions in bounded domains, thereby connecting boundary regularity to energy dissipation and uniqueness. Collectively, the results highlight boundary-layer behavior and dissipation as crucial in determining the relevance of generalized Euler solutions and illuminate why the potential (drag-free) flow may fail to attract inviscid limits in real, bounded-wall scenarios.
Abstract
We prove conditional weak-strong uniqueness of the potential Euler solution for external flow around a smooth body in three space dimensions, within the class of viscosity weak solutions with the same initial data. Our sufficient condition is the vanishing of the streamwise component of the skin friction in the inviscid limit, somewhat weaker than the condition of Bardos-Titi in bounded domains. Because global-in-time existence of the smooth potential solution leads back to the d'Alembert paradox, we argue that weak-strong uniqueness is not a valid criterion for "relevant" notions of generalized Euler solution and that our condition is likely to be violated in the inviscid limit. We prove also that the Drivas-Nguyen condition on uniform continuity at the wall of the normal velocity component implies weak-strong uniqueness within the general class of admissible weak Euler solutions in bounded domains.
