Abstract:The goal of this article is to contribute to a better understanding of the relations between the exact controllability of nonlinear PDEs and the control theory for ODEs based on Lie brackets, through a study of the Schrödinger PDE with bilinear control. We focus on the small-time local controllability (STLC) around an equilibrium, when the linearized system is not controllable. We study the second order order term in the Taylor expansion of the state, with respect to the control. For scalar input ODEs, quadratic terms never recover controllability: they induce signed drifts in the dynamics. Thus proving STLC requires to go at least to the third order. Similar results were proved for the bilinear Schrödinger PDE with scalar input controls. In this article, we study the case of multi-input systems. We clarify among the quadratic Lie brackets, those that allow to recover STLC: they are bilinear with respect to 2 different controls. For ODEs, our result is a consequence of Sussman's sufficient condition $S(\theta)$ (when focused on quadratic terms), but we propose a new proof, designed to prepare an easier transfer to PDEs. This proof relies on a representation formula of the state inspired by the Magnus formula. By adapting it, we prove a new STLC result for the bilinear Schrödinger PDE.

Global controllability and stabilization for the nonlinear Schrodinger equation on an interval

On boundary controllability for the higher order nonlinear Schrödinger equation

Exact controllability of infinite dimensional linear systems via bounded control functions

On the small-time bilinear control of a nonlinear heat equation: global approximate controllability and exact controllability to trajectories

Coupled linear Schrödinger equations: control and stabilization results

Local Exact Controllability of the One-Dimensional Nonlinear Schrödinger Equation in the Case of Dirichlet Boundary Conditions

Controllability Of Nonlinear Integrodifferential Systems In Banach Space With Nonlocal Conditions

Small-Time Local Controllability of the multi-input bilinear Schrödinger equation thanks to a quadratic term

Controllability and Stabilizability of the Linearized Compressible Navier-Stokes System with Maxwell's Law

Exact Controllability for Stochastic Schrodinger Equations

On a sharper bound on the stability of non-autonomous Schrödinger equations and applications to quantum control

Trajectory stabilization of nonlocal continuity equations by localized controls

Total controllability of nonlocal semilinear functional evolution equations with non-instantaneous impulses

Remarks on the Controllability of Some Quasilinear Equations

On the global approximate controllability in small time of semiclassical 1-D Schrödinger equations between two states with positive quantum densities

An example of a small-time globally approximately controllable bilinear Schrödinger equation

Local exact controllability to constant trajectories for Navier-Stokes-Korteweg model

Global Stabilization of a Class of Nonlinear Reaction-Diffusion PDEs by Boundary Feedback

On the controllability of nonlinear systems with a periodic drift