Wigner functions, contact interactions, and matching

Quantum mechanics in phase space (or deformation quantization) appears to fail as an autonomous quantum method when infinite potential walls are present. The stationary physical Wigner functions do not satisfy the normal eigen equations, the ★-eigen equations, unless an ad hoc boundary potential is added [N.C. Dias, J.N. Prata, J. Math. Phys. 43 (2002) 4602 (quant-ph/0012140)]. Alternatively, they satisfy a different, higher-order, "★-eigen-★ equation", locally, i.e. away from the walls [S. Kryukov, M.A. Walton, Ann. Phys. 317 (2005) 474 (quant-ph/0412007)]. Here we show that this substitute equation can be written in a very simple form, even in the presence of an additional, arbitrary, but regular potential. The more general applicability of the ★-eigen-★ equation is then demonstrated. First, using an idea from [D.B. Fairlie, C.A. Manogue, J. Phys. A 24 (1991) 3807], we extend it to a dynamical equation describing time evolution. We then show that also for general contact interactions, the ★-eigen-★ equation is satisfied locally. Specifically, we treat the most general possible (Robin) boundary conditions at an infinite wall, general one-dimensional point interactions, and a finite potential jump. Finally, we examine a smooth potential, that has simple but different expressions for x positive and negative. We find that the ★-eigen-★ equation is again satisfied locally. It seems, therefore, that the ★-eigen-★ equation is generally relevant to the matching of Wigner functions; it can be solved piece-wise and its solutions then matched.