Abstract
A decomposition of Legendre polynomials into propagating angular waves is derived with the aid of an amplitude-phase method. This decomposition is compared with the ’Nussenzveig/Fuller’ so called near/far-side decomposition of Legendre polynomials. The latter decomposition requires the Legendre function of the second kind. This is not the case with the amplitude-phase decomposition. Both representations have the same asymptotic expressions for large values of \((l+1/2)\sin \theta \), where l and \(\theta \) are the polynomial degree and the angle respectively. Furthermore, both components of both representations satisfy the Legendre differential equation. However, we show the two representations are not identical.
Similar content being viewed by others
1 Introduction
Differential cross sections measure angular distributions of nuclear, atomic and molecular scattering events and are expressed in terms of angular eigenfunction expansions, typically involving several, tens or hundreds of terms [1, 2]. Various approximations, like the infinite-order-sudden approximation in rotationally inelastic molecular scattering, may express differential cross sections in terms of Legendre polynomials \(P_{l}(\cos \theta )\), where l and \(\theta \) are the (non-negative integer) polynomial degree and the scattering angle respectively. The analysis in terms of single Legendre polynomials may be complicated. Usually semiclassical theories involving quantum interferences of semi-classical trajectories are of great help, but they involve further approximations of the partial-wave expansion [2]. An alternative, yet exact, way is to use a near/far-side decomposition. This approach collects terms in the differential cross sections corresponding to semiclassical contributions originating from repelled and attracted classical trajectories. In this way one has a complementary computational tool explaining interference structures valid beyond the semiclassical view in terms of near(repulsive)/far(attractive) trajectories [3,4,5,6,7,8].
The near/far-side analysis of differential cross sections of radially symmetric interactions based on partial-wave expansions uses decompositions of the Legendre polynomials \(P_{l}(\cos \theta )\) into propagating angular wave functions. The propagating angular waves are required to satisfy the Legendre differential equation and also to satisfy semiclassical expressions as \((l+1/2)\sin \theta \rightarrow \infty \) [3,4,5,6,7,8]. Advantages of the near/far-side decomposition of a partial-wave expansion of scattering amplitudes have been pointed out by several authors in molecular scattering [3,4,5,6,7,8], and in nuclear scattering [9,10,11,12,13,14,15].
An amplitude-phase method for solving second-order ordinary differential equations was recently applied to obtain Legendre functions and associated Legendre functions of the first kind [16], in particular for complex values of the degree l. The method provides numerically ’exact’ solutions from analytically exact boundary conditions, in particular for calculating the Legendre polynomials. It expresses any Legendre function in terms of two fundamental amplitude-phase solutions [16]. Fundamental amplitude-phase solutions allow direct exponential representations of Legendre polynomials, without requiring linear combinations with Legendre functions of the second kind. Therefore it suggests an alternative way to separate near/far-side angular contributions in differential cross sections.
The amplitude-phase representation of the Legendre polynomial turns out to be different from the typically used propagating angular waves as defined by Nussenzveig and Fuller [17,18,19,20]. The differences are however not manifested, as shown in this study, under semiclassical conditions where scattering involves significant contributions from large angular momentum quantum numbers.
Section 2 deals with the real-valued fundamental amplitude-phase solutions of the Legendre differential equation and their behaviors as \((l+1/2)\sin \theta \rightarrow \infty \). The particular linear combinations of amplitude-phase solutions representing the Legendre polynomials are presented in Sect. 3, where also the semiclassical expression of the Legendre polynomials is derived. Section 4 deals with the near/far-side components of the Legendre polynomials in terms of the amplitude-phase solutions and in the Nussenzveig/Fuller approach. In Sect. 5 the propagating angular functions of the Nussenzveig/Fuller- and the amplitude-phase types corresponding to Legendre polynomials are compared numerically. Conclusions are in Sect. 6.
2 Fundamental amplitude-phase solutions of the Legendre differential equation
The Legendre functions \(P_{l}(\cos \theta )\) and \(Q_{l}(\cos \theta )\) satisfy the Legendre differential equation [21]
where the prime, \('\), denotes differentiation with respect to the angle \(\theta \) (\(0\le \theta \le \pi \)). The degree l is assumed to be a non-negative integer, although the amplitude-phase formulas presented are still valid without this assumption. By introducing a new angular function
in (1), one finds
The amplitude-phase method [16] is applied to Eq. (3) by assuming fundamental solutions of either exponential form
or trigonometric form
where in both cases the phase \(\phi (\theta )\) depends on the amplitude \(u(\theta )\) via
The amplitude function \(u(\theta )>0\) is any solution of the non-linear Milne-type differential equation [16]
Since the coefficient in (3) is symmetric with respect to \(\theta =\pi /2\) it is possible to use a symmetrical amplitude function \(u(\theta )=u(\pi -\theta )\).
From (2), the fundamental amplitude-phase solutions of Eq. (1) are:
An unspecified integration constant in (6) defining \(\phi (\theta )\) completely will be introduced so that
This choice is based on the presence of particular values for \(P_{l}(\cos \theta )\) and \(Q_{l}(\cos \theta )\) for \(\theta =\pi /2\) [22], where the boundary conditions of \(u(\theta )\) are defined [16].
2.1 Asymptotic behaviors of the fundamental amplitude-phase solutions
Equation (7) is solved algebraically for the amplitude u by assuming u is sufficiently slowly varying that \(u'\) and \(u''\) can be neglected, leading to
The approximation is valid provided \((l+1/2)\sin \theta>>1\). The phase \(\phi \) in (8) then has an asymptotic (large-l) approximation
where the integration constant \(-(l+1/2)\pi /2\) is chosen so that \(\phi =0\) for \(\theta =\pi /2\).
The fundamental amplitude-phase solutions of (8) thus have the large-l approximations:
When analyzed with the aid of trigonometric relations one obtains
Asymptotic expressions of \(P_{l}(\cos \theta )\) and \(Q_{l}(\cos \theta )\) are obtained by appropriate linear combinations of \(y_{s}\) and \(y_{c}\) in (12). They are discussed in the subsequent section.
3 Amplitude-phase expressions of Legendre polynomials
Values for \(\chi (\theta )\) (and \(\chi '(\theta )\)) satisfying Eq. (3) and relevant for computing Legendre functions of the first kind are given for \(\theta =\pi /2\) (see [22])
The superscript ’(1)’ refers to ’the first kind’ and \(\chi _{\pi /2}^{(1)}\) is shorthand for \(\chi ^{(1)}(\pi /2)\), as for the corresponding derivative \(\chi '^{(1)}(\pi /2)\). The minus sign in Eq. (15) comes from the differential relation \({\text {d}}\cos \theta =-{\text {d}}\sin \theta \).
By fitting the fundamental amplitude-phase solutions \(y_{s}\) and \(y_{c}\) to the specific values (14) and (15), exact representations of the Legendre polynomials can be obtained as [16]
where \({\chi '}_{\pi /2}^{(1)} u_{\pi /2}\) and \( {\chi }_{\pi /2}^{(1)}/u_{\pi /2}\) are the appropriate factors of the amplitude-phase fundamental solutions. The notation \(u_{\pi /2}\) is defined by
which is obtained from the boundary conditions of the symmetric amplitude function \(u(\theta )\) for \(\theta =\pi /2\) [16].
For odd integer values of l the amplitude-phase expression (16) is
and for even integer values of l
Near the angle \(\theta =\pi /2\), used in the boundary conditions of the amplitude function, the representations (18) and (20) can be expanded as
and
respectively. These expansions are exact to the explicit order shown and based on the even symmetry of \(u(\theta )\) with respect to \(\theta =\pi /2\).
3.1 Asymptotic expression of Legendre polynomials
For large integer values of l it is possible to compare formulas of the present amplitude-phase approach with standard asymptotic expressions for the Legendre polynomials (see e.g. [18, 19] and/or McCabe and Connor [3,4,5,6,7,8]), given by
valid for all large non-negative integers l. The two amplitude-phase expressions to compare with are
for odd integers of l, and
for even integers of l.
From (25), (26) in comparison with (24), one observes the different factors in asymptotic expressions. By hypothesis, the following asymptotic relations hold
From (14) and (15) one obtains
so the key asymptotic relation to be proved in order to derive the well-known semiclassical expression (24) is
In fact, with the use of the asymptotic formula (5) on page 32 in [23], i.e.
one obtains
which proves the semiclassical formula (24) for large l based on the amplitude-phase approach.
4 Near/far-side decompositions
4.1 The amplitude-phase near/far-side decomposition
This decomposition is the one introduced in Ref. [16] for complex values of l with Re \(l>-1/2\). From (16) there is an obvious decomposition of \(P_{l}(\cos \theta )\) in terms of Jost-type propagating angular functions
satisfying
The solutions \(P^{{(\pm )}}_{l}(\cos \theta )\) satisfy the Legendre differential equation, since they are linear combinations of the real-valued fundamental solutions \(y_{s}\) and \(y_{c}\). For odd integer values of l the amplitude-phase expressions (34) simplifiy to
For even integer values of l expressions (34) simplifiy to
Using Euler’s formula for the exponential factor in (34), one obtains
valid for all non-negative integers l. Equation (38) can be written
with the real function \(R_{l}(\cos \theta )\) being defined by
\(R_{l}(\cos \theta )\) is a solution of the Legendre differential equation since it is a linear combination of exact (amplitude-phase) solutions.
4.2 Nussenzveig/Fuller near/far-side decomposition
The propagating angular functions used in the Nussenzveig/Fuller decomposition involve both \(P_{l}(\cos \theta )\) and \(Q_{l}(\cos \theta )\), and are defined as [18,19,20, 22]
This decomposition can also be expressed in terms of the same amplitude-phase fundamental solutions, which is done for the first time in this paper. With the analogical approach to Sects. 2 and 3 one finds for \(Q_{l}(\cos \theta )\)
where \({\chi '}_{\pi /2}^{(2)} u_{\pi /2}\) and \( {\chi }_{\pi /2}^{(2)}/u_{\pi /2}\) are the new factors in the linear combinations of the amplitude-phase fundamental solutions. While \(u_{\pi /2}\) is the same as in (17), values for \({\chi }_{\pi /2}^{(2)}\) and \({\chi '}_{\pi /2}^{(2)}\) relevant for computing Legendre functions of the second kind at \(\theta =\pi /2\) are
which are also obtained from reference [22].
5 Numerical comparison
The amplitude-phase method provides ways of calculating Legendre functions of the first or second kind in terms of fundamental solutions of Legendre’s differential equation. It is then possible to compare the two near/far-side representations presented in Sect. 4. Hence, Eqs. (39) and (41) are the two (exact) near/far-side representations compared numerically in the present section.
Differences in \(Q^{{(\pm )}}_{l}(\cos \theta )\) and \( P^{{(\pm )}}_{l}(\cos \theta )\) occur only in the imaginary parts. In a series of tables the differences of the imaginary parts can be seen for small, medium and large integer values of l, and a sequence of \(\theta \). MatLab (version 10a) was used for the computations and the relative and absolute errors are controlled by the ’tol’ parameter, set to \(2.3\times 10^{-14}\).
Tables 1, 2 and 3 show values of the imaginary parts of \(Q^{{(+)}}_{l}(\cos \theta )\) and \( P^{{(+)}}_{l}(\cos \theta )\). Values of \(Q^{{(-)}}_{l}(\cos \theta )\) and \( P^{{(-)}}_{l}(\cos \theta )\) are obtained by complex conjugate symmetry. The real parts agree to all significant figures.
Table 1 shows results for \(l=3\) and a restricted sequence of angles in the range \(5\le \theta /^{\circ } \le 85\). The polynomials exhibit exact symmetries about \(\theta =90^{\circ }\). The entries for a given angle agree to about 3 decimal positions. Low values of the angular momentum quantum number are relevant in electron- and in other sub-atomic scattering problems. For such values the semiclassical condition \((l+1/2)\sin \theta>>1\) may not be satisfied.
Table 2 shows results for \(l=30\) and the same restricted angular region. The entries for a given angle agree to about 7 decimal positions. This value of l represents typical angular momenta in atomic orbiting and rainbow scattering of hydrogen.
Table 3 shows results for \(l=300\) and the same angles. The entries for a given angle agree to about 12 decimal positions. Large values of l are typical for atomic collisions with large reduced masses compared to the case of hydrogen scattering. Further results (not shown) indicate that the agreements are independent of the parity of l.
At forward angles close to \(\theta =0\), and backward angles close to \(\theta =180^{\circ }\), both angular functions diverge with similar numerical agreements depending mainly on the magnitude of l. Table 4 shows the numerical values of the imaginary parts of \( Q^{{(+)}}_{l}(\cos \theta )\) and \( P^{{(+)}}_{l}(\cos \theta )\), for \(\theta =10^{-7}{}^{\circ }\) and \(l=1, 10\). At larger values of l the agreement improves.
There are problems with the separation of a Legendre polynomial into its natural propagating angular functions at such small values of l. Since the asymptotic condition (\((l+1/2)\sin \theta>>1\)) is not satisfied for small values of l; how can two near/far-side methods with the same asymptotic condition satisfied be seen as ’exact methods’? Explicitly, for \(l=0\) one has \(P_{0}(\cos \theta )= 1\) and it is not clear how to separate unity into two near/far-side angular waves other than in a symmetric way; for \(l=1\) one has \(P_{1}(\cos \theta )=\cos \theta = \frac{1}{2}\left( {\text {e}}^{{\text {i}}\theta }+{\text {e}}^{-{\text {i}}\theta } \right) \), where the natural propagating angular functions (\({\text {e}}^{\pm {\text {i}}\theta }\)) do not satisfy the Legendre equation separately. At present the near/far-side analysis of scattering seems to be an analysis slightly more useful than the semiclassical trajectory method mentioned in the introduction [2].
6 Conclusion
A near/far-side decomposition of Legendre polynomials is derived with the aid of an amplitude-phase method. For large values of \((l+1/2)\sin \theta \) expressions of the Legendre polynomial and its near/far-side components are shown to agree with the well-known semiclassical expressions. The ’Nussenzveig/Fuller’ near/far-side components of Legendre polynomials are also known to satisfy the semiclassical expressions. On account of similar numerical and asymptotic (semiclassical) properties, the Legendre polynomials can be represented by both types of complex conjugate pairs of propagating angular functions, (39) and (41), compared in this paper.
However, it is shown that the amplitude-phase and the Nussenzveig/Fuller representations are not identical. The amplitude-phase decomposition uses only functional properties of the Legendre polynomial itself, while the Nussenzveig/Fuller decomposition also uses properties of the corresponding Legendre function of the second kind. Non-negligible numerical differences occur for Legendre polynomials of degrees \(l= 1\) (and to a lesser extent for \(l =\) 2 and 3). Such a difference would possibly affect near/far-side analysis of (sub-)nuclear scattering at low energies, but not near/far-side analysis of non-resonant very low energy heavy-particle scattering.
References
C.J. Joachain, Quantum Collision Theory (Elsevier Science Publishers B.V., North-Holland, Amsterdam, 1975)
M.S. Child, Molecular Collision Theory (Dover, New York, 1996)
G. Guillon, T. Stoecklin, Eur. Phys. J. D At. Mol. Opt. Plasma Phys. 39(3), 359 (2006)
P. McCabe, J.N.L. Connor, D. Sokolovski, J. Chem. Phys. 114, 5194 (2001)
J.J. Hollifield, J.N.L. Connor, Mol. Phys. 97(1–2), 293 (1999)
P. McCabe, J.N.L. Connor, J. Chem. Phys. 104, 2297 (1996)
H. Carsten, S. Schmatz, Phys. Chem. Chem. Phys. 17(40), 2667076 (2015)
M. Hankel, J.N.L. Connor, Nearside-farside, local angular momentum and resummation theories: useful tools for understanding the dynamics of complex-mode reactions. AIP Adv. 5(7), 077160 (2015)
R. Anni, J.N.L. Connor, C. Noli, Phys. Rev. C 66, 044610 (2002)
R. Anni, Phys. Rev. C 67, 057601 (2003)
K.W. Mcvoy, G.R. Satchler, Nucl. Phys. Sect. A 581(3), 665 (1995)
Y. Sakuragi, J. Phys. G Nucl. Phys. 16(4), 639 (1990)
A. Farooq, G. Ra, S. Roman, Nucl. Phys. Sect. A 469(2), 313 (1987)
K. Heck, G. Grawert, D. Mukhopadhyay, Nucl. Phys. Sect. A 437(1), 226 (1985)
D.R. Dean, J. Phys. G Nucl. Phys. 10(4), 493 (1984)
K.-E. Thylwe, P. McCabe, Commun. Theor. Phys. J. 64, 9 (2015)
K.-E. Thylwe, J. Phys. A: Math. Gen. 16, 1141 (1983)
H.M. Nussenzveig, J. Math. Phys. 10, 82 (1969)
H.M. Nussenzveig, Causality and Dispersion Relations (Academic, New York, 1972)
R.C. Fuller, Phys. Rev. C 12, 1561 (1975)
L.D. Landau, E.M. Lifschitz, Quantum Mechanics (Non-Relativistic Theory) (Pergamon, Oxford, 1965). Ch VII
M. Abramowitz, I.A. Stegun (eds.), Handbook of Mathematical Functions (Dover, New York, 1972)
Y.L. Luke, The Special Functions and Their Approximations, vol. I (Academic Press, New York, 1969)
Acknowledgements
The authors thank Professor JNL Connor for inspiring discussions, and the referees for their careful reading of the original manuscript.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Thylwe, KE., McCabe, P. Near/far-side angular decompositions of Legendre polynomials using the amplitude-phase method. J Math Chem 55, 1638–1648 (2017). https://doi.org/10.1007/s10910-017-0752-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10910-017-0752-x