Boundary null-controllability of 1d linearized compressible Navier-Stokes system by one control force

TL;DR

This paper investigates boundary null-controllability of the 1D linearized compressible Navier-Stokes system, demonstrating controllability under certain conditions and analyzing spectral properties for different boundary control scenarios.

Contribution

It provides new null-controllability results for the linearized system with boundary controls, employing spectral analysis and moments method, and introduces a novel Ingham-type inequality.

Findings

System is null-controllable in specific Sobolev spaces for time T > 1.

Approximate controllability holds in L^2 spaces for T > 1.

Controllability with velocity control is limited to a subspace due to spectral obstructions.

Abstract

In this article, we study the boundary null-controllability properties of the one-dimensional linearized (around $(Q_0,V_0)$ with constants $Q_0>0, V_0>0$) compressible Navier-Stokes equations in the interval $(0,1)$ when a control function is acting either on the density or velocity component at one end of the interval. We first prove that the linearized system, with a Dirichlet boundary control on the density component and homogeneous Dirichlet boundary conditions on the velocity component, is null-controllable in $H^s_{per}(0,1) \times L^2(0,1)$ for any $s > 1/2$ provided the time $T > 1$, where $H^s_{per}(0,1)$ denotes the Sobolev space of periodic functions. The proof is based on solving a mixed parabolic-hyperbolic moments problem and to do so, we perform a spectral analysis for the associated adjoint operator which is the main involved part of this work. As a corollary, we also prove that the system is approximately controllable in $L^2(0,1) \times L^2(0,1)$ when $T>1$. On the other hand, assuming that the density is equal on the two boundary points w.r.t. time, when a control is applied on the velocity part through a Dirichlet condition, we can only able to prove that the system is null-controllable in a strict subspace of finite codimension $\mathcal{H}\subset H^s_{per}(0,1) \times L^2(0,1)$ for $s>1/2$ when $T>1$. More precisely, in this case we are able to show that all the eigenfunctions of the associated adjoint operator are observable for higher frequencies whereas for the lower frequencies it is hard to conclude anything. A parabolic-hyperbolic joint Ingham-type inequality which we prove in this article, leads to an observability inequality in the space $\mathcal{H}^*$ and the controllability result follows. The significant point is that the moments method does not yield a better space for the null-controllability when a control acts on the velocity part.