SearcharxivSearch

arXiv subjects

Amru Hussein

Publications and source records attributed to Amru Hussein.

At least 19 recordsLinked to original sources

The three limits of the hydrostatic approximation

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 $\nu_z=\mathcal{O}(\varepsilon^\gamma)$ where $\gamma=2$, one obtains the primitive equations with full viscosity as $\varepsilon\to 0$. Here, we take two more limit equations into consideration: For $\gamma<2$ the $2D$-Navier-Stokes equations are obtained. For $\gamma>2$ the primitive equations with only horizontal viscosity $-\Delta_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 $\nu_z=\varepsilon^2 \delta$ and show how maximal regularity methods and quadratic inequalities can be an efficient approach to the same end for $\varepsilon,\delta\to 0$. The flexibility of our methods is also illustrated by the convergence for $\delta\to \infty$ and $\varepsilon\to 0$ to the $2D$-Navier-Stokes equations.

math.AP

Remark on the local well-posedness of compressible non-Newtonian fluids with initial vacuum

We discuss in this short note the local-in-time strong well-posedness of the compressible Navier-Stokes system for non-Newtonian fluids on the three dimensional torus. We show that the result established recently by Kalousek, M\'{a}cha, and Ne\v{c}asova in \doi{10.1007/s00208-021-02301-8} can be extended to the case where vanishing density is allowed initially. Our proof builds on the framework developed by Cho, Choe, and Kim in \doi{10.1016/j.matpur.2003.11.004} for compressible Navier-Stokes equations in the case of Newtonian fluids. To adapt their method, special attention is given to the elliptic regularity of a challenging nonlinear elliptic system. We show particular results in this direction, however, the main result of this paper is proven in the general case when elliptic $W^{2,p}$-regularity is imposed as an assumption. Also, we give a finite time blow-up criterion.

math.AP

The stochastic primitive equations with transport noise and turbulent pressure

In this paper we consider the stochastic primitive equation for geophysical flows subject to transport noise and turbulent pressure. Admitting very rough noise terms, the global existence and uniqueness of solutions to this stochastic partial differential equation are proven using stochastic maximal $L^2$-regularity, the theory of critical spaces for stochastic evolution equations, and global a priori bounds. Compared to other results in this direction, we do not need any smallness assumption on the transport noise which acts directly on the velocity field and we also allow rougher noise terms. The adaptation to Stratonovich type noise and, more generally, to variable viscosity and/or conductivity are discussed as well.

math.AP

The stochastic primitive equations with non-isothermal turbulent pressure

In this paper, we introduce and study the primitive equations with $\textit{non}$-isothermal turbulent pressure and transport noise. They are derived from the Navier-Stokes equations by employing stochastic versions of the Boussinesq and the hydrostatic approximations. The temperature dependence of the turbulent pressure can be seen as a consequence of an additive noise acting on the small vertical dynamics. For such a model we prove global well-posedness in $H^1$ where the noise is considered in both the It\^{o} and Stratonovich formulations. Compared to previous variants of the primitive equations, the one considered here presents a more intricate coupling between the velocity field and the temperature. The corresponding analysis is seriously more involved than in the deterministic setting. Finally, the continuous dependence on the initial data and the energy estimates proven here are new, even in the case of isothermal turbulent pressure.

math.AP

Maximal $L^p$-regularity and $H^{\infty}$-calculus for block operator matrices and applications

Many coupled evolution equations can be described via $2\times2$-block operator matrices of the form $\mathcal{A}=\begin{bmatrix} A & B \\ C & D \end{bmatrix}$ in a product space $X=X_1\times X_2$ with possibly unbounded entries. Here, the case of diagonally dominant block operator matrices is considered, that is, the case where the full operator $\mathcal{A}$ can be seen as a relatively bounded perturbation of its diagonal part with $\mathsf{D}(\mathcal{A})=\mathsf{D}(A)\times \mathsf{D}(D)$ though with possibly large relative bound. For such operators the properties of sectoriality, $\mathcal{R}$-sectoriality and the boundedness of the $H^\infty$-calculus are studied, and for these properties perturbation results for possibly large but structured perturbations are derived. Thereby, the time dependent parabolic problem associated with $\mathcal{A}$ can be analyzed in maximal $L^p_t$-regularity spaces, and this is applied to a wide range of problems such as different theories for liquid crystals, an artificial Stokes system, strongly damped wave and plate equations, and a Keller-Segel model.

math.FA

Hidden symmetries in non-self-adjoint graphs

