Propagation of singularities for PDEs General topics mathematics