Phase Space Analysis and Smoothing for Schrödinger Equations