periodic potential, adiabatic decoupling, semiclassical limit, Wigner function, Wigner measure, Bloch electron