Abstract
We study the initial boundary value problem for the Schrödinger equation with non-homogeneous Dirichlet boundary conditions. Special care is devoted to the space where the boundary data belong. When $\Omega$ is the complement of a non-trapping obstacle, well-posedness for boundary data of optimal regularity is obtained by transposition arguments. If $\Omega^c$ is convex, a local smoothing property (similar to the one for the Cauchy problem) is proved, and used to obtain Strichartz estimates. As an application local well-posedness for a class of subcritical non-linear Schrödinger equations is derived.