The existence of quantum billiard chaos is examined for non-stationary stat
es based on expansion or the quantum distribution in the quasi-classical li
mit. It is shown that this expansion converges asymptotically and leads to
the Liouville equation, which in turn implies the Poincare recurrence theor
em. A smoothing procedure is introduced which renders this expansion consis
tent at the boundary of the billiard. This recurrence property lends: suppo
rt to the existence of quantum billiard chaos and further establishes corre
spondence between classical and quantum chaotic billiards. (C) 2000 Elsevie
r Science B.V. All rights reserved.