  In this thesis, we construct an approximate series solution of the Wigner
equation in terms of Airy functions, which are semiclassically concentrated on
certain Lagrangian curves in two-dimensional phase space. These curves are
defined by the eigenvalues and the Hamiltonian function of the associated
one-dimensional Schr\"odinger operator, and they play a crucial role in the
quantum interference mechanism in phase space. We assume that the potential of
the Schr\"odinger operator is a single potential well, such that the spectrum
is discrete.
  The construction starts from an eigenfunction series expansion of the
solution, which is derived here for first time in a systematic way, by
combining the elementary technique of separation of variables with involved
spectral results for the Moyal star exponential operator. The eigenfunctions of
the Wigner equation are the Wigner transforms of the Schr\"odinger
eigenfunctions, and they are approximated in terms of Airy functions by a
uniform stationary phase approximation of the Wigner transforms of the WKB
expansions of the Schr\"odinger eigenfunctions.
  The approximation of the eigenfunction series is an approximated solution of
the Wigner equation, which by projection onto the configuration space provides
an approximate wave amplitude, free of turning point singularities. It is
generally expected that, the derived wave amplitude is bounded, and correctly
scaled, even on caustics, since only finite terms of the approximate terms are
significant for WKB initial wave functions with finite energy.
  The details of the calculations are presented for the simple potential of the
harmonic oscillator, in order to be able to check our approximations
analytically. But, the same construction can be applied to any potential well,
which behaves like the harmonic oscillator near the bottom of the well.
