Abstract
We present general analytical expressions for the matrix elements of the atom–diatom interaction potential, expanded in terms of Legendre polynomials, in a basis set of products of two spherical harmonics, especially significant to the recently developed adiabatic variational theory for cold molecular collision experiments [J. Chem. Phys. 143, 074114 (2015); J. Phys. Chem. A 121, 2194 (2017)]. We used two approaches in our studies. The first involves the evaluation of the integral containing trigonometric functions with arbitrary powers. The second approach is based on the theorem of addition of spherical harmonics.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Atomic and molecular collisions at subkelvin temperatures are a very sensitive probe of the interaction potential. The group of Narevicius conducted a few years ago the first merged-beam experiments for low-energy collisions of atoms with diatomic molecules [1,2,3]. These experiments were cutting-edge attainments in cold controlled chemistry [4,5,6]. Recently, Narevicius with collaborators directly probed the anisotropy in the atom–diatom collisions through orbiting resonances, revealing its strong role in the interaction energy [7]. Therefore, a high level of theory is needed to inspect and elucidate the measurements in the subkelvin regime, where quantum effects dominate.
The potential describing the interaction between an atom in an S state and a closed-shell diatomic molecule in the Jacobi coordinate system is a function of three coordinates \((R, r, \vartheta )\). The orientation of the molecule and the entire complex is characterized by the vectors \(\mathbf {r}\) and \(\mathbf {R}\), respectively. Consequently, r is the interatomic separation in the molecule, whereas R is the distance from the atom to the center of mass (COM) of the molecule. The third coordinate \(\vartheta\) is the angle between \(\mathbf {r}\) and \(\mathbf {R}\). The potential may be conveniently expanded in Legendre polynomials as follows [8,9,10]
where \(V_\eta (R,r)\) are radial functions. Note that the terms with \(\eta =1,3,\ldots\) vanish for homonuclear molecules because \(V(R,r,\vartheta )=V(R,r,\pi -\vartheta )\). When we consider the atom–diatom complex in the laboratory coordinate frame, the angle \(\vartheta\) can be expressed in terms of four angles \(\theta _1\), \(\phi _1\), \(\theta _2\), \(\phi _2\) [11]:
The angles \(\theta _1\) and \(\phi _1\) specify the direction of the atom–COM axis, whereas \(\theta _2\) and \(\phi _2\) indicate the orientation of the diatomic bond.
The adiabatic approach in molecular collisions has a long record, going back to Levine [12]. Klemperer and coworkers [8] introduced the Born–Oppenheimer separation of angular and radial motion for calculating the properties of ground-state van der Waals complexes. A similar concept has been adopted by many other authors, e.g., for spectroscopic studies of weakly bound molecular systems [13,14,15,16,17,18] or molecular scattering calculations [19,20,21]. In our investigations, we have employed the newly developed adiabatic variational theory (AVT) for cold anisotropic collision experiments [11, 22, 23] that allows solving the Schrödinger equation, reducing the multidimensional problem to simpler subproblems without losing physical information, and then calculating reaction rate coefficients. It has been successfully applied for excited metastable helium atoms (He(\(2^3\)S)) colliding with rovibrational ground-state hydrogen molecules, achieving a good, or very good, agreement with the experimental data of the Narevicius group [22,23,24,25]. The latest work with AVT confirms the observed strong quantum kinetic isotope effect in low-energy collisions between He(\(2^3\)S) and hydrogen isotopologues (H\(_2\), HD, D\(_2\)) and exhibits that the change of the rovibrational state of the molecule can significantly enhance or suppress the reaction process like a quantum switch [26].
According to AVT, we represent the interaction potential, Eq. (1), in a matrix form in a basis set consisting of products of two spherical harmonics, \(\{Y_{l_1,m_1}(\theta _1,\phi _1)Y_{l_2,m_2}(\theta _2,\phi _2)\}\), where \(l_1,m_1,l_2,m_2\) are referred to as quantum numbers. Such a basis set describes the rotations of the entire complex and the molecule. Up to date, AVT has been only used with \(\eta \le 2\) [11, 22,23,24,25,26,27], where the matrix elements were calculated directly without using sophisticated methods. For \(\eta >2\), the matrix elements become much more complicated and difficult to resolve. Therefore, in the present work, we derive general analytical angular solutions for the following matrix elements (in the Dirac notation)
This is a purely mathematical issue and it boils down to the evaluation of appropriate integrals, which can be further used to investigate thoroughly the effect of anisotropy on the resonant structure in reaction cross sections and rate coefficients of atoms colliding with diatoms. In general, the inclusion of higher terms \((\eta >2)\) of the Legendre polynomials expansion in AVT may lead to a better agreement of the theoretical predictions with the experimental findings and a deeper understanding of quantum phenomena in chemical reactions (as, for instance, Penning ionization, interatomic or intermolecular Coulombic decay, Auger effect), especially at very low temperatures (below 1 kelvin). Moreover, the first detection of He(2\(^3\)S) on an exoplanet in 2018 [28] significantly extended the role of theoretical chemistry in astrochemistry. The interaction and collisions of 2\(^3\)S helium with ubiquitous molecular hydrogen and other diatomic molecules are expected to be intensively studied in the next years.
The problem might seem to be similar to the one considered by Percival and Seaton in Ref. [29]. The authors found the matrix elements of \(P_\eta (\cos \vartheta )\) in the following basis set \(\{\sum _{m_1,m_2} \langle l_1,l_2,m_1,m_2|LM\rangle Y_{l_1,m_1}(\theta _1,\phi _1) Y_{l_2,m_2}(\theta _2,\phi _2)\}\), where \(\langle l_1,l_2,m_1,m_2|LM\rangle\) are the Clebsch–Gordan coefficients. However, they imposed constraints that \(|l_1-l_2|\le L\le l_1+l_2\) and \(M=m_1+m_2\). This action is physically well-motivated — the total angular momentum L is a rigorously good quantum number. Since then, the other authors have been widely using the solutions of Percival and Seaton. However, the solutions cannot be adopted to the above-mentioned AVT, which is a non-standard method, where \(m_1\) and \(m_2\) are input parameters, but not L and M. Nevertheless, the studies presented in this work are based on a methodology different from that in Ref. [29] and to our knowledge have not been conducted previously.
2 Evaluation of the integral involving arbitrary powers of trigonometric functions
First, we represent the Legendre polynomials in Eq. (1) as follows:
where \(\alpha =\frac{\eta +k-1}{2}\). Note that \({\alpha \atopwithdelims ()\eta }\) is the generalized binomial coefficient defined as
In Appendix 1, we showed that the Eq. (4) is equivalent to the well-known expression [30, 31]
where \(\left[ \frac{\eta }{2}\right]\) stands for the integer part of \(\frac{\eta }{2}\). After substituting Eq. (2) into Eq. (4) and utilizing the trinomial expansion, the matrix elements, Eq. (3), read
where \({k \atopwithdelims ()k_1,k_2,k_3}=\frac{k!}{k_1!k_2!k_3!}\). This formula can be straight implemented in any quantum chemistry package or atomic and molecular physics program, provided that the analytical form of such a general integral is known
with \(j=1,2\) and non-negative integers \(n_1,n_2,n_3,n_4\). For simplicity, we henceforth omit the index j. We use mostly recommended and broadly accepted notation of the spherical harmonics, where the factor of \((-1)^m\), i.e., the Condon–Shortley phase, is included in the associated Legendre polynomial \((P_l^m)\), see Chapter 15.4 in Ref. [30]. Thus,
where \(l=0,1,2,\ldots\), \(-l\le m \le l\), and \(N_{l,m}\) is a normalization constant given by
For negative m values, the associated Legendre polynomial reads
The integral \(I(n_1,n_2,n_3,n_4,l^\prime ,m^\prime ,l,m)\), Eq. (8), can be factorized into two independent integrals:
2.1 Integral over \(\theta\)
Substituting \(\cos \theta\) by x in Eq. (12) yields
Based on the Schmied expression [32],
we expand the first term inside the integral \(I^{\theta }\) by means of Legendre polynomials \(P_l\). Note that \(P_l(x)=P_l^0(x)\), therefore, further we use the form of the above equation with the associated Legendre polynomials. We also represent the second term in the integral \(I^{\theta }\) by the associated Legendre polynomials utilizing
Consequently, the considered integral (14) becomes
where
Dong and Lemus showed in Ref. [33] a general expression for the overlap integral of an arbitrary number of associated Legendre polynomials. Here, we present the proper formula adjusted to our problem of four associated Legendre polynomials, namely
where
In Eqs. (20)–(22), ( : : : ) denotes a Wigner 3j symbol. It should be noted that the above formula for the overlap integral holds for all \(q_1, q_2, q_3, q_4 \ge 0\), while for negative values, one has to apply Eq. (11). Moreover, the integral is equal to zero when \(p_1+p_2+p_{12}\) or \(p_{12}+p_3+p_{123}\) or \(p_{123}+p_4+p_{1234}\) is odd.
2.2 Integral over \(\phi\)
Let us now focus on the integral with respect to \(\phi\), i.e., on Eq. (13). We represent the exponential function by means of the trigonometric ones using Euler’s formula and perform its binomial expansion. Then, we obtain
where
and i is the imaginary unit (\(i^2=-1\)). As we showed in Appendix 2, the above internal integral may be written in the form of the beta function
Since there is a close relationship between the beta function and the gamma function, see Eq. (47) in Appendix 2, the integral over \(\phi\) reads
It is clear that this integral vanishes if \(|m-m^\prime |+n_3+n_4\) is odd.
3 Compact expression
The matrix elements, Eq. (3), can be also found based on the theorem of addition of spherical harmonics [31, 34]
where \(\vartheta\) is the angle between two directions described by \((\theta _1,\phi _1)\) and \((\theta _2,\phi _2)\), then
The closed-form expression for the integral with three spherical harmonics is given by [31, 34]
When we include \(Y_{p,q}^*=(-1)^{q}Y_{p,-q}\), the matrix elements are as follows
In order to validate our mathematical derivations, we implemented both approaches in MATLAB [35] and performed calculations for the same large set of various input parameters. We obtained identical results, confirming the correctness of the findings.
4 Concluding remarks
We have derived the exact analytical angular matrix elements of the potential for the interaction of an atom with a closed-shell diatomic molecule, expanded in Legendre polynomials, in a basis set of products of two spherical harmonics. We presented two approaches. The first concerns the calculation of the integral involving arbitrary powers of trigonometric functions. The obtained results within this approach are generic and may be useful not only in studies of anisotropic molecular collisions but also in other different fields of theoretical physics and chemistry. The second approach is much shorter; we demonstrated the expression in a compact form that can be of great interest to experimentalists due to its coding simplicity, especially when adiabatic variational theory is applied.
References
A.B. Henson, S. Gersten, Y. Shagam, J. Narevicius, E. Narevicius, Observation of resonances in Penning ionization reactions at sub-kelvin temperatures in merged beams. Science 338, 234–238 (2012). https://doi.org/10.1126/science.1229141
E. Lavert-Ofir, Y. Shagam, A.B. Henson, S. Gersten, J. Kłos, P.S. Żuchowski, J. Narevicius, E. Narevicius, Observation of the isotope effect in sub-kelvin reactions. Nat. Chem. 6, 332–335 (2014). https://doi.org/10.1038/nchem.1857
Y. Shagam, A. Klein, W. Skomorowski, R. Yun, V. Averbukh, C.P. Koch, E. Narevicius, Molecular hydrogen interacts more strongly when rotationally excited at low temperatures leading to faster reactions. Nat. Chem. 7, 921–926 (2015). https://doi.org/10.1038/nchem.2359
J.L. Bohn, A.M. Rey, J. Ye, Cold molecules: progress in quantum engineering of chemistry and quantum matter. Science 357, 1002–1010 (2017). https://doi.org/10.1126/science.aam6299
C.P. Koch, M. Lemeshko, D. Sugny, Quantum control of molecular rotation. Rev. Mod. Phys. 91, 035005 (2019). https://doi.org/10.1103/revmodphys.91.035005
Y. Liu, L. Luo, Molecular collisions: from near-cold to ultra-cold. Front. Phys. 16, 42300 (2021). https://doi.org/10.1007/s11467-020-1037-6
A. Klein, Y. Shagam, W. Skomorowski, P.S. Żuchowski, M. Pawlak, N. Moiseyev, M.C. Janssen, S.Y.T. van de Meerakker, A. van der Avoird, C.P. Koch, E. Narevicius, Directly probing anisotropy in atom-molecule collisions through quantum scattering resonances. Nat. Phys. 13, 35–38 (2017). https://doi.org/10.1038/nphys3904
S.L. Holmgren, M. Waldman, W. Klemperer, Internal dynamics of van der Waals complexes. I. Born-Oppenheimer separation of radial and angular motion. J. Chem. Phys. 67, 4414–4422 (1977). https://doi.org/10.1063/1.434572
J.M. Hutson, An introduction to the dynamics of van der Waals molecules. Adv. Mol. Vibrat. Coll. Dyn. 1A, 1–45 (1991)
M.-L. Dubernet, J.M. Hutson, Atom-molecule van der Waals complexes containing open-shell atoms. I. General theory and bending levels. J. Chem. Phys. 101, 1939–1958 (1994). https://doi.org/10.1063/1.467704
M. Pawlak, Y. Shagam, E. Narevicius, N. Moiseyev, Adiabatic theory for anisotropic cold molecule collisions. J. Chem. Phys. 143, 074114 (2015). https://doi.org/10.1063/1.4928690
R.D. Levine, Adiabatic approximation for nonreactive, subexcitation, molecular collisions. J. Chem. Phys. 49, 51–55 (1968). https://doi.org/10.1063/1.1669858
M.H. Alexander, S. Gregurick, P.J. Dagdigian, G.W. Lemire, M.J. McQuaid, R.C. Sausa, Potential energy surfaces for the interaction of CH(\(X\,^2\Pi , B\,^2\Sigma ^-\)) with Ar and an assignment of the stretch-bend levels of the ArCH(B) van der Waals molecule. J. Chem. Phys. 101, 4547–4560 (1994). https://doi.org/10.1063/1.467442
W. Klopper, M. Quack, M.A. Suhm, A new ab initio based six-dimensional semi-empirical pair interaction potential for HF. Chem. Phys. Lett. 261, 35–44 (1996). https://doi.org/10.1016/0009-2614(96)00901-3
C. Leforestier, F. Gatti, R.S. Fellers, R.J. Saykally, Determination of a flexible (12D) water dimer potential via direct inversion of spectroscopic data. J. Chem. Phys. 117, 8710–8722 (2002). https://doi.org/10.1063/1.1514977
H. Li, P.-N. Roy, R.J. Le Roy, An “adiabatic-hindered-rotor” treatment allows para-H2 to be treated as if it were spherical. J. Chem. Phys. 133, 104305 (2010). https://doi.org/10.1063/1.3476465
T. Zeng, H. Li, R.J. Le Roy, P.-N. Roy, “Adiabatic-hindered-rotor” treatment of the parahydrogen-water complex. J. Chem. Phys. 135, 094304 (2011). https://doi.org/10.1063/1.3626840
Y. Scribano, A. Faure, Note: On the inclusion of a diagonal Born-Oppenheimer correction in the reduced dimensional treatment of the H2O-para-H2 complex. J. Chem. Phys. 146, 226102 (2017). https://doi.org/10.1063/1.4986074
D.C. Clary, Fast chemical reactions: theory challenges experiment. Annu. Rev. Phys. Chem. 41, 61–90 (1990). https://doi.org/10.1146/annurev.pc.41.100190.000425
Y. Scribano, A. Faure, D. Lauvergnat, Rotational excitation of H2O by para-H2 from an adiabatically reduced dimensional potential. J. Chem. Phys. 136, 094109 (2012). https://doi.org/10.1063/1.3690881
T.V. Tscherbul, A.A. Buchachenko, Adiabatic channel capture theory applied to cold atom-molecule reactions: Li+CaH\(\rightarrow\)LiH+Ca at 1 K. New J. Phys. 17, 035010 (2015). https://doi.org/10.1088/1367-2630/17/3/035010
M. Pawlak, Y. Shagam, A. Klein, E. Narevicius, N. Moiseyev, Adiabatic variational theory for cold atom-molecule collisions: application to a metastable helium atom colliding with ortho- and para-hydrogen molecules. J. Phys. Chem. A 121, 2194–2198 (2017). https://doi.org/10.1021/acs.jpca.6b13038
M. Pawlak, A. Ben-Asher, N. Moiseyev, Simple closed-form expression for Penning reaction rate coefficients for cold molecular collisions by non-Hermitian time-independent adiabatic scattering theory. J. Chem. Theory Comput. 14, 236–241 (2018). https://doi.org/10.1021/acs.jctc.7b01017
D. Bhattacharya, A. Ben-Asher, I. Haritan, M. Pawlak, A. Landau, N. Moiseyev, Polyatomic ab initio complex potential energy surfaces: illustration of ultracold collisions. J. Chem. Theory Comput. 13, 1682–1690 (2017). https://doi.org/10.1021/acs.jctc.7b00083
M. Pawlak, P.S. Żuchowski, N. Moiseyev, P. Jankowski, Evidence of nonrigidity effects in the description of low-energy anisotropic molecular collisions of hydrogen molecules with excited metastable helium atoms. J. Chem. Theory Comput. 16, 2450–2459 (2020). https://doi.org/10.1021/acs.jctc.0c00183
M. Pawlak, P.S. Żuchowski, P. Jankowski, Kinetic isotope effect in low-energy collisions between hydrogen isotopologues and metastable helium atoms: theoretical calculations including the vibrational excitation of the molecule. J. Chem. Theory Comput. 17, 1008–1016 (2021). https://doi.org/10.1021/acs.jctc.0c01122
D. Bhattacharya, M. Pawlak, A. Ben-Asher, A. Landau, I. Haritan, E. Narevicius, N. Moiseyev, Quantum effects in cold molecular collisions from spatial polarization of electronic wave function. J. Phys. Chem. Lett. 10, 855–863 (2019). https://doi.org/10.1021/acs.jpclett.8b03807
J.J. Spake, D.K. Sing, T.M. Evans, A. Oklopčić, V. Bourrier, L. Kreidberg, B.V. Rackham, J. Irwin, D. Ehrenreich, A. Wyttenbach, H.R. Wakeford, Y. Zhou, K.L. Chubb, N. Nikolov, J.M. Goyal, G.W. Henry, M.H. Williamson, S. Blumenthal, D.R. Anderson, C. Hellier, D. Charbonneau, S. Udry, N. Madhusudhan, Helium in the eroding atmosphere of an exoplanet. Nature 557, 68–70 (2018). https://doi.org/10.1038/s41586-018-0067-5
I.C. Percival, M.J. Seaton, The partial wave theory of electron-hydrogen atom collisions. Math. Proc. Camb. Philos. Soc. 53, 654–662 (1957). https://doi.org/10.1017/s0305004100032722
G.B. Arfken, H.J. Weber, F.E. Harris, Mathematical Methods for Physicists (7th edn., Academic Press, 2013)
A.R. Edmonds, Angular Momentum in Quantum Mechanics (Princeton University Press, Princeton, New Jersey, 1996)
E.W. Weisstein, From MathWorld — A Wolfram web resource. https://mathworld.wolfram.com/LegendrePolynomial.html
S.-H. Dong, R. Lemus, The overlap integral of three associated Legendre polynomials. Appl. Math. Lett. 15, 541–546 (2002). https://doi.org/10.1016/s0893-9659(02)80004-0
I.I. Sobelman, Atomic Spectra and Radiative Transitions (Springer, Berlin, 1996)
The Mathworks, Inc., Natick, Massachusetts, MATLAB version 9.4.0.949201 (R2018a Update 6) (2018)
Acknowledgements
We would like to thank Piotr Jankowski for helpful discussions. This research was financially supported by the National Science Centre, Poland (Grant No. 2016/23/D/ST4/00341).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix 1
We demonstrate that the following representation for Legendre polynomials
where \(\alpha =\frac{\eta +k-1}{2}\), is an alternative to the more common one [30, 31]
where \(\left[ \frac{\eta }{2}\right]\) stands for the integer part of \(\frac{\eta }{2}\). The generalized binomial coefficient is defined in Eq. (5). Since
one can see that the expression vanishes if \(\eta +k-1\) is even. In other words, when \(\eta\) and k have opposite parity, one of the terms in the product is always zero, and then the product is zero. On the other hand, based on
where n is non-negative integer, the generalized binomial coefficient can be written as follows
Let us now consider the case for even \(\eta\) and k. To carry out the summation over non-zero terms, we take \(\eta =2\xi\) and \(k=2k^\prime\), then Eq. (33) is
When we apply
we obtain
The next step is to reverse the order of summation by taking \(k^{\prime }=\xi -k^{\prime \prime }\),
and revert to a form involving \(\eta\) by recalling that \(\eta =2\xi\), which ultimately leads to
In the second case, where \(\eta\) and k are odd, we proceed similarly but we take \(\eta =2\xi +1\) and \(k=2k^\prime +1\). Then, we obtain
When we write the upper limit of summation for the first case as \(\left[ \frac{\eta }{2} \right]\), it can be noted that Eqs. (43) and (44) are exactly the same and fully agree with Eq. (34).
Appendix 2
Here, we present how to evaluate the following type of integral (which appeared in Eq. (25))
where \(s\ge 0\) and \(t\ge 0\). Let us take the beta function with real and positive arguments
which may be expressed by the gamma function
The latter equation implies that \(B(m,n)=B(n,m)\). By inserting the substitution \(x=\cos ^2\!u\,\) into Eq. (46), we get
When we replace \(2m-1\) by s and \(2n-1\) by t, we have
This expression almost corresponds to the one we are interested in, i.e., Eq. (45). The only problem is the limit of integration. Note that
The next step is a change of variables: \(u=v+\pi /2\). Since \(\cos (v+\pi /2)=-\sin v\), \(\sin (v+\pi /2)=\cos v\), and remembering that \(B \left( \frac{s+1}{2},\frac{t+1}{2} \right) = B \left( \frac{t+1}{2},\frac{s+1}{2} \right)\), we may write
In a similar manner, we have
Again, we carry out a change of variables: \(v=x+\pi\). By taking into account that \(\cos (x+\pi )=-\cos x\) and \(\sin (x+\pi )=-\sin x\), we receive
We collect intermediate solutions
and finally obtain
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Pawlak, M., Stachowiak, M. Analytical angular solutions for the atom–diatom interaction potential in a basis set of products of two spherical harmonics: two approaches. J Math Chem 59, 2193–2205 (2021). https://doi.org/10.1007/s10910-021-01282-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10910-021-01282-y