  Consider the steady solution to the incompressible Euler equation $\bar
u=Ae_1$ in the periodic tunnel $\Omega=\mathbb T^{d-1}\times(0,1)$ in dimension
$d=2,3$. Consider now the family of solutions $u^\nu$ to the associated
Navier-Stokes equation with the no-slip condition on the flat boundaries, for
small viscosities $\nu=A/\mathsf{Re}$, and initial values in $L^2$. We are
interested in the weak inviscid limits up to subsequences $u^\nu\rightharpoonup
u^\infty$ when both the viscosity $\nu$ converges to 0, and the initial value
$u^\nu_0$ converges to $Ae_1$ in $L^2$. Under a conditional assumption on the
energy dissipation close to the boundary, Kato showed in 1984 that $u^\nu$
converges to $Ae_1$ strongly in $L^2$ uniformly in time under this double
limit. It is still unknown whether this inviscid limit is unconditionally true.
The convex integration method produces solutions $u _E$ to the Euler equation
with the same initial values $Ae_1$ which verify at time $0<T<T_0$:
$\|u_E(T)-Ae_1\|_{L^2(\Omega)}^2\approx A^3T$. This predicts the possibility of
a layer separation with an energy of order $A^3 T$. We show in this paper that
the energy of layer separation associated with any asymptotic $u^\infty$
obtained via double limits cannot be more than $\|u^\infty(T)-Ae_1\|_{L^2
(\Omega)}^2\lesssim A^3T$. This result holds unconditionally for any weak limit
of Leray-Hopf solutions of the Navier-Stokes equation. Especially, it shows
that, even if the limit is not unique, the shear flow pattern is observable up
to time $1/A$. This provides a notion of stability despite the possible
non-uniqueness of the limit predicted by the convex integration theory. The
result relies on a new boundary vorticity estimate for the Navier-Stokes
equation. This new estimate, inspired by previous work on higher regularity
estimates for Navier-Stokes, provides a nonlinear control scalable through the
inviscid limit.
