Local controllability of the bilinear 1D Schrödinger equation with simultaneous estimates

Mégane Bournissou (1)

1 IRMAR - Institut de Recherche Mathématique de Rennes

We consider the 1D linear Schrödinger equation, on a bounded interval, with Dirichlet boundary conditions and bilinear scalar control. The small-time local exact controllability around the ground state was proved in [BeaLau10], under an appropriate nondegeneracy assumption. Here, we work under a weaker nondegeneracy assumption and we prove the small-time local exact controllability in projection, around the ground state, with estimates on the control (depending linearly on the target) simultaneously in several spaces. These estimates are obtained at the level of the linearized system, thanks to a new result about trigonometric moment problems. Then, they are transported to the nonlinear system by the inverse mapping theorem, thanks to appropriate estimates of the error between the nonlinear and the linearized dynamics.

Mots clés: Exact controllability; Schrödinger equation; bilinear control; inverse mapping theorem; moment problems

Domaines: Equations aux dérivées partielles [math.AP]

Mégane Bournissou. Local controllability of the bilinear 1D Schrödinger equation with simultaneous estimates. Mathematical Control and Related Fields, 2022, ⟨10.3934/mcrf.2022027⟩. ⟨hal-03288069⟩