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]

$$\begin{aligned} y''(\theta ) + \cot \theta \,y'(\theta ) + \left[ l(l+1)\right] y(\theta ) = 0, \end{aligned}$$
(1)

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

$$\begin{aligned} \chi (\theta ) = (\sin \theta )^{1/2} y(\theta ) \end{aligned}$$
(2)

in (1), one finds

$$\begin{aligned} \chi ''(\theta ) + \left( (l+1/2)^{2} + \frac{1}{4 \sin ^{2}\theta } \right) \chi (\theta ) = 0. \end{aligned}$$
(3)

The amplitude-phase method [16] is applied to Eq. (3) by assuming fundamental solutions of either exponential form

$$\begin{aligned} \chi _{\pm }(\theta ) =u(\theta )\exp \left( \pm {\text {i}}\phi (\theta ) \right) , \end{aligned}$$
(4)

or trigonometric form

$$\begin{aligned} \left( \begin{array}{c} \chi _{s}(\theta ) \\ \chi _{c}(\theta ) \end{array} \right) = u(\theta ) \left( \begin{array}{c} \sin \phi (\theta ) \\ \cos \phi (\theta ) \end{array} \right) , \end{aligned}$$
(5)

where in both cases the phase \(\phi (\theta )\) depends on the amplitude \(u(\theta )\) via

$$\begin{aligned} \phi '(\theta )=u^{-2}(\theta ). \end{aligned}$$
(6)

The amplitude function \(u(\theta )>0\) is any solution of the non-linear Milne-type differential equation [16]

$$\begin{aligned} u''(\theta ) + \left( (l+1/2)^{2} + \frac{1}{4 \sin ^{2}\theta } \right) u(\theta ) = u^{-3}(\theta ). \end{aligned}$$
(7)

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:

$$\begin{aligned} \left( \begin{array}{c} y_{s}(\theta ) \\ y_{c}(\theta ) \end{array} \right) = \left( \sin \theta \right) ^{-1/2} u(\theta ) \left( \begin{array}{c} \sin \phi (\theta ) \\ \cos \phi (\theta ) \end{array} \right) ,\;\; \phi '(\theta )=u^{-2}(\theta ). \end{aligned}$$
(8)

An unspecified integration constant in (6) defining \(\phi (\theta )\) completely will be introduced so that

$$\begin{aligned} \phi (\pi /2)=0. \end{aligned}$$
(9)

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

$$\begin{aligned} u^{-2}=\left( (l+1/2)^{2} + \frac{1}{4 \sin ^{2}\theta } \right) ^{1/2} \approx (l+1/2)\left( 1+\frac{1}{8 (l+\frac{1}{2})^{2}\sin ^{2}\theta }+\cdots \right) . \end{aligned}$$
(10)

The approximation is valid provided \((l+1/2)\sin \theta>>1\). The phase \(\phi \) in (8) then has an asymptotic (large-l) approximation

$$\begin{aligned} \phi \approx (l+1/2)\theta -(l+1/2)\pi /2, \;\;(l+1/2)\sin \theta>>1, \end{aligned}$$
(11)

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:

$$\begin{aligned} \left( \begin{array}{c} y_{s} \\ y_{c} \end{array} \right) \approx \left( (l+1/2)\sin \theta \right) ^{-1/2} \left( \begin{array}{c} \sin \left[ \left( l+\frac{1}{2}\right) \left( \theta -\frac{\pi }{2}\right) \right] \\ \cos \left[ \left( l+\frac{1}{2}\right) \left( \theta -\frac{\pi }{2}\right) \right] \end{array} \right) , \;\;(l+1/2)\sin \theta>>1. \end{aligned}$$
(12)

When analyzed with the aid of trigonometric relations one obtains

$$\begin{aligned}&\left( \begin{array}{c} y_{s} \\ y_{c} \end{array} \right) \approx \left( (l+1/2)\sin \theta \right) ^{-1/2} \left( \begin{array}{c} -\sin \left( \frac{\pi l}{2}\right) \cos \left[ \left( l+\frac{1}{2}\right) \theta -\frac{\pi }{4}\right] \\ \cos \left( \frac{\pi l}{2}\right) \cos \left[ \left( l+\frac{1}{2}\right) \theta -\frac{\pi }{4}\right] \end{array} \right) , \nonumber \\&\quad (l+1/2)\sin \theta>>1. \end{aligned}$$
(13)

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])

