Semiclassical theory of spin-orbit interaction in the extended phase space

We consider the semiclassical theory in a joint phase space of spin and orbital degrees of freedom. The method is developed from the path integrals using the spin-coherent-state representation, and yields the trace formula for the density of states. We discuss special cases, such as weak and strong spin-orbit coupling, and relate the present theory to the earlier approaches.