T d = R/2πZ, J = (J1, . . . , Jd) ∈ M . Here M is a domain in Rd, and φ = (φ1, . . . , φd), φj ∈ S1, are angle coordinates on Λ(J) defining the half-density |dφ1 ∧ · · · ∧ dφd|. Let γj , j = 1, . . . , d, be basic cycles on Λ(J). They determine the action variables given in the canonical coordinates (x, p) by the formulas Ij = ∮ γj p dx and also the Maslov indicesmj . Ij = ∮ γj pdx, andmj . We shall always assume that the actions Ij coincide with the parameters Jj and that the actions J and the angles φ onΛ(J) are are conjugate symplectic coordinates (in general, local). Since theΛ(J) smoothly depend on the parameters, we can assume that the cycles γj smoothly depend on J ∈ M , and hence the Maslov indices mj prove to be the same for the cycles γj with a fixed j. Let us fix certain (distinguished) points r(J) on Λ(J). Further, assume that we are given smooth functions χ(φ, J) on Λ(J), which also depend smoothly on J . Let h > 0 be a small parameter. For each fixed h, consider the setMq ⊂ M of vectors J(k, h), k = (k1, . . . , kd) ∈ Zn, with components Jj(k, h), satisfying the Bohr–Sommerfeld–Maslov quantization rule
Read full abstract