$$\begin{aligned} \chi _{\pi /2}^{(1)}= & {} \frac{1}{\sqrt{\pi }} \cos \left( \frac{\pi l}{2}\right) \frac{\Gamma \left( \frac{1}{2}+\frac{l}{2}\right) }{\Gamma \left( 1+\frac{l}{2}\right) }, \end{aligned}$$
(14)
$$\begin{aligned} {\chi '}_{\pi /2}^{(1)}= & {} -\frac{2}{\sqrt{\pi }} \sin \left( \frac{\pi l}{2}\right) \frac{\Gamma \left( 1+\frac{l}{2}\right) }{\Gamma \left( \frac{1}{2} +\frac{l}{2}\right) }. \end{aligned}$$
(15)

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]

$$\begin{aligned} P_{l}(\cos \theta ) = (\sin \theta )^{-1/2}\; u(\theta ) \left( {\chi '}_{\pi /2}^{(1)} u_{\pi /2} \sin \phi (\theta ) + {\chi }_{\pi /2}^{(1)}/u_{\pi /2} \cos \phi (\theta ) \right) , \end{aligned}$$
(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

$$\begin{aligned} u_{\pi /2}=\left[ l(l+1)+\frac{1}{2}\right] ^{-1/4}, \end{aligned}$$
(17)

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

$$\begin{aligned} P_{l}(\cos \theta )= & {} (\sin \theta )^{-1/2}\; {\chi '}_{\pi /2}^{(1)} u_{\pi /2}\; u(\theta ) \sin \phi (\theta ), \;\; (\text{ odd }\;\; l) \end{aligned}$$
(18)
$$\begin{aligned}= & {} {\chi '}_{\pi /2}^{(1)} u_{\pi /2} \, y_{s}, \end{aligned}$$
(19)

and for even integer values of l

$$\begin{aligned} P_{l}(\cos \theta )= & {} (\sin \theta )^{-1/2} {\chi }_{\pi /2}^{(1)}/u_{\pi /2}\; u(\theta ) \cos \phi (\theta ), \;\; (\text{ even }\;\; l) \end{aligned}$$
(20)
$$\begin{aligned}= & {} {\chi }_{\pi /2}^{(1)}/u_{\pi /2}\; y_{c}. \end{aligned}$$
(21)

Near the angle \(\theta =\pi /2\), used in the boundary conditions of the amplitude function, the representations (18) and (20) can be expanded as

$$\begin{aligned} P_{l}(\cos \theta ) \approx {\chi '}_{\pi /2}^{(1)} \left( \theta -\pi /2\right) + O \left( \left( \theta -\pi /2\right) ^{3}\right) \;\; (\text{ odd }\;\; l) \end{aligned}$$
(22)

and

$$\begin{aligned} P_{l}(\cos \theta ) \approx {\chi }_{\pi /2}^{(1)}+ O \left( \left( \theta -\pi /2\right) ^{2}\right) \;\; (\text{ even }\;\; l) \end{aligned}$$
(23)

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

$$\begin{aligned} P_{l}(\cos \theta ) \approx \sqrt{\frac{2}{\pi (l+1/2)\sin \theta }}\; \cos \left( (l+1/2)\theta -\pi /4\right) ,\;\; (l+1/2)\sin \theta>>1, \end{aligned}$$
(24)

valid for all large non-negative integers l. The two amplitude-phase expressions to compare with are

$$\begin{aligned}&P_{l}(\cos \theta )\approx -\sin \left( \frac{\pi l}{2}\right) \left( {\chi '}_{\pi /2}^{(1)} u_{\pi /2} \right) \sqrt{\frac{1}{(l+1/2)\sin \theta }}\cos \left( (l+1/2)\theta -\pi /4\right) ,\nonumber \\&\quad (l+1/2)\sin \theta>>1, \end{aligned}$$
(25)

for odd integers of l, and

$$\begin{aligned}&P_{l}(\cos \theta )\approx \cos \left( \frac{\pi l}{2}\right) \left( {\chi }_{\pi /2}^{(1)}/u_{\pi /2}\right) \sqrt{\frac{1}{(l+1/2)\sin \theta }}\cos \left( (l+1/2)\theta -\pi /4\right) , \nonumber \\&\quad (l+1/2)\sin \theta>>1, \end{aligned}$$
(26)

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

$$\begin{aligned} -\sin \left( \frac{\pi l}{2}\right) {\chi '}_{\pi /2}^{(1)} u_{\pi /2}&\sim \sqrt{\frac{2}{\pi }}, \;\; (l+1/2)>>1 \;\;\;(\text{ odd }\;\; l), \end{aligned}$$
(27)
$$\begin{aligned} \cos \left( \frac{\pi l}{2}\right) {\chi }_{\pi /2}^{(1)}/u_{\pi /2}&\sim \sqrt{\frac{2}{\pi }}, \;\; (l+1/2)>>1\;\;\;(\text{ even }\;\; l). \end{aligned}$$
(28)

From (14) and (15) one obtains

$$\begin{aligned} - \sin \left( \frac{\pi l}{2}\right) {\chi '}_{\pi /2}^{(1)}u_{\pi /2} =\frac{2}{\sqrt{\pi }}\frac{\Gamma \left( 1+\frac{l}{2}\right) u_{\pi /2}}{\Gamma \left( \frac{1}{2}+\frac{l}{2}\right) }, \end{aligned}$$
(29)
$$\begin{aligned} \cos \left( \frac{\pi l}{2}\right) \chi _{\pi /2}^{(1)}/u_{\pi /2}=\frac{1}{\sqrt{\pi }} \frac{\Gamma \left( \frac{1}{2}+\frac{l}{2}\right) }{\Gamma \left( 1+\frac{l}{2} \right) u_{\pi /2}}. \end{aligned}$$
(30)

so the key asymptotic relation to be proved in order to derive the well-known semiclassical expression (24) is

$$\begin{aligned} \frac{\Gamma \left( \frac{1}{2}+\frac{l}{2}\right) }{\Gamma \left( 1+\frac{l}{2} \right) u_{\pi /2}} \approx \sqrt{2}, \; l \rightarrow \infty . \end{aligned}$$
(31)

In fact, with the use of the asymptotic formula (5) on page 32 in [23], i.e.

$$\begin{aligned} \ln \Gamma \left( \frac{1}{2}+z\right) \approx z\ln z -z +\frac{1}{2} \ln (2\pi ),\; z\rightarrow \infty , \end{aligned}$$
(32)

one obtains

$$\begin{aligned} \ln \left[ \frac{\Gamma \left( \frac{1}{2}+\frac{l}{2}\right) }{\Gamma \left( 1 +\frac{l}{2}\right) u_{\pi /2}}\right] \approx \frac{1}{2}\ln 2, \end{aligned}$$
(33)

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

$$\begin{aligned} P^{{(\pm )}}_{l}(\cos \theta ) = \frac{1}{2}(\sin \theta )^{-1/2}\; u(\theta ) \left( {\chi }_{\pi /2}^{(1)}/u_{\pi /2} \mp {\text {i}}{\chi '}_{\pi /2}^{(1)} u_{\pi /2} \right) \exp (\pm {\text {i}}\phi (\theta )), \end{aligned}$$
(34)

satisfying

$$\begin{aligned} P_{l}(\cos \theta ) = P^{{(+)}}_{l}(\cos \theta ) + P^{{(-)}}_{l}(\cos \theta ). \end{aligned}$$
(35)

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

$$\begin{aligned} P^{{(\pm )}}_{l}(\cos \theta ) = \mp {\text {i}}\frac{1}{2}(\sin \theta )^{-1/2} {\chi '}_{\pi /2}^{(1)} u_{\pi /2}\; u(\theta ) \exp (\pm {\text {i}}\phi (\theta )), \;\; (\text{ odd }\;\; l). \end{aligned}$$
(36)

For even integer values of l expressions (34) simplifiy to

$$\begin{aligned} P^{{(\pm )}}_{l}(\cos \theta ) = \frac{1}{2}(\sin \theta )^{-1/2}\;{\chi }_{\pi /2}^{(1)}/u_{\pi /2} \; u(\theta ) \exp (\pm {\text {i}}\phi (\theta )), \;\; (\text{ even }\;\; l). \end{aligned}$$
(37)

Using Euler’s formula for the exponential factor in (34), one obtains

$$\begin{aligned} P^{{(\pm )}}_{l}(\cos \theta )= & {} \frac{1}{2}(\sin \theta )^{-1/2}\; u(\theta ) \left( {\chi '}_{\pi /2}^{(1)} u_{\pi /2} \sin \phi (\theta ) + {\chi }_{\pi /2}^{(1)}/u_{\pi /2} \cos \phi (\theta ) \right) \nonumber \\&\mp {\text {i}}\frac{1}{2}(\sin \theta )^{-1/2}\; u(\theta ) \left( {\chi '}_{\pi /2}^{(1)} u_{\pi /2} \cos \phi (\theta ) - {\chi }_{\pi /2}^{(1)}/u_{\pi /2} \sin \phi (\theta ) \right) ,\nonumber \\ \end{aligned}$$
(38)

valid for all non-negative integers l. Equation (38) can be written

$$\begin{aligned} P^{{(\pm )}}_{l}(\cos \theta )=\frac{1}{2} \left( P_{l}(\cos \theta ) \mp {\text {i}}R_{l}(\cos \theta ) \right) , \end{aligned}$$
(39)

with the real function \(R_{l}(\cos \theta )\) being defined by

$$\begin{aligned} R_{l}(\cos \theta ) = (\sin \theta )^{-1/2}\; u(\theta ) \left( {\chi '}_{\pi /2}^{(1)} u_{\pi /2} \cos \phi (\theta ) - {\chi }_{\pi /2}^{(1)}/u_{\pi /2} \sin \phi (\theta ) \right) . \end{aligned}$$
(40)

\(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]

$$\begin{aligned} Q^{{(\pm )}}_{l}(\cos \theta ) = \frac{1}{2} \left( P_{l}(\cos \theta ) \mp \frac{2{\text {i}}}{\pi }Q_{l}(\cos \theta ) \right) . \end{aligned}$$
(41)

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 )\)

$$\begin{aligned} Q_{l}(\cos \theta ) = (\sin \theta )^{-1/2}\; u(\theta ) \left( {\chi '}_{\pi /2}^{(2)} u_{\pi /2} \sin \phi (\theta ) + {\chi }_{\pi /2}^{(2)}/u_{\pi /2} \cos \phi (\theta ) \right) , \end{aligned}$$
(42)

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

$$\begin{aligned} \chi _{\pi /2}^{(2)}= & {} -\frac{\sqrt{\pi }}{2} \sin \left( \frac{\pi l}{2}\right) \frac{\Gamma \left( \frac{1}{2}+\frac{l}{2}\right) }{\Gamma \left( 1+\frac{l}{2}\right) }, \end{aligned}$$
(43)
$$\begin{aligned} {\chi '}_{\pi /2}^{(2)}= & {} -\sqrt{\pi }\cos \left( \frac{\pi l}{2}\right) \frac{\Gamma \left( 1+\frac{l}{2}\right) }{\Gamma \left( \frac{1}{2}+\frac{l}{2}\right) }, \end{aligned}$$
(44)

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 12 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 1 Numerical comparison of the imaginary parts of \(Q^{{(+)}}_{3}(\cos \theta )\) and \( P^{{(+)}}_{3}(\cos \theta )\) for selected values of the angle \(\theta \)
Table 2 Numerical comparison of the imaginary parts of \(Q^{{(+)}}_{30}(\cos \theta )\) and \( P^{{(+)}}_{30}(\cos \theta )\) for selected values of the angle \(\theta \)
Table 3 Numerical comparison of the imaginary parts of \(Q^{{(+)}}_{300}(\cos \theta )\) and \( P^{{(+)}}_{300}(\cos \theta )\) for selected values of the angle \(\theta \)
Table 4 Numerical comparison of the imaginary parts of \(Q^{{(+)}}_{l}(\cos \theta )\) and \( P^{{(+)}}_{l}(\cos \theta )\) for the angle \(\theta =10^{-7}\) and two values of l

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.