Existence of unattainable states for Schrödinger type flows on the half-line

Abstract

Abstract We prove that the solutions of the Schrödinger and biharmonic Schrödinger equations do not have the exact boundary controllability property on the half-line by showing that the associated adjoint models lack observability. We consider the framework of $L^2$ boundary controls with data spaces $H^{-1}(\mathbb{R}_+)$ and $H^{-2}(\mathbb{R}_+)$ for the classical and biharmonic Schrödinger equations, respectively. The lack of controllability on the half-line contrasts with the corresponding dynamics on a finite interval for a similar regularity setting. Our proof is based on an argument that uses the sharp fractional time trace estimates for solutions of the adjoint models. We also make several remarks on the connection of controllability and temporal regularity of spatial traces.