Volume 26, 2020
|Number of page(s)||32|
|Published online||10 September 2020|
Local controllability of reaction-diffusion systems around nonnegative stationary states
ENS Rennes, Université de Rennes, CNRS, IRMAR - UMR 6625,
* Corresponding author: firstname.lastname@example.org
Accepted: 26 April 2019
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 in suitable spaces enables to go back to the nonlinear reaction-diffusion system.
Mathematics Subject Classification: 93B05 / 35K51 / 35K57 / 35K58 / 93C20
Key words: Controllability / reaction-diffusion system / nonlinear coupling
© The authors. Published by EDP Sciences, SMAI 2020
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Initial download of the metrics may take a while.