Maslov's canonical operator in arbitrary coordinates on the Lagrangian manifold (Q294353)

Given a small parameter \(h\) and a Lagrangian submanifold \(\Lambda\subset\mathbb{R}^{2n}_{xp}\) such that the Bohr-Sommerfeld quantization conditions hold, Maslov's canonical operator assigns, generalizing the classical WKB construction, to an amplitude \(A\in C_c^\infty(\Lambda)\) an oscillatory function \(K^h_\Lambda(A)\) on \(\mathbb{R}^n_x\). The authors propose an algorithm to compute, for any given coordinate system on \(\Lambda\), phase functions which locally define \(\Lambda\). The algorithm is meant to be an ingredient in numerical computations involving Maslov's canonical operator. No numerical results are reported, however.