coherent states, semiclassical analysis