Semiclassical Poincare map for integrable systems.

The semiclassical Poincare map is applied to integrable systems and in particular to the rectangular billiard. The zeroes of the functional determinant are shown to give EBK quantization. The transfer operator is explicitly unitary and finite, resulting in a finite expansion of the Euler product over periodic orbits.