2018/09/14 by Kévin Le Balc’h, Balc'H, Kévin Le · 1 citation
Computer Science · Engineering · Mathematics · #Advanced Mathematical Modeling in Engineering #Analysis of PDEs (math.AP) #FOS: Mathematics #Mathematical Biology Tumor Growth #Stability and Controllability of Differential Equations
paper · pdf · doi:10.48550/arxiv.1809.05303
openalex publication_date 2018/09/14 · openalex created_date 2022/08/03 · openalex updated_date 2026/07/28
We consider a n × n nonlinear reaction-diffusion system posed on a smooth bounded domain Ω of ℝN. This system models reversible chemical reactions. We act on the system through m controls (1 ≤ m < n), localized in some arbitrary nonempty open subset ω of the domain Ω. We prove the local exact controllability to nonnegative (constant) stationary states in any time T >0. A specificity of this control system is the existence of some invariant quantities in the nonlinear dynamics that prevents controllability from happening in the whole space L^∞(Ω)n. The proof relies on several ingredients. First, an adequate affine change of variables transforms the system into a cascade system with second order coupling terms. Secondly, we establish a new null-controllability result for the linearized system thanks to a spectral inequality for finite sums of eigenfunctions of the Neumann Laplacian operator, due to David Jerison, Gilles Lebeau and Luc Robbiano and precise observability inequalities for a family of finite dimensional systems. Thirdly, the source term method, introduced by Yuning Liu, Takéo Takahashi and Marius Tucsnak, is revisited in a L∞-context. Finally, an appropriate inverse mapping theorem enables to go back to the nonlinear reaction-diffusion system.