Table of Contents
Fetching ...

2D Navier-Stokes with Navier Slip: Strong Vorticity Convergence and Strong Solutions for Unbounded Vorticity

Josef Demmel, Emil Wiedemann

TL;DR

This work studies the vanishing viscosity limit for the 2D incompressible Navier–Stokes equations with Navier slip on a smooth bounded domain, for initial vorticity in $L^{p}$ with $p>2$. The authors blend an interior framework originally developed for no-slip boundaries with Agmon–Douglas–Nirenberg elliptic theory for the Laplacian under Navier boundary conditions, employing a compatible-data approximation to upgrade local results to global strong convergence of the vorticity and to obtain strong solutions for the viscous problem. They establish strong convergence of the vorticity $\omega^{\nu}$ to a Euler vorticity $\omega$ in $C([0,T];L^{q}(\Omega))$ for all $q\in[1,p)$, and prove that the velocity $u^{\nu}$ becomes a strong solution satisfying the Navier boundary condition for all positive times. This work removes boundary-layer obstructions associated with no-slip boundaries and provides a robust framework for strong regularity and inviscid limits in 2D with Navier slip.

Abstract

We analyze the two-dimensional incompressible Navier-Stokes equations on a smooth, bounded domain with Navier boundary conditions. Starting from an initial vorticity in $L^p$ with $p>2$, we show strong convergence of the vorticity in the vanishing viscosity limit. We utilize a purely interior framework from Seis, Wiedemann, and Woźnicki, originally derived for no-slip, and upgrade local to global convergence. Under the same assumptions, we also show that the velocity is in fact a strong solution and satisfies the Navier slip conditions for any positive time. The key idea is to study the Laplacian subject to Navier boundary conditions and prove that this boundary-value problem is elliptic in the sense of Agmon-Douglis-Nirenberg.

2D Navier-Stokes with Navier Slip: Strong Vorticity Convergence and Strong Solutions for Unbounded Vorticity

TL;DR

This work studies the vanishing viscosity limit for the 2D incompressible Navier–Stokes equations with Navier slip on a smooth bounded domain, for initial vorticity in with . The authors blend an interior framework originally developed for no-slip boundaries with Agmon–Douglas–Nirenberg elliptic theory for the Laplacian under Navier boundary conditions, employing a compatible-data approximation to upgrade local results to global strong convergence of the vorticity and to obtain strong solutions for the viscous problem. They establish strong convergence of the vorticity to a Euler vorticity in for all , and prove that the velocity becomes a strong solution satisfying the Navier boundary condition for all positive times. This work removes boundary-layer obstructions associated with no-slip boundaries and provides a robust framework for strong regularity and inviscid limits in 2D with Navier slip.

Abstract

We analyze the two-dimensional incompressible Navier-Stokes equations on a smooth, bounded domain with Navier boundary conditions. Starting from an initial vorticity in with , we show strong convergence of the vorticity in the vanishing viscosity limit. We utilize a purely interior framework from Seis, Wiedemann, and Woźnicki, originally derived for no-slip, and upgrade local to global convergence. Under the same assumptions, we also show that the velocity is in fact a strong solution and satisfies the Navier slip conditions for any positive time. The key idea is to study the Laplacian subject to Navier boundary conditions and prove that this boundary-value problem is elliptic in the sense of Agmon-Douglis-Nirenberg.

Paper Structure

This paper contains 10 sections, 16 theorems, 89 equations.

Key Result

Theorem 1.1

Let $\Omega\subset\mathbb R^2$ be a bounded domain with $C^\infty$ boundary, $\alpha\in C^{2}(\partial\Omega)$, $T\in(0,\infty)$ and $\{\omega_{0}^{\nu}\}_{\nu>0}\subset L^{p}(\Omega)$ for $p>2$ such that for some $\omega_{0}\in L^{p}(\Omega)$ and let $u^{\nu}$ be the unique solution to navier-stokes for $u^{\nu}(0,\cdot)=K_{\Omega}(\omega_{0}^{\nu})$. Then, for the associated vorticity $\omega^{

Theorems & Definitions (31)

  • Theorem 1.1
  • Theorem 1.2
  • Lemma 3.1
  • proof
  • Definition 3.2
  • Theorem 3.3: Theorem 6.1, kelliher
  • Proposition 3.4: Proposition 1, nussenzveig
  • Corollary 3.5
  • proof
  • Lemma 3.6: Lemma 1, nussenzveig
  • ...and 21 more