Normal ordering of the angular momentum cylindrical ladder operators and their products with Wigner D_0,ε ¹ functions

The operator canonical perturbation theory (CPT) is an efficient tool for solving the molecular vibration-rotation Schrödinger equation. The corresponding Watson Hamiltonian can be written using angular momentum cylindrical ladder operators (J_z, J_± = J_x ∓ iJ_y) possessing the Lie algebra su(2) commutation relations [J₊, J_-] = 2J_z, [J_z, J_±] = ±J_±. The reduced effective Hamiltonians suitable for fitting to observed spectra are traditionally based on Hermitian basis sets, e.g., (J²)^lJ_z ⁿ,(J₊ ^m+J_- ^m)₊. It is beneficial to re-express such Hamiltonians using sums of normal ordered products of ladder operators J_z ^aJ₊ ^bJ_- ^c. For instance, in the CPT, the unitary transformations reduce to the normal ordering problem. Similarly, the dipole moment transition probabilities can be evaluated using Wigner functions, D_0,ε ¹(ε=0,±1), possessing complex commutation relations with J_α-operators. The related line strengths are proportional to the squared matrix elements of the unitary transformed dipole moment operator given by a polynomial in normal ordered products D_0,ε ¹J_z ^aJ₊ ^bJ_- ^c. We have applied the technique of combinatorial calculations associated with the classical representation theory and obtained compact formulas for normal ordering of the typical raw products J_z ^aJ₊ ^bJ_- ^cJ_z ^dJ₊ ^eJ_- ^f and J_z ^aJ₊ ^bJ_- ^cD_0,ε ¹. The theory of universal enveloping Lie algebras and representation theory show that the resulting formulas cannot be further improved from the mathematical point of view. The results have a wide scope of applications in other fields of physics, including other operators with the same commutation properties. The resulting expressions for normal orderings and routines for evaluation of matrix elements, as well as the systematic tests of working formulas, were coded in Fortran and the software is available through the GitHub hosting service.