On finite metric graphs the set of all realizations of the Laplace operator in the edgewise defined $L^2$-spaces are studied. These are defined by coupling boundary conditions at the vertices most of which define non-self-adjoint operators. In [Hussein, Krejčiř\'ık, Siegl, Trans. Amer. Math. Soc., 367(4):2921--2957, 2015] a notion of regularity of boundary conditions by means of the Cayley transform of the parametrizing matrices has been proposed. The main point presented here is that not only the existence of this Cayley transform is essential for basic spectral properties, but also its poles and its asymptotic behaviour. It is shown that these poles and asymptotics can be characterized using the quasi-Weierstrass normal form which exposes some "hidden" symmetries of the system. Thereby, one can analyse not only the spectral theory of these mostly non-self-adjoint Laplacians, but also the well-posedness of the time-dependent heat-, wave- and Schrödinger equations on finite metric graphs as initial-boundary value problems. In particular, the generators of $C_0$- and analytic semigroups and $C_0$-cosine operator functions can be characterized. On star-shaped graphs a characterization of generators of bounded $C_0$-groups and thus of operators similar to self-adjoint ones is obtained.

math.SP

Primitive Equations with Horizontal Viscosity: The Initial Value and the Time-Periodic Problem for Physical Boundary Conditions

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.

math.AP

The primitive equations with stochastic wind driven boundary conditions

The primitive equations for geophysical flows are studied under the influence of {\em stochastic wind driven boundary conditions} modeled by a cylindrical Wiener process. We adapt an approach by Da Prato and Zabczyk for stochastic boundary value problems to define a notion of solutions. Then a rigorous treatment of these stochastic boundary conditions, which combines stochastic and deterministic methods, yields that these equations admit a unique, local pathwise solution within the anisotropic $L^q_t$-$H^{-1,p}_zL^p_{xy}$-setting. This solution is constructed in critical spaces.

math.PR

Global Strong Well-Posedness of the stochastic bidomain equations with FitzHugh-Nagumo transport

Consider the bidomain equations from electrophysiology with FitzHugh--Nagumo transport subject to current noise, i.e., subject to stochastic forcing modeled by a cylindrical Wiener process. It is shown that this set of equations admits a unique global, strong pathwise solution within the setting of critical spaces. The proof is based on combining methods from stochastic and deterministic maximal regularity. In addition, the method of extrapolation spaces from deterministic evolution equations is transferred to the stochastic setting.

math.PR

If time were a graph, what would evolution equations look like?

Linear evolution equations are considered usually for the time variable being defined on an interval where typically initial conditions or time-periodicity of solutions are required to single out certain solutions. Here we would like to make a point of allowing time to be defined on a metric graph or network where on the branching points coupling conditions are imposed such that time can have ramifications and even loops. This not only generalizes the classical setting and allows for more freedom in the modeling of coupled and interacting systems of evolution equations, but it also provides a unified framework for initial value and time-periodic problems. For these time-graph Cauchy problems questions of well-posedness and regularity of solutions for parabolic problems are studied along with the question of which time-graph Cauchy problems cannot be reduced to an iteratively solvable sequence of Cauchy problems on intervals. Based on two different approaches - an application of the Kalton-Weis theorem on the sum of closed operators and an explicit computation of a Green's function - we present the main well-posedness and regularity results. We further study some qualitative properties of solutions. While we mainly focus on parabolic problems we also explain how other Cauchy problems can be studied along the same lines. This is exemplified by discussing coupled systems with constraints that are non-local in time akin to periodicity.

math.AP

Laplacians with point interactions -- expected and unexpected spectral properties

We study the one-dimensional Laplace operator with point interactions on the real line identified with two copies of the half-line $[0,\infty)$. All possible boundary conditions that define generators of $C_0$-semigroups on $L^2\big([0,\infty)\big)\oplus L^2\big([0,\infty)\big)$ are characterized. Here, the Cayley transform of the boundary conditions plays an important role and using an explicit representation of the Green's functions, it allows us to study invariance properties of semigroups.

math.FA

Partial and full hyper-viscosity for Navier-Stokes and primitive equations

The $3$-D primitive equations and incompressible Navier-Stokes equations with full hyper-viscosity and only horizontal hyper-viscosity are considered on the torus, i.e., the diffusion term $-Δ$ is replaced by $-Δ+ \varepsilon(-Δ)^{l}$ or by $-Δ+ \varepsilon(-Δ_H)^{l}$, respectively, where $Δ_H = \partial_x^2+\partial_y^2 $, $Δ= Δ_H + \partial_z^2$, $\varepsilon> 0$, $l>1$. Hyper-viscosity is applied in many numerical schemes, and in particular horizontal hyper-viscosity appears in meteorological models. A classical result by Lions states that for the Navier-Stokes equations uniqueness of global weak solutions for initial data in $L^2$ holds if $-Δ$ is replaced by $(-Δ)^{5/4}$. Here, for the primitive equations the corresponding result is proven for $(-Δ)^{8/5}$. For the case of horizontal hyper-viscosity $l=2$ is sufficient in both cases. Strong convergence for $\varepsilon\to 0$ of hyper-viscous solutions to a weak solution of the Navier-Stokes and primitive equations, respectively, is proven as well. The approach presented here is based on the construction of strong solutions via an evolution equation approach for initial data in $L^2$ and weak-strong uniqueness.

math.AP

Rigorous justification of the hydrostatic approximation for the primitive equations by scaled Navier-Stokes equations

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.

math.AP

The Hydrostatic Stokes Semigroup and Well-Posedness of the Primitive Equations on Spaces of Bounded Functions

Consider the $3$-d primitive equations in a layer domain $Ω=G \times (-h,0)$, $G=(0,1)^2$, subject to mixed Dirichlet and Neumann boundary conditions at $z=-h$ and $z=0$, respectively, and the periodic lateral boundary condition. It is shown that this equation is globally, strongly well-posed for arbitrary large data of the form $a=a_1 + a_2$, where $a_1\in C(\overline{G};L^p(-h,0))$, $a_2\in L^{\infty}(G;L^p(-h,0))$ for $p>3$, and where $a_1$ is periodic in the horizontal variables and $a_2$ is sufficiently small. In particular, no differentiability condition on the data is assumed. The approach relies on $L^\infty_HL^p_z(Ω)$-estimates for terms of the form $t^{1/2} \lVert \partial_z e^{tA_{\overlineσ}}\mathbb{P}f \rVert_{L^\infty_H L^p_z(Ω)}\le C e^{tβ} \lVert f \rVert_{L^\infty_H L^p_z (Ω)}$ for $t>0$, where $e^{t A_{\overlineσ}}$ denotes the hydrostatic Stokes semigroup. The difficulty in proving estimates of this form is that the hydrostatic Helmholtz projection $\mathbb{P}$ fails to be bounded with respect to the $L^\infty$-norm. The global strong well-posedness result is then obtained by an iteration scheme, splitting the data into a smooth and a rough part and by combining a reference solution for smooth data with an evolution equation for the rough part.

math.AP

Primitive Equations with Linearly Growing Initial Data

The primitive equations in a 3D infinite layer domain are considered with linearly growing initial data in the horizontal direction, which illustrates the global atmospheric rotating or straining flows. On the boundaries, Dirichlet, Neumann or mixed boundary conditions are imposed. The Ornstein-Uhlenbeck type operator appears in the linear parts, so the semigroup theory is established by Trotter's arguments due to decomposition of infinitesimal generators. To obtain smoothing properties of the semigroup, derivatives of the associated kernel are calculated. For proving time-local existence and uniqueness of mild solutions, the adapted Fujita-Kato scheme is used in certain Sobolev spaces.

math.AP

Analyticity of solutions to the primitive equations

This article presents the maximal regularity approach to the primitive equations. It is proved that the $3D$ primitive equations on cylindrical domains admit a unique, global strong solution for initial data lying in the critical solonoidal Besov space $B^{2/p}_{pq}$ for $p,q\in (1,\infty)$ with $1/p+1/q \leq 1$. This solution regularize instantaneously and becomes even real analytic for $t>0$.

math.AP

The Primitive Equations in the scaling invariant space $L^{\infty}(L^1)$

Consider the primitive equations on $\R^2\times (z_0,z_1)$ with initial data $a$ of the form $a=a_1+a_2$, where $a_1 \in BUC_\sigma(\R^2;L^1(z_0,z_1))$ and $a_2 \in L^\infty_\sigma(\R^2;L^1(z_0,z_1))$ and where $BUC_\sigma(L^1)$ and $L^\infty_\sigma(L^1)$ denote the space of all solenoidal, bounded uniformly continuous and all solenoidal, bounded functions on $\R^2$, respectively, which take values in $L^1(z_0,z_1)$. These spaces are scaling invariant and represent the anisotropic character of these equations. It is shown that, if $\|a_2\|_{L^\infty_\sigma(L^1)}$ is sufficiently small, then this set of equations has a unique, local, mild solution. If in addition $a$ is periodic in the horizontal variables, then this solution is a strong one and extends to a unique, global, strong solution. The primitive equations are thus strongly and globally well-posed for these data. The approach depends crucially on mapping properties of the hydrostatic Stokes semigroup in the $L^\infty(L^1)$-setting and can thus be seen as the counterpart of the classical iteration schemes for the Navier-Stokes equations for the situation of the primitive equations.

math.AP

Nematic Liquid Crystals in Lipschitz domains

We consider the simplified Ericksen-Leslie model in three dimensional bounded Lipschitz domains. Applying a semilinear approach, we prove local and global well-posedness (assuming a smallness condition on the initial data) in critical spaces for initial data in $L^3_σ$ for the fluid and $W^{1,3}$ for the director field. The analysis of such models, so far, has been restricted to domains with smooth boundaries.

math.AP