Table of Contents
Fetching ...

An inviscid limit problem for Navier-Stokes equations in 3D domains with oscillatory boundaries

Tuoc Phan, Dario A. Valdebenito

TL;DR

The paper addresses the inviscid limit for 3D Navier–Stokes flows with a measurable, anisotropic viscosity in oscillatory domains that converge to the flat half-space. The authors flatten the oscillatory domain to a fixed half-space and construct boundary-layer corrections alongside a perturbation around the Euler solution, enabling a Grönwall-based energy analysis for the remainder. Under precise anisotropic rates linking the viscosity eigenvalues $\eta,\nu$ and the oscillation parameter $\delta$, they prove convergence of Leray-Hopf weak solutions to the Euler solution in the upper half-space with explicit rates $O(\beta(\eta,\nu)+\delta^{\alpha-5/2})$. This advances the understanding of inviscid limits in geometrically complex domains with non-smooth viscosity data, with potential implications for geophysical and multiphysics flows.

Abstract

We study an inviscid limit problem for a class of Navier-Stokes equations with vanishing measurable viscous coefficients in 3-dimensional spatial domains whose boundaries are oscillatory, depending on a small parameter, and become flat when the parameter converges to zero. Under some sufficient conditions on the anisotropic vanishing rates of the eigenvalues of the matrices of the viscous coefficients and the oscillatory parameter, we show that Leray-Hopf weak solutions of the Navier-Stokes equations with no slip boundary condition converge to solutions of the Euler equations in the upper half space. To prove the result, we apply a change of variables to flatten the boundaries of the spatial domains for the Navier-Stokes equations, and then construct the boundary layer terms. As the Navier-Stokes equations and the Euler equations are originally written in two different domains, additional boundary layer terms are constructed and their estimates are obtained.

An inviscid limit problem for Navier-Stokes equations in 3D domains with oscillatory boundaries

TL;DR

The paper addresses the inviscid limit for 3D Navier–Stokes flows with a measurable, anisotropic viscosity in oscillatory domains that converge to the flat half-space. The authors flatten the oscillatory domain to a fixed half-space and construct boundary-layer corrections alongside a perturbation around the Euler solution, enabling a Grönwall-based energy analysis for the remainder. Under precise anisotropic rates linking the viscosity eigenvalues and the oscillation parameter , they prove convergence of Leray-Hopf weak solutions to the Euler solution in the upper half-space with explicit rates . This advances the understanding of inviscid limits in geometrically complex domains with non-smooth viscosity data, with potential implications for geophysical and multiphysics flows.

Abstract

We study an inviscid limit problem for a class of Navier-Stokes equations with vanishing measurable viscous coefficients in 3-dimensional spatial domains whose boundaries are oscillatory, depending on a small parameter, and become flat when the parameter converges to zero. Under some sufficient conditions on the anisotropic vanishing rates of the eigenvalues of the matrices of the viscous coefficients and the oscillatory parameter, we show that Leray-Hopf weak solutions of the Navier-Stokes equations with no slip boundary condition converge to solutions of the Euler equations in the upper half space. To prove the result, we apply a change of variables to flatten the boundaries of the spatial domains for the Navier-Stokes equations, and then construct the boundary layer terms. As the Navier-Stokes equations and the Euler equations are originally written in two different domains, additional boundary layer terms are constructed and their estimates are obtained.

Paper Structure

This paper contains 14 sections, 13 theorems, 161 equations.

Key Result

Lemma 1.1

Let $s>5/2$, $W^0 \in H^s(\mathbb{R}^3_+)^3$, and $F^0 \in L^1((0, T), H^s(\mathbb{R}^3_+)^3)$. Assume that Then, there exist $T^*\in (0,\infty)$ and a unique strong solution to eq:Euler. Moreover, $\nabla q\in L^\infty((0,T^*),L^\infty(\mathbb{R}^3_+))$.

Theorems & Definitions (26)

  • Lemma 1.1
  • Definition 1.2
  • Theorem 1.3
  • Proposition 2.1
  • proof
  • Lemma 3.1
  • proof
  • Remark 3.2
  • Lemma 3.3
  • Proposition 3.4
  • ...and 16 more