Local controllability of 1D Schrödinger equations with bilinear control and minimal time

We consider a linear Schrodinger equation, on a bounded interval, with bilinear control.   In [10], Beauchard and Laurent prove that, under an appropriate non degeneracy assumption, this system is controllable, locally around the ground state, in arbitrary time. In [18], Coron proves that a positive minimal time is required for this controllability result, on a particular degenerate example.   In this article, we propose a general context for the local controllability to hold in large time, but not in small time. The existence of a positive minimal time is closely related to the behaviour of the second order term, in the power series expansion of the solution.

[1]  Jerrold E. Marsden,et al.  Controllability for Distributed Bilinear Systems , 1982 .

[2]  Julien Salomon,et al.  Constructive solution of a bilinear optimal control problem for a Schrödinger equation , 2008, Syst. Control. Lett..

[3]  Mazyar Mirrahimi,et al.  Practical Stabilization of a Quantum Particle in a One-Dimensional Infinite Square Potential Well , 2009, SIAM J. Control. Optim..

[4]  Vahagn Nersesyan,et al.  Global approximate controllability for Schr\"odinger equation in higher Sobolev norms and applications , 2009, 0905.2438.

[5]  Karine Beauchard,et al.  Local controllability of a 1-D Schrödinger equation , 2005 .

[6]  Mario Sigalotti,et al.  Controllability of the discrete-spectrum Schrödinger equation driven by an external field , 2008, 0801.4893.

[7]  Jean-Michel Coron,et al.  Partial Differential Equations / Optimal Control On the small-time local controllability of a quantum particle in a moving one-dimensional infinite square potential well , 2005 .

[8]  U. Boscain,et al.  Controllability of the Schrödinger Equation via Intersection of Eigenvalues , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[9]  Hayk Nersisyan,et al.  Global exact controllability in infinite time of Schrödinger equation: multidimensional case , 2012, 1201.3445.

[10]  Karine Beauchard,et al.  Controllability of a quantum particle in a moving potential well , 2006 .

[11]  Lucie Baudouin,et al.  Regularity for a Schrödinger equation with singular potentials and application to bilinear optimal control , 2005 .

[12]  Lucie Baudouin.  A bilinear optimal control problem applied to a time dependent Hartree-Fock equation coupled with classical nuclear dynamics , 2006 .

[13]  V. Nersesyan.  Growth of Sobolev Norms and Controllability of the Schrödinger Equation , 2008, 0804.3982.

[14]  Claude Le Bris,et al.  Contrôle optimal bilinéaire d'une équation de Schrödinger , 2000 .

[15]  Karine Beauchard,et al.  Local controllability and non-controllability for a 1D wave equation with bilinear control , 2011 .

[16]  Mario Sigalotti,et al.  A Weak Spectral Condition for the Controllability of the Bilinear Schrödinger Equation with Application to the Control of a Rotating Planar Molecule , 2011, ArXiv.

[17]  J. Frédéric Bonnans,et al.  Perturbation Analysis of Optimization Problems , 2000, Springer Series in Operations Research.

[18]  Nabile Boussaid,et al.  Weakly Coupled Systems in Quantum Control , 2011, IEEE Transactions on Automatic Control.

[19]  Reinhard Illner,et al.  Limitations on the control of Schrödinger equations , 2006 .

[20]  Mazyar Mirrahimi,et al.  Lyapunov control of a quantum particle in a decaying potential , 2008, 0805.0910.

[21]  Gabriel Turinici,et al.  On the controllability of bilinear quantum systems , 2000 .

[22]  Karine Beauchard.  CONTROLLABLITY OF A QUANTUM PARTICLE IN A 1D VARIABLE DOMAIN , 2008 .

[23]  Eduardo Cerpa,et al.  Boundary controllability for the nonlinear Korteweg–de Vries equation on any critical domain , 2009 .

[24]  Karine Beauchard,et al.  Local controllability of 1D linear and nonlinear Schr , 2010, 1001.3288.

[25]  J. Coron.  Control and Nonlinearity , 2007 .

[26]  Sylvain Ervedoza,et al.  Approximate Controllability for a System of Schrödinger Equations Modeling a Single Trapped Ion , 2009 .