Using the Wigner function for quantum transport in device simulation

The Wigner function was introduced as a generalization of the concept of distribution function for quantum statistics. The aim of this work is pushing further the formal analogy between quantum and classical approaches. The Wigner function is defined as an ensemble average, i.e., in terms of a mixture of pure states. From the point of view of basic physics, it would be very appealing to be able to define a Wigner function also for pure states and the associated expectation values for quantum observables, in strict analogy with the definition of mean value of a physical quantity in classical mechanics; then correct results for any quantum system should be recovered as appropriate superpositions of such ''pure-state'' quantities. We will show that this is actually possible, st the cost of dealing with generalized functions in place of proper functions.