Weak formulation for nonlinear hyperbolic Stefan problems.
Motivated by a classical work of Erdős we give rather precise necessary and sufficient growth conditions on the nonlinearity in a semilinear wave equation in order to have global existence for all initial data. Then we improve some former exact controllability theorems of Imanuvilov and Zuazua.