The use of the Wigner function for the study of\ud
quantum transport in open systems is subject to severe criticisms.\ud
Some of the problems arise from the assumption of\ud
infinite coherence length of the electron dynamics outside\ud
the system of interest. In the present work the theory of\ud
the Wigner function is revised assuming a finite coherence\ud
length. A new dynamical equation is found, corresponding\ud
to move the Wigner momentum off the real axis, and a numerical\ud
analysis is performed for the case of study of the\ud
one-dimensional potential barrier. In quantum device simulations,\ud
for a sufficiently long coherence length, the new formulation\ud
does not modify the physics in any finite region of\ud
interest but it prevents mathematical divergence problems