  For strictly convex billiard maps of smooth boundaries, we get a Birkhoff
normal form via a list of constructive generating functions. Based on this, we
get an explicit formula for the beta function (locally), and explored the
relation between the spectral invariants of the billiard maps and the beta
function.
