Table of Contents
Fetching ...

Well-posedness for 2D non-homogeneous incompressible fluids with general density-dependent odd viscosity

Matthieu Pageard

TL;DR

This work addresses local well-posedness for 2D non-homogeneous incompressible fluids with density-dependent odd viscosity by reformulating the system via an Elsässer-type effective velocity. A viscous regularisation with $\varepsilon\Delta u$ is used to derive uniform-in-$\varepsilon$ bounds, and an Elsässer structure (defining $U=u-\nabla^{\perp}g(\rho)$ and $\Pi=\pi-f(\rho)\omega$) enables transport-elliptic coupling to control derivatives. The paper proves local existence and uniqueness of strong solutions in $H^s(\mathbb{R}^2)$ for $s>2$, with density bounded between $\rho_*$ and $\rho^*$, and shows energy equalities for $\sqrt{\rho}\,u$ and $\sqrt{\rho}\,U$, along with a clear pathway to recover the Euler limit when the viscosity is constant. The results extend the mathematical theory of fluids with odd viscosity to general density-dependent coefficients $f(\rho)$, including $f(\rho)=a\rho^{\alpha}+b$, and relax prior density-variation assumptions, providing a robust framework for analyzing non-dissipative transport phenomena in 2D fluids.

Abstract

We study the initial value problem for a system of equations describing the motion of two-dimensional non-homogeneous incompressible fluids exhibiting odd (non-dissipative) viscosity effects. We consider the complete odd viscous stress tensor with a general density-dependent viscosity coefficient $f(ρ)$. Under suitable assumptions, we prove the local existence and uniqueness of strong solutions in $H^s(\mathbb{R}^2)$ $(s>2)$, for a class of viscosity coefficients covering the particular case $f(ρ)=aρ^α+b$ for any $(a,b,α)\in\mathbb{R}^3$, generalising the result of Fanelli, Granero-Belinchón and Scrobogna, devoted to the case $f(ρ)=ρ$. Additionally, we are able to do so without requiring the initial density variation to belong to $L^2(\mathbb{R}^2)$. As a major step of the proof, we exhibit an effective velocity for this sytem, generalising the so-called "Elsässer formulation" recently derived by Fanelli and Vasseur.

Well-posedness for 2D non-homogeneous incompressible fluids with general density-dependent odd viscosity

TL;DR

This work addresses local well-posedness for 2D non-homogeneous incompressible fluids with density-dependent odd viscosity by reformulating the system via an Elsässer-type effective velocity. A viscous regularisation with is used to derive uniform-in- bounds, and an Elsässer structure (defining and ) enables transport-elliptic coupling to control derivatives. The paper proves local existence and uniqueness of strong solutions in for , with density bounded between and , and shows energy equalities for and , along with a clear pathway to recover the Euler limit when the viscosity is constant. The results extend the mathematical theory of fluids with odd viscosity to general density-dependent coefficients , including , and relax prior density-variation assumptions, providing a robust framework for analyzing non-dissipative transport phenomena in 2D fluids.

Abstract

We study the initial value problem for a system of equations describing the motion of two-dimensional non-homogeneous incompressible fluids exhibiting odd (non-dissipative) viscosity effects. We consider the complete odd viscous stress tensor with a general density-dependent viscosity coefficient . Under suitable assumptions, we prove the local existence and uniqueness of strong solutions in , for a class of viscosity coefficients covering the particular case for any , generalising the result of Fanelli, Granero-Belinchón and Scrobogna, devoted to the case . Additionally, we are able to do so without requiring the initial density variation to belong to . As a major step of the proof, we exhibit an effective velocity for this sytem, generalising the so-called "Elsässer formulation" recently derived by Fanelli and Vasseur.

Paper Structure

This paper contains 30 sections, 19 theorems, 290 equations.

Key Result

Theorem 1.1

Let $s>2$. Let $(\rho_0,u_0)\in{L^\infty}(\mathbb{R}^2)\times{H^s}(\mathbb{R}^2)$ be such that Let $f$ be a $C^{[s]+3}$-diffeomorphism on $[\rho_*,\rho^*]$. Then, there exist a time $T=T(s,f',\rho_*,\rho^*,\|\nabla\rho_0\|_{H^s},\|u_0\|_{H^s})>0$, depending only on the quantities inside the brackets, and a unique solution $(\rho,u,\nabla\pi)$ to system odd on $[0,T]\times\mathbb{R}^2$, with i Mor

Theorems & Definitions (26)

  • Theorem 1.1
  • Remark 1.2
  • Theorem 2.1
  • Proposition 2.2
  • proof
  • Proposition 2.3
  • proof
  • Proposition 2.4
  • proof
  • Proposition 3.1
  • ...and 16 more