-
The three limits of the hydrostatic approximation
Authors:
Ken Furukawa,
Yoshikazu Giga,
Matthias Hieber,
Amru Hussein,
Takahito Kashiwabara,
Marc Wrona
Abstract:
The primitive equations are derived from the $3D$-Navier-Stokes equations by the hydrostatic approximation. Formally, assuming an $\varepsilon$-thin domain and anisotropic viscosities with vertical viscosity $ν_z=\mathcal{O}(\varepsilon^γ)$ where $γ=2$, one obtains the primitive equations with full viscosity as $\varepsilon\to 0$. Here, we take two more limit equations into consideration: For…
▽ More
The primitive equations are derived from the $3D$-Navier-Stokes equations by the hydrostatic approximation. Formally, assuming an $\varepsilon$-thin domain and anisotropic viscosities with vertical viscosity $ν_z=\mathcal{O}(\varepsilon^γ)$ where $γ=2$, one obtains the primitive equations with full viscosity as $\varepsilon\to 0$. Here, we take two more limit equations into consideration: For $γ<2$ the $2D$-Navier-Stokes equations are obtained. For $γ>2$ the primitive equations with only horizontal viscosity $-Δ_H$ as $\varepsilon\to 0$. Thus, there are three possible limits of the hydrostatic approximation depending on the assumption on the vertical viscosity. The latter convergence has been proven recently by Li, Titi, and Yuan using energy estimates. Here, we consider more generally $ν_z=\varepsilon^2 δ$ and show how maximal regularity methods and quadratic inequalities can be an efficient approach to the same end for $\varepsilon,δ\to 0$. The flexibility of our methods is also illustrated by the convergence for $δ\to \infty$ and $\varepsilon\to 0$ to the $2D$-Navier-Stokes equations.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
The complete classification for quantified equality constraints
Authors:
Dmitriy Zhuk,
Barnaby Martin,
Michal Wrona
Abstract:
We prove that QCSP$(\mathbb{N};x=y\rightarrow y=z)$ is PSpace-complete, settling a question open for more than ten years. This completes the complexity classification for the QCSP over equality languages as a trichotomy between Logspace, NP-complete and PSpace-complete. We additionally settle the classification for bounded alternation QCSP$(Γ)$, for $Γ$ an equality language. Such problems are eith…
▽ More
We prove that QCSP$(\mathbb{N};x=y\rightarrow y=z)$ is PSpace-complete, settling a question open for more than ten years. This completes the complexity classification for the QCSP over equality languages as a trichotomy between Logspace, NP-complete and PSpace-complete. We additionally settle the classification for bounded alternation QCSP$(Γ)$, for $Γ$ an equality language. Such problems are either in Logspace, NP-complete, co-NP-complete or rise in complexity in the Polynomial Hierarchy.
△ Less
Submitted 4 August, 2022; v1 submitted 1 April, 2021;
originally announced April 2021.
-
Primitive Equations with Horizontal Viscosity: The Initial Value and the Time-Periodic Problem for Physical Boundary Conditions
Authors:
Amru Hussein,
Martin Saal,
Marc Wrona
Abstract:
The 3D-primitive equations with only horizontal viscosity are considered on a cylindrical domain $Ω=(-h,h) \times G$, $G\subset \mathbb{R}^2$ smooth, with the physical Dirichlet boundary conditions on the sides. Instead of considering a vanishing vertical viscosity limit, we apply a direct approach which in particular avoids unnecessary boundary conditions on top and bottom. For the initial value…
▽ More
The 3D-primitive equations with only horizontal viscosity are considered on a cylindrical domain $Ω=(-h,h) \times G$, $G\subset \mathbb{R}^2$ smooth, with the physical Dirichlet boundary conditions on the sides. Instead of considering a vanishing vertical viscosity limit, we apply a direct approach which in particular avoids unnecessary boundary conditions on top and bottom. For the initial value problem, we obtain existence and uniqueness of local $z$-weak solutions for initial data in $H^1((-h,h),L^2(G))$ and local strong solutions for initial data in $H^1(Ω)$. If $v_0\in H^1((-h,h),L^2(G))$, $\partial_z v_0\in L^q(Ω)$ for $q>2$, then the $z$-weak solution regularizes instantaneously and thus extends to a global strong solution. This goes beyond the global well-posedness result by Cao, Li and Titi (J. Func. Anal. 272(11): 4606-4641, 2017) for initial data near $H^1$ in the periodic setting. For the time-periodic problem, existence and uniqueness of $z$-weak and strong time periodic solutions is proven for small forces. %These solutions are in the set of solutions with small norms. Since this is a model with hyperbolic and parabolic features for which classical results are not directly applicable, such results for the time-periodic problem even for small forces are not self-evident.
△ Less
Submitted 11 November, 2020; v1 submitted 8 February, 2019;
originally announced February 2019.
-
Rigorous justification of the hydrostatic approximation for the primitive equations by scaled Navier-Stokes equations
Authors:
Ken Furukawa,
Yoshikazu Giga,
Matthias Hieber,
Amru Hussein,
Takahito Kashiwabara,
Marc Wrona
Abstract:
Consider the anisotropic Navier-Stokes equations as well as the primitive equations. It is shown that the horizontal velocity of the solution to the anisotropic Navier-Stokes equations in a cylindrical domain of height $\varepsilon $ with initial data $u_0=(v_0,w_0)\in B^{2-2/p}_{q,p}$, $1/q+1/p\le 1$ if $q\ge 2$ and $4/3q+2/3p\le 1$ if $q\le 2$, converges as $\varepsilon \to 0$ with convergence r…
▽ More
Consider the anisotropic Navier-Stokes equations as well as the primitive equations. It is shown that the horizontal velocity of the solution to the anisotropic Navier-Stokes equations in a cylindrical domain of height $\varepsilon $ with initial data $u_0=(v_0,w_0)\in B^{2-2/p}_{q,p}$, $1/q+1/p\le 1$ if $q\ge 2$ and $4/3q+2/3p\le 1$ if $q\le 2$, converges as $\varepsilon \to 0$ with convergence rate $\mathcal{O} (\varepsilon )$ to the horizontal velocity of the solution to the primitive equations with initial data $v_0$ with respect to the maximal-$L^p$-$L^q$-regularity norm. Since the difference of the corresponding vertical velocities remains bounded with respect to that norm, the convergence result yields a rigorous justification of the hydrostatic approximation in the primitive equations in this setting. It generalizes in particular a result by Li and Titi for the $L^2$-$L^2$-setting. The approach presented here does not rely on second order energy estimates but on maximal $L^p$-$L^q$-estimates for the heat equation.
△ Less
Submitted 7 August, 2018;
originally announced August 2018.
