English

Small-time approximate controllability of bilinear Schr\"odinger equations and diffeomorphisms

Optimization and Control 2025-01-30 v2 Analysis of PDEs

Abstract

We consider Schr\"odinger PDEs, posed on a boundaryless Riemannian manifold MM, with bilinear control. We propose a new method to prove the global L2L^2-approximate controllability. Contrarily to previous ones, it works in arbitrarily small time and does not require a discrete spectrum. This approach consists in controlling separately the radial part and the angular part of the wavefunction thanks to the control of the group Diffc0(M){\rm Diff}_c^0(M) of diffeomorphisms of MM and the control of phases, which refer to the possibility, for any initial state ψ0L2(M,C)\psi_0\in L^2(M,\mathbb{C}), diffeomorphism PDiffc0(M)P\in {\rm Diff}_c^0(M) and phase φL2(M,R)\varphi \in L^2(M,\mathbb{R}) to reach approximately the states (detDP)1/2(ψ0P)(\det DP)^{1/2}(\psi_0\circ P) and eiφψ0e^{i \varphi}\psi_0 . The control of the radial part uses the transitivity of the group action of Diffc0(M){\rm Diff}_c^0(M) on positive densities proved by Moser. We develop this approach on two examples of Schr\"odinger equations, posed on Td\mathbb{T}^d or Rd\mathbb{R}^d, for which the small-time control of phases was recently proved. We prove that it implies the small-time control of flows of vector fields thanks to Lie bracket techniques. Combining this property with the simplicity of the group Diffc0(M){\rm Diff}_c^0(M) proved by Thurston, we obtain the control of the group Diffc0(M){\rm Diff}_c^0(M).

Keywords

Cite

@article{arxiv.2410.02383,
  title  = {Small-time approximate controllability of bilinear Schr\"odinger equations and diffeomorphisms},
  author = {Karine Beauchard and Eugenio Pozzoli},
  journal= {arXiv preprint arXiv:2410.02383},
  year   = {2025}
}

Comments

23 pages