Wigner distribution functions for a relativistic linear oscillator

We construct the Wigner representation for a relativistic model of the linear harmonic oscillator governed by a finite-difference equation. We find Wigner functions for the stationary states, the thermodynamic equilibrium states, and the coherent states. We examine their nonrelativistic limits and the high and low temperature limits for the equilibrium states. We compute the mean values of the position and momentum coordinates for these Wigner functions.