Finite dimensional boundary uniform stabilization of the Boussinesq system in Besov spaces by critical use of Carleman estimate-based inverse theory

Abstract

We consider the d-dimensional Boussinesq system defined on a sufficiently smooth bounded domain, and subject to a pair $\{v,\mathbf{u}\}$ of controls localized on $\{\tilde{\Gamma },\omega \}$. Here, $v$ is a scalar Dirichlet boundary control for the thermal equation, acting on an arbitrary small connected portion $\tilde{\Gamma }$ of the boundary $\Gamma =\partial \Omega$. Instead, $\mathbf{u}$ is a $d$-dimensional internal control for the fluid equation acting on an arbitrary small collar $\omega$ supported by $\tilde{\Gamma }$ (Fig 1). The initial conditions for both fluid and heat equations are taken of low regularity. We then seek to uniformly stabilize such Boussinesq system in the vicinity of an unstable equilibrium pair, in the critical setting of correspondingly low regularity spaces, by means of an explicitly constructed, finite dimensional feedback control pair $\{v,\mathbf{u}\}$ localized on $\{\tilde{\Gamma },\omega \}$. In addition, they will be minimal in number, and of reduced dimension: more precisely, $\mathbf{u}$ will be of dimension $(d-1)$, to include necessarily its $d$\textsuperscript{th} component, and $v$ will be of dimension $1$. The resulting space of well-posedness and stabilization is a suitable, tight Besov space for the fluid velocity component (close to ${\mathbf{L}}^3(\Omega$) for $d=3$) and a corresponding Besov space for the thermal component, $q>d$. Unique continuation inverse theorems for suitably over determined adjoint static problems play a critical role in the constructive solution. Their proof rests on Carleman-type estimates, a topic pioneered by M. V. Klibanov since the early 80's, after the 1939- breakthrough publication \cite{Car}.

References in corpus (5)

• Boundary controllability of incompressible Euler fluids with Boussinesq heat effects
• Uniform stabilization of Navier-Stokes equations in critical $L^q$-based Sobolev and Besov spaces by finite dimensional interior localized feedback controls
• Uniform stabilization of Boussinesq systems in critical ${\mathbf{L}}^q$-based Sobolev and Besov spaces by finite dimensional interior localized feedback controls
• Minimal initial data for potential Navier-Stokes singularities
• Uniform stabilization of 3D Navier-Stokes equations in critical Besov spaces with finite dimensional, tangential-like boundary, localized feedback controllers

Cited by in corpus (1)

• Maximal $L^p$-regularity for an abstract evolution equation with applications to closed-loop boundary feedback control problems