Fredholm backstepping for critical operators and application to rapid stabilization for the linearized water waves
Sep 1, 2023·,,
·
0 min read
Ludovick Gagnon
Amaury Hayat
Shengquan Xiang
Christophe Zhang
Abstract
Fredholm-type backstepping transformation, introduced by Coron and Lü, has become a powerful tool for rapid stabilization with fast development over the last decade. Its strength lies in its systematic approach, allowing to deduce rapid stabilization from approximate controllability. But limitations with the current approach exist for operators with eigenvalues behaving with an exponent in (1,3/2]. We present here a new compactness/duality method which hinges on Fredholm’s alternative to overcome the 3/2 threshold. More precisely, the compactness/duality method allows to prove the existence of a Riesz basis for the backstepping transformation for skew-adjoint operators with an eigenvalue growth exponent greater than 1, a key step in the construction of the Fredholm backstepping transformation, where the usual methods only work above the 3/2 threshold. The illustration of this new method is shown on the rapid stabilization of the linearized capillary-gravity water wave equation exhibiting an operator of critical order 3/2.
Type
Publication
Annales de l’Institut Fourier

Authors
Christophe Zhang
(he/him)
researcher
I am currently in secondment at Inria Paris, as a researcher in the CAGE team. I work on control, stabilization and optimal control problems in infinite dimension (PDEs and evolution equation), with a particular focus on constrained control.
I have also dabbled in data-driven modelling and control, in particular methods involving the Koopman operator.
More recently, I have taken an interest in reachability analysis. I co-supervised the PhD thesis of Ivan Hasenohr with Camille Pouchol and Yannick Privat, during which we developed computer-assisted proofs of reachability and non-reachability.