Fast and strongly localized observation for the Schrödinger equation

Gerald Tenenbaum (1) , Marius Tucsnak (2)

1 IECN - Institut Élie Cartan de Nancy
2 CORIDA - Robust control of infinite dimensional systems and applications

We study the exact observability of systems governed by the Schrödinger equation in a rectangle with homogeneous Dirichlet (respectively Neumann) boundary conditions and with Neumann (respectively Dirichlet) boundary observation. Generalizing previous results of Ramdani, Takahashi, Tenenbaum and Tucsnak, we prove that these systems are exactly observable in arbitrarily small time. Moreover, we show that the above results hold even if the observation regions have arbitrarily small measures. More precisely, we prove that in the case of homogeneous Neumann boundary conditions with Dirichlet boundary observation, the exact observability property holds for every observation region whith non empty interior. In the case of homogeneous Dirichlet boundary conditions with Neumann boundary observation, we show that the exact observability property holds if and only if the observation region has an open intersection with an edge of each direction. Moreover, we give explicit estimates for the blow-up rate of the observability constants as the time and (or) the size of the observation region tend to zero. The main ingredients of the proofs are an effective version of a theorem of Beurling and Kahane on non harmonic Fourier series and an estimate for the number of lattice points in the neighbourhood of an ellipse.

Mots clés: Boundary exact observability; Schrödinger equation; Plate equation; Sieve; Quadratic forms; Squares

Domaines: Equations aux dérivées partielles [math.AP]; Théorie des nombres [math.NT]

Gerald Tenenbaum, Marius Tucsnak. Fast and strongly localized observation for the Schrödinger equation. Transactions of the American Mathematical Society, 2009, 361 (2), pp.951--977. ⟨10.1090/S0002-9947-08-04584-4⟩. ⟨hal-00142758⟩